propositional logic


Also found in: Thesaurus, Encyclopedia, Wikipedia.
Related to propositional logic: Predicate logic, First order logic
ThesaurusAntonymsRelated WordsSynonymsLegend:
Noun1.propositional logic - a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
formal logic, mathematical logic, symbolic logic - any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
References in periodicals archive ?
She argues that such arguments were neither part of Aristotle's dialectic, nor simply the result of an adoption of elements of Stoic logic, but the outcome of a long, gradual development that begins with Aristotle's logic as preserved in his Topics and Prior Analytics; and that, as a result, we have a Peripatetic logic of hypothetical inferences which is a far cry both from Stoic logic and from classical propositional logic, but which sports a number of interesting characteristics, some of which bear a cunning resemblance to some twentieth-century theories.
He begins by picking up discrete calculus, including proof by induction, and moves to selected area computation (pi, anyone?), limit's and Taylor's theorem, including series representations and Taylor polynomials, infinite series, including both the positive and the general, beginning logic, including propositional logic, predicates and quantifiers, and proofs, real numbers, functions such as derivatives and a substantial pair of chapters on integrals.
Nevertheless, the restriction to propositional logic has its downside.
A Semantical Analysis of Modal Logic I: Normal Modal Propositional Logic. Zeitschrift fur Mathematische Logik under Grundlagen der Mathematik 9:67-97.
Using a quantified propositional logic involving the operators "it is known that" and "it is possible to know that," the author lists formalizations of various interesting philosophical claims involved in the realism debate.
Thus, he articulates a new Stoic ethics employing modern scientific categories, and uses modern propositional logic to support it, as Chapter 4 and its accompanying appendix demonstrate.
For example, one might use propositional logic to describe the effects of actions, which would make it quite awkward to describe actions with universally quantified effects, such as a machine shop spray paint action that coats all objects in the hopper.
Work is not limited to first-order logic and propositional logic provers.
He contends that Edwards himself developed a viable alternative to the classical-modern philosophical outlook by drawing explicitly upon the pre-modernist Renaissance propositional logic of Peter Ramus.
In sections on informal logic, formal logic, and inductive logic, they consider such aspects as language: meaning and definition, categorical syllogisms, natural deduction in propositional logic, causality and Mill's methods, and science and superstition.
In late 1950s, logician Hao Wang at IBM wrote a code called Program II (Wang 1960) to discover deep theorems in propositional logic. For Wang, a theorem is deep if it is short but requires a long proof.
Some members of classical logic which are still being used up until now are Propositional Logic [22,23,24], First-Order Logic [25,26,27,28], and Second-Order Logics [29,30,31] among others.