10 ideas
| 8460 | Philosophers have given precise senses to deduction, probability, computability etc [Quine/Ullian] |
| Full Idea: Successful explications (giving a precise sense to a term) have been found for the concepts of deduction, probability and computability, to name just three. | |
| From: W Quine / J Ullian (The Web of Belief [1970], 65), quoted by Alex Orenstein - W.V. Quine Ch.3 | |
| A reaction: Quine also cites the concept of an 'ordered pair'. Orenstein adds Tarski's definition of truth, Russell's definite descriptions, and the explication of existence in terms of quantifications. Cf. Idea 2958. |
| 2661 | Dialectic is speech cast in the form of logical argument [Cicero] |
| Full Idea: Dialectic is speech cast in the form of logical argument. | |
| From: M. Tullius Cicero (Academica [c.45 BCE], I.viii.32) |
| 2673 | There cannot be more than one truth [Cicero] |
| Full Idea: There cannot be more than one truth. | |
| From: M. Tullius Cicero (Academica [c.45 BCE], II.xlviii.147) |
| 2669 | Dialectic assumes that all statements are either true or false, but self-referential paradoxes are a big problem [Cicero] |
| Full Idea: It is a fundamental principle of dialectic that every statement is either true or false. So is this a true proposition or a false one: "If you say that you are lying and say it truly, you lie"? | |
| From: M. Tullius Cicero (Academica [c.45 BCE], II.xxix.95) |
| 14082 | No sortal could ever exactly pin down which set of particles count as this 'cup' [Schaffer,J] |
| Full Idea: Many decent candidates could the referent of this 'cup', differing over whether outlying particles are parts. No further sortal I could invoke will be selective enough to rule out all but one referent for it. | |
| From: Jonathan Schaffer (Deflationary Metaontology of Thomasson [2009], 3.1 n8) | |
| A reaction: I never had much faith in sortals for establishing individual identity, so this point comes as no surprise. The implication is strongly realist - that the cup has an identity which is permanently beyond our capacity to specify it. |
| 14081 | Identities can be true despite indeterminate reference, if true under all interpretations [Schaffer,J] |
| Full Idea: There can be determinately true identity claims despite indeterminate reference of the terms flanking the identity sign; these will be identity claims true under all admissible interpretations of the flanking terms. | |
| From: Jonathan Schaffer (Deflationary Metaontology of Thomasson [2009], 3.1) | |
| A reaction: In informal contexts there might be problems with the notion of what is 'admissible'. Is 'my least favourite physical object' admissible? |
| 2664 | If we have complete healthy senses, what more could the gods give us? [Cicero] |
| Full Idea: If human nature were interrogated by some god as to whether it was content with its own senses in a sound and undamaged state or demanded something better, I cannot see what more it could ask for. | |
| From: M. Tullius Cicero (Academica [c.45 BCE], II.vii.19) |
| 2665 | How can there be a memory of what is false? [Cicero] |
| Full Idea: How can there possibly be a memory of what is false? | |
| From: M. Tullius Cicero (Academica [c.45 BCE], II.vii.22) |
| 20800 | Every true presentation can have a false one of the same quality [Cicero] |
| Full Idea: [The sceptical Academics say] what is false cannot be perceived, but every true presentation is such that there can be a false presentation of the same quality. | |
| From: M. Tullius Cicero (Academica [c.45 BCE], II.40) | |
| A reaction: It was the stoics who focused the discussion on 'presentations'. This claim is purely theoretical; no one has ever experienced a false presentation of talking to a family member that was as vivid as the real thing. |
| 2672 | Virtues must be very detached, to avoid being motivated by pleasure [Cicero] |
| Full Idea: None of the virtues can exist unless they are disinterested, for virtue driven to duty by pleasure as a sort of pay is not virtue at all but a deceptive sham and pretence of virtue. | |
| From: M. Tullius Cicero (Academica [c.45 BCE], II.xlvi.140) |