A research topic of the MathematicsProject. See also MathsBibliographies.
Subcategories of this research topic:
See also:
-- MarcusRossberg - 27 May 2003
-
Peter B. Andrews, An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof, 2nd edition, (New York: Springer: 2002)
- P. B. Andrews, A Transfinite Type Theory with Type Variables, (Amsterdam: North-Holland: 1965)
- Steve Awodey and C. Butz, "Topological Completeness for Higher-order Logic", Journal of Symbolic Logic 65 (2000), pp. 1168--1182
- Steve Awodey and A. Carus, "Carnap, Completeness and Categoricity: The Gabelbarkeitssatz of 1928", Erkenntnis 54 (2001), pp. 145--172
- Steve Awodey and Erich H. Reck, "Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic", History and Philosophy of Logic 23 (2002), pp. 1--30
- Steve Awodey and Erich H. Reck, "Completeness and Categoricity. Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics", History and Philosophy of Logic 23 (2002), pp. 77--94
- J. Baldwin, "Definable Second-Order Quantifiers", in BarwiseFefermanModelTheoreticLogics, pp. 445-477 (1985)
- Ruth C. Barcan, "The Identity of Individuals in a Strict Functional Calculus of Second Order", Journal of Symbolic Logic 12 (1947), pp. 12--15
- Jon Barwise, "Model-Theoretic Logics: Background and Aims", in BarwiseFefermanModelTheoreticLogics, pp. 3-23 (1985)
- Jon Barwise, "On branching quantifiers in English", Journal of Philosophical Logic 8 (1979), pp. 47--80
- John L. Bell and David DeVidi and Graham Solomon, Logical Options: An Introduction to Classical and Alternative Logics, (Peterborough, Ontario: Broadview Press: 2001)
- John Bell, William Demopoulos, "Frege's theory of concepts and objects and the interpretation of second-order logic", Philosophia Mathematica 1 (1993), pp. 139--156
- Johan van Benthem, Doets, "Higher-order logic", in GabbayHandbookOfPhilosophicalLogicVol1, pp. 275--329
- A Bird, "The logic in logicism", Dialogue XXXVI (1997), pp. 341--360
- Patricia A. Blanchette, "Models And Modality", Synthese 124 (2000), pp. 45--72
- George Boolos, Richard Jeffrey, Computability and logic, (Cambridge: Cambridge University Press: 1985)
- George Boolos, "A curious inference", Journal of Philosophical Logic 16 (1987), pp. 1--12
- George Boolos, "1879?", in ClarkHaleReadingPutnam, pp. 31-48 (1994)
- George Boolos, "Frege's theorem and the Peano postulates", Bulletin of Symbolic Logic 1 (1995), pp. 317--326
- George Boolos, "Gottlob Frege and the foundations of arithmetic", in BoolosLogicLogicLogic, pp. 143--154
- George Boolos, Logic, Logic, and Logic, (Cambridge, MA: Harvard University Press: 1998)
- George Boolos, "Nominalist Platonism", Philosophical Review 94 (1985), pp. 327--344
- George Boolos, "Nonfirstorderizability again", Linguistic Inquiry 15 (1984), pp. 343
- George Boolos, "On second-order logic", Journal of Philosophy 72 (1975), pp. 509--527
- George Boolos, "On the proof of Frege's theorem", in MortonBenacerrafAndHisCritics, pp. 1998
- George Boolos, "Reading the Begriffsschrift", Mind 94 (1985), pp. 331--334
- George Boolos, "To Be is to Be the Value of a Variable (or to Be Some Values of Some Variables)", Journal of Philosophy 81 (1984), pp. 430--450
- David Bostock, "On motivating higher-order logic", in SmileyPhilosophicalLogic, pp. 29--43 (1998)
- Chad E. Brown, Automated Reasoning in Higher-order Logic: Set Comprehension and Extensionality in Church's Type Theory, (London: College Publications: 2007)
- Alonzo Church, "Axioms for Functional Calculi of Higher Order", in RudnerSchefflerLogicAndArtEssays, pp. 197-213 (1972)
- Alonzo Church, "A formulation of the simple theory of types", Journal of Symbolic Logic 5 (1940), pp. 56--68
- Alonzo Church, Introduction to Mathematical Logic. Vol. 1, (Princeton: Princeton University Press: 1956)
- Nino B. Cocchiarella, "Cantor’s Power-Set Theorem versus Frege’s Double-Correlation Thesis", History and Philosophy of Logic 132 (1992), pp.
- Nino B. Cocchiarella and Max A. Freund, Modal Logic: An Introduction to its Syntax and Semantics, (Oxford: Oxford University Press: 2008)
- Nino B. Cocchiarella, Logical Investigations of Predication Theory and the Problem of Universals, (Napoli: Bibliopolis: 1986)
- Nino B. Cocchiarella, Logical Studies in Early Analytic Philosophy, (New York: Basic Books: 1987)
- Nino B. Cocchiarella, "A New Formulation of Predicative Second Order Logic", Logique et Analyse 65--66 (1974), pp. 61--87
- N. B. Cocchiarella, "On the primary and secondary semantics of logical necessity", Journal of Philosophical Logic 4 (1975), pp. 13--27
- Nino B. Cocchiarella, "Predication versus Membership in the Distinction between Logic as Language and Logic as Calculus", Synthese 77 (1988), pp. 37-72
- Nino B. Cocchiarella, "Review of Shapiro: Foundations Without Foundationalism", Notre Dame Journal of Formal Logic 34 (1993), pp. 453--468
- Nino B. Cocchiarella, "A Completeness Theorem in Second-Order Modal Logic", Theoria 35 (1969), pp. 81-103
- Nino B. Cocchiarella, "Second-Order Theories of Predication: Old and New Foundations", Noûs 9 (1975), pp. 33--53
- Roy T Cook, "Aristotelian logic, axioms, and abstraction", Philosophia Mathematica 11(3) (2003), pp. 195-202
- John Corcoran, "Categoricity", History and Philosophy of Logic 1 (1980), pp. 187--207
- John Corcoran, "From Categoricity to Completeness", History and Philosophy of Logic 2 (1981), pp. 113-119
- John Corcoran, "Second-Order Logic", in MoatesButrickProceedingsInferenceOUIC86, pp. 7-31 (1987)
- John Corcoran, "Second-Order Logic", in AndersonZelenyFestschriftChurch, pp. (2001)
- William Craig, "Satisfaction for n-th order languages defined in n-th order languages", Journal of Symbolic Logic 30 (1965), pp. 13--25
- Darcy Cutler, "Review of ShapiroFoundationsWithoutFoundationalism", Philosophia Mathematica 5 (1997), pp. 71--91
- M. Eklund, "On How Logic Became First-Order", Nordic Journal of Philosophical Logic 1 (1996), pp. 147--167
- Herbert B. Enderton, A Mathematical Introduction to Logic, 2nd edition, (San Diego: Academic Press: 2001)
- John Etchemendy, The Concept of Logical Consequence, (Cambridge, MA: Harvard University Press: 1990)
- John Etchemendy, "Reflections on Consequence" (1999), http://www-csli.stanford.edu/hp/Reflections.pdf
- William Ewald, "FOL 75?", in HendricksFOLRevisited, pp. 89--105 (2004)
- Hartry Field, "Postscript: Categoricity Arguments", in FieldTruthAbsenceFact, pp. 351-360 (2001)
- Hartry Field, "Are Our Logical and Mathematical Concepts Highly Indeterminate?", Midwest Studies in Philosophy 19 (1994), pp. 391-429
-
Michèle Friend, Second-Order Logic is Logic, PhD thesis, University of St Andrews, (1997)
- Dov M. Gabbay and Renate A. Schmidt and Andrzej Szałas, Second-Order Quantifier Elimination: Foundations, Computational Aspects and Applications, (London: College Publications: 2008)
- Daniel Gallin, Intensional and Higher-Order Modal Logic, (Amsterdam: North-Holland: 1975)
- S. Garland, "Second-Order Cardinal Characterizability", Proceedings of the London Mathematical Society 113 (1974), pp. 127--146
- Stephen J. Garland, "Second-Order Cardinal Characterizability", in JechAxiomaticSetTheory, pp. 127-146 (1974)
- Warren Goldfarb, "Frege's Conception of Logic", in FloydShiehFuturePasts, pp. 25-41 (2001)
- Warren Goldfarb, "Logic in the Twenties: The Nature of the Quantifier", Journal of Symbolic Logic 44 (1979), pp. 351-368
- Warren Goldfarb, "Russell's Reasons for Ramification", Minnesota Studies in Philosophy of Science 12 (1989), pp. 24--40
- Yuri Gurevich, "Monadic Second-Order Theories", in BarwiseFefermanModelTheoreticLogics, pp. 479-506 (1985)
- Yuri Gurevich and Saharon Shelah, "Interpreting Second-Order Logic in the Monadic Theory of Order", Journal of Symbolic Logic 48 (1983), pp. 816-828
- William H. Hanson, "Second-Order Logic and Logicism", Mind 99 (1990), pp. 91--99
- A. P. Hazen, "Relations in Monadic Third-Order Logic", Journal of Philosophical Logic 26 (1997), pp. 619-628
- Richard G. Heck and Jason Stanley, "Reply to Hintikka and Sandu: Frege and Second-Order Logic", Journal of Philosophy 90 (1993), pp. 416--424
- Geoffrey Hellman, "Real Analysis without Classes", Philosophia Mathematica 2 (1994), pp. 228-250
- Leon Henkin, "Completeness in the Theory of Types", Journal of Symbolic Logic 15 (1950), pp. 159-171
- James Higginbotham, "On higher-order logic and natural language", in SmileyPhilosophicalLogic, pp. 1--27
- Jaakko Hintikka, Logic, language games, and information, (Oxford: Clarendon Press: 1973)
- Jaakko Hintikka, "Quantifiers vs. quantification theory", Linguistic Inquiry 5 (1974), pp. 153--177
- Jaakko Hintikka, "Reductions in the Theory of Types", Acta Philosophica Fennica 89 (1955), pp. 61--115
- Jaakko Hintikka and Gabriel Sandu, "The Skeleton in Frege's Cupboard", Journal of Philosophy 89 (1992), pp. 290--315
- David Kaplan and Richard Montague, "Foundations of Higher-Order Logic", in BarHillelLMPS, pp. 101--111 (1965)
- Peter Koellner, "Strong Logics of First and Second Order", Bulletin of Symbolic Logic (forthcoming), pp.
- Joachim Lambek, P. J. Scott, Introduction to Higher-Order Categorical Logic, (Cambridge: Cambridge University Press: 1986)
- Shaughan Lavine, Understanding the infinite, (Cambridge, MA: Harvard University Press: 1994)
- Daniel Leivant, "Higher-Order Logic", in GabbayHoggerHandbookOfLogicVol2, pp. 230-321 (1994)
- Øystein Linnebo, "Plural Quantification Exposed", Noûs 37 (2003), pp. 71-92
- John Lloyd, Logic and Learning: Knowledge Representation, Computation and Learning in Higher-Order Logic, (New York: Springer-Verlag: 2002)
- María Manzano, Extensions of First-Order Logic, (Cambridge: Cambridge University Press: 1996)
- Vann McGee, "Everything", in SherBetweenLogicAndIntuition, pp. (2000)
- Vann McGee, "Universal Universal Quantification: Comments on Rayo and Williamson", in BeallLiarsHeaps, pp. 357--364 (2004)
- Elliott Mendelson, Introduction to Mathematical Logic, 4 edition, (New York: Chapman & Hall: 1997)
- Richard Montague, "Reductions of Higher-Order Logic", in AddisonHenkinTarskiTheoryOfModels, pp. 251--264 (1965)
- Richard Montague, "Set theory and higher order logic", in CrossleyFormalSystemsAndRecursiveFunctions, pp. 131--148 (1965)
- Gregory H. Moore, "Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory", History and Philosophy of Logic 1 (1980), pp. 95--137
- Karl-Georg Niebergall, "On Second Order Variants of Calculi of Individuals", Theoria forthcoming (), pp.
- Charles Parsons, "The structuralist view of mathematical objects", Synthese 84 (1990), pp. 303--347
- Wolfram Pohler, Proof Theory: The First Step into Impredicativity, (Berlin: Springer: 2009)
- Dag Prawitz, "Completeness and Hauptsatz for Second-Order Logic", Theoria 33 (1964), pp. 246--258
- Dag Prawitz, "Hauptsatz for Higher-Order Logic", Journal of Symbolic Logic 33 (1968), pp. 452--457
- Dag Prawitz, "Ideas and Results in Proof Theory", in FenstadProceedingsOfThe2ndScandinavian, pp. 235--308 (1971)
- Dag Prawitz, "Some results for intuitionistic logic with second order quantifiers", in MyhillIntuitionism, pp. 259--269 (1970)
- Dag Prawitz, Natural Deduction: A proof-theoretical study, (Stockholm: Almqvist and Wiksell: 1965)
- Dag Prawitz, "On the Proof Theory of Mathematical Analysis", in PauliLogicAndValue, pp. 169--180 (1970)
- A. N. Prior, Objects of Thought. Edited by P. T. Geach and A. J. P. Kenny, (Oxford: Clarendon Press: 1971)
- Hilary Putnam, "Peirce the Logician", in PutnamRealismWithAHumanFace, pp. 252-260 (1990)
- Hilary Putnam, Philosophy of logic, (New York: Harper & Row: 1971)
- W. V. Quine, "Identity, Ostension, Hypostasis", Journal of Philosophy 47 (1950), pp. 621-633
- W. V. Quine, "Logic and the Reification of Universals", in QuineFromALogicalPointOfView, pp. 102-129 (1953)
- W. V. Quine, "On the Individutation of Attributes", in MartinTheLogicalEnterprise, pp. 3-13 (1975)
- W. V. Quine, "On Universals", Journal of Symbolic Logic 12 (1947), pp. 74-84
- W. V. Quine, "On what there is", Review of Metaphysics 2 (1964), pp. 21-38
- W. V. Quine, Philosophy of logic, (Oxford: Oxford University Press: 1970)
- W. V. Quine, "Reply to Hao Wang", in SchilppQuine, pp. 644-648 (1986)
- W. V. Quine, "Whitehead and the rise of modern logic", in SchilppPhilosophyOfAlfredNorthWhitehead, pp. 127--163 (1941)
- Michael O. Rabin, "Decidability of Second-Order Theories and Automata on Infinite Trees", Transactions of the American Mathematical Society 141 (1969), pp. 1-35
- Agustin Rayo and Gabriel Uzquiano, "Toward a theory of second-order consequence", Notre Dame Journal of Formal Logic 40 (1999), pp. 315-325
- Agustin Rayo, "Word and Objects", Noûs 36 (2002), pp. 436-464
- Agustin Rayo and Stephen Yablo, "Nominalism Through De-Nominalization", Noûs 35 (2001), pp. 74-92
- Stephen Read, "Identity and Harmony", Analysis 64 (2004), pp. 113--119
- Michael Resnik, "Second-Order Logic Still Wild", Journal of Philosophy 85 (1988), pp. 75--87
- Robert Rogers, Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results, 2 edition, (Amsterdam: North-Holland: 1974)
- Marcus Rossberg and Daniel Cohnitz, "Logical Consequence for Nominalists", Theoria (forthcoming), pp.
- Marcus Rossberg, "First-Order Logic, Second-Order Logic, and Completeness", in HendricksFOLRevisited, pp. 303--321 (2004)
- Marcus Rossberg, Second-Order Logic: Ontological and Epistemological Problems, PhD thesis, University of St Andrews, (2006)
- Stewart Shapiro, "Classical Logic II: Higher-Order Logic", in GoblePhilosophicalLogic, pp. 33--54 (2001)
- Stewart Shapiro, "Conservativeness and incompleteness", Journal of Philosophy 80 (1983), pp. 521--531
- Stewart Shapiro, "Do not claim too much: second-order and first-order logic", Philosophia Mathematica 7 (1999), pp. 42--64
- Stewart Shapiro, Foundations without foundationalism: a case for second-order logic, (Oxford: Oxford University Press: 1991)
- Stewart Shapiro, "The `Triumph' of First-Order Languages", in AndersonZelenyFestschriftChurch, pp. (2001)
- Stewart Shapiro, The Limits of Logic: Higher-Order Logic and the Löwenheim-Skolem Theorem, (Aldershot: Dartmouth: 1996)
- Stewart Shapiro, "Logical Consequence: Models and Modality", in SchirnPhilosophyOfMathematicsToday, pp. 131-156 (1998)
- Stewart Shapiro, Alan Weir, "New V, ZF and abstraction", Philosophia Mathematica 7 (1999), pp. 293--321
- Stewart Shapiro, "Principles of reflection and second-order logic", Journal of Philosophical Logic 16 (1987), pp. 309--333
- Stewart Shapiro, "Second-order languages and mathematical practice", Journal of Symbolic Logic 50 (1985), pp. 714--742
- Stewart Shapiro, Alan Weir, "'Neo-logicist' logic is not epistemically innocent", Philosophia Mathematica 8 (2000), pp. 160--189
- Gila Sher, Richard Tieszen (ed.), Between logic and intuition: Essays in honor of Charles Parsons, (Oxford: Oxford University Press: 2000)
- J. Simms, "A Realist Semantics for Cocchiarella's T*", Notre Dame Journal of Formal Logic 21 (1980), pp. 1--32
- Peter Simons, "Who's Afraid of Higher-Order Logic?", Grazer Philosophische Studien 44 (1993), pp. 253-264
- Peter Simons, "Higher-order quantification and ontological commitment", Dialectica 51 (1997), pp. 255-271
- Stephen Simpson, Subsystems of Second Order Arithmetic, (Berlin: Springer: 1999)
- Gaisi Takeuti, Proof Theory, (Amsterdam: North-Holland: 1975)
- Neil Tennant, "The Withering Away of Formal Semantics?", Mind and Language 1 (1986), pp. 302--318
- Leslie H. Tharp, "Which Logic is the Right Logic?", Synthese 31 (1975), pp. 1-21
- S. K. Thomason, "Reduction of second-order logic to modal logic", Zeitschrift für mathematische Logik und Grundlagen der Mathematik 21 (1975), pp. 107-114
- Anne S. Troelstra, Helmut Schwichtenberg, Basic Proof Theory, 2 (revised) edition, (Cambridge: Cambridge University Press: 2000)
- Gabriel Uzquiano, "Categoricity Theorems and Conceptions of Set", Journal of Philosophical Logic 31 (2002), pp. 181--196
- Jouku Väänänen, "Second-order logic and foundations of mathematics", Bulletin of Symbolic Logic 7 (2001), pp. 504-520
- Johan van Benthem, Modal Logic and Classical Logic, (Napoli: Bibliopolis: 1983)
- Steven J. Wagner, "The Rationalist Conception of Logic", Notre Dame Journal of Formal Logic 28 (1987), pp. 3-35
- James Walmsley, "Categoricity and Indefinite Extensibility", Proceedings of the Aristotelian Society 102 (2002), pp. 217-236
- Hao Wang, "Quine's Logical Ideas in Historical Perspective", in SchilppQuine, pp. 623-643 (1986)
- T. Weston, "The Continuum Hypothesis is independent of second-order ZF", Notre Dame Journal of Formal Logic 18 (1977), pp. 499-503
- T. Weston, "Kreisel, the continuum hypothesis and second-order set theory", Journal of Philosophical Logic 5 (1976), pp. 281--298
- Timothy Williamson, "Everything", Philosophical Perspectives 17 (2003), pp. 415--465
- Jan Wolenski, "First-Order Logic: (Philosophical) Pro and Contra", in HendricksFOLRevisited, pp. 369--398 (2004)
- Crispin Wright, "On Quantifying into Predicate Position: Steps towards a New(tralist) Position", in PotterMathematicalKnowledge, pp. 150-174 (2007)
Number of topics: 152
Bibliography entries relating to this topic in BibTeX format:
@Book{AndrewsIntroductionToMathematicalLogicAndTypeTheory,
author = {Peter B. Andrews},
title = {An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof},
booktitle = {An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof},
year = {2002},
publisher = {Springer},
address = {New York},
}
@Book{AndrewsTransfiniteTypeTheory,
author = {P. B. Andrews},
title = {A Transfinite Type Theory with Type Variables},
booktitle = {A Transfinite Type Theory with Type Variables},
year = {1965},
publisher = {North-Holland},
address = {Amsterdam},
}
@Article{AwodeyButzTopologicalCompletenessForHOL,
author = {Steve Awodey and C. Butz},
title = {Topological Completeness for Higher-order Logic},
journal = {Journal of Symbolic Logic},
year = {2000},
volume = {65},
pages = {1168--1182},
}
@Article{AwodeyCarusCarnapComepletenessCategoricity,
author = {Steve Awodey and A. Carus},
title = {Carnap, Completeness and Categoricity: The _Gabelbarkeitssatz_ of 1928},
journal = {Erkenntnis},
year = {2001},
volume = {54},
pages = {145--172},
}
@Article{AwodeyReckCompletenessAndCategoricity1,
author = {Steve Awodey and Erich H. Reck},
title = {Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic},
journal = {History and Philosophy of Logic},
year = {2002},
volume = {23},
pages = {1--30},
}
@Article{AwodeyReckCompletenessAndCategoricity2,
author = {Steve Awodey and Erich H. Reck},
title = {Completeness and Categoricity. Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics},
journal = {History and Philosophy of Logic},
year = {2002},
volume = {23},
pages = {77--94},
}
@InCollection{BaldwinDefinableSecondOrderQuantifiers,
author = {J. Baldwin},
title = {Definable Second-Order Quantifiers},
crossref = {BarwiseFefermanModelTheoreticLogics},
year = {1985},
pages = {445--477},
}
@Article{BarcanIdentity,
author = {Ruth C. Barcan},
title = {The Identity of Individuals in a Strict Functional Calculus of Second Order},
journal = {Journal of Symbolic Logic},
year = {1947},
volume = {12},
pages = {12--15},
}
@InCollection{BarwiseModel,
author = {Jon Barwise},
title = {Model-Theoretic Logics: Background and Aims},
crossref = {BarwiseFefermanModelTheoreticLogics},
year = {1985},
pages = {3--23},
}
@Article{BarwiseOnBranchingQuantifiersInEnglish,
author = {Jon Barwise},
title = {On branching quantifiers in English},
journal = {Journal of Philosophical Logic},
year = {1979},
volume = {8},
pages = {47--80},
}
@Book{BellDeVidiSolomonLogicalOptions,
author = {John L. Bell and David DeVidi and Graham Solomon},
title = {Logical Options: An Introduction to Classical and Alternative Logics},
booktitle = {Logical Options: An Introduction to Classical and Alternative Logics},
year = {2001},
publisher = {Broadview Press},
address = {Peterborough, Ontario},
}
@Article{BellFrege,
author = {John Bell, William Demopoulos},
title = {Frege's theory of concepts and objects and the interpretation of second-order logic},
journal = {Philosophia Mathematica},
year = {1993},
volume = {1},
pages = {139--156},
}
@InCollection{BenthemHigher,
author = {Johan van Benthem, Doets},
title = {Higher-order logic},
crossref = {GabbayHandbookOfPhilosophicalLogicVol1},
pages = {275--329},
}
@Article{BirdLogicInLogicism,
author = {A Bird},
title = {The logic in logicism},
journal = {Dialogue},
year = {1997},
volume = {XXXVI},
pages = {341--360},
}
@Article{BlanchetteModelsAndModality,
author = {Patricia A. Blanchette},
title = {Models And Modality},
journal = {Synthese},
year = {2000},
volume = {124},
pages = {45--72},
}
@Book{BoolosComputabilityAndLogic,
author = {George Boolos, Richard Jeffrey},
title = {Computability and logic},
booktitle = {Computability and logic},
year = {1985},
publisher = {Cambridge University Press},
address = {Cambridge},
}
@Article{BoolosCuriousInference,
author = {George Boolos},
title = {A curious inference},
journal = {Journal of Philosophical Logic},
year = {1987},
volume = {16},
pages = {1--12},
}
@InCollection{BoolosEighteenSeventyNine,
author = {George Boolos},
title = {1879?},
crossref = {ClarkHaleReadingPutnam},
year = {1994},
pages = {31--48},
}
@Article{BoolosFregesTheoremAndThePeanoPostulates,
author = {George Boolos},
title = {Frege's theorem and the Peano postulates},
journal = {Bulletin of Symbolic Logic},
year = {1995},
volume = {1},
pages = {317--326},
}
@InCollection{BoolosGottlobFregeAndTheFoundations,
author = {George Boolos},
title = {Gottlob Frege and the foundations of arithmetic},
crossref = {BoolosLogicLogicLogic},
pages = {143--154},
}
@Book{BoolosLogicLogicLogic,
author = {George Boolos},
title = {Logic, Logic, and Logic},
booktitle = {Logic, Logic, and Logic},
year = {1998},
publisher = {Harvard University Press},
address = {Cambridge, MA},
}
@Article{BoolosNominalistPlatonism,
author = {George Boolos},
title = {Nominalist Platonism},
journal = {Philosophical Review},
year = {1985},
volume = {94},
pages = {327--344},
}
@Article{BoolosNonfirstorderizabilityAgain,
author = {George Boolos},
title = {Nonfirstorderizability again},
journal = {Linguistic Inquiry},
year = {1984},
volume = {15},
pages = {343},
}
@Article{BoolosOnSecond,
author = {George Boolos},
title = {On second-order logic},
journal = {Journal of Philosophy},
year = {1975},
volume = {72},
pages = {509--527},
}
@InCollection{BoolosOnTheProofOfFrege,
author = {George Boolos},
title = {On the proof of Frege's theorem},
crossref = {MortonBenacerrafAndHisCritics},
pages = {1998},
}
@Article{BoolosReadingTheBegriffsschrift,
author = {George Boolos},
title = {Reading the Begriffsschrift},
journal = {Mind},
year = {1985},
volume = {94},
pages = {331--334},
}
@Article{BoolosToBeIsTheValue,
author = {George Boolos},
title = {To Be is to Be the Value of a Variable (or to Be Some Values of Some Variables)},
journal = {Journal of Philosophy},
year = {1984},
volume = {81},
pages = {430--450},
}
@InCollection{BostockOnMotivatingHigher,
author = {David Bostock},
title = {On motivating higher-order logic},
crossref = {SmileyPhilosophicalLogic},
year = {1998},
pages = {29--43},
}
@Book{BrownAutomatedReasoningInHigher,
author = {Chad E. Brown},
title = {Automated Reasoning in Higher-order Logic: Set Comprehension and Extensionality in Church's Type Theory},
booktitle = {Automated Reasoning in Higher-order Logic: Set Comprehension and Extensionality in Church's Type Theory},
year = {2007},
publisher = {College Publications},
address = {London},
}
@InCollection{ChurchAxiomsForFunctionalCalculi,
author = {Alonzo Church},
title = {Axioms for Functional Calculi of Higher Order},
crossref = {RudnerSchefflerLogicAndArtEssays},
year = {1972},
pages = {197--213},
}
@Article{ChurchFormulationOfTheSimpleTheoryOfTypes,
author = {Alonzo Church},
title = {A formulation of the simple theory of types},
journal = {Journal of Symbolic Logic},
year = {1940},
volume = {5},
pages = {56--68},
}
@Book{ChurchIntroductionToMathematicalLogic,
author = {Alonzo Church},
title = {Introduction to Mathematical Logic. Vol. 1},
booktitle = {Introduction to Mathematical Logic. Vol. 1},
year = {1956},
publisher = {Princeton University Press},
address = {Princeton},
}
@Article{CocchiarellaCantorsPowerset,
author = {Nino B. Cocchiarella},
title = {Cantor’s Power-Set Theorem versus Frege’s Double-Correlation Thesis},
journal = {History and Philosophy of Logic},
year = {1992},
volume = {132},
COMPLAINT={This item has no Pagerange field. Edit it in TWiki and add one.},
}
@Book{CocchiarellaFreundModalLogicAnIntroduction,
author = {Nino B. Cocchiarella and Max A. Freund},
title = {Modal Logic: An Introduction to its Syntax and Semantics},
booktitle = {Modal Logic: An Introduction to its Syntax and Semantics},
year = {2008},
publisher = {Oxford University Press},
address = {Oxford},
}
@Book{CocchiarellaLogicalInvestigationsOfPredicationTheory,
author = {Nino B. Cocchiarella},
title = {Logical Investigations of Predication Theory and the Problem of Universals},
booktitle = {Logical Investigations of Predication Theory and the Problem of Universals},
year = {1986},
publisher = {Bibliopolis},
address = {Napoli},
}
@Book{CocchiarellaLogicalStudiesInEarlyAnalyticalPhilosophy,
author = {Nino B. Cocchiarella},
title = {Logical Studies in Early Analytic Philosophy},
booktitle = {Logical Studies in Early Analytic Philosophy},
year = {1987},
publisher = {Basic Books},
address = {New York},
}
@Article{CocchiarellaNewFormulationOfPSOL,
author = {Nino B. Cocchiarella},
title = {A New Formulation of Predicative Second Order Logic},
journal = {Logique et Analyse},
year = {1974},
volume = {65--66},
pages = {61--87},
}
@Article{CocchiarellaOnThePrimaryAndSecondary,
author = {N. B. Cocchiarella},
title = {On the primary and secondary semantics of logical necessity},
journal = {Journal of Philosophical Logic},
year = {1975},
volume = {4},
pages = {13--27},
}
@Article{CocchiarellaPredicationVsMembership,
author = {Nino B. Cocchiarella},
title = {Predication versus Membership in the Distinction between Logic as Language and Logic as Calculus},
journal = {Synthese},
year = {1988},
volume = {77},
pages = {37--72},
}
@Article{CocchiarellaReviewShapiro,
author = {Nino B. Cocchiarella},
title = {Review of Shapiro: Foundations Without Foundationalism},
journal = {Notre Dame Journal of Formal Logic},
year = {1993},
volume = {34},
pages = {453--468},
}
@Article{CocchiarellaSecondOrderModalLogic,
author = {Nino B. Cocchiarella},
title = {A Completeness Theorem in Second-Order Modal Logic},
journal = {Theoria},
year = {1969},
volume = {35},
pages = {81--103},
}
@Article{CocchiarellaSecondOrderTheoriesOfPredications,
author = {Nino B. Cocchiarella},
title = {Second-Order Theories of Predication: Old and New Foundations},
journal = {Noûs},
year = {1975},
volume = {9},
pages = {33--53},
}
@Article{CookAristotelianLogic,
author = {Roy T Cook},
title = {Aristotelian logic, axioms, and abstraction},
journal = {Philosophia Mathematica},
year = {2003},
volume = {11(3)},
pages = {195--202},
}
@Article{CorcoranCategoricity,
author = {John Corcoran},
title = {Categoricity},
journal = {History and Philosophy of Logic},
year = {1980},
volume = {1},
pages = {187--207},
}
@Article{CorcoranCategoricityCompleteness,
author = {John Corcoran},
title = {From Categoricity to Completeness},
journal = {History and Philosophy of Logic},
year = {1981},
volume = {2},
pages = {113--119},
}
@InCollection{CorcoranSecondOrderLogic,
author = {John Corcoran},
title = {Second-Order Logic},
crossref = {MoatesButrickProceedingsInferenceOUIC86},
year = {1987},
pages = {7--31},
}
@InCollection{CorcoranSecondOrderLogic2001,
author = {John Corcoran},
title = {Second-Order Logic},
crossref = {AndersonZelenyFestschriftChurch},
year = {2001},
COMPLAINT={This item has no Pagerange field. Edit it in TWiki and add one.},
}
@Article{CraigSatisfactionNthOrder,
author = {William Craig},
title = {Satisfaction for n-th order languages defined in n-th order languages},
journal = {Journal of Symbolic Logic},
year = {1965},
volume = {30},
pages = {13--25},
}
@Article{CutlerReviewShapiro,
author = {Darcy Cutler},
title = {Review of ShapiroFoundationsWithoutFoundationalism},
journal = {Philosophia Mathematica},
year = {1997},
volume = {5},
pages = {71--91},
}
@Article{EklundHowLogicBecameFirstOrder,
author = {M. Eklund},
title = {On How Logic Became First-Order},
journal = {Nordic Journal of Philosophical Logic},
year = {1996},
volume = {1},
pages = {147--167},
}
@Book{EndertonAMathematicalIntroductionTo,
author = {Herbert B. Enderton},
title = {A Mathematical Introduction to Logic},
booktitle = {A Mathematical Introduction to Logic},
year = {2001},
publisher = {Academic Press},
address = {San Diego},
}
@Book{EtchemendyConceptOfLogicalConsequence,
author = {John Etchemendy},
title = {The Concept of Logical Consequence},
booktitle = {The Concept of Logical Consequence},
year = {1990},
publisher = {Harvard University Press},
address = {Cambridge, MA},
}
@InCollection{EwaldFOL75,
author = {William Ewald},
title = {FOL 75?},
crossref = {HendricksFOLRevisited},
year = {2004},
pages = {89--105},
}
@InCollection{FieldCategoricityArguments,
author = {Hartry Field},
title = {Postscript: Categoricity Arguments},
crossref = {FieldTruthAbsenceFact},
year = {2001},
pages = {351--360},
}
@Article{FieldLogicalAndMathematicalConcepts,
author = {Hartry Field},
title = {Are Our Logical and Mathematical Concepts Highly Indeterminate?},
journal = {Midwest Studies in Philosophy},
year = {1994},
volume = {19},
pages = {391--429},
}
@Book{GabbaySchmidtSzalasSecondOrderQuantifierElimination,
author = {Dov M. Gabbay and Renate A. Schmidt and Andrzej Szałas},
title = {Second-Order Quantifier Elimination: Foundations, Computational Aspects and Applications},
booktitle = {Second-Order Quantifier Elimination: Foundations, Computational Aspects and Applications},
year = {2008},
publisher = {College Publications},
address = {London},
}
@Book{GallinIntensionalAndHigher,
author = {Daniel Gallin},
title = {Intensional and Higher-Order Modal Logic},
booktitle = {Intensional and Higher-Order Modal Logic},
year = {1975},
publisher = {North-Holland},
address = {Amsterdam},
}
@Article{GarlandSecondOrderCardinal,
author = {S. Garland},
title = {Second-Order Cardinal Characterizability},
journal = {Proceedings of the London Mathematical Society},
year = {1974},
volume = {113},
pages = {127--146},
}
@InCollection{GarlandSecondOrderCardinalCharacterizability,
author = {Stephen J. Garland},
title = {Second-Order Cardinal Characterizability},
crossref = {JechAxiomaticSetTheory},
year = {1974},
pages = {127--146},
}
@InCollection{GoldfarbFregesConceptionOfLogic,
author = {Warren Goldfarb},
title = {Frege's Conception of Logic},
crossref = {FloydShiehFuturePasts},
year = {2001},
pages = {25--41},
}
@Article{GoldfarbLogicInThe20ies,
author = {Warren Goldfarb},
title = {Logic in the Twenties: The Nature of the Quantifier},
journal = {Journal of Symbolic Logic},
year = {1979},
volume = {44},
pages = {351--368},
}
@Article{GoldfarbRamification,
author = {Warren Goldfarb},
title = {Russell's Reasons for Ramification},
journal = {Minnesota Studies in Philosophy of Science},
year = {1989},
volume = {12},
pages = {24--40},
}
@InCollection{GurevichMonadicSecondOrderTheories,
author = {Yuri Gurevich},
title = {Monadic Second-Order Theories},
crossref = {BarwiseFefermanModelTheoreticLogics},
year = {1985},
pages = {479--506},
}
@Article{GurevichShelahInterpretingSecondOrderLogic,
author = {Yuri Gurevich and Saharon Shelah},
title = {Interpreting Second-Order Logic in the Monadic Theory of Order},
journal = {Journal of Symbolic Logic},
year = {1983},
volume = {48},
number = {3},
pages = {816--828},
}
@Article{HansonSOLandLogicism,
author = {William H. Hanson},
title = {Second-Order Logic and Logicism},
journal = {Mind},
year = {1990},
volume = {99},
pages = {91--99},
}
@Article{HazenRelationsMonadicThirdOrder,
author = {A. P. Hazen},
title = {Relations in Monadic Third-Order Logic},
journal = {Journal of Philosophical Logic},
year = {1997},
volume = {26},
pages = {619--628},
}
@Article{HeckStanleyFregeAndSOL,
author = {Richard G. Heck and Jason Stanley},
title = {Reply to Hintikka and Sandu: Frege and Second-Order Logic},
journal = {Journal of Philosophy},
year = {1993},
volume = {90},
pages = {416--424},
}
@Article{HellmanRealAnalysisWithoutClasses,
author = {Geoffrey Hellman},
title = {Real Analysis without Classes},
journal = {Philosophia Mathematica},
year = {1994},
volume = {2},
pages = {228--250},
}
@Article{HenkinCompleteness,
author = {Leon Henkin},
title = {Completeness in the Theory of Types},
journal = {Journal of Symbolic Logic},
year = {1950},
volume = {15},
pages = {159--171},
}
@InCollection{HigginbothamOnHigher,
author = {James Higginbotham},
title = {On higher-order logic and natural language},
crossref = {SmileyPhilosophicalLogic},
pages = {1--27},
}
@Book{HintikkaLogic,
author = {Jaakko Hintikka},
title = {Logic, language games, and information},
booktitle = {Logic, language games, and information},
year = {1973},
publisher = {Clarendon Press},
address = {Oxford},
}
@Article{HintikkaQuantifiersVs,
author = {Jaakko Hintikka},
title = {Quantifiers vs. quantification theory},
journal = {Linguistic Inquiry},
year = {1974},
volume = {5},
pages = {153--177},
}
@Article{HintikkaReductions,
author = {Jaakko Hintikka},
title = {Reductions in the Theory of Types},
journal = {Acta Philosophica Fennica},
year = {1955},
volume = {89},
pages = {61--115},
}
@Article{HintikkaSanduSkeleton,
author = {Jaakko Hintikka and Gabriel Sandu},
title = {The Skeleton in Frege's Cupboard},
journal = {Journal of Philosophy},
year = {1992},
volume = {89},
pages = {290--315},
}
@InCollection{KaplanMontagueFoundationsHOL,
author = {David Kaplan and Richard Montague},
title = {Foundations of Higher-Order Logic},
crossref = {BarHillelLMPS},
year = {1965},
pages = {101--111},
}
@Article{KoellnerStrongLogics,
author = {Peter Koellner},
title = {Strong Logics of First and Second Order},
journal = {Bulletin of Symbolic Logic},
year = {forthcoming},
COMPLAINT={This item has no Volume field. Edit it in TWiki and add one.},
COMPLAINT={This item has no Pagerange field. Edit it in TWiki and add one.},
}
@Book{LambekIntroductionToHigher,
author = {Joachim Lambek, P. J. Scott},
title = {Introduction to Higher-Order Categorical Logic},
booktitle = {Introduction to Higher-Order Categorical Logic},
year = {1986},
publisher = {Cambridge University Press},
address = {Cambridge},
}
@Book{LavineUnderstandingTheInfinite,
author = {Shaughan Lavine},
title = {Understanding the infinite},
booktitle = {Understanding the infinite},
year = {1994},
publisher = {Harvard University Press},
address = {Cambridge, MA},
}
@InCollection{LeivantHigherOrderLogic,
author = {Daniel Leivant},
title = {Higher-Order Logic},
crossref = {GabbayHoggerHandbookOfLogicVol2},
year = {1994},
pages = {230--321},
}
@Article{LinneboPluralQuantificationExposed,
author = {Øystein Linnebo},
title = {Plural Quantification Exposed},
journal = {Noûs},
year = {2003},
volume = {37},
pages = {71--92},
}
@Book{LloydLogicAndLearning,
author = {John Lloyd},
title = {Logic and Learning: Knowledge Representation, Computation and Learning in Higher-Order Logic},
booktitle = {Logic and Learning: Knowledge Representation, Computation and Learning in Higher-Order Logic},
year = {2002},
publisher = {Springer-Verlag},
address = {New York},
}
@Book{ManzanoExtensions,
author = {María Manzano},
title = {Extensions of First-Order Logic},
booktitle = {Extensions of First-Order Logic},
year = {1996},
publisher = {Cambridge University Press},
address = {Cambridge},
}
@InCollection{McGeeEverything,
author = {Vann McGee},
title = {Everything},
crossref = {SherBetweenLogicAndIntuition},
year = {2000},
COMPLAINT={This item has no Pagerange field. Edit it in TWiki and add one.},
}
@InCollection{McGeeUniversalUniversalQuantification,
author = {Vann McGee},
title = {Universal Universal Quantification: Comments on Rayo and Williamson},
crossref = {BeallLiarsHeaps},
year = {2004},
pages = {357--364},
}
@Book{MendelsonMathematicalLogic,
author = {Elliott Mendelson},
title = {Introduction to Mathematical Logic},
booktitle = {Introduction to Mathematical Logic},
year = {1997},
publisher = {Chapman & Hall},
address = {New York},
}
@InCollection{MontagueReductionsOfHOL,
author = {Richard Montague},
title = {Reductions of Higher-Order Logic},
crossref = {AddisonHenkinTarskiTheoryOfModels},
year = {1965},
pages = {251--264},
}
@InCollection{MontagueSetTheoryAndHigherOrder,
author = {Richard Montague},
title = {Set theory and higher order logic},
crossref = {CrossleyFormalSystemsAndRecursiveFunctions},
year = {1965},
pages = {131--148},
}
@Article{MooreBeyondFirst,
author = {Gregory H. Moore},
title = {Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory},
journal = {History and Philosophy of Logic},
year = {1980},
volume = {1},
pages = {95--137},
}
@Article{NiebergallOnSecondOrderVariants,
author = {Karl-Georg Niebergall},
title = {On Second Order Variants of Calculi of Individuals},
journal = {Theoria},
COMPLAINT={This item has no Year field. Edit it in TWiki and add one.},
volume = {forthcoming},
COMPLAINT={This item has no Pagerange field. Edit it in TWiki and add one.},
}
@Article{ParsonsStructuralistViewOfMathematicalObjects,
author = {Charles Parsons},
title = {The structuralist view of mathematical objects},
journal = {Synthese},
year = {1990},
volume = {84},
pages = {303--347},
}
@Book{PohlersProofTheoryTheFirst,
author = {Wolfram Pohler},
title = {Proof Theory: The First Step into Impredicativity},
booktitle = {Proof Theory: The First Step into Impredicativity},
year = {2009},
publisher = {Springer},
address = {Berlin},
}
@Article{PrawitzCompleteness,
author = {Dag Prawitz},
title = {Completeness and Hauptsatz for Second-Order Logic},
journal = {Theoria},
year = {1964},
volume = {33},
pages = {246--258},
}
@Article{PrawitzHauptsatzHOL,
author = {Dag Prawitz},
title = {Hauptsatz for Higher-Order Logic},
journal = {Journal of Symbolic Logic},
year = {1968},
volume = {33},
pages = {452--457},
}
@InCollection{PrawitzIdeasAndResultsInProof,
author = {Dag Prawitz},
title = {Ideas and Results in Proof Theory},
crossref = {FenstadProceedingsOfThe2ndScandinavian},
year = {1971},
pages = {235--308},
}
@InCollection{PrawitzIntuitionisticSOL,
author = {Dag Prawitz},
title = {Some results for intuitionistic logic with second order quantifiers},
crossref = {MyhillIntuitionism},
year = {1970},
pages = {259--269},
}
@Book{PrawitzNaturalDeduction,
author = {Dag Prawitz},
title = {Natural Deduction: A proof-theoretical study},
booktitle = {Natural Deduction: A proof-theoretical study},
year = {1965},
publisher = {Almqvist and Wiksell},
address = {Stockholm},
}
@InCollection{PrawitzProofTheoryOfMathematicalAnalysis,
author = {Dag Prawitz},
title = {On the Proof Theory of Mathematical Analysis},
crossref = {PauliLogicAndValue},
year = {1970},
pages = {169--180},
}
@Book{PriorObjectsOfThought,
author = {A. N. Prior},
title = {Objects of Thought. Edited by P. T. Geach and A. J. P. Kenny},
booktitle = {Objects of Thought. Edited by P. T. Geach and A. J. P. Kenny},
year = {1971},
publisher = {Clarendon Press},
address = {Oxford},
}
@InCollection{PutnamPeirceTheLogician,
author = {Hilary Putnam},
title = {Peirce the Logician},
crossref = {PutnamRealismWithAHumanFace},
year = {1990},
pages = {252--260},
}
@Book{PutnamPhilosophyOfLogic,
author = {Hilary Putnam},
title = {Philosophy of logic},
booktitle = {Philosophy of logic},
year = {1971},
publisher = {Harper & Row},
address = {New York},
}
@Article{QuineIdentity,
author = {W. V. Quine},
title = {Identity, Ostension, Hypostasis},
journal = {Journal of Philosophy},
year = {1950},
volume = {47},
pages = {621--633},
}
@InCollection{QuineLogicAndTheReificationOfUniversals,
author = {W. V. Quine},
title = {Logic and the Reification of Universals},
crossref = {QuineFromALogicalPointOfView},
year = {1953},
pages = {102--129},
}
@InCollection{QuineOnTheIndividuationOfAttributes,
author = {W. V. Quine},
title = {On the Individutation of Attributes},
crossref = {MartinTheLogicalEnterprise},
year = {1975},
pages = {3--13},
}
@Article{QuineOnUniversals,
author = {W. V. Quine},
title = {On Universals},
journal = {Journal of Symbolic Logic},
year = {1947},
volume = {12},
pages = {74--84},
}
@Article{QuineOnWhatThereIs,
author = {W. V. Quine},
title = {On what there is},
journal = {Review of Metaphysics},
year = {1964},
volume = {2},
pages = {21--38},
}
@Book{QuinePhilosophyOfLogic,
author = {W. V. Quine},
title = {Philosophy of logic},
booktitle = {Philosophy of logic},
year = {1970},
publisher = {Oxford University Press},
address = {Oxford},
}
@InCollection{QuineReplyToHaoWang,
author = {W. V. Quine},
title = {Reply to Hao Wang},
crossref = {SchilppQuine},
year = {1986},
pages = {644--648},
}
@InCollection{QuineWhiteheadAndTheRiseOf,
author = {W. V. Quine},
title = {Whitehead and the rise of modern logic},
crossref = {SchilppPhilosophyOfAlfredNorthWhitehead},
year = {1941},
pages = {127--163},
}
@Article{RabinDecidability,
author = {Michael O. Rabin},
title = {Decidability of Second-Order Theories and Automata on Infinite Trees},
journal = {Transactions of the American Mathematical Society},
year = {1969},
volume = {141},
pages = {1--35},
}
@Article{RayoUzquianoSecondOrderConsequence,
author = {Agustin Rayo and Gabriel Uzquiano},
title = {Toward a theory of second-order consequence},
journal = {Notre Dame Journal of Formal Logic},
year = {1999},
volume = {40},
pages = {315--325},
}
@Article{RayoWordAndObjects,
author = {Agustin Rayo},
title = {Word and Objects},
journal = {Noûs},
year = {2002},
volume = {36},
pages = {436--464},
}
@Article{RayoYabloNominalismThroughDeNominalization,
author = {Agustin Rayo and Stephen Yablo},
title = {Nominalism Through De-Nominalization},
journal = {Noûs},
year = {2001},
volume = {35},
number = {1},
pages = {74--92},
}
@Article{ReadIdentityAndHarmony,
author = {Stephen Read},
title = {Identity and Harmony},
journal = {Analysis},
year = {2004},
volume = {64},
pages = {113--119},
}
@Article{ResnikSecond,
author = {Michael Resnik},
title = {Second-Order Logic Still Wild},
journal = {Journal of Philosophy},
year = {1988},
volume = {85},
pages = {75--87},
}
@Book{RogersMathematicalLogic,
author = {Robert Rogers},
title = {Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results},
booktitle = {Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results},
year = {1974},
publisher = {North-Holland},
address = {Amsterdam},
}
@Article{RossbergCohnitzLogicalConsequenceForNominalists,
author = {Marcus Rossberg and Daniel Cohnitz},
title = {Logical Consequence for Nominalists},
journal = {Theoria},
year = {forthcoming},
COMPLAINT={This item has no Volume field. Edit it in TWiki and add one.},
COMPLAINT={This item has no Pagerange field. Edit it in TWiki and add one.},
}
@InCollection{RossbergCompleteness,
author = {Marcus Rossberg},
title = {First-Order Logic, Second-Order Logic, and Completeness},
crossref = {HendricksFOLRevisited},
year = {2004},
pages = {303--321},
}
@InCollection{ShapiroClassicalLogicIIHigherOrderLogic,
author = {Stewart Shapiro},
title = {Classical Logic II: Higher-Order Logic},
crossref = {GoblePhilosophicalLogic},
year = {2001},
pages = {33--54},
}
@Article{ShapiroConservativenessAndIncompleteness,
author = {Stewart Shapiro},
title = {Conservativeness and incompleteness},
journal = {Journal of Philosophy},
year = {1983},
volume = {80},
pages = {521--531},
}
@Article{ShapiroDoNotClaimTooMuch,
author = {Stewart Shapiro},
title = {Do not claim too much: second-order and first-order logic},
journal = {Philosophia Mathematica},
year = {1999},
volume = {7},
pages = {42--64},
}
@Book{ShapiroFoundationsWithoutFoundationalism,
author = {Stewart Shapiro},
title = {Foundations without foundationalism: a case for second-order logic},
booktitle = {Foundations without foundationalism: a case for second-order logic},
year = {1991},
publisher = {Oxford University Press},
address = {Oxford},
}
@InCollection{ShapiroHistoricalTriumph,
author = {Stewart Shapiro},
title = {The `Triumph' of First-Order Languages},
crossref = {AndersonZelenyFestschriftChurch},
year = {2001},
COMPLAINT={This item has no Pagerange field. Edit it in TWiki and add one.},
}
@Book{ShapiroLimitsOfLogic,
author = {Stewart Shapiro},
title = {The Limits of Logic: Higher-Order Logic and the Löwenheim-Skolem Theorem},
booktitle = {The Limits of Logic: Higher-Order Logic and the Löwenheim-Skolem Theorem},
year = {1996},
publisher = {Dartmouth},
address = {Aldershot},
}
@InCollection{ShapiroLogicalConsequence,
author = {Stewart Shapiro},
title = {Logical Consequence: Models and Modality},
crossref = {SchirnPhilosophyOfMathematicsToday},
year = {1998},
pages = {131--156},
}
@Article{ShapiroNewV,
author = {Stewart Shapiro, Alan Weir},
title = {New V, ZF and abstraction},
journal = {Philosophia Mathematica},
year = {1999},
volume = {7},
pages = {293--321},
}
@Article{ShapiroPrinciplesOfReflectionAndSecond,
author = {Stewart Shapiro},
title = {Principles of reflection and second-order logic},
journal = {Journal of Philosophical Logic},
year = {1987},
volume = {16},
pages = {309--333},
}
@Article{ShapiroSecond,
author = {Stewart Shapiro},
title = {Second-order languages and mathematical practice},
journal = {Journal of Symbolic Logic},
year = {1985},
volume = {50},
pages = {714--742},
}
@Article{ShapiroWeirInnocent,
author = {Stewart Shapiro, Alan Weir},
title = {'Neo-logicist' logic is not epistemically innocent},
journal = {Philosophia Mathematica},
year = {2000},
volume = {8},
pages = {160--189},
}
@Book{SherBetweenLogicAndIntuition,
editor = {Gila Sher, Richard Tieszen},
title = {Between logic and intuition: Essays in honor of Charles Parsons},
booktitle = {Between logic and intuition: Essays in honor of Charles Parsons},
year = {2000},
publisher = {Oxford University Press},
address = {Oxford},
}
@Article{SimmsRealistSemanticsForCocciarellasT,
author = {J. Simms},
title = {A Realist Semantics for Cocchiarella's T*},
journal = {Notre Dame Journal of Formal Logic},
year = {1980},
volume = {21},
pages = {1--32},
}
@Article{SimonsAfraidHigherOrderLogic,
author = {Peter Simons},
title = {Who's Afraid of Higher-Order Logic?},
journal = {Grazer Philosophische Studien},
year = {1993},
volume = {44},
pages = {253--264},
}
@Article{SimonsHigherOrderLogicAndOntologicalCommitment,
author = {Peter Simons},
title = {Higher-order quantification and ontological commitment},
journal = {Dialectica},
year = {1997},
volume = {51},
pages = {255--271},
}
@Book{SimpsonSubsystensOfSecondOrder,
author = {Stephen Simpson},
title = {Subsystems of Second Order Arithmetic},
booktitle = {Subsystems of Second Order Arithmetic},
year = {1999},
publisher = {Springer},
address = {Berlin},
}
@Book{TakeutiProofTheory,
author = {Gaisi Takeuti},
title = {Proof Theory},
booktitle = {Proof Theory},
year = {1975},
publisher = {North-Holland},
address = {Amsterdam},
}
@Article{TennantWitheringAway,
author = {Neil Tennant},
title = {The Withering Away of Formal Semantics?},
journal = {Mind and Language},
year = {1986},
volume = {1},
pages = {302--318},
}
@Article{TharpWhichLogicIsTheRightOne,
author = {Leslie H. Tharp},
title = {Which Logic is the Right Logic?},
journal = {Synthese},
year = {1975},
volume = {31},
pages = {1--21},
}
@Article{ThomasonReductionOfSecondOrderLogicToModalLogic,
author = {S. K. Thomason},
title = {Reduction of second-order logic to modal logic},
journal = {Zeitschrift für mathematische Logik und Grundlagen der Mathematik},
year = {1975},
volume = {21},
pages = {107--114},
}
@Book{TroelstraSchwichtenbergProofTheory,
author = {Anne S. Troelstra, Helmut Schwichtenberg},
title = {Basic Proof Theory},
booktitle = {Basic Proof Theory},
year = {2000},
publisher = {Cambridge University Press},
address = {Cambridge},
}
@Article{UzquianoCategoricity,
author = {Gabriel Uzquiano},
title = {Categoricity Theorems and Conceptions of Set},
journal = {Journal of Philosophical Logic},
year = {2002},
volume = {31},
pages = {181--196},
}
@Article{VaananenSecondOrderLogic,
author = {Jouku Väänänen},
title = {Second-order logic and foundations of mathematics},
journal = {Bulletin of Symbolic Logic},
year = {2001},
volume = {7},
pages = {504--520},
}
@Book{VanBenthemModalLogicAndClassicalLogic,
author = {Johan van Benthem},
title = {Modal Logic and Classical Logic},
booktitle = {Modal Logic and Classical Logic},
year = {1983},
publisher = {Bibliopolis},
address = {Napoli},
}
@Article{WagnerRationalistConceptionOfLogic,
author = {Steven J. Wagner},
title = {The Rationalist Conception of Logic},
journal = {Notre Dame Journal of Formal Logic},
year = {1987},
volume = {28},
pages = {3--35},
}
@Article{WalmsleyCategoricity,
author = {James Walmsley},
title = {Categoricity and Indefinite Extensibility},
journal = {Proceedings of the Aristotelian Society},
year = {2002},
volume = {102},
pages = {217--236},
}
@InCollection{WangQuinesLogicalIdeas,
author = {Hao Wang},
title = {Quine's Logical Ideas in Historical Perspective},
crossref = {SchilppQuine},
year = {1986},
pages = {623--643},
}
@Article{WestonContinuumHypothesisIndependentOfSecondOrderZF,
author = {T. Weston},
title = {The Continuum Hypothesis is independent of second-order ZF},
journal = {Notre Dame Journal of Formal Logic},
year = {1977},
volume = {18},
pages = {499--503},
}
@Article{WestonKreisel,
author = {T. Weston},
title = {Kreisel, the continuum hypothesis and second-order set theory},
journal = {Journal of Philosophical Logic},
year = {1976},
volume = {5},
pages = {281--298},
}
@Article{WilliamsonEverything,
author = {Timothy Williamson},
title = {Everything},
journal = {Philosophical Perspectives},
year = {2003},
volume = {17},
pages = {415--465},
}
@InCollection{WolenskiFirstOrderLogic,
author = {Jan Wolenski},
title = {First-Order Logic: (Philosophical) Pro and Contra},
crossref = {HendricksFOLRevisited},
year = {2004},
pages = {369--398},
}
@InCollection{WrightNewtralist,
author = {Crispin Wright},
title = {On Quantifying into Predicate Position: Steps towards a New(tralist) Position},
crossref = {PotterMathematicalKnowledge},
year = {2007},
pages = {150--174},
}
Number of topics: 152
-- MathBibConvert 17 Feb 2003