Topic Navigator
Noun Tree | Nouns Groups | Verb Groups | SearchParent Categories
¬
entity go
that which is perceived or known or inferred to have its own distinct existence (living or nonliving)
that which is perceived or known or inferred to have its own distinct existence (living or nonliving)
¬
abstraction, abstract entity go
a general concept formed by extracting common features from specific examples
a general concept formed by extracting common features from specific examples
¬
¬
¬
power, ability go
possession of the qualities (especially mental qualities) required to do something or get something done
possession of the qualities (especially mental qualities) required to do something or get something done
¬
¬
¬
¬
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
any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
noun.cognition
5 Subcategories
-
Boolean logic, Boolean algebra go
a system of symbolic logic devised by George Boole
-
propositional logic, propositional calculus go
a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
-
predicate calculus, functional calculus go
a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
-
modal logic go
a system of logic whose formal properties resemble certain moral and epistemological concepts
-
fuzzy logic go
a form of mathematical logic in which truth can assume a continuum of values between 0 and 1