logic (n)

n06163751

type n
lex_filenum 09
def the branch of philosophy that analyzes inference
Outgoing links
Hypernym philosophy
Derivationally related form logic → logician
Derivationally related form logic → logistician
Member of this domain - TOPIC analytic, analytical; synthetic, synthetical; extensional; intensional; inductive; inferential; nonmonotonic; interchangeable; noninterchangeable; apodictic, apodeictic; categorematic; syncategorematic; scopal; consistency; completeness; corollary; non sequitur; arity; quantifier, logical quantifier; subject; predicate; proof; paradox; postulation, predication; explicandum, explanandum; explanans; proposition; particular, particular proposition; universal, universal proposition; negation; postulate, posit; axiom; tautology; contradiction, contradiction in terms; logic operation, logical operation; logical relation; transitivity; reflexivity, reflexiveness; quantify; presuppose, suppose
Hyponym modal logic
Incoming links
Domain of synset - TOPIC analytic, analytical; synthetic, synthetical; extensional; intensional; inductive; inferential; nonmonotonic; interchangeable; noninterchangeable; apodictic, apodeictic; categorematic; syncategorematic; scopal; consistency; completeness; corollary; non sequitur; arity; quantifier, logical quantifier; subject; predicate; proof; paradox; postulation, predication; explicandum, explanandum; explanans; proposition; particular, particular proposition; universal, universal proposition; negation; postulate, posit; axiom; tautology; contradiction, contradiction in terms; logic operation, logical operation; logical relation; transitivity; reflexivity, reflexiveness; quantify; presuppose, suppose
Hyponym philosophy
Hypernym modal logic
Derivationally related form logistician → logic
Derivationally related form logician → logic

Back to the index

Click for the XML entry