Category:Metalogic

Logic

Philosophical logic Mathematical logic History of logic

Critical thinking Proof theory Model theory

Logicians Set theory Computability theory

Logic literature Concepts in logic Theories of deduction

Metalogic is often contrasted with Philosophical logic or Philosophy of logic.

Subcategories

This category has the following 5 subcategories, out of 5 total.

F

• ► Formal languages‎ (5 C, 125 P)
• ► Formal systems‎ (4 C, 9 P)

M

• ► Metatheorems‎ (13 P)
• ► Model theory‎ (2 C, 61 P)

P

• ► Proof theory‎ (2 C, 57 P)

Pages in category "Metalogic"

The following 16 pages are in this category, out of 16 total.

A

• Axiom independence

C

• Consistency

D

• Decidability (logic)

E

• Equisatisfiability

F

• Formal system

L

• Logical equivalence
• Łoś–Tarski preservation theorem

M

• Meta-communication
• Metasyntactic variable
• Model theory

O

• Object theory

P

• Proof theory

S

• Symbol (formal)
• Syntax (logic)

T

• Type–token distinction

U

• Use–mention distinction