Combining Philosophers

Ideas for Hermarchus, Ian Rumfitt and John Searle

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

display all the ideas for this combination of philosophers

---

2 ideas

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 / I. Semantics of Logic / 3. Logical Truth

18809	Logical truths are just the assumption-free by-products of logical rules [Rumfitt]
	Full Idea: Gentzen's way of formalising logic has accustomed people to the idea that logical truths are simply the by-products of logical rules, that arise when all the assumptions on which a conclusion rests have been discharged.
	From: Ian Rumfitt (The Boundary Stones of Thought [2015], 2.5)
	A reaction: This is the key belief of those who favour the natural deduction account of logic. If you really believe in separate logic truths, then you can use them as axioms.