Combining Texts

All the ideas for 'Leibniz', 'Formal and Transcendental Logic' and 'Inverted Earth'

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


5 ideas

5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic
Phenomenology grounds logic in subjective experience [Husserl, by Velarde-Mayol]
     Full Idea: The phenomenological logic grounds logical notions in subjective acts of experience.
     From: report of Edmund Husserl (Formal and Transcendental Logic [1929], p.183) by Victor Velarde-Mayol - On Husserl 4.5.1
     A reaction: I'll approach this with great caution, but this is a line of thought that appeals to me. The core assumptions of logic do not arise ex nihilo.
Logicians presuppose a world, and ignore logic/world connections, so their logic is impure [Husserl, by Velarde-Mayol]
     Full Idea: Husserl maintained that because most logicians have not studied the connection between logic and the world, logic did not achieve its status of purity. Even more, their logic implicitly presupposed a world.
     From: report of Edmund Husserl (Formal and Transcendental Logic [1929]) by Victor Velarde-Mayol - On Husserl 4.5.1
     A reaction: The point here is that the bracketing of phenomenology, to reach an understanding with no presuppositions, is impossible if you don't realise what your are presupposing. I think the logic/world relationship is badly neglected, thanks to Frege.
6. Mathematics / B. Foundations for Mathematics / 1. Foundations for Mathematics
Pure mathematics is the relations between all possible objects, and is thus formal ontology [Husserl, by Velarde-Mayol]
     Full Idea: Pure mathematics is the science of the relations between any object whatever (relation of whole to part, relation of equality, property, unity etc.). In this sense, pure mathematics is seen by Husserl as formal ontology.
     From: report of Edmund Husserl (Formal and Transcendental Logic [1929]) by Victor Velarde-Mayol - On Husserl 4.5.2
     A reaction: I would expect most modern analytic philosophers to agree with this. Modern mathematics (e.g. category theory) seems to have moved beyond this stage, but I still like this idea.
9. Objects / F. Identity among Objects / 7. Indiscernible Objects
The Identity of Indiscernibles is really the same as the verification principle [Jolley]
     Full Idea: Various writers have noted that the Identity of Indiscernibles is really tantamount to the verification principle.
     From: Nicholas Jolley (Leibniz [2005], Ch.3)
     A reaction: Both principles are false, because they are the classic confusion of epistemology and ontology. The fact that you cannot 'discern' a difference between two things doesn't mean that there is no difference. Things beyond verification can still be discussed.
15. Nature of Minds / B. Features of Minds / 5. Qualia / b. Qualia and intentionality
The Inverted Earth example shows that phenomenal properties are not representational [Block, by Rowlands]
     Full Idea: Block's Inverted Earth example (with matching inversion of both colours and colour-language) tries to show a variation of representational properties without a variation of phenomenal properties, so that the latter are not constituted by the former.
     From: report of Ned Block (Inverted Earth [1990]) by Mark Rowlands - Externalism Ch.7
     A reaction: (The example is actually quite complex). This type of argument - a thought experiment in which qualia are held steady while everything else varies, or vice versa - seems to be the only way that we can possibly get at an assessment of the role of qualia.