FORMAL LOGIC

Pronunciation (US):

(GB):

IPA (US):

 Dictionary entry overview: What does formal logic mean? 

• FORMAL LOGIC (noun)
  The noun FORMAL LOGIC has 1 sense:

1. any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity

  Familiarity information: FORMAL LOGIC used as a noun is very rare.

 Dictionary entry details 

• FORMAL LOGIC (noun)

Sense 1

Meaning:

Any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity

Classified under:

Nouns denoting cognitive processes and contents

Synonyms:

formal logic; mathematical logic; symbolic logic

Hypernyms ("formal logic" is a kind of...):

logic; logical system; system of logic (a system of reasoning)

Hyponyms (each of the following is a kind of "formal logic"):

Boolean algebra; Boolean logic (a system of symbolic logic devised by George Boole; used in computers)

propositional calculus; propositional logic (a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them)

functional calculus; predicate calculus (a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions))

modal logic (a system of logic whose formal properties resemble certain moral and epistemological concepts)

fuzzy logic (a form of mathematical logic in which truth can assume a continuum of values between 0 and 1)

 Context examples 

NCIt has rich textual and formal logic descriptions of biomedical concepts, including full text definitions, synonyms, a true is_a taxonomic structure, polyhierarchy, inferred partonomy, and other features that make it suitable for supporting accurate human understanding and complex computer processing.

(NCI Thesaurus, NCI Thesaurus)

When viewed in the light of formal logic, there is not one thing of which to be ashamed; but nevertheless a shame rises within me at the recollection, and in the pride of my manhood I feel that my manhood has in unaccountable ways been smirched and sullied.

(The Sea-Wolf, by Jack London)