Search results
Results From The WOW.Com Content Network
The principle of distributivity is valid in classical logic, but both valid and invalid in quantum logic. The article "Is Logic Empirical?" discusses the case that quantum logic is the correct, empirical logic, on the grounds that the principle of distributivity is inconsistent with a reasonable interpretation of quantum phenomena. [1]
Distributivity is a property of some logical connectives of truth-functional propositional logic. The following logical equivalences demonstrate that distributivity is a property of particular connectives. The following are truth-functional tautologies.
Modern philosophers reject quantum logic as a basis for reasoning, because it lacks a material conditional; a common alternative is the system of linear logic, of which quantum logic is a fragment. Mathematically, quantum logic is formulated by weakening the distributive law for a Boolean algebra, resulting in an orthocomplemented lattice .
Both conjunction and disjunction are associative, commutative and idempotent in classical logic, most varieties of many-valued logic and intuitionistic logic. The same is true about distributivity of conjunction over disjunction and disjunction over conjunction, as well as for the absorption law.
In propositional logic, associativity is a valid rule of replacement for expressions in logical proofs. Within an expression containing two or more occurrences in a row of the same associative operator, the order in which the operations are performed does not matter as long as the sequence of the operands is not changed. That is (after ...
Linear logic is a substructural logic proposed by French logician Jean-Yves Girard as a ... The following distributivity formulas are not in general an equivalence ...
"Is Logic Empirical?" is the title of two articles (one by Hilary Putnam and another by Michael Dummett) [1] [2] that discuss the idea that the algebraic properties of logic may, or should, be empirically determined; in particular, they deal with the question of whether empirical facts about quantum phenomena may provide grounds for revising classical logic as a consistent logical rendering of ...
An infinitary logic is a logic that allows infinitely long statements and/or infinitely long proofs. [1] The concept was introduced by Zermelo in the 1930s. [2] Some infinitary logics may have different properties from those of standard first-order logic. In particular, infinitary logics may fail to be compact or complete.