A detailed interpretation is provided of the ‘Gray's Elegy’ passage in Russell's ‘On Denoting’. The passage is suffciently obscure that its principal lessons have been independently rediscovered. Russell attempts to demonstrate that the thesis that definite descriptions are singular terms is untenable. The thesis demands a distinction be drawn between content and designation, but the attempt to form a proposition directly about the content (as by using an appropriate form of quotation) inevitably results in a proposition about the thing designated (...) instead of the content expressed. In light of this collapse, argues Russell, the thesis that definite descriptions are singular terms must accept that all propositions about a description's content represent it by means of a higher-level descriptive content, so that knowledge of a description's content is always ‘by description’, not ‘by acquaintance’. This, according to Russell, renders our cognitive grip on definite descriptions inexplicable. Separate responses on behalf of Fregeans and Millians are offered. (shrink)

§0. Alonzo Church's contributions to philosophy and to that most philosophical part of logic, intensional logic, are impressive indeed. He wrote relatively few papers actually devoted to specifically philosophical issues, as distinguished from related technical work in logic. Many of his contributions appear in reviews for The Journal of Symbolic Logic, and it can hardly be maintained that one finds there a “philosophical system”. But there occur a clearly articulated and powerful methodology, terse arguments, often of “crushing cogency”, and philosophical (...) observations of the first importance.Many of the less formal philosophical contributions center around questions concerning meaning, but there are important clarifications and insights into matters of the epistemology and ontology of the sciences, especially the formal sciences.1.1. The logistic method. Church's writings on philosophical matters exhibit an unwavering commitment to what he called the “logistic method”. The term did not catch on and now one would just speak of “formalization”. The use of these ideas is now so common and familiar among logicians and logically-oriented philosophers that they are simply taken for granted. But they deserve to be celebrated and re-emphasized, for there are philosophers who seriously underestimate and even consciously reject these techniques. (shrink)

The precise and proper territorial boundaries of skepticism, relativism, and pluralism have been perennial topics of debate in philosophy. Very few philosophers endorse these positions in an unqual...

Alonzo Church (1903–1995) was a renowned mathematical logician, philosophical logician, philosopher, teacher and editor. He was one of the founders of the discipline of mathematical logic as it developed after Cantor, Frege and Russell. He was also one of the principal founders of the Association for Symbolic Logic and the Journal of Symbolic Logic. The list of his students, mathematical and philosophical, is striking as it contains the names of renowned logicians and philosophers. In this article, we focus primarily on (...) Church’s philosophical contributions. (For an account of his life and academic history see the Introduction to The Collected Works of Alonzo Church (2019).) However, we also discuss his mathematical results when it is desirable to do so in order to pursue a philosophical issue. (shrink)

Wiredu argues intriguingly that some philosophical questions only arise in certain linguistic settings. So philosophical questions are, on occasion, linguistically relative or, more vividly, Tongue Dependent. The phenomenon however does not rest on expressive differences between languages, or, better, on failures of translation. Though rejecting his example, I endorse the general possibility he constructs. I do so provided that there is a solution to the Paradox of Analysis. Indeed I point out that the possibility of Tongue Dependency is both necessary (...) and sufficient for a solution to the Paradox of Analysis. I then offer a solution to the Paradox of Analysis in a Fregean setting, by distinguishing within the cognitive value of a claim between cognitive accomplishment and cognitive significance. The results of analysis involve cognitive accomplishment, though have no cognitive significance. I recommend my account as dealing well with a problem Salmon raised for the Church-Frege account. Finally, I direct my account on vocabularies rather than claims and note that, though possible, actual cases of Tongue Dependency within natural languages are highly doubtful. The phenomenon does not have the cultural significance Wiredu claims for it. (shrink)