13342
|
Carnap defined consequence by contradiction, but this is unintuitive and changes with substitution [Tarski on Carnap]
|
|
Full Idea:
Carnap proposed to define consequence as 'sentence X follows from the sentences K iff the sentences K and the negation of X are contradictory', but 1) this is intuitively impossible, and 2) consequence would be changed by substituting objects.
|
|
From:
comment on Rudolph Carnap (The Logical Syntax of Language [1934], p.88-) by Alfred Tarski - The Concept of Logical Consequence p.414
|
|
A reaction:
This seems to be the first step in the ongoing explicit discussion of the nature of logical consequence, which is now seen by many as the central concept of logic. Tarski brings his new tool of 'satisfaction' to bear.
|
13251
|
Each person is free to build their own logic, just by specifying a syntax [Carnap]
|
|
Full Idea:
In logic, there are no morals. Everyone is at liberty to build his own logic, i.e. his own form of language. All that is required is that he must state his methods clearly, and give syntactical rules instead of philosophical arguments.
|
|
From:
Rudolph Carnap (The Logical Syntax of Language [1934], §17), quoted by JC Beall / G Restall - Logical Pluralism 7.3
|
|
A reaction:
This is understandable, but strikes me as close to daft relativism. If I specify a silly logic, I presume its silliness will be obvious. By what criteria? I say the world dictates the true logic, but this is a minority view.
|
21982
|
I only wish I had such eyes as to see Nobody! It's as much as I can do to see real people. [Carroll,L]
|
|
Full Idea:
"I see nobody on the road," said Alice. - "I only wish I had such eyes," the King remarked. ..."To be able to see Nobody! ...Why, it's as much as I can do to see real people."
|
|
From:
Lewis Carroll (C.Dodgson) (Through the Looking Glass [1886], p.189), quoted by A.W. Moore - The Evolution of Modern Metaphysics 07.7
|
|
A reaction:
[Moore quotes this, inevitably, in a chapter on Hegel] This may be a better candidate for the birth of philosophy of language than Frege's Groundwork.
|
7880
|
If a blind persons suddenly sees a kestrel, that doesn't make visual and theoretical kestrels different [Papineau on Jackson]
|
|
Full Idea:
An ornithological Mary might know everything theoretical about kestrels, but be blind from birth, then have her sight restored. She now knows "That bird eats mice", so visual kestrels must be ontologically distinct from theoretical ones.
|
|
From:
comment on Frank Jackson (Epiphenomenal Qualia [1982]) by David Papineau - Thinking about Consciousness 6.3
|
|
A reaction:
A nice reductio, and I think this pinpoints best what is wrong with the knowledge argument. Knowledge, and the means of acquiring it, are two distinct things. When I see x, I don't acquire knowledge of x, AND knowledge of my seeing x.
|
7377
|
Mary learns when she sees colour, so her complete physical information had missed something [Jackson]
|
|
Full Idea:
It seems obvious that Mary will learn something about the world when she is released from her black-and-white room; but then it is inescapable that her previous knowledge was incomplete; she had all the physical information, so there is more to have.
|
|
From:
Frank Jackson (Epiphenomenal Qualia [1982], §1)
|
|
A reaction:
This is Jackson's famous 'knowledge argument', which seems to me misconceived. Since I don't think phenomenal colours are properties of objects (Idea 5456), Mary learns more about herself, and about her means of acquiring knowledge.
|