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.

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)

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)

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)

In Islamic law paternity is treated as a consequence of a licit sexual relationship. Since DNA testing makes a clear distinction between legal and biological paternity possible, it challenges the continued correlation between paternity and marriage. This article explores the foundations of paternity regulations in the Islamic ethico-legal tradition, with a particular focus on what is termed here “the licit sex principle,” and investigates the extent to which a harm-based argument can be made either by appeal to or against Islamic (...) paternity regulations. It argues that in Islamic bioethics the definition of harm and its boundaries is a function of both: (1) identification of legal and religious rights and the extent to which these rights are violated; and (2) balancing and reconciling perceived harm against both specific principles in relation to a given issue and also the overarching objectives of Islamic law. The article is divided into three main sections addressing the Islamic legal, ethical, and bioethical dimensions of paternity. (shrink)

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

This article attempts to demonstrate, via the famous Hart‐Dworkin debate on the nature and functions of judicial discretion, that substantial jurisprudential disputes as well as theories can, and do, arise from misconceived critiques, whether intended or otherwise. It also seeks to show that, whilst Dworkin's initial critique of Hart was misconceived, his theory of adjudication that arose as a result of responses to his initial views is a positive contribution to learning, although 1 argue that Dworkin's views are not, in (...) the final analysis, sufficiently persuasive to constitute a radical departure from Hart's own views. (shrink)

Tarski, Carnap and Quine spent the academic year 1940?1941 together at Harvard. In their autobiographies, both Carnap and Quine highlight the importance of the conversations that took place among them during the year. These conversations centred around semantical issues related to the analytic/synthetic distinction and on the project of a finitist/nominalist construction of mathematics and science. Carnap's Nachlaß in Pittsburgh contains a set of detailed notes, amounting to more than 80 typescripted pages, taken by Carnap while these discussions were taking (...) place. In my article, I present a survey of these notes with special emphasis on Tarski's rejection of the analytic/synthetic distinction, the passage from typed languages to first-order languages, Tarski's finitism/nominalism, and the construction of a finitist language for mathematics and science. (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)

(2013). Is Ideological Coverage On Cable Television An Ethical Journalistic Practice? An Examination of Duty, Responsibility, and Consequence. Journal of Mass Media Ethics: Vol. 28, No. 1, pp. 1-14. doi: 10.1080/08900523.2012.746533.

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)

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)