Herbrand semantics, the potential infinite, and ontology-free logic
History and Philosophy of Logic 13 (1):69-90 (1992)
| Abstract | This paper investigates the ontological presuppositions of quantifier logic. It is seen that the actual infinite, although present in the usual completeness proofs, is not needed for a proper semantic foundation. Additionally, quantifier logic can be given an adequate formulation in which neither the notion of individual nor that of a predicate appears | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesGiangiacomo Gerla (2007). Multivalued Logic to Transform Potential Into Actual Objects. Studia Logica 86 (1):69 - 87.
C. F. M. Vermeulen (1993). Sequence Semantics for Dynamic Predicate Logic. Journal of Logic, Language and Information 2 (3):217-254.
Vladimir L. Vasyukov (1993). The Completeness of the Factor Semantics for Łukasiewicz's Infinite-Valued Logics. Studia Logica 52 (1):143 - 167.
Nino B. Cocchiarella (2001). A Conceptualist Interpretation of Lesniewski's Ontology. History and Philosophy of Logic 22 (1):29-43.
James Hawthorne (1998). On the Logic of Nonmonotonic Conditionals and Conditional Probabilities: Predicate Logic. Journal of Philosophical Logic 27 (1):1-34.
Samson Abramsky & Radha Jagadeesan (1994). Games and Full Completeness for Multiplicative Linear Logic. Journal of Symbolic Logic 59 (2):543-574.
Theodore Hailperin (2000). Probability Semantics for Quantifier Logic. Journal of Philosophical Logic 29 (2):207-239.
Theodore Hailperin (1997). Ontologically Neutral Logic. History and Philosophy of Logic 18 (4):185-200.
Theodore Hailperin (2001). Potential Infinite Models and Ontologically Neutral Logic. Journal of Philosophical Logic 30 (1):79-96.
Theodore Hailperin (2011). Logic Semantics with the Potential Infinite. History and Philosophy of Logic 31 (2):145-159.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-08-10Total downloads1 ( #274,556 of 548,984 )Recent downloads (6 months)1 ( #63,327 of 548,984 )How can I increase my downloads? |
My notes
Discussion
