Combining Texts

Ideas for 'works', 'The Nature of Mathematical Knowledge' and 'Quaestiones de anima'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


2 ideas

4. Formal Logic / E. Nonclassical Logics / 2. Intuitionist Logic
Intuitionists rely on assertability instead of truth, but assertability relies on truth [Kitcher]
     Full Idea: Though it may appear that the intuitionist is providing an account of the connectives couched in terms of assertability conditions, the notion of assertability is a derivative one, ultimately cashed out by appealing to the concept of truth.
     From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 06.5)
     A reaction: I have quite a strong conviction that Kitcher is right. All attempts to eliminate truth, as some sort of ideal at the heart of ordinary talk and of reasoning, seems to me to be doomed.
4. Formal Logic / G. Formal Mereology / 1. Mereology
Aristotle relativises the notion of wholeness to different measures [Aristotle, by Koslicki]
     Full Idea: Aristotle proposes to relativise unity and plurality, so that a single object can be both one (indivisible) and many (divisible) simultaneously, without contradiction, relative to different measures. Wholeness has degrees, with the strength of the unity.
     From: report of Aristotle (works [c.330 BCE]) by Kathrin Koslicki - The Structure of Objects 7.2.12
     A reaction: [see Koslicki's account of Aristotle for details] As always, the Aristotelian approach looks by far the most promising. Simplistic mechanical accounts of how parts make wholes aren't going to work. We must include the conventional and conceptual bit.