Subject-predicate calculus free from existential import

DOI10.1007/BF01063841MaRDI QIDQ800907zbMATH OpenFDO

Authors V. A. Bocharov

Publication date 1983

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01063841

zbMATH Keywords

Aristotle's syllogisticsfree logicsimpossible objectssubject-predicate calculisystems of natural deduction

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20)

Review text

Classical predicate calculus contains essentially but one category, namely that of predicate. The calculi constructed by the author, on the other hand, are of a different type called subject-predicate. Involved is a syntactic category which is unusual for predicate calculus, namely with general names being used at the subject place. Two such subject-predicate calculi, with equality, are presented as systems of natural deduction. Both are free logics allowing interpretations on impossible objects, or objects which do not exist in a certain ontology. First-order predicate logic and certain of Aristotle's syllogistics are shown to be definable within the presented calculi.

Recommendations

• Deductive capabilities of negationless predicate calculus
• Existential import and an unnecessary restriction on predicate logics
• Predicate logics without the structure rules
• A Free Variable Version of the First-Order Predicate Calculus
• Free logic and the quantified argument calculus
• Strict Fregean free logic
• Intuitionistic logic freed of all metarules
• A minimal classical sequent calculus free of structural rules
• scientific article; zbMATH DE number 1867301
• The predicative Frege hierarchy

Cites work

• A theory of restricted quantification I
• Quantification theory and empty individual-domains
• Some things do not exist
• Syllogistic without existence

Cited in

(7)

• A free logic with simple and complex predicates
• Free logic and the concept of existence
• Some monkey devours every raisin
• scientific article; zbMATH DE number 2043996 (Why is no real title available?)
• scientific article; zbMATH DE number 1746568 (Why is no real title available?)
• Semantic presuppositions in logical syntax
• Predication in the logic of terms

This page was built for publication: Subject-predicate calculus free from existential import

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