Infinite truth-functional logic

DOI10.1305/NDJFL/1093637768MaRDI QIDQ1104912zbMATH OpenOpenAlexFDO

Authors Theodore Hailperin

Publication date 1988

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093637768

zbMATH Keywords

first-order quantifier logicinfinite conjunctionsemantical theory of quantifierstruth-functional logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10)

Review text

The author indicates two possibilities of treating the universal and existential quantifiers: first, as expressing the notions ``all (individuals) and ``some (individuals) and, second, as generalized conjunction and generalized disjunction. An attempt is made at a philosophical justification of significance of the second possible treatment. For this purpose a system of truth-functional logic is proposed which includes the notion of infinite conjunction and is considered as a basis for constructing first-order quantifier logic. While assessing his system in a critical way, the author takes as his main result the construction of a semantical theory of quantifiers; this theory is shown to be simpler and ``more ontologically neutral than Tarski's conventional approach.

Recommendations

• Logic semantics with the potential infinite
• Ontologically neutral logic
• scientific article; zbMATH DE number 3855057
• Which quantifiers are logical? A combined semantical and inferential criterion
• The logic with truth and falsehood operators from a point of view of universal logic

Cited in

(15)

• Note on the scope of truth-functional logic
• The logic of finite order
• The logic with truth and falsehood operators from a point of view of universal logic
• Infinity and verifiability in Carnap's inductive logic
• Which quantifiers are logical? A combined semantical and inferential criterion
• Logic semantics with the potential infinite
• scientific article; zbMATH DE number 29724 (Why is no real title available?)
• Herbrand semantics, the potential infinite, and ontology-free logic
• Infinitary S5‐Epistemic Logic
• Ontologically neutral logic
• scientific article; zbMATH DE number 1534491 (Why is no real title available?)
• INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
• On an Axiomatic System of the Infinitely Many‐Valued Threshold Predicate Calculi
• Truth via anaphorically unrestricted quantifiers
• A truth-functional logic for near-universal generalizations

This page was built for publication: Infinite truth-functional logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1104912)