6 ideas
| 16886 | The truth of an axiom must be independently recognisable [Frege] |
| Full Idea: It is part of the concept of an axiom that it can be recognised as true independently of other truths. | |
| From: Gottlob Frege (On Euclidean Geometry [1900], 183/168), quoted by Tyler Burge - Frege on Knowing the Foundations 4 | |
| A reaction: Frege thinks the axioms of arithmetic all reside in logic. |
| 9086 | The idea of abstract objects is not ontological; it comes from the epistemological idea of abstraction [Plantinga] |
| Full Idea: The notion of an abstract object comes from the notion of abstraction; it is in origin an epistemological rather than an ontological category. | |
| From: Alvin Plantinga (Why Propositions cannot be concrete [1993], p.232) | |
| A reaction: Etymology doesn't prove anything. However, if you define abstract objects as not existing in space or time, you must recognise that this may only be because that is how humans imaginatively created them in the first place. |
| 9087 | Theists may see abstract objects as really divine thoughts [Plantinga] |
| Full Idea: Theists may find attractive a view popular among medieval philosophers from Augustine on: that abstract objects are really divine thoughts. More exactly, propositions are divine thoughts, properties divine concepts, and sets divine collections. | |
| From: Alvin Plantinga (Why Propositions cannot be concrete [1993], p.233) | |
| A reaction: Hm. I pass this on because we should be aware that there is a theological history to discussions of abstract objects, and some people have vested interests in keeping them outside of the natural world. Aren't properties natural? Does God gerrymander sets? |
| 9085 | If propositions are concrete they don't have to exist, and so they can't be necessary truths [Plantinga] |
| Full Idea: Someone who believes propositions are concrete cannot agree that some propositions are necessary. For propositions are contingent beings, and could have failed to exist. But if they fail to exist, then they fail to be true. | |
| From: Alvin Plantinga (Why Propositions cannot be concrete [1993], p.230) | |
| A reaction: [compressed] He implies the actual existence of an infinity of trivial, boring or ridiculous necessary truths. I suspect that he is just confusing a thought with its content. Or we might just treat necessary propositions as hypothetical. |
| 9084 | Propositions can't just be in brains, because 'there are no human beings' might be true [Plantinga] |
| Full Idea: If propositions are brain inscriptions, then if there had been no human beings there would have been no propositions. But then 'there are no human beings' would have been true, so there would have been at least one truth (and thus one proposition). | |
| From: Alvin Plantinga (Why Propositions cannot be concrete [1993], p.229) | |
| A reaction: This would make 'there are no x's' true for any value of x apart from actual objects, which implies an infinity of propositions. Does Plantinga really believe that these all exist? He may be confusing propositions with facts. |
| 468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
| Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice. | |
| From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where? |