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.
|
8945
|
Fuzzy logic has many truth values, ranging in fractions from 0 to 1 [Fisher]
|
|
Full Idea:
In fuzzy logic objects have properties to a greater or lesser degree, and truth values are given as fractions or decimals, ranging from 0 to 1. Not-p is defined as 1-p, and other formula are defined in terms of maxima and minima for sets.
|
|
From:
Jennifer Fisher (On the Philosophy of Logic [2008], 07.II)
|
|
A reaction:
The question seems to be whether this is actually logic, or a recasting of probability theory. Susan Haack attacks it. If logic is the study of how truth is preserved as we move between propositions, then 0 and 1 need a special status.
|
8951
|
Classical logic is: excluded middle, non-contradiction, contradictions imply all, disjunctive syllogism [Fisher]
|
|
Full Idea:
For simplicity, we can say that 'classical logic' amounts to the truth of four sentences: 1) either p or not-p; 2) it is not the case that both p and not-p; 3) from p and not-p, infer q; 4) from p or q and not-p, infer q.
|
|
From:
Jennifer Fisher (On the Philosophy of Logic [2008], 12.I)
|
|
A reaction:
[She says there are many ways of specifying classical logic] Intuition suggests that 2 and 4 are rather hard to dispute, while 1 is ignoring some grey areas, and 3 is totally ridiculous. There is, of course, plenty of support for 3!
|
8950
|
Logic formalizes how we should reason, but it shouldn't determine whether we are realists [Fisher]
|
|
Full Idea:
Even if one is inclined to be a realist about everything, it is hard to see why our logic should be the determiner. Logic is supposed to formalize how we ought to reason, but whether or not we should be realists is a matter of philosophy, not logic.
|
|
From:
Jennifer Fisher (On the Philosophy of Logic [2008], 09.I)
|
|
A reaction:
Nice to hear a logician saying this. I do not see why talk in terms of an object is a commitment to its existence. We can discuss the philosopher's stone, or Arthur's sword, or the Loch Ness monster, or gravitinos, with degrees of commitment.
|
8944
|
Vagueness can involve components (like baldness), or not (like boredom) [Fisher]
|
|
Full Idea:
Vague terms come in at least two different kinds: those whose constituent parts come in discrete packets (bald, rich, red) and those that don't (beauty, boredom, niceness).
|
|
From:
Jennifer Fisher (On the Philosophy of Logic [2008], 07.II)
|
|
A reaction:
The first group seem to be features of the external world, and the second all occur in the mind. Baldness may be vague, but presumably hairs are (on the whole) not. Nature doesn't care whether someone is actually 'bald' or not.
|
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'.
|
7399
|
Even without religion, there are many guides to morality [Bacon]
|
|
Full Idea:
Atheism leaves a man to sense, to philosophy, to natural piety, to laws, to reputation; all which may be guides to an outward moral virtue, though religion were not.
|
|
From:
Francis Bacon (17: Of Superstition [1625], p.52)
|
|
A reaction:
One might add to Bacon's list 'contracts', or 'rational consistency', or 'self-evident human excellence', or 'natural sympathy'. This is a striking idea, which clearly made churchmen uneasy when atheism began to spread.
|