## Philosophy Lexicon of Arguments | |||

Model Theory: The model theory investigates whether an axiom system is fulfilled and thus provides one (or more) models. Model theory belongs to the semantics because it uses the concept of truth, while the proof theory belongs to the domain of syntax by asking for the existence of finite character string (of proofs). One problem is the exclusion of unintended models. | |||

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

Field, Hartry | Model Theory | Field, Hartry | |

Hintikka, J. | Model Theory | Hintikka, J. | |

Rorty, Richard | Model Theory | Rorty, Richard | |

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