green numbers give full details.
|
back to list of philosophers
|
expand these ideas
Ideas of Rudolph Carnap, by Text
[German, 1891 - 1970, Born at Ronsdorf, Germany. Pupil of Frege. Taught at the University of California. Quine and Kaplan were pupils.]
1928
|
The Logical Structure of the World (Aufbau)
|
|
p.35
|
18699
|
Carnap tried to define all scientific predicates in terms of primitive relations, using type theory [Button]
|
|
p.36
|
12131
|
All concepts can be derived from a few basics, making possible one science of everything [Brody]
|
1934
|
The Logical Syntax of Language
|
§17
|
p.78
|
13251
|
Each person is free to build their own logic, just by specifying a syntax
|
p.88-
|
p.414
|
13342
|
Carnap defined consequence by contradiction, but this is unintuitive and changes with substitution [Tarski]
|
1935.12.04
|
p.374
|
18285
|
All translation loses some content (but language does not create reality)
|
1937
|
Testability and Meaning
|
I.440
|
p.46
|
14305
|
In the truth-functional account a burnt-up match was soluble because it never entered water
|
1947
|
Meaning and Necessity
|
|
p.90
|
11968
|
The intension of a sentence is the set of all possible worlds in which it is true [Kaplan]
|
1950
|
Empiricism, Semantics and Ontology
|
|
p.41
|
8960
|
Internal questions about abstractions are trivial, and external ones deeply problematic [Szabó]
|
|
p.129
|
8748
|
Logical positivists incorporated geometry into logicism, saying axioms are just definitions [Shapiro]
|
1
|
p.205
|
13932
|
Empiricists tend to reject abstract entities, and to feel sympathy with nominalism
|
2
|
p.206
|
13933
|
Existence questions are 'internal' (within a framework) or 'external' (concerning the whole framework)
|
2
|
p.207
|
13934
|
To be 'real' is to be an element of a system, so we cannot ask reality questions about the system itself
|
2
|
p.208
|
13935
|
We only accept 'things' within a language with formation, testing and acceptance rules
|
2
|
p.209
|
13936
|
Questions about numbers are answered by analysis, and are analytic, and hence logically true
|
3
|
p.214
|
13937
|
New linguistic claims about entities are not true or false, but just expedient, fruitful or successful
|
4
|
p.217
|
13938
|
A linguistic framework involves commitment to entities, so only commitment to the framework is in question
|
4
|
p.219
|
13939
|
No possible evidence could decide the reality of numbers, so it is a pseudo-question
|
5
|
p.221
|
13940
|
All linguistic forms in science are merely judged by their efficiency as instruments
|
1950
|
Logical Foundations of Probability
|
Ch.1
|
p.5
|
13048
|
Good explications are exact, fruitful, simple and similar to the explicandum [Salmon]
|
1959
|
Elimination of Metaphysics by Analysis of Language
|
|
p.69
|
16252
|
Metaphysics uses empty words, or just produces pseudo-statements
|