Difference between revisions of "User:IssaRice/Computability and logic/Logic versus theory"

From Machinelearning
Jump to: navigation, search
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. This distinction is similar to the distinction between truth-in-all-interpretations and truth-in-intended-interpretation.
+
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 [[../Intended interpretation versus all interpretations|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