Herbrand semantics, the potential infinite, and ontology-free logic

DOI10.1080/01445349208837195zbMath0755.03003OpenAlexW2037749584WikidataQ58517916 ScholiaQ58517916MaRDI QIDQ3990954

Theodore Hailperin

Publication date: 28 June 1992

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445349208837195

zbMATH Keywords

completeness theoremHerbrand's theoremactual infinitepotential infiniteLöwenheim-Skolem theoremontological commitment

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03)

Related Items (4)

Ontologically neutral logic ⋮ Potential infinite models and ontologically neutral logic ⋮ Logic Semantics with the Potential Infinite ⋮ Systemic yoyo structure in human thoughts and the fourth crisis in mathematics

Cites Work

• Infinite truth-functional logic
• Classical recursion theory. The theory of functions and sets of natural numbers
• Logic colloquium 76. Proceedings of a conference held in Oxford in July 1976
• Formal Reductions of the General Combinatorial Decision Problem
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Herbrand semantics, the potential infinite, and ontology-free logic