![](/assets/images/picto-drapeau-france-3a76576a5d60a512053b4612ab58dae5.png)
6. Metalog
6.1 Metalog
Metalogics is the formalized study of logics using a metalanguage.
Although questions of metalogy have been raised since the time of Aristotle (384-322 B.C.), it was not until the development of formal languages around 1900 (Frege, 1893, 1903) that studies of the foundations of logic emerged.
Whereas logic studies how logical systems can be used to construct valid and correct reasoning (and thus arguments), metalogics concerns the validities that can be derived from formal languages and logical systems. Whereas logic deals with demonstrations within a logical system, expressed in a formal language, metalogics deals with demonstrations about a logical system. Thus, the essential nature of metalogics is the differentiation between...
Exclusive to subscribers. 97% yet to be discovered!
You do not have access to this resource.
Click here to request your free trial access!
Already subscribed? Log in!
![](/assets/images/logo-eti-286623ed91fa802ce039246e516e5852.png)
The Ultimate Scientific and Technical Reference
This article is included in
Mathematics
This offer includes:
Knowledge Base
Updated and enriched with articles validated by our scientific committees
Services
A set of exclusive tools to complement the resources
Practical Path
Operational and didactic, to guarantee the acquisition of transversal skills
Doc & Quiz
Interactive articles with quizzes, for constructive reading
Metalog
Bibliography
Exclusive to subscribers. 97% yet to be discovered!
You do not have access to this resource.
Click here to request your free trial access!
Already subscribed? Log in!
![](/assets/images/logo-eti-286623ed91fa802ce039246e516e5852.png)
The Ultimate Scientific and Technical Reference