- 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
Interesting theorems in symbolic logic
Journal of Philosophy, Psychology and Scientific Methods 10 (9):239-242 (1913)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Some useful preservation theorems.Kevin J. Compton - 1983 - Journal of Symbolic Logic 48 (2):427-440.
On the incompleteness theorems.Henryk Kotlarski - 1994 - Journal of Symbolic Logic 59 (4):1414-1419.
Some dichotomy theorems for isomorphism relations of countable models.Su Gao - 2001 - Journal of Symbolic Logic 66 (2):902-922.
Some theorems about the sentential calculi of Lewis and Heyting.J. C. C. McKinsey & Alfred Tarski - 1948 - Journal of Symbolic Logic 13 (1):1-15.
Some completeness theorems in the dynamic doxastic logic of iterated belief revision.Krister Segerberg - 2010 - Review of Symbolic Logic 3 (2):228-246.
A universal approach to self-referential paradoxes, incompleteness and fixed points.Noson S. Yanofsky - 2003 - Bulletin of Symbolic Logic 9 (3):362-386.
Some characterization theorems for infinitary universal horn logic without equality.Pilar Dellunde & Ramon Jansana - 1996 - Journal of Symbolic Logic 61 (4):1242-1260.
Whither relevant arithmetic?Harvey Friedman & Robert K. Meyer - 1992 - Journal of Symbolic Logic 57 (3):824-831.
Reverse mathematics: the playground of logic.Richard A. Shore - 2010 - Bulletin of Symbolic Logic 16 (3):378-402.
Analytics
Added to PP
2009-01-28
Downloads
40 (#388,897)
6 months
2 (#1,232,442)
2009-01-28
Downloads
40 (#388,897)
6 months
2 (#1,232,442)
Historical graph of downloads
Citations of this work
Logical consequence as truth-preservation.Stephen Read - 2003 - Logique and Analyse 183 (4):479-493.
C.I.Lewis’s calculus of predicates.Chris Swoyer - 1995 - History and Philosophy of Logic 16 (1):19-37.
Preface.Matteo Pascucci & Adam Tamas Tuboly - 2019 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 26 (3):318-322.
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-7c76586df8-5tf24 uwo