symbolic logic (n)
mathematical logic (n)
formal logic (n)

n06164665

type n
lex_filenum 09
def any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
Outgoing links
Hypernym logic, logical system, system of logic
Hyponym Boolean logic, Boolean algebra; propositional logic, propositional calculus; predicate calculus, functional calculus; modal logic; fuzzy logic
Incoming links
Hyponym logic, logical system, system of logic
Hypernym Boolean logic, Boolean algebra; propositional logic, propositional calculus; predicate calculus, functional calculus; modal logic; fuzzy logic

Back to the index

Click for the XML entry