Combining Texts

All the ideas for 'The Epistemology of Modality', 'works' and 'Investigations into Logical Deduction'

unexpand these ideas     |    start again     |     specify just one area for these texts


4 ideas

5. Theory of Logic / H. Proof Systems / 4. Natural Deduction
Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking]
     Full Idea: Gentzen thought that his natural deduction gets at the heart of logical reasoning, and used the sequent calculus only as a convenient tool for proving his chief results.
     From: report of Gerhard Gentzen (Investigations into Logical Deduction [1935]) by Ian Hacking - What is Logic? §05
9. Objects / D. Essence of Objects / 5. Essence as Kind
Only natural kinds and their members have real essences [Suárez, by Cover/O'Leary-Hawthorne]
     Full Idea: On Suarez's account, only natural kinds and their members have real essences.
     From: report of Francisco Suárez (works [1588]) by Cover,J/O'Leary-Hawthorne,J - Substance and Individuation in Leibniz 1.3.1 n21
     A reaction: Interesting. Rather than say that everything is a member of some kind, we leave quirky individuals out, with no essence at all. What is the status of the very first exemplar of a given kind?
10. Modality / D. Knowledge of Modality / 4. Conceivable as Possible / a. Conceivable as possible
How do you know you have conceived a thing deeply enough to assess its possibility? [Vaidya]
     Full Idea: The main issue with learning possibility from conceivability concerns how we can be confident that we have conceived things to the relevant level of depth required for the scenario to actually be a presentation or manifestation of a genuine possibility.
     From: Anand Vaidya (The Epistemology of Modality [2015], 1.2.2)
     A reaction: [He cites Van Inwagen 1998 for this idea] The point is that ignorant imagination can conceive of all sorts of absurd things which are seen to be impossible when enough information is available. We can hardly demand a criterion for this.
26. Natural Theory / C. Causation / 4. Naturalised causation
The old 'influx' view of causation says it is a flow of accidental properties from A to B [Suárez, by Jolley]
     Full Idea: The 'influx' model of causation says that causes involve a process of contagion, as it were; when the kettle boils, the gas infects the water inside the kettle with its own 'individual accident' of heat, which literally flows from one to the other.
     From: report of Francisco Suárez (works [1588]) by Nicholas Jolley - Leibniz Ch.2
     A reaction: This nicely captures the scholastic target of Hume's sceptical thinking on the subject. However, see Idea 2542, where the idea of influx has had a revival. It is hard to see how the water could change if it didn't 'catch' something from the gas.