display all the ideas for this combination of texts
2 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. |
| 17085 | A good explanation totally rules out the opposite explanation (so Forms are required) [Plato, by Ruben] |
| Full Idea: For Plato, an acceptable explanation is one such that there is no possibility of there being the opposite explanation at all, and he thought that only explanations in terms of the Forms, but never physical explanations, could meet this requirement. | |
| From: report of Plato (works [c.375 BCE]) by David-Hillel Ruben - Explaining Explanation Ch 2 | |
| A reaction: [Republic 436c is cited] |