formal logic

1. 1.

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

   Synonymssymbolic logicmathematical logic

   Broaderlogic

   NarrowerBoolean logicpropositional logicpredicate calculusmodal logicfuzzy logic

Questions about formal logic

What does formal logic mean?

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

What is another word for formal logic?

Close synonyms include symbolic logic, mathematical logic. Each sense on this page lists its own synonyms, because a word with several meanings rarely has one substitute that works for all of them.

Is formal logic a common word?

formal logic is banded "Rare" — specialist or archaic — most readers will not have met it. The band comes from how often the word appears in a large corpus of everyday English, not from an editor's impression.