History and Philosophy of Logic 31 (2):145-159 (2011)
|Abstract||A form of quantification logic referred to by the author in earlier papers as being 'ontologically neutral' still made use of the actual infinite in its semantics. Here it is shown that one can have, if one desires, a formal logic that refers in its semantics only to the potential infinite. Included are two new quantifiers generalizing the sentential connectives, equivalence and non-equivalence. There are thus new avenues opening up for exploration in both quantification logic and semantics of the infinite|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Nicola Olivetti (2003). Tableaux for Łukasiewicz Infinite-Valued Logic. Studia Logica 73 (1):81 - 111.
Philip Hugly & Charles Sayward (1984). Do We Need Quantification? Notre Dame Journal of Formal Logic 25 (4):289-302.
Alberto Zanardo (2006). Quantification Over Sets of Possible Worlds in Branching-Time Semantics. Studia Logica 82 (3):379 - 400.
João Marcos (2009). What is a Non-Truth-Functional Logic? Studia Logica 92 (2):215 - 240.
C. F. M. Vermeulen (1993). Sequence Semantics for Dynamic Predicate Logic. Journal of Logic, Language and Information 2 (3):217-254.
Ben Blumson (2010). Maps and Meaning. Journal of Philosophical Research 35:123-128.
L. Lismont (1994). Common Knowledge: Relating Anti-Founded Situation Semantics to Modal Logic Neighbourhood Semantics. Journal of Logic, Language and Information 3 (4):285-302.
Theodore Hailperin (1992). Herbrand Semantics, the Potential Infinite, and Ontology-Free Logic. History and Philosophy of Logic 13 (1):69-90.
Theodore Hailperin (2001). Potential Infinite Models and Ontologically Neutral Logic. Journal of Philosophical Logic 30 (1):79-96.
Added to index2010-07-27
Total downloads20 ( #61,504 of 549,069 )
Recent downloads (6 months)1 ( #63,185 of 549,069 )
How can I increase my downloads?