interpretation

Interpretability of theories

We interpret one theory in another when we can translate all the concepts and structures of the first theory into the language and structural resources…

Jan 11 •

Joel David Hamkins

Mutual and bi-interpretation of models

Enjoy this installment from A Panorama of Logic, an introduction to topics in logic for philosophers, mathematicians, and computer scientists.

Dec 14, 2024 •

Joel David Hamkins

The interpretation translation

We give a precise account of what it means to interpret one mathematical structure in another, and show how this leads to the interpretation…

Dec 7, 2024 •

Joel David Hamkins

Interpretability

We can often simulate one model inside another, providing a translation of meaning from the first realm to the second.

Nov 30, 2024 •

Joel David Hamkins

Interpreting arithmetic

What is the philosophical significance, if any, of the fact that we can often find interpretations of arithmetic in other mathematical realms?

Oct 14, 2023 •

Joel David Hamkins

#nojs-banner { position: fixed; bottom: 0; left: 0; padding: 16px 16px 16px 32px; width: 100%; box-sizing: border-box; background: red; color: white; font-family: -apple-system, "Segoe UI", Roboto, Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol"; font-size: 13px; line-height: 13px; } #nojs-banner a { color: inherit; text-decoration: underline; } This site requires JavaScript to run correctly. Please turn on JavaScript or unblock scripts