- Types:
- show 9 types...
- hide 9 types...
-
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
-
alethic logic
the modal logic of necessity and possibility and contingency
-
deontic logic
the modal logic of obligation and permissibility
-
epistemic logic
the modal logic of knowledge and uncertainty and ignorance
-
doxastic logic
the modal logic of belief and disbelief
