|
+ a_posteriori
|
a
|
1
|
[ logic ]
|
eng-30-00139126-a
|
involving reasoning from facts or particulars to general principles or from effects to causes
|
|
+ a_priori
|
a
|
1
|
[ logic ]
|
eng-30-00138912-a
|
involving deductive reasoning from a general principle to a necessary effect; not supported by fact
|
|
+ analytic
|
a
|
4
|
[ logic ]
|
eng-30-00110853-a
|
of a proposition that is necessarily true independent of fact or experience
|
|
+ analytical
|
a
|
2
|
[ logic ]
|
eng-30-00110853-a
|
of a proposition that is necessarily true independent of fact or experience
|
|
+ analytically
|
r
|
1
|
[ logic ]
|
eng-30-00240533-r
|
by virtue of analysis
|
|
+ antinomy
|
n
|
1
|
[ logic ]
|
eng-30-06724437-n
|
a contradiction between two statements that seem equally reasonable
|
|
+ apodeictic
|
a
|
1
|
[ logic ]
|
eng-30-02461295-a
|
of a proposition; necessarily true or logically certain
|
|
+ apodictic
|
a
|
1
|
[ logic ]
|
eng-30-02461295-a
|
of a proposition; necessarily true or logically certain
|
|
+ assumption
|
n
|
1
|
[ logic ]
|
eng-30-06753800-n
|
a statement that is assumed to be true and from which a conclusion can be drawn
|
|
+ axiom
|
n
|
2
|
[ logic ]
|
eng-30-06753550-n
|
(logic) a proposition that is not susceptible of proof or disproof; its truth is assumed to be self-evident
|
|
+ axiomatic
|
a
|
1
|
[ logic ]
|
eng-30-01618895-a
|
evident without proof or argument
|
|
+ axiomatic
|
a
|
3
|
[ logic ]
|
eng-30-02653385-a
|
of or relating to or derived from axioms
|
|
+ axiomatical
|
a
|
1
|
[ logic ]
|
eng-30-02653385-a
|
of or relating to or derived from axioms
|
|
+ axiomatically
|
r
|
1
|
[ logic ]
|
eng-30-00121657-r
|
on the basis of axioms
|
|
+ belie
|
v
|
1
|
[ logic ]
|
eng-30-02663141-v
|
be in contradiction with
|
|
+ categorematic
|
a
|
1
|
[ logic ]
|
eng-30-02592890-a
|
of a term or phrase capable of standing as the subject or (especially) the predicate of a proposition
|
|
+ completeness
|
n
|
2
|
[ logic ]
|
eng-30-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
|
|
+ condition
|
n
|
2
|
[ logic ]
|
eng-30-06755568-n
|
an assumption on which rests the validity or effect of something else
|
|
+ confounding
|
a
|
1
|
[ logic ]
|
eng-30-02356579-a
|
that confounds or contradicts or confuses
|
|
+ connote
|
v
|
2
|
[ logic ]
|
eng-30-00931232-v
|
involve as a necessary condition of consequence; as in logic
|
|
+ consistency
|
n
|
4
|
[ logic ]
|
eng-30-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
|
|
+ contradict
|
v
|
1
|
[ logic ]
|
eng-30-02663141-v
|
be in contradiction with
|
|
+ contradiction
|
n
|
2
|
[ logic ]
|
eng-30-07206887-n
|
(logic) a statement that is necessarily false
|
|
+ contradiction_in_terms
|
n
|
1
|
[ logic ]
|
eng-30-07206887-n
|
(logic) a statement that is necessarily false
|
|
+ contradictorily
|
r
|
1
|
[ logic ]
|
eng-30-00141146-r
|
in a contradictory manner
|
|
+ contradictory
|
a
|
2
|
[ logic ]
|
eng-30-02356579-a
|
that confounds or contradicts or confuses
|
|
+ corollary
|
n
|
2
|
[ logic ]
|
eng-30-05780563-n
|
(logic) an inference that follows directly from the proof of another proposition
|
|
+ deducible
|
a
|
1
|
[ logic ]
|
eng-30-01296718-a
|
capable of being deduced
|
|
+ deductive
|
a
|
2
|
[ logic ]
|
eng-30-01296474-a
|
involving inferences from general principles
|
|
+ demonstration
|
n
|
4
|
[ math logic ]
|
eng-30-06648046-n
|
proof by a process of argument or a series of proposition proving an asserted conclusion
|
|
+ extensional
|
a
|
1
|
[ logic ]
|
eng-30-00722707-a
|
defining a word by listing the class of entities to which the word correctly applies
|
|
+ inductive
|
a
|
2
|
[ logic ]
|
eng-30-01296270-a
|
of reasoning; proceeding from particular facts to a general conclusion
|
|
+ inferential
|
a
|
2
|
[ logic ]
|
eng-30-01297152-a
|
of reasoning; proceeding from general premisses to a necessary and specific conclusion
|
|
+ intensional
|
a
|
1
|
[ logic ]
|
eng-30-00723910-a
|
used of the set of attributes that distinguish the referents of a given word
|
|
+ interchangeable
|
a
|
1
|
[ logic ]
|
eng-30-02372697-a
|
(mathematics, logic) such that the arguments or roles can be interchanged
|
|
+ logic_operation
|
n
|
1
|
[ logic ]
|
eng-30-13509042-n
|
an operation that follows the rules of symbolic logic
|
|
+ logical_operation
|
n
|
1
|
[ logic ]
|
eng-30-13509042-n
|
an operation that follows the rules of symbolic logic
|
|
+ logical_proof
|
n
|
1
|
[ math logic ]
|
eng-30-06647960-n
|
proof of a logical theorem
|
|
+ major_premise
|
n
|
1
|
[ logic ]
|
eng-30-06754184-n
|
the premise of a syllogism that contains the major term (which is the predicate of the conclusion)
|
|
+ major_premiss
|
n
|
1
|
[ logic ]
|
eng-30-06754184-n
|
the premise of a syllogism that contains the major term (which is the predicate of the conclusion)
|
|
+ mathematical_proof
|
n
|
1
|
[ math logic ]
|
eng-30-06647864-n
|
proof of a mathematical theorem
|
|
+ minor_premise
|
n
|
1
|
[ logic ]
|
eng-30-06754415-n
|
the premise of a syllogism that contains the minor term (which is the subject of the conclusion)
|
|
+ minor_premiss
|
n
|
1
|
[ logic ]
|
eng-30-06754415-n
|
the premise of a syllogism that contains the minor term (which is the subject of the conclusion)
|
|
+ modal_logic
|
n
|
1
|
[ logic ]
|
eng-30-06166644-n
|
the logical study of necessity and possibility
|
|
+ monstrance
|
n
|
1
|
[ math logic ]
|
eng-30-06648046-n
|
proof by a process of argument or a series of proposition proving an asserted conclusion
|
|
+ negate
|
v
|
1
|
[ logic ]
|
eng-30-02663141-v
|
be in contradiction with
|
|
+ negation
|
n
|
3
|
[ logic ]
|
eng-30-06751572-n
|
(logic) a proposition that is true if and only if another proposition is false
|
|
+ non_sequitur
|
n
|
2
|
[ logic ]
|
eng-30-05781663-n
|
(logic) a conclusion that does not follow from the premises
|
|
+ noninterchangeable
|
a
|
1
|
[ math logic ]
|
eng-30-02373981-a
|
such that the terms of an expression cannot be interchanged without changing the meaning
|
|
+ nonmonotonic
|
a
|
1
|
[ math logic ]
|
eng-30-01547721-a
|
not monotonic
|
|
+ only
|
r
|
6
|
[ logic ]
|
eng-30-00505114-r
|
never except when
|
|
+ only_if
|
r
|
1
|
[ logic ]
|
eng-30-00505114-r
|
never except when
|
|
+ only_when
|
r
|
1
|
[ logic ]
|
eng-30-00505114-r
|
never except when
|
|
+ paradox
|
n
|
1
|
[ logic ]
|
eng-30-06724559-n
|
(logic) a statement that contradicts itself
|
|
+ paradoxical
|
a
|
1
|
[ logic ]
|
eng-30-00939895-a
|
seemingly contradictory but nonetheless possibly true
|
|
+ paradoxically
|
r
|
1
|
[ logic ]
|
eng-30-00023263-r
|
in a paradoxical manner
|
|
+ particular
|
n
|
3
|
[ logic ]
|
eng-30-06751142-n
|
(logic) a proposition that asserts something about some (but not all) members of a class
|
|
+ particular_proposition
|
n
|
1
|
[ logic ]
|
eng-30-06751142-n
|
(logic) a proposition that asserts something about some (but not all) members of a class
|
|
+ pleonastic
|
a
|
1
|
[ logic ]
|
eng-30-00549826-a
|
repetition of same sense in different words
|
|
+ posit
|
n
|
1
|
[ logic ]
|
eng-30-06753299-n
|
(logic) a proposition that is accepted as true in order to provide a basis for logical reasoning
|
|
+ posit
|
v
|
3
|
[ logic ]
|
eng-30-00716758-v
|
take as a given; assume as a postulate or axiom
|
|
+ postulate
|
n
|
1
|
[ logic ]
|
eng-30-06753299-n
|
(logic) a proposition that is accepted as true in order to provide a basis for logical reasoning
|
|
+ postulate
|
v
|
2
|
[ logic ]
|
eng-30-00716758-v
|
take as a given; assume as a postulate or axiom
|
|
+ postulation
|
n
|
1
|
[ logic ]
|
eng-30-06733227-n
|
(logic) a declaration of something self-evident; something that can be assumed as the basis for argument
|
|
+ postulational
|
a
|
1
|
[ logic ]
|
eng-30-02653385-a
|
of or relating to or derived from axioms
|
|
+ precondition
|
n
|
1
|
[ logic ]
|
eng-30-06755568-n
|
an assumption on which rests the validity or effect of something else
|
|
+ predicate
|
n
|
1
|
[ logic ]
|
eng-30-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
|
|
+ predicate
|
v
|
3
|
[ logic ]
|
eng-30-00931232-v
|
involve as a necessary condition of consequence; as in logic
|
|
+ predicate
|
v
|
2
|
[ logic ]
|
eng-30-01017001-v
|
affirm or declare as an attribute or quality of
|
|
+ predicate
|
v
|
1
|
[ logic ]
|
eng-30-01017222-v
|
make the (grammatical) predicate in a proposition
|
|
+ predication
|
n
|
1
|
[ logic ]
|
eng-30-06733227-n
|
(logic) a declaration of something self-evident; something that can be assumed as the basis for argument
|
|
+ premise
|
n
|
1
|
[ logic ]
|
eng-30-06753800-n
|
a statement that is assumed to be true and from which a conclusion can be drawn
|
|
+ premise
|
v
|
3
|
[ logic ]
|
eng-30-00717208-v
|
take something as preexisting and given
|
|
+ premiss
|
n
|
1
|
[ logic ]
|
eng-30-06753800-n
|
a statement that is assumed to be true and from which a conclusion can be drawn
|
|
+ premiss
|
v
|
1
|
[ logic ]
|
eng-30-00717208-v
|
take something as preexisting and given
|
|
+ presuppose
|
v
|
2
|
[ logic ]
|
eng-30-00716345-v
|
require as a necessary antecedent or precondition
|
|
+ proclaim
|
v
|
3
|
[ logic ]
|
eng-30-01017001-v
|
affirm or declare as an attribute or quality of
|
|
+ proof
|
n
|
2
|
[ math logic ]
|
eng-30-06647614-n
|
a formal series of statements showing that if one thing is true something else necessarily follows from it
|
|
+ provide
|
v
|
3
|
[ logic ]
|
eng-30-01063188-v
|
determine (what is to happen in certain contingencies), especially by including a proviso condition or stipulation
|
|
+ provision
|
n
|
1
|
[ logic ]
|
eng-30-06755947-n
|
a stipulated condition
|
|
+ proviso
|
n
|
1
|
[ logic ]
|
eng-30-06755947-n
|
a stipulated condition
|
|
+ redundant
|
a
|
2
|
[ logic ]
|
eng-30-00549826-a
|
repetition of same sense in different words
|
|
+ reflexiveness
|
n
|
2
|
[ math logic ]
|
eng-30-13798814-n
|
(logic and mathematics) a relation such that it holds between an element and itself
|
|
+ reflexivity
|
n
|
2
|
[ math logic ]
|
eng-30-13798814-n
|
(logic and mathematics) a relation such that it holds between an element and itself
|
|
+ scenario
|
n
|
3
|
[ logic ]
|
eng-30-06756111-n
|
a postulated sequence of possible events
|
|
+ scopal
|
a
|
1
|
[ logic grammar ]
|
eng-30-02992070-a
|
of or relating to scope
|
|
+ self-contradictory
|
a
|
1
|
[ logic ]
|
eng-30-00939895-a
|
seemingly contradictory but nonetheless possibly true
|
|
+ self-evident
|
a
|
1
|
[ logic ]
|
eng-30-01618895-a
|
evident without proof or argument
|
|
+ self-evidently
|
r
|
1
|
[ logic ]
|
eng-30-00448773-r
|
in a self-evident manner
|
|
+ stipulation
|
n
|
2
|
[ logic ]
|
eng-30-06755568-n
|
an assumption on which rests the validity or effect of something else
|
|
+ subject
|
n
|
8
|
[ logic ]
|
eng-30-06310125-n
|
(logic) the first term of a proposition
|
|
+ subsumption
|
n
|
1
|
[ logic ]
|
eng-30-06754415-n
|
the premise of a syllogism that contains the minor term (which is the subject of the conclusion)
|
|
+ suppose
|
v
|
5
|
[ logic ]
|
eng-30-00716345-v
|
require as a necessary antecedent or precondition
|
|
+ syncategorematic
|
a
|
1
|
[ logic ]
|
eng-30-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
|
|
+ synthetic
|
a
|
4
|
[ logic ]
|
eng-30-00111129-a
|
of a proposition whose truth value is determined by observation or facts
|
|
+ synthetical
|
a
|
2
|
[ logic ]
|
eng-30-00111129-a
|
of a proposition whose truth value is determined by observation or facts
|
|
+ taken_for_granted
|
a
|
1
|
[ logic ]
|
eng-30-01618895-a
|
evident without proof or argument
|
|
+ tautologic
|
a
|
1
|
[ logic ]
|
eng-30-00549826-a
|
repetition of same sense in different words
|
|
+ tautological
|
a
|
1
|
[ logic ]
|
eng-30-00549826-a
|
repetition of same sense in different words
|
|
+ tautology
|
n
|
1
|
[ logic ]
|
eng-30-07091385-n
|
(logic) a statement that is necessarily true
|
|
+ thesis
|
n
|
1
|
[ logic ]
|
eng-30-06755454-n
|
an unproved statement put forward as a premise in an argument
|
|
+ transitivity
|
n
|
1
|
[ math logic ]
|
eng-30-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
|
|
+ universal
|
n
|
2
|
[ logic ]
|
eng-30-06751367-n
|
(logic) a proposition that asserts something of all members of a class
|
|
+ universal_proposition
|
n
|
1
|
[ logic ]
|
eng-30-06751367-n
|
(logic) a proposition that asserts something of all members of a class
|
