Combining Texts

Ideas for 'On the Question of Absolute Undecidability', 'Tractatus Logico-Philosophicus' and 'Fourfold Root of Princ of Sufficient 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 / K. Features of Logics / 1. Axiomatisation

19292	Logic doesn't split into primitive and derived propositions; they all have the same status [Wittgenstein]
	Full Idea: All the propositions of logic are of equal status: it is not the case that some of them are essentially primitive propositions and others essentially derived propositions.
	From: Ludwig Wittgenstein (Tractatus Logico-Philosophicus [1921], 6.127)
	A reaction: So axioms are conventional. This specifically contradicts the claims of Frege and the earlier Russell. Their view is that logic has an explanatory essence, found in some core axioms or rules or concepts. I agree with them.

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)