Potential Infinite Models and Ontologically Neutral Logic
- 37 Downloads
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.
Unable to display preview. Download preview PDF.
- Hailperin, T. (1992): Herbrand semantics, the potential infinite, and ontology-free logic, Hist. Philos. Logic 13, 69–90.Google Scholar
- Hailperin, T. (1997): Ontologically neutral logic, Hist. Philos. Logic 18, 185–200.Google Scholar
- van Heijenoort, J. (1967): From Frege to Gödel. A Source Book in Mathematical Logic, 1879–1931, Harvard University Press, Cambridge, MA.Google Scholar