Potential infinite models and ontologically neutral logic

Journal of Philosophical Logic 30 (1):79-96 (2001)
  Copy   BIBTEX

Abstract

The paper begins with a more carefully stated version of ontologically neutral (ON) logic, originally introduced in (Hailperin, 1997). A non-infinitistic semantics which includes a definition of potential infinite validity follows. It is shown, without appeal to the actual infinite, that this notion provides a necessary and sufficient condition for provability in ON logic

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1017576005382

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,369

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Potential Infinite Models and Ontologically Neutral Logic. [REVIEW]Theodore Hailperin & Ontologically Neutral Logic - 2001 - Journal of Philosophical Logic 30 (1):79-96.
Logic Semantics with the Potential Infinite.Theodore Hailperin - 2010 - History and Philosophy of Logic 31 (2):145-159.
Herbrand semantics, the potential infinite, and ontology-free logic.Theodore Hailperin - 1992 - History and Philosophy of Logic 13 (1):69-90.
Ontologically neutral logic.Theodore Hailperin - 1997 - History and Philosophy of Logic 18 (4):185-200.
From finitary to infinitary second‐order logic.George Weaver & Irena Penev - 2005 - Mathematical Logic Quarterly 51 (5):499-506.
Wittgenstein on Set Theory and the Enormously Big.Ryan Dawson - 2015 - Philosophical Investigations 39 (4):313-334.
The infinite-valued semantics: overview, recent results and future directions.Panos Rondogiannis & Antonis Troumpoukis - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):213-228.
Throwing Darts, Time, and the Infinite.Jeremy Gwiazda - 2013 - Erkenntnis 78 (5):971-975.
An infinite-game semantics for well-founded negation in logic programming.Chrysida Galanaki, Panos Rondogiannis & William W. Wadge - 2008 - Annals of Pure and Applied Logic 151 (2-3):70-88.

Analytics

Added to PP
2009-01-28

Downloads
108 (#198,210)

6 months
16 (#193,357)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - Cambridge,: Harvard University Press.
From Frege to Gödel.Jean van Heijenoort - 1968 - Philosophy of Science 35 (1):72-72.

Add more references