metalogic

metalogic
The metatheory of logic; the study of properties of logical systems.

Wikipedia foundation.

Игры ⚽ Нужна курсовая?

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

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”