12,080
edits
Changes
<font size="3">☞</font> This page belongs to resource collections on Logic and Inquiry.
<font size="3">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]].
'''''Zeroth order logic''''' is a term in popular use among practitioners for the common principles underlying the [[algebra of sets]], [[boolean algebra]], [[boolean function]]s, [[logical connective]]s, [[monadic predicate calculus]], [[propositional calculus]], and sentential logic. The term serves to mark a level of abstraction in which the more inessential differences among these subjects can be subsumed under the appropriate [[isomorphism]]s.
'''''Zeroth order logic''''' is a term in popular use among practitioners for the common principles underlying the [[algebra of sets]], [[boolean algebra]], [[boolean function]]s, [[logical connective]]s, [[monadic predicate calculus]], [[propositional calculus]], and sentential logic. The term serves to mark a level of abstraction in which the more inessential differences among these subjects can be subsumed under the appropriate [[isomorphism]]s.