## Philosophy Lexicon of Arguments | |||

Proof Theory: mathematics, logic is about the existence or nonexistence of finite strings of symbols allowing to derive a statement. Therefore, proof theory is a part of the syntax, as opposed to the model theory, which belongs to the semantics. See also model theory, syntax, semantics. | |||

Author | Item | More concepts for author | |
---|---|---|---|

Field, Hartry | Proof Theory | Field, Hartry | |

Hilbert, D. | Proof Theory | Hilbert, D. | |

Logic Texts | Proof Theory | Logic Texts | |

McDowell, John | Proof Theory | McDowell, John | |

Ed. Martin Schulz, access date 2017-05-28 |