User:IssaRice/Computability and logic/Logic versus theory: Difference between revisions
(Created page with "Many terms in mathematical logic apply to both logics and to theories. In these cases, the terms mean different things depending on what object it applies to. {| class="wikit...") |
No edit summary |
||
| Line 1: | Line 1: | ||
Many terms in mathematical logic apply to both logics and to theories. In these cases, the terms mean different things depending on what object it applies to. | Many terms in mathematical logic apply to both logics and to theories. In these cases, the terms mean different things depending on what object it applies to. This distinction is similar to the distinction between truth-in-all-interpretations and truth-in-intended-interpretation. | ||
{| class="wikitable" | {| class="wikitable" | ||
Revision as of 20:57, 9 February 2019
Many terms in mathematical logic apply to both logics and to theories. In these cases, the terms mean different things depending on what object it applies to. This distinction is similar to the distinction between truth-in-all-interpretations and truth-in-intended-interpretation.
| Term | Meaning for logic | Meaning for theory |
|---|---|---|
| Sound | ||
| Complete | ||
| Decidable | ||
| Defines/expresses |