17 ideas
| 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) |
| 13451 | The two best understood conceptions of set are the Iterative and the Limitation of Size [Rayo/Uzquiano] |
| Full Idea: The two best understood conceptions of set are the Iterative Conception and the Limitation of Size Conception. | |
| From: Rayo,A/Uzquiasno,G (Introduction to 'Absolute Generality' [2006], 1.2.2) |
| 8956 | What is a singleton set, if a set is meant to be a collection of objects? [Szabó] |
| Full Idea: The relationship between an object and its singleton is puzzling. Our intuitive conception of a set is a collection of objects - what are we to make of a collection of a single object? | |
| From: Zoltán Gendler Szabó (Nominalism [2003], 4.1) | |
| A reaction: The ontological problem seems to be the same as that of the empty set, and indeed the claim that a pair of entities is three things. For logicians the empty set is as real as a pet dog, but not for me. |
| 13452 | Some set theories give up Separation in exchange for a universal set [Rayo/Uzquiano] |
| Full Idea: There are set theories that countenance exceptions to the Principle of Separation in exchange for a universal set. | |
| From: Rayo,A/Uzquiasno,G (Introduction to 'Absolute Generality' [2006], 1.2.2) |
| 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) |
| 13449 | We could have unrestricted quantification without having an all-inclusive domain [Rayo/Uzquiano] |
| Full Idea: The possibility of unrestricted quantification does not immediately presuppose the existence of an all-inclusive domain. One could deny an all-inclusive domain but grant that some quantifications are sometimes unrestricted. | |
| From: Rayo,A/Uzquiasno,G (Introduction to 'Absolute Generality' [2006], 1.1) | |
| A reaction: Thus you can quantify over anything you like, but only from what is available. Eat what you like (in this restaurant). |
| 13450 | Absolute generality is impossible, if there are indefinitely extensible concepts like sets and ordinals [Rayo/Uzquiano] |
| Full Idea: There are doubts about whether absolute generality is possible, if there are certain concepts which are indefinitely extensible, lacking definite extensions, and yielding an ever more inclusive hierarchy. Sets and ordinals are paradigm cases. | |
| From: Rayo,A/Uzquiasno,G (Introduction to 'Absolute Generality' [2006], 1.2.1) |
| 13453 | Perhaps second-order quantifications cover concepts of objects, rather than plain objects [Rayo/Uzquiano] |
| Full Idea: If one thought of second-order quantification as quantification over first-level Fregean concepts [note: one under which only objects fall], talk of domains might be regimented as talk of first-level concepts, which are not objects. | |
| From: Rayo,A/Uzquiasno,G (Introduction to 'Absolute Generality' [2006], 1.2.2) | |
| A reaction: That is (I take it), don't quantify over objects, but quantify over concepts, but only those under which known objects fall. One might thus achieve naïve comprehension without paradoxes. Sound like fun. |
| 8953 | Abstract entities don't depend on their concrete entities ...but maybe on the totality of concrete things [Szabó] |
| Full Idea: It is better not to include in the definition of abstract entities that they ontologically depend on their concrete correlates. Note: ..but they may depend on the totality of concreta; maybe 'the supervenience of the abstract' is part of ordinary thought. | |
| From: Zoltán Gendler Szabó (Nominalism [2003], 2.2) | |
| A reaction: [the quoted phrase is from Gideon Rosen] It certainly seems unlikely that the concept of the perfect hexagon depends on a perfect hexagon having existed. Human minds have intervened between the concrete and the abstract. |
| 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. |
| 8954 | Geometrical circles cannot identify a circular paint patch, presumably because they lack something [Szabó] |
| Full Idea: The vocabulary of geometry is sufficient to identify the circle, but could not be used to identify any circular paint patch. The reason must be that the circle lacks certain properties that can distinguish paint patches from one another. | |
| From: Zoltán Gendler Szabó (Nominalism [2003], 2.2) | |
| A reaction: I take this to be support for the traditional view, that abstractions are created by omitting some of the properties of physical objects. I take them to be fictional creations, reified by language, and not actual hidden entities that have been observed. |
| 8955 | Abstractions are imperceptible, non-causal, and non-spatiotemporal (the third explaining the others) [Szabó] |
| Full Idea: In current discussions, abstract entities are usually distinguished as 1) in principle imperceptible, 2) incapable of causal interaction, 3) not located in space-time. The first is often explained by the second, which is in turn explained by the third. | |
| From: Zoltán Gendler Szabó (Nominalism [2003], 2.2) | |
| A reaction: Szabó concludes by offering 3 as the sole criterion of abstraction. As Lewis points out, the Way of Negation for defining abstracta doesn't tell us very much. Courage may be non-spatiotemporal, but what about Alexander the Great's courage? |
| 13448 | The domain of an assertion is restricted by context, either semantically or pragmatically [Rayo/Uzquiano] |
| Full Idea: We generally take an assertion's domain of discourse to be implicitly restricted by context. [Note: the standard approach is that this restriction is a semantic phenomenon, but Kent Bach (2000) argues that it is a pragmatic phenomenon] | |
| From: Rayo,A/Uzquiasno,G (Introduction to 'Absolute Generality' [2006], 1.1) | |
| A reaction: I think Kent Bach is very very right about this. Follow any conversation, and ask what the domain is at any moment. The reference of a word like 'they' can drift across things, with no semantics to guide us, but only clues from context and common sense. |
| 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) |