|
9390
|
Logic guides thinking, but it isn't a substitute for it [Rumfitt]
|
|
Full Idea:
Logic is part of a normative theory of thinking, not a substitute for thinking.
|
|
From:
Ian Rumfitt (The Logic of Boundaryless Concepts [2007], p.13)
|
|
A reaction:
There is some sort of logicians' dream, going back to Leibniz, of a reasoning engine, which accepts propositions and outputs inferences. I agree with this idea. People who excel at logic are often, it seems to me, modest at philosophy.
|
|
15584
|
I say the manifestation of Being needs humans, and humans only exist as reflected in Being [Heidegger]
|
|
Full Idea:
The fundamental thought of my thinking is precisely that Being, or the manifestation of Being, needs human beings and that, vice versa, human beings are only human beings if they are standing in the manifestation of Being.
|
|
From:
Martin Heidegger (Martin Heidegger in conversation [1969], p.82), quoted by Richard Polt - Heidegger: an introduction 5 'Signs'
|
|
A reaction:
I don't think I understand the second half of this, but I sense some sort of intuition that the consciousness of humans 'enlarges' Being, or bestows an identity on it, or some such thing.
|
|
9389
|
Vague membership of sets is possible if the set is defined by its concept, not its members [Rumfitt]
|
|
Full Idea:
Vagueness in respect of membership is consistency with determinacy of the set's identity, so long as a set's identity is taken to consist, not in its having such-and-such members, but in its being the extension of a concept.
|
|
From:
Ian Rumfitt (The Logic of Boundaryless Concepts [2007], p.5)
|
|
A reaction:
I find this view of sets much more appealing than the one that identifies a set with its members. The empty set is less of a problem, as well as non-existents. Logicians prefer the extensional view because it is tidy.
|