Combining Texts

All the ideas for 'fragments/reports', 'Truth-maker Realism' and 'Mathematical Thought from Ancient to Modern Times'

unexpand these ideas     |    start again     |     specify just one area for these texts


3 ideas

3. Truth / B. Truthmakers / 4. Truthmaker Necessitarianism
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.
5. Theory of Logic / K. Features of Logics / 1. Axiomatisation
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.
21. Aesthetics / C. Artistic Issues / 7. Art and Morality
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?