17 ideas
| 19369 | Lull's combinatorial art would articulate all the basic concepts, then show how they combine [Lull, by Arthur,R] |
| Full Idea: Lull proposed a combinatorial art. He wanted to reconcile Islam and Christianity by articulating the basic concepts that their belief systems held in common, and then inventing a device that would allow these concepts to be combined. | |
| From: report of Ramon (Ars Magna [1305]) by Richard T.W. Arthur - Leibniz 2 Intro | |
| A reaction: Leibniz's Universal Characteristic was an attempt at continuing Lull's project. Lull's plan rested on Aristotle's categories. |
| 16014 | It is controversial whether only 'numerical identity' allows two things to be counted as one [Noonan] |
| Full Idea: 'Numerical identity' implies the controversial view that it is the only identity relation in accordance with which we can properly count (or number) things: x and y are to be properly counted as one just in case they are numerically identical. | |
| From: Harold Noonan (Identity [2009], §1) | |
| A reaction: Noonan cites Geach, presumably to remind us of relative identity, where two things may be one or two, depending on what they are relative to. The one 'guard on the gate' may actually be two men. |
| 16024 | I could have died at five, but the summation of my adult stages could not [Noonan] |
| Full Idea: Persons have different modal properties from the summations of person-stages. …I might have died when I was five. But the maximal summation of person-stages which perdurantists say is me could not have had a temporal extent of a mere five years. | |
| From: Harold Noonan (Identity [2009], §5) | |
| A reaction: Thus the summation of stages seems to fail Leibniz's Law, since truths about a part are not true of the whole. But my foot might be amputated without me being amputated. The objection is the fallacy of composition? |
| 16023 | Stage theorists accept four-dimensionalism, but call each stage a whole object [Noonan] |
| Full Idea: Stage theorists, accepting the ontology of perdurance, modify the semantics to secure the result that fatness is a property of a cat. Every temporal part of a cat (such as Tabby-on-Monday) is a cat. …(but they pay a price over the counting of cats). | |
| From: Harold Noonan (Identity [2009], §5) | |
| A reaction: [Noonan cites Hawley and Sider for this view. The final parenthesis compresses Noonan] I would take the difficulty over counting cats to be fatal to the view. It produces too many cats, or too few, or denies counting altogether. |
| 16016 | Identity definitions (such as self-identity, or the smallest equivalence relation) are usually circular [Noonan] |
| Full Idea: Identity can be circularly defined, as 'the relation everything has to itself and to nothing else', …or as 'the smallest equivalence relation'. | |
| From: Harold Noonan (Identity [2009], §2) | |
| A reaction: The first one is circular because 'nothing else' implies identity. The second is circular because it has to quantify over all equivalence relations. (So says Noonan). |
| 16017 | Identity is usually defined as the equivalence relation satisfying Leibniz's Law [Noonan] |
| Full Idea: Numerical identity is usually defined as the equivalence relation (or: the reflexive relation) satisfying Leibniz's Law, the indiscernibility of identicals, where everything true of x is true of y. | |
| From: Harold Noonan (Identity [2009], §2) | |
| A reaction: Noonan says this must include 'is identical to x' among the truths, and so is circular |
| 16015 | Problems about identity can't even be formulated without the concept of identity [Noonan] |
| Full Idea: If identity is problematic, it is difficult to see how the problem could be resolved, since it is difficult to see how a thinker could have the conceptual resources with which to explain the concept of identity whilst lacking that concept itself. | |
| From: Harold Noonan (Identity [2009], §1) | |
| A reaction: I don't think I accept this. We can comprehend the idea of a mind that didn't think in terms of identities (at least for objects). I suppose any relation of a mind to the world has to distinguish things in some way. Does the Parmenidean One have identity? |
| 16020 | Identity can only be characterised in a second-order language [Noonan] |
| Full Idea: There is no condition in a first-order language for a predicate to express identity, rather than indiscernibility within the resources of the language. Leibniz's Law is statable in a second-order language, so identity can be uniquely characterised. | |
| From: Harold Noonan (Identity [2009], §2) | |
| A reaction: The point is that first-order languages only refer to all objects, but you need to refer to all properties to include Leibniz's Law. Quine's 'Identity, Ostension and Hypostasis' is the source of this idea. |
| 16018 | Indiscernibility is basic to our understanding of identity and distinctness [Noonan] |
| Full Idea: Leibniz's Law (the indiscernibility of identicals) appears to be crucial to our understanding of identity, and, more particularly, to our understanding of distinctness. | |
| From: Harold Noonan (Identity [2009], §2) | |
| A reaction: True, but indiscernibility concerns the epistemology, and identity concerns the ontology. |
| 16019 | Leibniz's Law must be kept separate from the substitutivity principle [Noonan] |
| Full Idea: Leibniz's Law must be clearly distinguished from the substitutivity principle, that if 'a' and 'b' are codesignators they are substitutable salva veritate. | |
| From: Harold Noonan (Identity [2009], §2) | |
| A reaction: He gives a bunch of well-known problem cases for substitutivity. The Morning Star, Giorgione, and the number of planets won't work. Belief contexts, or facts about spelling, may not be substitutable. |
| 19542 | It is nonsense that understanding does not involve knowledge; to understand, you must know [Dougherty/Rysiew] |
| Full Idea: The proposition that understanding does not involve knowledge is widespread (for example, in discussions of what philosophy aims at), but hardly withstands scrutiny. If you do not know how a jet engine works, you do not understand how it works. | |
| From: Dougherty,T/Rysiew,P (Experience First (and reply) [2014], p.24) | |
| A reaction: This seems a bit disingenuous. As in 'Theaetetus', knowing the million parts of a jet engine is not to understand it. More strongly - how could knowledge of an infinity of separate propositional truths amount to understanding on their own? |
| 19543 | To grasp understanding, we should be more explicit about what needs to be known [Dougherty/Rysiew] |
| Full Idea: An essential prerequisite for useful discussion of the relation between knowledge and understanding is systematic explicitness about what is to be known or understood. | |
| From: Dougherty,T/Rysiew,P (Experience First (and reply) [2014], p.25) | |
| A reaction: This is better. I say what needs to be known for understanding is the essence of the item under discussion (my PhD thesis!). Obviously understanding needs some knowledge, but I take it that epistemology should be understanding-first. That is the main aim. |
| 19541 | Rather than knowledge, our epistemic aim may be mere true belief, or else understanding and wisdom [Dougherty/Rysiew] |
| Full Idea: If we say our cognitive aim is to get knowledge, the opposing views are the naturalistic view that what matters is just true belief (or just 'getting by'), or that there are rival epistemic goods such as understanding and wisdom. | |
| From: Dougherty,T/Rysiew,P (Experience First (and reply) [2014], p.17) | |
| A reaction: [compressed summary] I'm a fan of understanding. The accumulation of propositional knowledge would relish knowing the mass of every grain of sand on a beach. If you say the propositions should be 'important', other values are invoked. |
| 19540 | Don't confuse justified belief with justified believers [Dougherty/Rysiew] |
| Full Idea: Much theorizing about justification conflates issues of justified belief with issues of justified/blameless believers. | |
| From: Dougherty,T/Rysiew,P (What is Knowledge-First Epistemology? [2014], p.12) | |
| A reaction: [They cite Kent Bach 1985] Presumably the only thing that really justifies a belief is the truth, or the actual facts. You could then say 'p is a justified belief, though no one actually believes it'. E.g. the number of stars is odd. |
| 19539 | If knowledge is unanalysable, that makes justification more important [Dougherty/Rysiew] |
| Full Idea: If knowledge is indeed unanalyzable, that could be seen as a liberation of justification to assume importance in its own right. | |
| From: Dougherty,T/Rysiew,P (What is Knowledge-First Epistemology? [2014], p.11) | |
| A reaction: [They cite Kvanvig 2003:192 and Greco 2010:9-] See Scruton's Idea 3897. I suspect that we should just give up discussing 'knowledge', which is a woolly and uninformative term, and focus on where the real epistemological action is. |
| 19538 | Entailment is modelled in formal semantics as set inclusion (where 'mammals' contains 'cats') [Dougherty/Rysiew] |
| Full Idea: Entailment is modelled in formal semantics as set inclusion. 'Cat' entails 'mammal' because the cats are a subset of the mammals. | |
| From: Dougherty,T/Rysiew,P (What is Knowledge-First Epistemology? [2014], p.10) | |
| A reaction: I would have thought that this was only one type of entailment. 'Travelling to Iceland entails flying'. Travelling includes flying, the reverse of cats/mammals, to a very complex set-theoretic account is needed. Interesting. |
| 19371 | Nine principles of God: goodness, greatness, eternity, power, wisdom, will, virtue, truth and glory [Lull, by Arthur,R] |
| Full Idea: Lull restricted himself to only nine 'absolute principles' of God: goodness, greatness, eternity, power, wisdom, will, virtue, truth and glory | |
| From: report of Ramon (Ars Magna [1305]) by Richard T.W. Arthur - Leibniz 2 'Combinatorics' | |
| A reaction: Leibniz responded that God's perfections are infinite in number, and thus beyond human comprehension. Lull cut them down to nine, because he was designing a sort of conceptual logic that employed them. |