Zeroth-order logic is

first-order logic First-order logic—also known as predicate logic, quantificational logic, and first-order predicate calculus—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. First-order logic uses quantifie ...

without variables or quantifiers. Some authors use the phrase "zeroth-order logic" as a synonym for the

propositional calculus Propositional calculus is a branch of logic. It is also called propositional logic, statement logic, sentential calculus, sentential logic, or sometimes zeroth-order logic. It deals with propositions (which can be true or false) and relations ...

,. but an alternative definition extends propositional logic by adding constants, operations, and relations on non-Boolean values.. Every zeroth-order language in this broader sense is complete and

compact Compact as used in politics may refer broadly to a pact or treaty; in more specific cases it may refer to: * Interstate compact * Blood compact, an ancient ritual of the Philippines * Compact government, a type of colonial rule utilized in British ...

References

{{Portal bar, Philosophy Propositional calculus Systems of formal logic