-
163Decidability for branching timeStudia Logica 39 (2-3): 203-218. 1980.The species of indeterminist tense logic called Peircean by A. N. Prior is proved to be recursively decidable.
-
144Philosophy of Mathematics in the Twentieth Century: Selected EssaysHistory and Philosophy of Logic 36 (1): 93-95. 2015.The second volume of Charles Parsons’ selected papers, dedicated to Solomon Feferman, Wilfred Sieg, and William Tait, collects eleven mainly historical essays and reviews on philosophy and philosop...
-
211Mary Leng. Mathematics and Reality. Oxford: Oxford University Press, 2010. ISBN 978-0-19-928079-7. Pp. x + 278: Critical Studies/Book ReviewsPhilosophia Mathematica 18 (3): 337-344. 2010.No abstract is available for this citation
-
97From preference to utility: A problem of descriptive set theoryNotre Dame Journal of Formal Logic 26 (2): 106-114. 1985.
-
190Hintikka 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.
-
193Thomas McKay. Plural predicationPhilosophia Mathematica 16 (1): 133-140. 2008.This work, the first book-length study of its topic, is an important contribution to the literature of philosophical logic and philosophy of language, with implications for other branches of philosophy, including philosophy of mathematics. However, five of the book's ten chapters, including many of the author's most original contributions, are devoted to issues about natural language, and lie pretty well outside the scope of this journal, not to mention that of the reviewer's competence. For thi…Read more
Princeton, New Jersey, United States of America