4901
|
Truth has to be correspondence to facts, and a match between relations of ideas and relations in the world [Perry]
|
|
Full Idea:
I think knowledge and truth are a matter of correspondence to facts, despite all the energy spent showing the naďveté of this view. The connections of our ideas in our heads correspond to relations in the outside world.
|
|
From:
John Perry (Knowledge, Possibility and Consciousness [2001], §8.1)
|
|
A reaction:
Yes. Modern books offer the difficulties of defining 'correspondence', and finding an independent account of 'facts', as conclusive objections, but I say a brain is a truth machine, and it had better be useful. Indefinability doesn't nullify concepts.
|
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.
|
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.
|
4885
|
Identity is a very weak relation, which doesn't require interdefinability, or shared properties [Perry]
|
|
Full Idea:
The truth of "a=b" doesn't require much of 'a' and 'b' other than that there is a single thing to which they both refer. They needn't be interdefinable, or have supervenient properties. In this sense, identity is a very weak relation.
|
|
From:
John Perry (Knowledge, Possibility and Consciousness [2001], §1.2)
|
|
A reaction:
Interesting. This is seeing the epistemological aspects of identity. Ontologically, identity must invoke Leibniz's Law, and is the ultimately powerful 'relation'. A given student, and the cause of a crop circle, may APPEAR to be quite different.
|
4899
|
Possible worlds thinking has clarified the logic of modality, but is problematic in epistemology [Perry]
|
|
Full Idea:
Using possible worlds to model truth-conditions of statements has led to considerable clarity about the logic of modality. Attempts to use the system for epistemic purposes, however, have been plagued by problems.
|
|
From:
John Perry (Knowledge, Possibility and Consciousness [2001], §8.1)
|
|
A reaction:
Presumably what lurks behind this is a distinction between what is logically or naturally possible, and what appears to be possible from the perspective of a conscious mind. Is there a possible world in which I can fly?
|
4898
|
Possible worlds are indices for a language, or concrete realities, or abstract possibilities [Perry]
|
|
Full Idea:
Possible worlds can be thought of as indices for models of the language in question, or as concrete realities (David Lewis), or as abstract ways the world might be (Robert Stalnaker), or in various other ways.
|
|
From:
John Perry (Knowledge, Possibility and Consciousness [2001], §8.1)
|
|
A reaction:
I strongly favour the Stalnaker route here. Reducing great metaphysics to mere language I find abhorrent, and I suspect that Lewis was trapped by his commitment to strong empiricism. We must embrace abstractions into our ontology.
|
4891
|
If epiphenomenalism just says mental events are effects but not causes, it is consistent with physicalism [Perry]
|
|
Full Idea:
Epiphenomenalism is usually considered to be a form of dualism, but if we define it as the doctrine that conscious events are effects but not causes, it appears to be consistent with physicalism.
|
|
From:
John Perry (Knowledge, Possibility and Consciousness [2001], §4.2)
|
|
A reaction:
Interesting. The theory was invented to put mind outside physics, and make the closure of physics possible. However, being capable of causing things seems to be a necessary condition for physical objects. An effect in one domain is a cause in another.
|
4889
|
Although we may classify ideas by content, we individuate them differently, as their content can change [Perry]
|
|
Full Idea:
Although we classify ideas by content for many purposes, we do not individuate them by content. The content of an idea can change.
|
|
From:
John Perry (Knowledge, Possibility and Consciousness [2001], §3.2)
|
|
A reaction:
As the compiler of this database, I find this very appealing. The mind works exactly like a database. I have a 'file' (Perry's word) marked "London", the content of which undergoes continual change. I am a database management system.
|
4896
|
The intension of an expression is a function from possible worlds to an appropriate extension [Perry]
|
|
Full Idea:
In possible-worlds semantics, expressions have intensions, which are functions from possible worlds to appropriate extensions (names to individuals, n-place predicates to n-tuples, and sentences to truth values, built from parts).
|
|
From:
John Perry (Knowledge, Possibility and Consciousness [2001], §8.1)
|
|
A reaction:
Interesting. Perry distinguishes 'referential' (or 'subject matter') content, which is prior to the link to extensions - a link which creates 'reflexive' content. He is keen that they should not become confused. True knowledge is 'situated'.
|