User:IssaRice/Computability and logic/Logic versus theory - Revision history

IssaRice at 21:09, 9 February 2019

2019-02-09T21:09:10Z

← Older revision		Revision as of 21:09, 9 February 2019
Line 11:		Line 11:
	\| Decidable \|\| \|\|		\| Decidable \|\| \|\|
	\|-		\|-
	\| Provable \|\| \|\|		\| Provable \|\| For a logic, "provable" means "provable using the proof system and logical axioms". \|\| For a theory, "provable" means "provable using the proof system, logical axioms, and non-logical axioms". The non-logical axioms are specific to each theory.
	\|-		\|-
	\| Defines/expresses?		\| Defines/expresses?
	\|}		\|}

IssaRice at 21:03, 9 February 2019

2019-02-09T21:03:16Z

← Older revision		Revision as of 21:03, 9 February 2019
Line 10:		Line 10:
	\|-		\|-
	\| Decidable \|\| \|\|		\| Decidable \|\| \|\|
			\|-
			\| Provable \|\| \|\|
	\|-		\|-
	\| Defines/expresses?		\| Defines/expresses?
	\|}		\|}

IssaRice at 21:02, 9 February 2019

2019-02-09T21:02:09Z

← Older revision		Revision as of 21:02, 9 February 2019
Line 5:		Line 5:
	! Term !! Meaning for logic !! Meaning for theory		! Term !! Meaning for logic !! Meaning for theory
	\|-		\|-
	\| Sound		\| Sound \|\| \|\|
	\|-		\|-
	\| Complete		\| Complete \|\| \|\|
	\|-		\|-
	\| Decidable		\| Decidable \|\| \|\|
	\|-		\|-
	\| Defines/expresses		\| Defines/expresses?
	\|}		\|}

IssaRice at 20:57, 9 February 2019

2019-02-09T20:57:59Z

← Older revision		Revision as of 20:57, 9 February 2019
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"

IssaRice at 20:57, 9 February 2019

2019-02-09T20:57:25Z

← Older revision		Revision as of 20:57, 9 February 2019
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"

IssaRice: 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..."

2019-02-09T20:56:00Z

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..."

New page

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="wikitable"
|-
! Term !! Meaning for logic !! Meaning for theory
|-
| Sound
|-
| Complete
|-
| Decidable
|-
| Defines/expresses
|}