WordNet Search - 3.1

Key: "S:" = Show Synset (semantic) relations, "W:" = Show Word (lexical) relations

Display options for sense: (gloss) "an example sentence"

- S: (n) logic, logical system,
**system of logic**(a system of reasoning) *direct hyponym*/**full hyponym**- S: (n) Aristotelian logic (the syllogistic logic of Aristotle as developed by Boethius in the Middle Ages)
- S: (n) symbolic logic, mathematical logic, formal logic (any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity)
- S: (n) Boolean logic, Boolean algebra (a system of symbolic logic devised by George Boole; used in computers)
- S: (n) propositional logic, propositional calculus (a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them)
- S: (n) predicate calculus, functional calculus (a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions))
- S: (n) modal logic (a system of logic whose formal properties resemble certain moral and epistemological concepts)
- S: (n) alethic logic (the modal logic of necessity and possibility and contingency)
- S: (n) deontic logic (the modal logic of obligation and permissibility)
- S: (n) epistemic logic (the modal logic of knowledge and uncertainty and ignorance)
- S: (n) doxastic logic (the modal logic of belief and disbelief)
- S: (n) fuzzy logic (a form of mathematical logic in which truth can assume a continuum of values between 0 and 1)
*domain term category**direct hypernym*/*inherited hypernym*/*sister term**derivationally related form*