We show how to construct certain L M, T -type interpreted languages, with each such language containing meaningfulness and truth predicates which apply to itself. These languages are comparable in expressive power to the L T -type, truth-theoretic languages first considered by Kripke, yet each of our L M, T -type languages possesses the additional advantage that, within it, the meaninglessness of any given meaningless expression can itself be meaningfully expressed. One therefore has, for example, the object level truth (and (...) meaningfulness) of the claim that the strengthened Liar is meaningless. (shrink)

We show how to construct certain " $[Unrepresented Character]_{M,T}$ -type" interpreted languages, with each such language containing meaningfulness and truth predicates which apply to itself. These languages are comparable in expressive power to the $[Unrepresented Character]_{T}$ -type, truth-theoretic languages first considered by. Kripke, yet each of our $[Unrepresented Character]_{M,T}$ -type languages possesses the additional advantage that, within it, the meaninglessness of any given meaningless expression can itself be meaningfully expressed. One therefore has, for example, the object level truth (and meaningfulness) (...) of the claim that the strengthened Liar is meaningless. (shrink)

Hilbert developed his famous finitist point of view in several essays in the 1920s. In this paper, we discuss various extensions of it, with particular emphasis on those suggested by Hilbert and Bernays in Grundlagen der Mathematik (vol. I 1934, vol. II 1939). The paper is in three sections. The first deals with Hilbert's introduction of a restricted ? -rule in his 1931 paper ?Die Grundlegung der elementaren Zahlenlehre?. The main question we discuss here is whether the finitist (meta-)mathematician would (...) be entitled to accept this rule as a finitary rule of inference. In the second section, we assess the strength of finitist metamathematics in Hilbert and Bernays 1934. The third and final section is devoted to the second volume of Grundlagen der Mathematik. For preparatory reasons, we first discuss Gentzen's proposal of expanding the range of what can be admitted as finitary in his esssay ?Die Widerspruchsfreiheit der reinen Zahlentheorie? (1936). As to Hilbert and Bernays 1939, we end on a ?critical? note: however considerable the impact of this work may have been on subsequent developments in metamathematics, there can be no doubt that in it the ideals of Hilbert's original finitism have fallen victim to sheer proof-theoretic pragmatism. (shrink)

Duhem's discussion of physical theories as natural classifications is neither antithetical nor incidental to the main thrust of his philosophy of science. Contrary to what is often supposed, Duhem does not argue that theories are better thought of as economically organizing empirical laws than as providing information concerning the nature of the world. What he is primarily concerned with is the character and justification of the scientific method, not the logical status of theoretical entities. The crucial point to notice is (...) that he took the principle of the autonomy of physics to be of paramount importance and he developed the conception of natural classification in opposition to accounts of physical theories that contravened it. (shrink)

I distinguish three theses associated with the new mechanistic philosophy – concerning causation, explanation and scientific methodology. Advocates of each thesis are identified and relationships among them are outlined. I then look at some recent work on natural selection and mechanisms. There, attention to different kinds of New Mechanism significantly affects of what is at stake.

Subjective probabilities play a significant role in the assessment of evidence: in other words, our background knowledge, or pre-trial beliefs, cannot be set aside when new evidence is being evaluated. Focusing on homeopathy, this paper investigates the nature of pre-trial beliefs in clinical trials. It asks whether pre-trial beliefs of the sort normally held only by those who are sympathetic to homeopathy can legitimately be disregarded in those trials. The paper addresses several surprisingly unsuccessful attempts to provide a satisfactory justification (...) for ignoring the pre-trial beliefs of the homeopathic community. The ensuing diagnosis of the difficulties here emphasizes that the reason the arguments for choosing the pre-trial beliefs of the conventional community seem insufficient is not the arguments per se. It is rather that there is no cogent argument for choosing the conventional stance which would at the same time rationally persuade a member of the homeopathic community. The paper concludes that, once we understand that this is the predicament, there is no genuine reason to doubt the reasoning that leads us to reject the pre-trial beliefs of the homeopathic community. (shrink)

This is a survey of Gödel's perennial preoccupations with the limits of finitism, its relations to constructivity, and the significance of his incompleteness theorems for Hilbert's program, using his published and unpublished articles and lectures as well as the correspondence between Bernays and Gödel on these matters. There is also an important subtext, namely the shadow of Hilbert that loomed over Gödel from the beginning to the end.

The late nineteenth century was not only a time in which religious faith was questioned in light of increasing claims of natural science. It is more accurate to see the familiar Victorian crisis of faith as but one aspect of a larger historical phenomenon, one in which the methods of both religion and science came under scrutiny. Among several examinations of the status of scientific knowledge in the waning decades of the century, the treatment of the subject by the German (...) theologian Wilhelm Herrmann and philosopher Hans Vaihinger rejected its objective nature and denied that either scientists or theologians had access to the truth of nature. Although this stance regarding the nature of science, religion, and their relationship was limited to intellectuals in German society at the time, it foreshadowed developments in our own day in which the traditional search for truth has been problematized. (shrink)

Fechner's conception of psychophysics included both “outer psychophysics” the relation between stimulus intensity and the response reflecting sensation strength, and “inner psychophysics” the relation between neurelectric responses and sensation strength. In his own time outer psychophysics focussed on the form of the psychophysical law, with Fechner espousing a logarithmic law, Delboeuf a variant of the logarithmic law incorporating a resting level of neural activity, and Plateau a power law. One of the issues on which the dispute was focussed concerned the (...) appearance of contrasts if the overall illumination was increased or decreased; another issue was the question of whether a sensation of a “just noticeable difference” established for one value of a sensory dimension appeared the same for a value elsewhere on the dimension. The development of “inner psychophysics” led through the works of Delboeuf, Solomons, Jastrow, and Thurstone to modern signal detection theory. A third line of research, devoted to the question of what was meant by the “measurement” of sensation strength, stemmed from the criticism of Fechner's work by von Kries (1882) and others. Although a valid body of science could be built up without the intervening variable called “sensation strength,” such a science might be a cumbersome representation of reality. When an optical contrast is set up, and its overall illumination is increased or decreased, subjective contrasts involving medium levels of lightness vary little as illumination varies (as a power law based on sensation ratios or a logarithmic law based on sensation differences predict), but subjective contrasts involving extreme levels of lightness might be subject to the effects of other variables. (shrink)

In contemporary Science, Technology and Society studies, Bruno Latour’s Actor Network Theory is often used to study how social change arises from interaction between people and technologies. Though Latour’s approach is rich in the sense of enabling scholars to appreciate the complexity of many relevant technological, environmental, and social factors in their studies, the approach is poor from an ethical point of view: the doings of things and people are couched in one and the same behaviorist vocabulary without giving due (...) recognition to the ethical relevance of human intelligence, sympathy and reflection in making responsible choices. This article argues that two other naturalist projects, the non-teleological virtue ethics of Charles Darwin and the pragmatist instrumentalism of John Dewey can enrich ANT-based STS studies, both, in a descriptive and in a normative sense. (shrink)

A defense of imprecise credences (and other imprecise doxastic attitudes).

Friedrich Albert Lange (1828-1875) author of a famous History of Materialism and Critique of Its Present Significance (1866, English transI. 1877-79, repr. 1925 with introduction by Bertrand Russell), was also interested in the epistemological foundations of formal logic. Part I of his intended two-volume Logische Studien was published posthumously in 1877 by Hermann Cohen, head of the Marburg school of neo-Kantianism. Lange, departing from Kant, claims that spatial intuition is the source of the apodeictic character not only of the truths (...) of mathematics, but also of the truths of logic. He aims at showing this by basing validity and invalidity of syllogistic inferences on an interpretation of the standard forms (of proposition in assertoric syllogistic) with the help of the five kinds of possible relations (in fact what is known today as the Gergonne-Euler relations) between extensions of concepts given to us as areas in a plane, i.e.in space. Generality is achieved by considering all possible variations within each type of spatial relation, exhibiting a connection between concept and intuition reminding Lange of the Kantian "schema". Lange is well aware of the contemporary English "algebraic" logic, but he considers its approach as the appropriate one for a logic of content (Inhaltslogik) and not for a logic of extension (Umfangslogik). Lange did not live to enjoy the recognition by some leading logicians (amongst them John Venn, to whose reference in 1881 to Lange's "admirable Logische Studien" the present paper owes it title), nor could he respond to the many critics of his proposed foundation of logic. Its radicality as well as its broad reception (and discussion up to at least 1959) seem to entitle Lange's Logische Studien to an, if modest, place in the history of logic in the 19th century. (shrink)

Michael Dummett, following an established line of reasoning, has interpreted Frege as a realist. But his claim that Frege was arguing against a dominant idealism is untenable. While there are passages in Frege's writings that seem to support a realistic interpretation, others are irreconcilable with it. The issue can be resolved only by examining the historical context. Frege's thought is, in fact, related to the philosophy of Hermann Lotze. Frege is best regarded as a transcendental idealist in the Lotze-Kant tradition. (...) His contextual principle is a linguistic version of Kant's principle of the transcendental unity of judgment. By ignoring the historical context Dummett has been led to misinterpret the precise role of the contextual principle in Frege's thought. (shrink)

This article addresses the two main obstacles — ignorance and conflict — that block the pathway to ethically proper conduct, both generally in business and specifically in marketing. It begins with a brief examination of theories of the moral good which emphasizes the Greco-Roman humanistic tradition and the Judeo-Christian religious tradition. A professional code of ethics, such as the code of the American Marketing Association, is meaningful only if human beings are regarded as making moral judgments that, objectively speaking, are (...) morally wrong, that is only when the code is considered a set of moral absolutes.Following that, the question of ignorance is dealt with utilizing the American Marketing Association code of ethics. The specific items in that code are related to the three central principles of economic justice: equivalence, contributive justice, and distributive justice. In the second section, the question of conflict is encountered in the context of four other ethical principles — double effect, culpability, good end and bad means, self-determination — that are likely to be helpful in dealing with two cases that are especially instructive because they are limiting cases: the dilemma and the hard case. The role of the hero or champion in conflicts is underscored. (shrink)

How should physical entities be characterized? Physicalists, who have most to do with the notion, usually characterize the physical by reference to two components: 1. The physical entities are the entities treated by fundamental physics with the proviso that 2. Physical entities are not fundamentally mental (that is, do not individually possess or bestow mentality) Here I explore the extent to which the appeals to fundamental physics and to the NFM (“no fundamental mentality”) constraint are appropriate for characterizing the physical, (...) especially for purposes of formulating physicalism. Ultimately, I motivate and defend a version of an account incorporating both components: The physics-based NFM account: An entity existing at a world w is physical iff (i) it is treated, approximately accurately, by current or future (in the limit of inquiry, ideal) versions of fundamental physics at w, and (ii) it is not fundamentally mental (that is, does not individually either possess or bestow mentality). (shrink)

According to vitalism, living organisms differ from machines and all other inanimate objects by being endowed with an indwelling immaterial directive agency, ‘vital force,’ or entelechy . While support for vitalism fell away in the late nineteenth century many biologists in the early twentieth century embraced a non vitalist philosophy variously termed organicism/holism/emergentism which aimed at replacing the actions of an immaterial spirit with what was seen as an equivalent but perfectly natural agency—the emergent autonomous activity of the whole organism. (...) Organicists hold that organisms unlike machines are ‘more than the sum of their parts’ and predict that the vital properties of living things can never be explained in terms of mechanical analogies and that the reductionist agenda is doomed to failure. Here we review the current status of the mechanist and organicist conceptions of life particularly as they apply to the cell. We argue that despite the advances in biological knowledge over the past six decades since the molecular biological revolution, especially in the fields of genetics and cell biology the unique properties of living cells have still not been simulated in mechanical systems nor yielded to reductionist—analytical explanations. And we conclude that despite the dominance of the mechanistic–reductionist paradigm through most of the past century the possibility of a twentyfirst century organicist revival cannot be easily discounted. (shrink)

The causal theory of reasons holds that acting for a reason entails that the agents action was caused by his or her beliefs and desires. While Donald Davidson (1963) and others effectively silenced the first objections to the theory, a new round has emerged. The most important recent attack is presented by Jonathan Dancy in Practical Reality (2000) and subsequent work. This paper will defend the causal theory against Dancy and others, including Schueler (1995), Stoutland (1999, 2001), and Ginet (2002).Dancy (...) observes that our reasons are neither psychological states nor causes, and that our reasons can be both motivating and normative. I argue that these observations are fully compatible with the causal theory. According to the reductive version I develop for both cognitive and optative reasons, what it is for an action to be done for a reason is for certain beliefs and desires to cause the action in a particular way. Our reasons for action are the objects of some of those beliefs and desires. The causal process has two stages. This theory explains not only Dancys observations, but also many other facts about reasons that alternative theories leave unexplained. I argue against Schueler and others that the non-appetitive desires entailed by acting for reasons are no less distinct and independent causal factors than the beliefs entailed. I go on to rebut arguments that the relation between psychological states and actions cannot be causal because it is non-empirical, rational, normative, or non-deterministic, and that explanations in terms of psychological causes are incompatible with explanations in terms of reasons. (shrink)

In his 1973 paper ?The Justification of Education? R.S. Peters aspired to give a non-instrumental justification of education. Ever since, his so-called ?transcendental argument? has been under attack and most critics conclude that it does not work. They have, however, thrown the baby away with the bathwater, when they furthermore concluded that Peters? justificatory project itself is futile. This article takes another look at Peters? justificatory project. As against a Kantian interpretation, it proposes an axiological-perfectionist interpretation to bring out the (...) permanent importance of this project and suggests some possible strategies for its successful execution. (shrink)

One of the principal objections to a tensed or dynamic theory of time is the ancient puzzle about the extent of the present. Three alternative conceptions of the extent of the present are considered: an instantaneous present, an atomic present, and a non-metrical present. The first conception is difficult to reconcile with the objectivity of temporal becoming posited by a dynamic theory of time. The second conception solves that problem, but only at the expense of making change discontinuous. The third (...) conception is the most plausible: that "the present" is a non-metrical notion which must be completed by the mention of some event or interval in order to have a measure, in which case what is present varies with one's context. (shrink)

The source, status, and significance of the derivation of the necessity of identity at the beginning of Kripke’s lecture “Identity and Necessity” is discussed from a logical, philosophical, and historical point of view.

Contextualism about ‘might’ says that the property that ‘might’ expresses varies from context to context. I argue against contextualism. I focus on problems that contextualism apparently has with attitude ascriptions in which ‘might’ appears in an embedded ‘that’-clause. I argue that contextualists can deal rather easily with many of these problems, but I also argue that serious difficulties remain with collective and quantified says-that ascriptions. Herman Cappelen and John Hawthorne atempt to deal with these remaining problems, but I argue that (...) their attempt fails. (shrink)

Invariantism about ‘might’ says that ‘might’ semantically expresses the same modal property in every context. This paper presents and defends a version of invariantism. According to it, ‘might’ semantically expresses the same weak modal property in every context. However, speakers who utter sentences containing ‘might’ typically assert propositions concerning stronger types of modality, including epistemic modality. This theory can explain the phenomena that motivate contextualist theories of epistemic uses of ‘might’, and can be defended from objections of the sort that (...) relativists mount against contextualist theories. (shrink)

This paper looks at emergence in physical theories and argues that an appropriate way to understand socalled “emergent protectorates” is via the explanatory apparatus of the renormalization group. It is argued that mathematical singularities play a crucial role in our understanding of at least some well-defined emergent features of the world.

This paper examines the claim made by certain virtue epistemologists that intellectual character virtues like fair-mindedness, open-mindedness and intellectual courage merit an important and fundamental role in epistemology. I begin by considering whether these traits merit an important role in the analysis of knowledge. I argue that they do not and that in fact they are unlikely to be of much relevance to any of the traditional problems in epistemology. This presents a serious challenge for virtue epistemology. I go on (...) to examine the work of two other virtue epistemologists in light of this challenge and then sketch an alternative approach that reveals how the intellectual virtues might merit a substantial role in epistemology even if not a role in connection with more traditional epistemological projects. (shrink)