metalogic
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 — 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, Ă adj. Referitor la metalogică. [< fr. métalogique] … Dicționar Român
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 — 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
