- metalogic
**metalógic**__adj.____m.__,__pl.__*metalógici;*__f.____sg.__*metalógică,*__pl.__*metalógice*Trimis de siveco, 10.08.2004. Sursa:__Dicţionar ortografic__**METALÓGIC, -Ă**Referitor la metalogică. [<__adj.____fr.__*métalogique*].Trimis de LauraGellner, 13.09.2007. Sursa:__DN__**METALÓGIC, -Ă**I.referitor la metalogică. II. s.__adj.____f.__disciplină care studiază fundamentele logicii, sistemele, expresiile logice şi raporturile dintre ele. (<__fr.__*métalogique*)Trimis de raduborza, 15.09.2007. Sursa:__MDN__

*Dicționar Român.
2013.*

### Look at other dictionaries:

**Metalogic**— is the study of the metatheory of logic. While logic is the study of the manner in which logical systems can be used to decide the correctness of arguments, metalogic studies the properties of the logical systems themselves.[1] According to… … Wikipedia**metalogic**— /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium**metalogic**— |med.əl|äjik, d.ə|lä noun Etymology: Medieval Latin Metalogicus, title of a work on logic by John of Salisbury died 1180 English ecclesiastical leader and classical scholar : a branch of analytic philosophy that deals with the critical… … Useful english dictionary**metalogic**— noun The metatheory of logic; the study of properties of logical systems. See Also: metalogical, metalogician … Wiktionary**metalogic**— A theory whose subject matter is a logistic system: see metamathematics … Philosophy dictionary**metalogic**— meta·log·ic … English syllables**Outline of logic**— The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… … Wikipedia**Entailment**— For other uses, see Entail (disambiguation). In logic, entailment is a relation between a set of sentences (e.g.,[1] meaningfully declarative sentences or truthbearers) and a sentence. Let Γ be a set of one or more sentences; let S1 be the… … Wikipedia**Completeness**— In general, an object is complete if nothing needs to be added to it. This notion is made more specific in various fields. Contents 1 Logical completeness 2 Mathematical completeness 3 Computing 4 … Wikipedia**History of logic**— Philosophy ( … Wikipedia