Hyperonyms
(has_hyperonym)
|
06158346-n:
the rational investigation of questions about existence and knowledge and ethics
|
Hyponyms
(has_hyponym)
|
06166644-n:
the logical study of necessity and possibility
|
Related
(related_to)
|
10269785-n:
a person skilled at symbolic logic
|
Domain
(category_term)
|
00110853-a:
of a proposition that is necessarily true independent of fact or experience
|
Domain
(category_term)
|
00111129-a:
of a proposition whose truth value is determined by observation or facts
|
Domain
(category_term)
|
00492095-v:
use as a quantifier
|
Domain
(category_term)
|
00716345-v:
require as a necessary antecedent or precondition
|
Domain
(category_term)
|
00722707-a:
defining a word by listing the class of entities to which the word correctly applies
|
Domain
(category_term)
|
00723910-a:
used of the set of attributes that distinguish the referents of a given word
|
Domain
(category_term)
|
01296270-a:
of reasoning; proceeding from particular facts to a general conclusion
|
Domain
(category_term)
|
01297152-a:
of reasoning; proceeding from general premisses to a necessary and specific conclusion
|
Domain
(category_term)
|
01547721-a:
not monotonic
|
Domain
(category_term)
|
02372697-a:
(mathematics, logic) such that the arguments or roles can be interchanged
|
Domain
(category_term)
|
02373981-a:
such that the terms of an expression cannot be interchanged without changing the meaning
|
Domain
(category_term)
|
02461295-a:
of a proposition; necessarily true or logically certain
|
Domain
(category_term)
|
02592890-a:
of a term or phrase capable of standing as the subject or (especially) the predicate of a proposition
|
Domain
(category_term)
|
02593269-a:
of a term that cannot stand as the subject or (especially) the predicate of a proposition but must be used in conjunction with other terms
|
Domain
(category_term)
|
02992070-a:
of or relating to scope
|
Domain
(category_term)
|
04785195-n:
(logic) an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another
|
Domain
(category_term)
|
04785414-n:
(logic) an attribute of a logical system that is so constituted that a contradiction arises if any proposition is introduced that cannot be derived from the axioms of the system
|
Domain
(category_term)
|
05780563-n:
(logic) an inference that follows directly from the proof of another proposition
|
Domain
(category_term)
|
05781663-n:
(logic) a conclusion that does not follow from the premises
|
Domain
(category_term)
|
05857974-n:
the number of arguments that a function can take
|
Domain
(category_term)
|
06302542-n:
(logic) a word (such as `some' or `all' or `no') that binds the variables in a logical proposition
|
Domain
(category_term)
|
06310125-n:
(logic) the first term of a proposition
|
Domain
(category_term)
|
06316813-n:
(logic) what is predicated of the subject of a proposition; the second term in a proposition is predicated of the first term by means of the copula
|
Domain
(category_term)
|
06647614-n:
a formal series of statements showing that if one thing is true something else necessarily follows from it
|
Domain
(category_term)
|
06724559-n:
(logic) a statement that contradicts itself
|
Domain
(category_term)
|
06733227-n:
(logic) a declaration of something self-evident; something that can be assumed as the basis for argument
|
Domain
(category_term)
|
06738823-n:
(logic) a statement of something (a fact or thing or expression) to be explained
|
Domain
(category_term)
|
06739013-n:
(logic) statements that explain the explicandum; the explanatory premises
|
Domain
(category_term)
|
06750804-n:
(logic) a statement that affirms or denies something and is either true or false
|
Domain
(category_term)
|
06751142-n:
(logic) a proposition that asserts something about some (but not all) members of a class
|
Domain
(category_term)
|
06751367-n:
(logic) a proposition that asserts something of all members of a class
|
Domain
(category_term)
|
06751572-n:
(logic) a proposition that is true if and only if another proposition is false
|
Domain
(category_term)
|
06753299-n:
(logic) a proposition that is accepted as true in order to provide a basis for logical reasoning
|
Domain
(category_term)
|
06753550-n:
(logic) a proposition that is not susceptible of proof or disproof; its truth is assumed to be self-evident
|
Domain
(category_term)
|
07091385-n:
(logic) a statement that is necessarily true
|
Domain
(category_term)
|
07206887-n:
(logic) a statement that is necessarily false
|
Domain
(category_term)
|
13509042-n:
an operation that follows the rules of symbolic logic
|
Domain
(category_term)
|
13783038-n:
a relation between propositions
|
Domain
(category_term)
|
13798491-n:
(logic and mathematics) a relation between three elements such that if it holds between the first and second and it also holds between the second and third it must necessarily hold between the first and third
|
Domain
(category_term)
|
13798814-n:
(logic and mathematics) a relation such that it holds between an element and itself
|
Glosses
(gloss)
|
00644583-v:
consider in detail and subject to an analysis in order to discover essential features or meaning
|
Glosses
(gloss)
|
05774614-n:
the reasoning involved in drawing a conclusion or making a logical judgment on the basis of circumstantial evidence and prior conclusions rather than on the basis of direct observation
|
Glosses
(gloss)
|
06158346-n:
the rational investigation of questions about existence and knowledge and ethics
|
Glosses
(rgloss)
|
06172071-n:
(Middle Ages) an introductory curriculum at a medieval university involving grammar and logic and rhetoric; considered to be a triple way to eloquence
|
Glosses
(rgloss)
|
10854777-n:
a Roman who was an early Christian philosopher and statesman who was executed for treason; Boethius had a decisive influence on medieval logic (circa 480-524)
|
Glosses
(rgloss)
|
11393828-n:
British philosopher born in Austria; a major influence on logic and logical positivism (1889-1951)
|
