Combining Texts

Ideas for 'On the Question of Absolute Undecidability', 'After Virtue: a Study in Moral Theory' and 'Rationality in Action'

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 / A. Overview of Logic / 1. Overview of Logic

3809	If complex logic requires rules, then so does basic logic [Searle]
	Full Idea: If you think you need a rule to infer q from 'p and (if p then q)', then you would also need a rule to infer p from p.
	From: John Searle (Rationality in Action [2001], Ch.1.II)

5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic

3810	In real reasoning semantics gives validity, not syntax [Searle]
	Full Idea: In real-life reasoning it is the semantic content that guarantees the validity of the inference, not the syntactical rule.
	From: John Searle (Rationality in Action [2001], Ch.1.II)

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)