Combining Texts

Ideas for 'On the Question of Absolute Undecidability', 'Virtues of the Mind' and 'On Interpretation'

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

display all the ideas for this combination of texts

---

3 ideas

5. Theory of Logic / D. Assumptions for Logic / 1. Bivalence

21593	In talking of future sea-fights, Aristotle rejects bivalence [Aristotle, by Williamson]
	Full Idea: Unlike Aristotle, Stoics did not reject Bivalence for future contingencies; it is true or false that there will be a sea-fight tomorrow.
	From: report of Aristotle (On Interpretation [c.330 BCE], 19a31) by Timothy Williamson - Vagueness 1.2
	A reaction: I'd never quite registered this simple account of the sea-fight. As Williamson emphasises, one should not lightly reject the principle of bivalence. Has Aristotle entered a slippery slope? Stoics disagreed with Aristotle.

5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle

1701	A prayer is a sentence which is neither true nor false [Aristotle]
	Full Idea: A prayer is a sentence which is neither true nor false.
	From: Aristotle (On Interpretation [c.330 BCE], 17a01)

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)