14 ideas
| 5437 | The claim of hermeneutics to give knowledge through understanding is challenged by positivism [Mautner on Dilthey] |
| Full Idea: The claim of hermeneutics to give understanding instead of explanation can be seen as part of the theory of knowledge, but it seems to be incompatible with the most accepted aspects of positivism. | |
| From: comment on Wilhelm Dilthey (works [1883]) by Thomas Mautner - Penguin Dictionary of Philosophy p.248 | |
| A reaction: So much the worse for positivism. The same conflict occurs in modern philosophy of mind. God can be a positivist if he likes, but we must settle for hermeneutics for a lot of our knowledge. We are discussing method, not ontology. |
| 15375 | If terms change their designations in different states, they are functions from states to objects [Fitting] |
| Full Idea: The common feature of every designating term is that designation may change from state to state - thus it can be formalized by a function from states to objects. | |
| From: Melvin Fitting (Intensional Logic [2007], 3) | |
| A reaction: Specifying the objects sounds OK, but specifying states sounds rather tough. |
| 15376 | Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting] |
| Full Idea: To first order modal logic (with quantification over objects) we can add a second kind of quantification, over intensions. An intensional object, or individual concept, will be modelled by a function from states to objects. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.3) |
| 15378 | Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting] |
| Full Idea: Awareness logic enriched Hintikka's epistemic models with an awareness function, mapping each state to the set of formulas we are aware of at that state. This reflects some bound on the resources we can bring to bear. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.6.1) | |
| A reaction: [He cites Fagin and Halpern 1988 for this] |
| 15379 | Justication logics make explicit the reasons for mathematical truth in proofs [Fitting] |
| Full Idea: In justification logics, the logics of knowledge are extended by making reasons explicit. A logic of proof terms was created, with a semantics. In this, mathematical truths are known for explicit reasons, and these provide a measure of complexity. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.6.1) |
| 11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
| Full Idea: Mathematics is typically extensional throughout (we write 3+2=2+3 despite the two terms having different meanings). ..Classical first-order logic is extensional by design since it primarily evolved to model the reasoning of mathematics. | |
| From: Melvin Fitting (Intensional Logic [2007], §1) |
| 11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
| Full Idea: λ-abstraction can be used to abstract and disambiguate a predicate. De re is [λx◊P(x)](f) - f has the possible-P property - and de dicto is ◊[λxP(x)](f) - possibly f has the P-property. Also applies to □. | |
| From: Melvin Fitting (Intensional Logic [2007], §3.3) | |
| A reaction: Compare the Barcan formula. Originated with Church in the 1930s, and Carnap 1947, but revived by Stalnaker and Thomason 1968. Because it refers to the predicate, it has a role in intensional versions of logic, especially modal logic. |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| Full Idea: Definite descriptions pick out different objects in different possible worlds quite naturally. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.4) | |
| A reaction: A definite description can pick out the same object in another possible world, or a very similar one, or an object which has almost nothing in common with the others. |
| 5436 | Natural science seeks explanation; human sciences seek understanding [Dilthey, by Mautner] |
| Full Idea: In the natural sciences we seek for causes and ask for explanation (erklären), but in the human or cultural sciences we seek understanding (verstehen) by means of interpretation. | |
| From: report of Wilhelm Dilthey (works [1883]) by Thomas Mautner - Penguin Dictionary of Philosophy p.144 | |
| A reaction: This seems a nice distinction. The prospects of finding the causes or explanations of Shakespeare's plays don't look good, and when you have explained the causes of a chemical reaction you probably have all you need. |
| 2170 | Homer does not distinguish between soul and body [Homer, by Williams,B] |
| Full Idea: Homer's descriptions of people did without a dualistic distinction between soul and body. | |
| From: report of Homer (The Iliad [c.850 BCE]) by Bernard Williams - Shame and Necessity II - p.23 |
| 2171 | The 'will' doesn't exist; there is just conclusion, then action [Homer, by Williams,B] |
| Full Idea: Homer left out another mental action lying between coming to a conclusion and acting on it; and he did well, since there is no such action, and the idea is the invention of bad philosophy. | |
| From: report of Homer (The Iliad [c.850 BCE]) by Bernard Williams - Shame and Necessity II - p.37 | |
| A reaction: This is a characteristically empiricist view, which is found in Hobbes. The 'will' seems to have a useful role in folk psychology. We can at least say that coming to a conclusion that I should act, and then actually acting, are not the same thing. |
| 21819 | Plato says the Good produces the Intellectual-Principle, which in turn produces the Soul [Homer, by Plotinus] |
| Full Idea: In Plato the order of generation is from the Good, the Intellectual-Principle; from the Intellectual-Principle, the Soul. | |
| From: report of Homer (The Iliad [c.850 BCE], 509b) by Plotinus - The Enneads 5.1.08 | |
| A reaction: The doctrine of Plotinus merely echoes Plato, in that case, except that the One replaces the Form of the Good. Does this mean that what is first in Plotinus is less morally significant, and more concerned with reason and being? |
| 11388 | Let there be one ruler [Homer] |
| Full Idea: The rule of many is not good; let there be one ruler. | |
| From: Homer (The Iliad [c.850 BCE], 2.204), quoted by Vassilis Politis - Aristotle and the Metaphysics 8.9 | |
| A reaction: [Quoted by Aristotle at Metaphysics 1076a04] |
| 14829 | Homer so enjoys the company of the gods that he must have been deeply irreligious [Homer, by Nietzsche] |
| Full Idea: Homer is so at home among his gods, and takes such delight in them as a poet, that he surely must have been deeply irreligious. | |
| From: report of Homer (The Iliad [c.850 BCE]) by Friedrich Nietzsche - Human, All Too Human 125 | |
| A reaction: Blake made a similar remark about where the true allegiance of Milton lay in 'Paradise Lost'. |