Combining Philosophers

Ideas for B Hale / C Wright, Plato and Michael Dummett

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

display all the ideas for this combination of philosophers

---

2 ideas

4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / e. Axioms of PL

2145	In mathematics certain things have to be accepted without further explanation [Plato]
	Full Idea: The practitioners of maths take certain things as basic, and feel no further need to explain them.
	From: Plato (The Republic [c.374 BCE], 510c)

4. Formal Logic / B. Propositional Logic PL / 3. Truth Tables

19060	Truth-tables are dubious in some cases, and may be a bad way to explain connective meaning [Dummett]
	Full Idea: It is arguable whether two-valued truth tables give correct meanings for certain sentential operators, and even whether they constitute legitimate explanations of any possible sentential operators.
	From: Michael Dummett (The Justification of Deduction [1973], p.294)
	A reaction: See 'Many-valued logic' for examples of non-binary truth tables. Presumably logicians should aspire to make their semantics precise, as well as their syntax.