formal logic

for·mal log·ic

F f

Transcription

- US Pronunciation
- US IPA
- [fawr-muh l loj-ik]
- /ˈfɔr məl ˈlɒdʒ ɪk/

- US Pronunciation
- US IPA
- [fawr-muh l loj-ik]
- /ˈfɔr məl ˈlɒdʒ ɪk/

Definitions of formal logic words

noun formal logic the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. 1
noun formal logic the study of systems of deductive argument in which symbols are used to represent precisely defined categories of expressions 0
noun formal logic a specific formal system that can be interpreted as representing a fragment of natural argument 0
noun formal logic the branch of logic that examines patterns of reasoning to determine which ones necessarily result in valid, or formally correct, conclusions 0
noun formal logic (logic) Mathematical logic. 0
noun formal logic (logic) A particular logical calculus. 0

See all 6 definitions of formal logic

Information block about the term

Origin of formal logic

First appearance:

before 1855

One of the 30% newest English words

First recorded in 1855-60

Historical Comparancy

Parts of speech for Formal logic

noun

adjective

verb

adverb

pronoun

preposition

conjunction

determiner

exclamation

Full grammatical hierarchy of Formal logic

formal logic popularity

A pretty common term. Usually people know it’s meaning, but prefer to use a more spread out synonym. About 36% of English native speakers know the meaning and use word.

According to our data about 70% of words is more used. This is a rare but used term. It occurs in the pages of specialized literature and in the speech of educated people.

formal logic usage trend in Literature

This diagram is provided by Google Ngram Viewer

Synonyms for formal logic

noun formal logic

syllogism — Logic. an argument the conclusion of which is supported by two premises, of which one (major premise) contains the term (major term) that is the predicate of the conclusion, and the other (minor premise) contains the term (minor term) that is the subject of the conclusion; common to both premises is a term (middle term) that is excluded from the conclusion. A typical form is “All A is C; all B is A; therefore all B is C.”.
aristotelianism — a philosophical tradition based on the wide-ranging belief system of Aristotle
traditional logic — formal logic based on syllogistic formulas, especially as developed by Aristotle.

All 3 Synonyms of formal logic