different between logic vs metalogic

English

Alternative forms

• logick (archaic)

Etymology

From Old French logike, from Latin logica, from Ancient Greek ?????? (logik?, “logic”), from feminine of ??????? (logikós, “of or pertaining to speech or reason or reasoning, rational, reasonable”), from ????? (lógos, “speech, reason”). Regarding the adjective, compare Latin logicus. Displaced native Old English fl?tcræft.

Pronunciation

• (Received Pronunciation) enPR: l?j'?k, IPA^(key): /?l?d??k/
• (US) enPR: l?j'?k, IPA^(key): /?l?d??k/
• Rhymes: -?d??k

Adjective

logic

1. logical

Noun

logic (countable and uncountable, plural logics)

1. (uncountable) A method of human thought that involves thinking in a linear, step-by-step manner about how a problem can be solved. Logic is the basis of many principles including the scientific method.
2. (philosophy, logic) The study of the principles and criteria of valid inference and demonstration.
   • 2001, Mark Sainsbury, Logical Forms — An Introduction to Philosophical Logic, Second Edition, Blackwell Publishing, p. 9

     An old tradition has it that there are two branches of logic: deductive logic and inductive logic. More recently, the differences between these disciplines have become so marked that most people nowadays use "logic" to mean deductive logic, reserving terms like "confirmation theory" for at least some of what used to be called inductive logic. I shall follow the more recent practice, and shall construe "philosophy of logic" as "philosophy of deductive logic".

3. (uncountable, mathematics) The mathematical study of relationships between rigorously defined concepts and of mathematical proof of statements.
4. (countable, mathematics) A formal or informal language together with a deductive system or a model-theoretic semantics.
5. (uncountable) Any system of thought, whether rigorous and productive or not, especially one associated with a particular person.

   It's hard to work out his system of logic.

6. (uncountable) The part of a system (usually electronic) that performs the boolean logic operations, short for logic gates or logic circuit.

   Fred is designing the logic for the new controller.

Synonyms

• (mathematics, study): formal logic, modern logic
• (mathematics, system): formal system
• (philosophy): predicate logic

Derived terms

Related terms

• logician
• logical

Translations

Verb

logic (third-person singular simple present logics, present participle logicking, simple past and past participle logicked)

1. (intransitive, derogatory) To engage in excessive or inappropriate application of logic.
2. (transitive) To apply logical reasoning to.
3. (transitive) To overcome by logical argument.

Further reading

• logic in Webster’s Revised Unabridged Dictionary, G. & C. Merriam, 1913.
• logic in The Century Dictionary, New York, N.Y.: The Century Co., 1911.
• logic at OneLook Dictionary Search

Romanian

Etymology

From French logique

Adjective

logic m or n (feminine singular logic?, masculine plural logici, feminine and neuter plural logice)

1. logical

Declension

English

Etymology

meta- +? logic

Noun

metalogic (countable and uncountable, plural metalogics)

1. (philosophy) The metatheory of logic; the study of properties of logical systems.

Related terms

• metalogical
• metalogician