Metalogic

Introduction
Nature, origins, and influences of metalogic
- Syntax and semantics
- The axiomatic method
- Logic and metalogic
- Semiotic
- Influences in other directions
Nature of a formal system and of its formal language
- Example of a formal system
  - Formation rules
  - Axioms and rules of inference
- Truth definition of the given language
Discoveries about formal mathematical systems
- The two incompleteness theorems
- Decidability and undecidability
- Consistency proofs
Discoveries about logical calculi
- The propositional calculus
- The first-order predicate calculus
- The Löwenheim-Skolem theorem
- The completeness theorem
- The undecidability theorem and reduction classes
Model theory
- Background and typical problems
  - Satisfaction of a theory by a structure: finite and infinite models
  - Elementary logic
  - Nonelementary logic and future developments
- Characterizations of the first-order logic
- Generalizations and extensions of the Löwenheim-Skolem theorem
- Ultrafilters, ultraproducts, and ultrapowers

References & Edit History Related Topics

Images

At a Glance

default image

metalogic summary

Metalogic: Media

philosophy

Images

David Hilbert

David Hilbert

David Hilbert.

Rudolf Carnap

Rudolf Carnap

German-born American philosopher Rudolf Carnap, 1960.

Courtesy of the University of California, Los Angeles

Alan Turing

Alan Turing

British mathematician Alan Turing conceptualized the Turing machine.

Science History Images/Alamy

VIEW MORE in these related Britannica articles: