scientific article; zbMATH DE number 728192

MaRDI QIDQ4324747zbMATH OpenFDO

Authors

Publication date 28 February 1995

zbMATH Keywords

definite descriptionsfirst-order logicFirst-order logicmetalogicPhilosophical companionproof theorysemantics of propositional logicsemantics of quantificational logic

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10)

Recommendations

• Essays on logic and its applications in philosophy
• scientific article; zbMATH DE number 1749011
• scientific article; zbMATH DE number 872502
• scientific article; zbMATH DE number 607283
• scientific article; zbMATH DE number 54169

Cited in

(12)

• Aristotle's prototype rule-based underlying logic
• Frege on referentiality and Julius Caesar in \textit{Grundgesetze} Section 10
• Domains of Sciences, Universes of Discourse and Omega Arguments
• Logic with trees: an introduction to symbolic logic
• Schemata: The Concept of Schema in the History of Logic
• Logical Consequence Revisited
• scientific article; zbMATH DE number 1078591 (Why is no real title available?)
• The absence of multiple universes of discourse in the 1936 Tarski consequence-definition paper
• The absence of multiple universes of discourse in the 1936 Tarski consequence-definition paper
• Australasian Association for Logic 29th Annual Conference
• Essays on logic and its applications in philosophy
• Explicit Conditionals in the Framework of Classical Conditional Logic

This page was built for publication:

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