Combining Texts

All the ideas for 'Science and Method', 'Identity in Substances and True Propositions' and 'Formal and Transcendental Logic'

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
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.
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.
6. Mathematics / A. Nature of Mathematics / 2. Geometry
One geometry cannot be more true than another [Poincaré]
     Full Idea: One geometry cannot be more true than another; it can only be more convenient.
     From: Henri Poincaré (Science and Method [1908], p.65), quoted by Stewart Shapiro - Philosophy of Mathematics
     A reaction: This is the culminating view after new geometries were developed by tinkering with Euclid's parallels postulate.
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.
7. Existence / C. Structure of Existence / 6. Fundamentals / c. Monads
Substances are in harmony, because they each express the one reality in themselves [Leibniz]
     Full Idea: Every substance expresses the whole sequence of the universe in accordance with its own viewpoint or relationship to the rest, so that all are in perfect correspondence with one another.
     From: Gottfried Leibniz (Identity in Substances and True Propositions [1686], p.98)
     A reaction: Thus 'expression' (something like mapping what is exterior) is the mechanism through which God achieves harmony in the universe. Instants of time are said to be successive moments of perfect harmony.