display all the ideas for this combination of texts
2 ideas
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. |
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) |