15 ideas
| 15118 | A successful Aristotelian 'definition' is what sciences produces after an investigation [Koslicki] |
| Full Idea: My current use of the Aristotelian term 'definition' is intended to correspond to what is typically accessible to a scientist only at the end of a successful investigation into the nature of a particular phenomenon. | |
| From: Kathrin Koslicki (Essence, Necessity and Explanation [2012], 13.3.1) | |
| A reaction: It is crucial to understand that Aristotle's definitions could be several hundred pages long. It has nothing to do with dictionary definitions. He proposes 'nominal' and 'real' definitions. |
| 15116 | Essences cause necessary features, and definitions describe those necessary features [Koslicki] |
| Full Idea: Since essences cause the other necessary features of a thing, so definitions, as the linguistic correlates of essences, explain, together with other axioms, the propositions describing those necessary features. | |
| From: Kathrin Koslicki (Essence, Necessity and Explanation [2012], 13.3.1) | |
| A reaction: This is nice and clear. Definitions are NOT essences - they are the linguistic correlates of essences, and mirror those essences. The necessary features are not the only things needing explanation. That picture is too passive. |
| 15327 | Kripke's semantic theory has actually inspired promising axiomatic theories [Kripke, by Horsten] |
| Full Idea: Kripke has a semantic theory of truth which has inspired promising axiomatic theories of truth. | |
| From: report of Saul A. Kripke (Outline of a Theory of Truth [1975]) by Leon Horsten - The Tarskian Turn 01.2 | |
| A reaction: Feferman produced an axiomatic version of Kripke's semantic theory. |
| 15343 | Kripke offers a semantic theory of truth (involving models) [Kripke, by Horsten] |
| Full Idea: One of the most popular semantic theories of truth is Kripke's theory. It describes a class of models which themselves involve a truth predicate (unlike Tarski's semantic theory). | |
| From: report of Saul A. Kripke (Outline of a Theory of Truth [1975]) by Leon Horsten - The Tarskian Turn 02.3 | |
| A reaction: The modern versions explored by Horsten are syntactic versions of this, derived from Feferman's axiomatisation of the Kripke theory. |
| 14967 | Certain three-valued languages can contain their own truth predicates [Kripke, by Gupta] |
| Full Idea: Kripke showed via a fixed-point argument that certain three-valued languages can contain their own truth predicates. | |
| From: report of Saul A. Kripke (Outline of a Theory of Truth [1975]) by Anil Gupta - Truth | |
| A reaction: [Gupta also cites Martin and Woodruff 1975] It is an odd paradox that truth can only be included if one adds a truth-value of 'neither true nor false'. The proposed three-valued system is 'strong Kleene logic'. |
| 14966 | The Tarskian move to a metalanguage may not be essential for truth theories [Kripke, by Gupta] |
| Full Idea: Kripke established that, contrary to the prevalent Tarskian dogma, attributions of truth do not always force a move to a metalanguage. | |
| From: report of Saul A. Kripke (Outline of a Theory of Truth [1975], 5.1) by Anil Gupta - Truth | |
| A reaction: [Gupta also cites Martin and Woodruff 1975] |
| 16328 | Kripke classified fixed points, and illuminated their use for clarifications [Kripke, by Halbach] |
| Full Idea: Kripke's main contribution was …his classification of the different consistent fixed points and the discussion of their use for discriminating between ungrounded sentences, paradoxical sentences, and so on. | |
| From: report of Saul A. Kripke (Outline of a Theory of Truth [1975]) by Volker Halbach - Axiomatic Theories of Truth 15.1 |
| 15110 | An essence and what merely follow from it are distinct [Koslicki] |
| Full Idea: We can distinguish (as Aristotle and Fine do) between what belongs to the essence of an object, and what merely follows from the essence of an object. | |
| From: Kathrin Koslicki (Essence, Necessity and Explanation [2012], 13.1) | |
| A reaction: This can help to clarify the confusions that result from treating necessary properties as if they were essential. |
| 15113 | Individuals are perceived, but demonstration and definition require universals [Koslicki] |
| Full Idea: Individual instances of a kind of phenomenon, in Aristotle's view, can only be perceived through sense-perception; but they are not the proper subject-matter of scientific demonstration and definition. | |
| From: Kathrin Koslicki (Essence, Necessity and Explanation [2012], 13.3.1) | |
| A reaction: A footnote (11) explains that this is because they involve syllogisms, which require universals. I take Aristotle, and anyone sensible, to rest on individual essences, but inevitably turn to generic essences when language becomes involved. |
| 15112 | If an object exists, then its essential properties are necessary [Koslicki] |
| Full Idea: If an object has a certain property essentially, then it follows that the object has the property necessarily (if it exists). | |
| From: Kathrin Koslicki (Essence, Necessity and Explanation [2012], 13.2) | |
| A reaction: She is citing Fine, who says that the converse (necessity implying essence) is false. I agree with that. I also willing to challenge the first bit. I suspect an object can retain identity and lose essence. Coma patient; broken clock; aged athlete. |
| 15111 | In demonstration, the explanatory order must mirror the causal order of the phenomena [Koslicki] |
| Full Idea: Demonstration encompasses more than deductive entailment, in that the explanatory order of priority represented in a successful demonstration must mirror precisely the causal order of priority present in the phenomena in question. | |
| From: Kathrin Koslicki (Essence, Necessity and Explanation [2012], 13.1) | |
| A reaction: She is referring to Aristotle's 'Posterior Analytics'. Put so clearly this sounds like an incredibly useful concept in discussing how we present good modern scientific explanations. Reinstating Aristotle is a major priority for philosophy! |
| 15115 | In a demonstration the middle term explains, by being part of the definition [Koslicki] |
| Full Idea: In a proper demonstrative argument, the middle term must be explanatory of the conclusion, in a very specific sense: the middle term must state what properly belongs to the definition of the kind of phenomenon in question. | |
| From: Kathrin Koslicki (Essence, Necessity and Explanation [2012], 13.3.1) | |
| A reaction: So 'All men are mortal, S is a man, so S is mortal'. The middle term is 'man', which gives a generic explanation for why S is mortal. Explanation as categorisation? I don't think this is the whole story of Aristotelian explanation. |
| 15117 | Greek uses the same word for 'cause' and 'explanation' [Koslicki] |
| Full Idea: The Greek does not disambiguate between 'cause' and 'explanation', since the same terms ('aitia' and 'aition') can be translated in both ways. | |
| From: Kathrin Koslicki (Essence, Necessity and Explanation [2012], 13.3.1 n15) | |
| A reaction: This is essential information if we are to understand Aristotle's Four Causes, which are quite baffling if we take 'causes' in the modern way. The are the Four Modes of Explanation. |
| 15114 | Discovering the Aristotelian essence of thunder will tell us why thunder occurs [Koslicki] |
| Full Idea: Both the question 'what is thunder?', and the question 'why does thunder occur?', for Aristotle, are answered simultaneously, once it has been discovered what the essence of thunder it, i.e. what it is to be thunder. | |
| From: Kathrin Koslicki (Essence, Necessity and Explanation [2012], 13.3.1 n10) | |
| A reaction: I take this idea to be pretty much the whole story about essences. |
| 468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
| Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice. | |
| From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where? |