- 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
Other Versions
No versions found
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.
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.
Some Remarks on Finite Löwenheim‐Skolem Theorems.Martin Grohe - 1996 - Mathematical Logic Quarterly 42 (1):569-571.
On the theorem of Skolem-Lowenheim.Kinjiro Kungui & Arnaud Denjoy - 1956 - Journal of Symbolic Logic 21 (1):95-96.
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.
A Löwenheim‐Skolem Theorem for Inner Product Spaces.Wilfried Meissner - 1982 - Mathematical Logic Quarterly 28 (33‐38):549-556.
Analytics
Added to PP
2015-02-02
Downloads
21 (#1,004,296)
6 months
4 (#1,247,093)
2015-02-02
Downloads
21 (#1,004,296)
6 months
4 (#1,247,093)
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-559df78dcc-zvk2b uwo