13 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. |
| 14637 | Only individuals have essences, so numbers (as a higher type based on classes) lack them [McMichael] |
| Full Idea: Essentialism is not verified by the observation that numbers have interesting essential properties, since they are properties of classes and so are entities of a higher logical type than individuals. | |
| From: Alan McMichael (The Epistemology of Essentialist Claims [1986], Intro) | |
| A reaction: This relies on a particular view of number (which might be challenged), but is interesting when it comes to abstract entities having essences. Only ur-elements in set theory could have essences, it seems. Why? Rising in type destroys essence? |
| 14636 | Essences are the interesting necessary properties resulting from a thing's own peculiar nature [McMichael] |
| Full Idea: Essentialism says some individuals have certain 'interesting' necessary properties. If it exists, it has that property. The properties are 'interesting' as had in virtue of their own peculiar natures, rather than as general necessary truths. | |
| From: Alan McMichael (The Epistemology of Essentialist Claims [1986], Intro) | |
| A reaction: [compressed] This is a modern commentator caught between two views. The idea that essence is the non-trivial-necessary properties is standard, but adding their 'peculiar natures' connects him to Aristotle, and Kit Fine's later papers. Good! |
| 14640 | Maybe essential properties have to be intrinsic, as well as necessary? [McMichael] |
| Full Idea: There is a tendency to think of essential properties as having some characteristic in addition to their necessity, such as intrinsicality. | |
| From: Alan McMichael (The Epistemology of Essentialist Claims [1986], VIII) | |
| A reaction: Personally I am inclined to take this view of all properties, and not just the 'essential' ones. General necessities, relations, categorisations, disjunctions etc. should not be called 'properties', even if they are 'predicates'. Huge confusion results. |
| 14638 | Essentialism is false, because it implies the existence of necessary singular propositions [McMichael] |
| Full Idea: Essentialism entails the existence of necessary singular propositions that are not instances of necessary generalizations. Therefore, since there are no such propositions, essentialism is false. | |
| From: Alan McMichael (The Epistemology of Essentialist Claims [1986], I) | |
| A reaction: This summarises the attack which McMichael wishes to deal with. I am wickedly tempted to say that essences actually have a contingent existence (or a merely hypothetical dependent necessity), and this objection might be grist for my mill. |
| 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. |
| 14639 | Individuals enter into laws only through their general qualities and relations [McMichael] |
| Full Idea: Individuals appear to enter into laws only through their general qualities and relations. | |
| From: Alan McMichael (The Epistemology of Essentialist Claims [1986], VIII) | |
| A reaction: This is a very significant chicken-or-egg issue. The remark seems to offer the vision of pre-existing general laws, which individuals then join (like joining a club). But surely the laws are derived from the individuals? Where else could they come from? |
| 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. |