Combining Texts

Ideas for 'On the Question of Absolute Undecidability', 'The Morality of Happiness' and 'The Limits of Reason'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

2 ideas

5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models

18694	Permutation Theorem: any theory with a decent model has lots of models [Button]
	Full Idea: The Permutation Theorem says that any theory with a non-trivial model has many distinct isomorphic models with the same domain.
	From: Tim Button (The Limits of Reason [2013], 02.1)
	A reaction: This may be the most significant claim of model theory, since Putnam has erected an argument for anti-realism on it. See the ideas of Tim Button.

5. Theory of Logic / K. Features of Logics / 5. Incompleteness

17894	We have no argument to show a statement is absolutely undecidable [Koellner]
	Full Idea: There is at present no solid argument to the effect that a given statement is absolutely undecidable.
	From: Peter Koellner (On the Question of Absolute Undecidability [2006], 5.3)