Logic, modality, and philosophy of mathematics


Logic, modality, and philosophy of mathematics

edited with introductions by Dagfinn Føllesdal

(Philosophy of Quine / series editor, Dagfinn Føllesdal, 5)

Garland Pub., 2001

大学図書館所蔵 件 / 23




First published in 2001. Routledge is an imprint of Taylor & Francis, an informa company.


MODALITY Smullyan, A F, Modality and Description, Journal of Symbolic Logic 13 [1948] Myhill, John, Problems Arising in the Formalization of Intentional Logic, Logique et Analyse I [1958] Wilson, N L, Modality and Identity, Journal of Philosophy, 62 [1965] Sleigh, Robert,Jr, A Note on an Argument of Quine's, Philosophical Studies 17 [1966] Burge, Tyler, Kaplan, Quine and suspended Belief, Philosophical Studies 31 [1977] Church, Alonzo, A Remark concerning Quine's Paradox and Modality, In Nathan Salmon and Scott Soames, eds., Propositions and Attitudes [Oxford: Oxford University Press: 1988] SINGULAR TERMS Wilson, Neil L, Property Designation and Description, Philosophical Review 64 [1955] Strawson, P F, Singular Terms and Predication, Journal of Philosophy 58 [1961] Loar, Brian, Reference and Propositional Attitudes, Philosophical Review 81 [1972] Linsky, Leonard, Quine on Quantifying in, Journal of Philosophy 66 [1969] Hornsby, Jennifer, Singular Terms in Contexts of Propositional Attitude, Mind 86 [1977] IDENTITY Evans, Gareth, Identity and predication, Journal of Philosophy 72 [1975] PHILOSOPHY OF MATHEMATICS Parsons, Charles, Ontology and Mathematics, Philosophical Review 80 [1971] LOGIC Leblanc, Hughes, Commentary on W V Quine's Free Logic, description and Virtual Clases, Dialogue: Canadian Philosophical Review 36 [1977] SURPRISE EXAM Ayer, A J, On A Supposed Antinomy, Mind 82 [1973] Bennett, Johnathan, Review of Several Papers on the Surprise Exam, Journal of Symbolic Logic 30 [1965] NEW FOUNDATION (1937) Boffa, M, Sets Equipollent to their power set in NF, Journal of Symbolic Logic 40 [1975] Boffa, M, The Consistency Problem for NF, Journal of Symbolic Logic 42 [1977] Boffa, M, ZFJ and the Consistency Problem for NF, Jahrbuch der Kurt Goedel Gesselschaft [1988] Crabbe, M, On the Consistency of an Imprecicative Subsytem of Quine's NF, Journal of Symbolic Logic 47 [1982] Crabbe, M, The Hauptsatz for Stratified Comprehension: A Semantic Proof, Mathematical Logic Quarterly 40 [1994] Crabbe, M, On NFU, Notre Dame Journal of Formal Logic 33 [1992] Dzierzgowski, Daniel, Models of Intuitionistic TT and NF, Journal of Symbolic Logic 60 [1995] Forster, Thomas, Quine's NF 60 years on, American Mathematical Monthly 104 [November 1997] Forster, Thomas, Term Models for weak Set Theories with a Universal Set, Journal of Symbolic Logic 57 [1987] Forster, Thomas and Kaye, End extensions preserving power set, Journal of Symbolic Logic 56 [1991] Grishin, V N, Consistency of a Fragment of Quine's NF System

「Nielsen BookData」 より

関連文献: 1件中  1-1を表示

  • Philosophy of Quine

    series editor, Dagfinn Føllesdal

    Garland Pub. 2001

    : set