10 ideas
| 14263 | Strong Kleene disjunction just needs one true disjunct; Weak needs the other to have some value [Fine,K] |
| Full Idea: Under strong Kleene tables, a disjunction will be true if one of the disjuncts is true, regardless of whether or not the other disjunct has a truth-value; under the weak table it is required that the other disjunct also have a value. So for other cases. | |
| From: Kit Fine (Some Puzzles of Ground [2010], n7) | |
| A reaction: [see also p.111 of Fine's article] The Kleene tables seem to be the established form of modern three-valued logic, with the third value being indeterminate. |
| 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) |
| 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) |
| 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. |
| 14262 | Formal grounding needs transitivity of grounding, no self-grounding, and the existence of both parties [Fine,K] |
| Full Idea: The general formal principles of grounding are Transitivity (A«B, B«C/A«C: if A helps ground B and B helps C, then A helps C), Irreflexivity (A«A/absurd: A can't ground itself) and Factivity (A«B/A; A«/B: for grounding both A and B must be the case). | |
| From: Kit Fine (Some Puzzles of Ground [2010], 4) |
| 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. |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| Full Idea: Archelaus was the first person to say that the universe is boundless. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.3 |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |
| Full Idea: Archelaus wrote that life on Earth began in a primeval slime. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Malcolm Schofield - Archelaus | |
| A reaction: This sounds like a fairly clearcut assertion of the production of life by evolution. Darwin's contribution was to propose the mechanism for achieving it. We should honour the name of Archelaus for this idea. |