formal logic

Questions about formal logic

What is another word for formal logic?

It depends which formal logic you mean. In the sense “any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity”, the synonyms are symbolic logic, mathematical logic. Across all 1 sense there are 2 distinct synonyms, and they are not interchangeable with each other — this page lists them under the sense each one belongs to.

What is the opposite of formal logic?

WordNet records no antonym for formal logic. Antonymy in WordNet is a relation between specific word forms rather than between concepts, so it is recorded only where lexicographers judged the pairing direct. An absence here means none was recorded, not that none can be imagined.

Where do the synonyms for formal logic come from?

From Princeton University's WordNet, a lexical database maintained by lexicographers since 1985. A synonym here means a word form that shares a synset with this word — a set of forms interchangeable in one recorded context. Nothing on this page is generated by a language model.

Other views of formal logic

• Full entry for formal logicAll 1 sense, with examples, usage labels, syllables and pronunciation.
• Rhymes for formal logicWhether this word can be rhymed at all — it is not in the pronouncing dictionary.
• Thesaurus homeHow WordNet synsets work, and the collections built for synonym work.