display all the ideas for this combination of philosophers
3 ideas
18699 | Carnap tried to define all scientific predicates in terms of primitive relations, using type theory [Carnap, by Button] |
Full Idea: Carnap's ultimate ambition in the Aufbau is to provide a constitution-system within which any predicate of any scientific vocabulary can be explicitly defined in terms of primitive relations holding among basic elements, using type theory. | |
From: report of Rudolph Carnap (The Logical Structure of the World (Aufbau) [1928]) by Tim Button - The Limits of Reason 05.2 | |
A reaction: David Chalmers has a modern shot at the same project in 'Constructing the World'. Ramsey sentences seem to be part of the same game. |
13940 | All linguistic forms in science are merely judged by their efficiency as instruments [Carnap] |
Full Idea: The acceptance or rejection of abstract (or any other) linguistic forms in any branch of science will finally be decided by their efficiency as instruments. | |
From: Rudolph Carnap (Empiricism, Semantics and Ontology [1950], 5) |
13048 | Good explications are exact, fruitful, simple and similar to the explicandum [Carnap, by Salmon] |
Full Idea: Carnap's four criteria for giving a good explication are similarity to the explicandum, exactness, fruitfulness and simplicity. | |
From: report of Rudolph Carnap (Logical Foundations of Probability [1950], Ch.1) by Wesley Salmon - Four Decades of Scientific Explanation 0.1 | |
A reaction: [compressed] Salmon's view is that this represents the old attitude, that the contribution of philosophy to explanation is the clarification of the key concepts. Carnap is, of course, a logical empiricist. |