Combining Texts

Ideas for 'On the Question of Absolute Undecidability', 'The Logical Basis of Metaphysics' and 'Event Causation: counterfactual analysis'

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 / E. Structures of Logic / 2. Logical Connectives / c. not

18801	Classical negation is circular, if it relies on knowing negation-conditions from truth-conditions [Dummett]
	Full Idea: Explanations of classical negation assume that knowing what it is for the truth-condition of some statement to obtain, independently of recognising it to obtain, we thereby know what it is for it NOT to obtain; but this presupposes classical negation.
	From: Michael Dummett (The Logical Basis of Metaphysics [1991], p.299), quoted by Ian Rumfitt - The Boundary Stones of Thought 1.1
	A reaction: [compressed wording] This is Dummett explaining why he prefers intuitionistic logic, with its doubts about double negation.

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)