- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Metatheory
In Dale Jacquette (ed.), A Companion to Philosophical Logic. Oxford, UK: Blackwell. pp. 305–318 (2006)
Abstract
This chapter contains sections titled: Introduction Hilbert's Program Gödel's Theorems Computability Absolute and Relative in Logic.My notes
Similar books and articles
Metatheory of Logics and the Characterization Problem.Jan Woleński - 2006 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Oxford, UK: Blackwell. pp. 319–331.
Paraconsistent Metatheory: New Proofs with Old Tools.Guillermo Badia, Zach Weber & Patrick Girard - 2022 - Journal of Philosophical Logic 51 (4):825-856.
Against Classical Paraconsistent Metatheory.Koji Tanaka & Patrick Girard - 2023 - Analysis 83 (2):285-294.
Some applications of model theory to the metatheory of program schemata.Richard A. DeMillo - 1977 - Notre Dame Journal of Formal Logic 18 (3):489-495.
From logicism to metatheory.Patricia Blanchette - 2013 - In Nicholas Griffin & Bernard Linsky (eds.), The Palgrave Centenary Companion to Principia Mathematica. London and Basingstoke: Palgrave-Macmillan.
Metalogic: An Introduction to the Metatheory of Standard First Order Logic.M. J. Cresswell & Geoffrey Hunter - 1972 - Philosophical Quarterly 22 (86):79.
The metatheory of the classical propositional calculus is not axiomatizable.Ian Mason - 1985 - Journal of Symbolic Logic 50 (2):451-457.
Cultural psychology as metatheory.Lisa Tsoi Hoshmand - 1996 - Journal of Theoretical and Philosophical Psychology 16 (1):30-48.
Metalogic: An Introduction to the Metatheory of Standard First Order Logic.H. A. Lewis Geoffrey Hunter - 1972 - Philosophical Books 13 (1):12-14.
Analytics
Added to PP
2023-06-15
Downloads
2 (#1,819,493)
6 months
1 (#1,516,603)
2023-06-15
Downloads
2 (#1,819,493)
6 months
1 (#1,516,603)
Historical graph of downloads
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-kftwx uwo