more from this thinker     |     more from this text


Single Idea 21223

[filed under theme 5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic ]

Full Idea

The phenomenological logic grounds logical notions in subjective acts of experience.

Gist of Idea

Phenomenology grounds logic in subjective experience

Source

report of Edmund Husserl (Formal and Transcendental Logic [1929], p.183) by Victor Velarde-Mayol - On Husserl 4.5.1

Book Ref

Velarde-Mayol,Victor: 'On Husserl' [Wadsworth 2000], p.68


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.

Related Idea

Idea 21222 Logicians presuppose a world, and ignore logic/world connections, so their logic is impure [Husserl, by Velarde-Mayol]


The 22 ideas with the same theme [overview of what must exist to enable logic]:

Our research always hopes that reality embodies the logic we are employing [Peirce]
Logic is a fiction, which invents the view that one thought causes another [Nietzsche]
Logicians presuppose a world, and ignore logic/world connections, so their logic is impure [Husserl, by Velarde-Mayol]
Phenomenology grounds logic in subjective experience [Husserl, by Velarde-Mayol]
Logic is concerned with the real world just as truly as zoology [Russell]
Logic can be known a priori, without study of the actual world [Russell]
Logic can only assert hypothetical existence [Russell]
Logic is highly general truths abstracted from reality [Russell, by Glock]
Russell unusually saw logic as 'interpreted' (though very general, and neutral) [Russell/Whitehead, by Linsky,B]
The only classes are things, predicates and relations [Russell]
The propositions of logic are analytic tautologies [Wittgenstein]
Whether a modal claim is true depends on how the object is described [Quine, by Fine,K]
Logical languages are rooted in ordinary language, and that connection must be kept [Quine]
Unfashionably, I think logic has an empirical foundation [Putnam]
Logicians like their entities to exhibit a maximum degree of purity [Kaplan]
Logical space is abstracted from the actual world [Stalnaker]
Logic is a mathematical account of a universe of relations [Badiou]
A sentence can't be a truth of logic if it asserts the existence of certain sets [Boolos]
In first-order we can't just assert existence, and it is very hard to deny something's existence [Bach]
Either logic determines objects, or objects determine logic, or they are separate [Shapiro]
Maybe mathematical logic rests on information-processing [Ladyman/Ross]
We can use truth instead of ontologically loaded second-order comprehension assumptions about properties [Halbach]