display all the ideas for this combination of texts
1 idea
| 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. |