3 ideas
18469 | God might necessitate that something happen, but He is not the truth-maker for it [Smith,B] |
Full Idea: Suppose that God wills that John kiss Mary now. God's willing thereby necessitates the truth of 'John is kissing Mary'. But God's act is not a truth-maker for this judgement. | |
From: Barry Smith (Truth-maker Realism [1999], p.6), quoted by Fraser MacBride - Truthmakers 1.2 | |
A reaction: The point is that truth-making relates to the fact that it happened, not what necessitated it to happen. But Armstrong might reply that his truth-maker 'necessitation' primitive is not the kind of necessitation found in worldly relations. |
17606 | Axioms reveal the underlying assumptions, and reveal relationships between different areas [Kline] |
Full Idea: The axiomatic method ....revealed precisely what assumptions underlie each branch [of mathematics] and made possible the comparison and clarification of the relationships of various branches. | |
From: Morris Kline (Mathematical Thought from Ancient to Modern Times [1972], p.1027), quoted by Penelope Maddy - Defending the Axioms 1.3 | |
A reaction: I take this to be the 'fruitfulness' which marks out the discovery of the essence of something. |
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? |