interpretation

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