- 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
The Limits of Logic: Higher-order Logic and the Löwenheim-Skolem Theorem
Routledge (1996)
Abstract
The articles in this volume represent a part of the philosophical literature on higher-order logic and the Skolem paradox. They ask the question what is second-order logic? and examine various interpretations of the Lowenheim-Skolem theorem.Author's Profile
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Stewart Shapiro (ed.), The Limits of Higher-Order Logic and the Löwenheim-Skolem Theorem.Jan Woleński - 1998 - Erkenntnis 49 (3):393-396.
Stewart Shapiro (ed.), The Limits of Higher-Order Logic and the Löwenheim-Skolem Theorem.Jan Woleński - 1998 - Erkenntnis 49 (3):393-396.
INVENTING LOGIC: THE LÖWENHEIM-SKOLEM THEOREM AND FIRST- AND SECOND-ORDER LOGIC.Valérie Lynn Therrien - 2012 - Pensées Canadiennes 10.
Positive logics.Saharon Shelah & Jouko Väänänen - 2023 - Archive for Mathematical Logic 62 (1):207-223.
On löwenheim–skolem–tarski numbers for extensions of first order logic.Menachem Magidor & Jouko Väänänen - 2011 - Journal of Mathematical Logic 11 (1):87-113.
On the theorem of Skolem-Lowenheim.Kinjiro Kungui & Arnaud Denjoy - 1956 - Journal of Symbolic Logic 21 (1):95-96.
Some Remarks on Finite Löwenheim‐Skolem Theorems.Martin Grohe - 1996 - Mathematical Logic Quarterly 42 (1):569-571.
A Proof of the Skolem-Löwenheim Theorem.H. Rasiowa & R. Sikorski - 1953 - Journal of Symbolic Logic 18 (4):339-340.
A Löwenheim-Skolem Theorem for Cardinals for Apart.R. L. Vaught, J. W. Addison, Leon Henkin & Alfred Tarski - 1968 - Journal of Symbolic Logic 33 (3):476-477.
Symposium: On the Ontological Significance of the Löwenheim-Skolem Theorem.John R. Myhill - 1955 - Journal of Symbolic Logic 20 (1):64-64.
Analytics
Added to PP
2015-02-02
Downloads
17 (#213,731)
6 months
4 (#1,635,958)
2015-02-02
Downloads
17 (#213,731)
6 months
4 (#1,635,958)
Historical graph of downloads
Author's Profile
Citations of this work
Logic, Logics, and Logicism.Solomon Feferman - 1999 - Notre Dame Journal of Formal Logic 40 (1):31-54.
The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper.John Corcoran & José Miguel Sagüillo - 2011 - History and Philosophy of Logic 32 (4):359-374.
Sentence, Proposition, Judgment, Statement, and Fact: Speaking about the Written English Used in Logic.John Corcoran - 2009 - In W. A. Carnielli (ed.), The Many Sides of Logic. College Publications. pp. 71-103.
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-6mvtb uwo