-
12It is shown that for invariance under the action of special groups the statements "Every invariant PCA is decomposable into (1 invariant Borel sets" and "Every pair of invariant PCA is reducible by a pair of invariant PCA sets" are independent of the axioms of set theory.
-
78Hintikka et Sandu versus Frege in re Arbitrary FunctionsPhilosophia Mathematica 1 (1): 50-65. 1993.Hintikka and Sandu have recently claimed that Frege's notion of function was substantially narrower than that prevailing in real analysis today. In the present note, their textual evidence for this claim is examined in the light of relevant historical and biographical background and judged insufficient.
-
42Sets and Point-Sets: Five Grades of Set-Theoretic Involvement in GeometryPSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988. 1988.The consequences for the theory of sets of points of the assumption of sets of sets of points, sets of sets of sets of points, and so on, are surveyed, as more generally are the differences among the geometric theories of points, of finite point-sets, of point-sets, of point-set-sets, and of sets of all ranks.
-
20Review: Hao Wang, From Mathematics to Philosophy (review)Journal of Symbolic Logic 42 (4): 579-580. 1977.
-
17Chapter Two. Temporal LogicIn J. W. Davis (ed.), Philosophical logic, D. Reidel. pp. 13-39. 1969.
-
232Quine, analyticity and philosophy of mathematicsPhilosophical Quarterly 54 (214). 2004.Quine correctly argues that Carnap's distinction between internal and external questions rests on a distinction between analytic and synthetic, which Quine rejects. I argue that Quine needs something like Carnap's distinction to enable him to explain the obviousness of elementary mathematics, while at the same time continuing to maintain as he does that the ultimate ground for holding mathematics to be a body of truths lies in the contribution that mathematics makes to our overall scientific the…Read more
-
36The decision problem for linear temporal logicNotre Dame Journal of Formal Logic 26 (2): 115-128. 1985.
-
309On a derivation of the necessity of identitySynthese 191 (7): 1-19. 2014.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
-
20Adapated from talks at the UCLA Logic Center and the Pitt Philosophy of Science Series. Exposition of material from Fixing Frege, Chapter 2 (on predicative versions of Frege’s system) and from “Protocol Sentences for Lite Logicism” (on a form of mathematical instrumentalism), suggesting a connection. Provisional version: references remain to be added. To appear in Mathematics, Modality, and Models: Selected Philosophical Papers, coming from Cambridge University Press.
-
120TruthPrinceton University Press. 2011.This is a concise, advanced introduction to current philosophical debates about truth. A blend of philosophical and technical material, the book is organized around, but not limited to, the tendency known as deflationism, according to which there is not much to say about the nature of truth. In clear language, Burgess and Burgess cover a wide range of issues, including the nature of truth, the status of truth-value gaps, the relationship between truth and meaning, relativism and pluralism about …Read more
-
161What is the simplest and most natural axiomatic replacement for the set-theoretic definition of the minimal fixed point on the Kleene scheme in Kripke’s theory of truth? What is the simplest and most natural set of axioms and rules for truth whose adoption by a subject who had never heard the word "true" before would give that subject an understanding of truth for which the minimal fixed point on the Kleene scheme would be a good model? Several axiomatic systems, old and new, are examined and ev…Read more
-
16Review of Paul A. Gregory, Quine's Naturalism: Language, Theory, and the Knowing Subject (review)Notre Dame Philosophical Reviews 2009 (5). 2009.
Princeton, New Jersey, United States of America