3 ideas
| 15130 | If a property is possible, there is something which can have it [Williamson] |
| Full Idea: Barcan's axiom says if there can be something that has a certain property, then there is something that can have that property. It and its converse are not obviously correct or incorrect. They claim that it is non-contingent what individuals there are. | |
| From: Timothy Williamson (Laudatio: Prof Ruth Barcan Marcus [2011], p.1) | |
| A reaction: Williamson defends the two Barcan formulas, but the more I understand them the less plausible they sound to me. |
| 10245 | One geometry cannot be more true than another [Poincaré] |
| Full Idea: One geometry cannot be more true than another; it can only be more convenient. | |
| From: Henri Poincaré (Science and Method [1908], p.65), quoted by Stewart Shapiro - Philosophy of Mathematics | |
| A reaction: This is the culminating view after new geometries were developed by tinkering with Euclid's parallels postulate. |
| 22237 | The Greeks had a single word meaning both 'beautiful' and 'good' [Pormann] |
| Full Idea: The later Greeks coined the term 'kalokagathia' for the fact of being both beautiful [kalos] and good [agathos], thus linking moral and physical health. | |
| From: Peter E. Pormann (Medical Conceptions of Health pre-Renaissance [2019], p.44) | |
| A reaction: In their literature good people are often handsome, and bad people ugly. Socrates was famous for being an exception. |