- Types:
- show 7 types...
- hide 7 types...
-
Aristotelian logic
the syllogistic logic of Aristotle as developed by Boethius in the Middle Ages
-
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
-
Boolean algebra, Boolean logic
a system of symbolic logic devised by George Boole; used in computers
-
propositional calculus, propositional logic
a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
-
functional calculus, predicate calculus
a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
-
modal logic
a system of logic whose formal properties resemble certain moral and epistemological concepts
-
fuzzy logic
a form of mathematical logic in which truth can assume a continuum of values between 0 and 1
