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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,440

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

Bounded contraction and Gentzen-style formulation of łukasiewicz logics.Andreja Prijatelj - 1996 - Studia Logica 57 (2-3):437 - 456.
Ontologically neutral logic.Theodore Hailperin - 1997 - History and Philosophy of Logic 18 (4):185-200.
Herbrand semantics, the potential infinite, and ontology-free logic.Theodore Hailperin - 1992 - History and Philosophy of Logic 13 (1):69-90.
Infinite truth-functional logic.Theodore Hailperin - 1987 - Notre Dame Journal of Formal Logic 29 (1):28-33.
Non‐Standard Neutral Free Logic, Empty Names and Negative Existentials.Dolf Rami - manuscript
Infinite chains and antichains in computable partial orderings.E. Herrmann - 2001 - Journal of Symbolic Logic 66 (2):923-934.
Empty Time and the Eternality of God.Don Lodzinski - 1995 - Religious Studies 31 (2):187 - 195.
Finiteness in infinite-valued łukasiewicz logic.Stefano Aguzzoli & Agata Ciabattoni - 2000 - Journal of Logic, Language and Information 9 (1):5-29.
Complete and atomic algebras of the infinite valued łukasiewicz logic.Roberto Cignoli - 1991 - Studia Logica 50 (3-4):375 - 384.
Logic Semantics with the Potential Infinite.Theodore Hailperin - 2010 - History and Philosophy of Logic 31 (2):145-159.

Analytics

Added to PP
2009-01-28

Downloads
41 (#391,610)

6 months
2 (#1,206,545)

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