Printer Friendly
Dictionary, Encyclopedia and Thesaurus - The Free Dictionary
3,914,965,647 visitors served.
forum Join the Word of the Day Mailing List For webmasters
?
Dictionary/
thesaurus
Medical
dictionary
Legal
dictionary
Financial
dictionary
Acronyms
 
Idioms
Encyclopedia
Wikipedia
encyclopedia
?

Metalogic

   Also found in: Dictionary/thesaurus, Wikipedia 0.01 sec.

metalogic

Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal treatment of natural languages (e.g., English, Russian, etc.). Metalogic has led to a great deal of work of a mathematical nature in axiomatic set theory, model theory, and recursion theory (in which functions that are computable in a finite number of steps are studied).


Metalogic 

the part of logic that deals with the meta-theoretical study of the structure and properties of different logical theories.

Metalogic arose at the end of the 19th and beginning of the 20th century as a result of investigations into the foundations of the deductive sciences (primarily mathematics). As these investigations became more specialized, metalogic divided into two separate branches: syntactics and semantics. The syntactic branch, which deals with the examination of purely structural properties of calculi, includes primarily the theory of (formal) proofs (or metamathematics) and the theory of the definability of concepts. The second branch of metalogic, which divides into a theory of sense and a theory of reference (theory of meaning), constitutes logical semantics. The emergence of an independent theory of algebraic content—the model theory—was a result of A. Tarski’s basic work in logical semantics dealing with the notion of truth in formalized languages.

Metalogic also includes the interesting problem of the relation between extensional and intensional languages, which served as the starting point for the new discipline of pragmatics.

REFERENCES

Tarski, A. Vvedenie v logiku i metodologiiu deduktivnykh nauk. Moscow, 1948. (Translated from English.)
Camap, R. Znachenie i neobkhodimost’. Moscow, 1959. (Translated from English.)
Church, A. Vvedenie v matematicheskuiu logiku, vol. 1. Moscow, 1960. (Translated from English.)
Carnap, R. The Logical Syntax of Language. New York-London, 1937.
Tarski, A. Logic, Semantics, Metamathematics. Oxford, 1956.
Martin, R. Towards a Systematic Pragmatics. Amsterdam, 1959.

IU. A. GASTEV and V. K. FINN



Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.
?Page tools
Printer friendly
Cite / link
Feedback
Mentioned in?  References in periodicals archive?   Encyclopedia browser?   Full browser?
No references found
 
MetaLogic Professional Archive Manager for Exchange also includes new features such as federated search, searches within a search and automated export of .
JUMO Process Control * Metalogic Technologies * Minco * Moore Industries * Omega Engineering, Inc * Pyromation * Siemens * Smar * Weed Instrument * Wika Instruments * Yokogawa For more information visit http://www.
Lante, Metalogic Systems, Rare Medium (Nasdaq:RRRR) and SeraNova.
 
 
 
Encyclopedia
?

Terms of Use | Privacy policy | Feedback | Advertise with Us | Copyright © 2012 Farlex, Inc.
Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.