Combining Texts

All the ideas for 'fragments/reports', 'The Nature of Necessity' and 'Intro to 'Provenance of Pure Reason''

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

---

6 ideas

5. Theory of Logic / K. Features of Logics / 1. Axiomatisation

13416	Mathematics must be based on axioms, which are true because they are axioms, not vice versa [Tait, by Parsons,C]
	Full Idea: The axiomatic conception of mathematics is the only viable one. ...But they are true because they are axioms, in contrast to the view advanced by Frege (to Hilbert) that to be a candidate for axiomhood a statement must be true.
	From: report of William W. Tait (Intro to 'Provenance of Pure Reason' [2005], p.4) by Charles Parsons - Review of Tait 'Provenance of Pure Reason' §2
	A reaction: This looks like the classic twentieth century shift in the attitude to axioms. The Greek idea is that they must be self-evident truths, but the Tait-style view is that they are just the first steps in establishing a logical structure. I prefer the Greeks.

10. Modality / E. Possible worlds / 1. Possible Worlds / d. Possible worlds actualism

18383	Plantinga says there is just this world, with possibilities expressed in propositions [Plantinga, by Armstrong]
	Full Idea: Plantinga rejects other possible worlds, but adds to our world an uncountable multitude of sets of propositions, each set a way that the world might have been, but is in fact not. (Roughly, for each Lewis world, Plantinga has such a set).
	From: report of Alvin Plantinga (The Nature of Necessity [1974]) by David M. Armstrong - Truth and Truthmakers 07.2
	A reaction: To me it seems as ontologically extravagant to postulate unexpressed propositions as to postulate concrete possible worlds. I think the best line is that there is just the actual world, with the possibilities implied in its dispositions.

10. Modality / E. Possible worlds / 3. Transworld Objects / b. Rigid designation

11891	Possibilities for an individual can only refer to that individual, in some possible world [Plantinga, by Mackie,P]
	Full Idea: Plantinga says for an individual to exist with certain properties in some possible world is simply for it to be true that, had that possible world obtained, that individual would have existed with those properties.
	From: report of Alvin Plantinga (The Nature of Necessity [1974]) by Penelope Mackie - How Things Might Have Been 5.1
	A reaction: This is intended to dissolve the problem of transworld identity, and is certainly a flat rejection of counterparts. I take the point to be that the individual is the key element in defining the possible world, so can't possibly be different.

25. Social Practice / E. Policies / 5. Education / b. Education principles

13304	Learned men gain more in one day than others do in a lifetime [Posidonius]
	Full Idea: In a single day there lies open to men of learning more than there ever does to the unenlightened in the longest of lifetimes.
	From: Posidonius (fragments/reports [c.95 BCE]), quoted by Seneca the Younger - Letters from a Stoic 078
	A reaction: These remarks endorsing the infinite superiority of the educated to the uneducated seem to have been popular in late antiquity. It tends to be the religions which discourage great learning, especially in their emphasis on a single book.

27. Natural Reality / D. Time / 1. Nature of Time / d. Time as measure

20820	Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus]
	Full Idea: Posidonius defined time thus: it is an interval of motion, or the measure of speed and slowness.
	From: report of Posidonius (fragments/reports [c.95 BCE]) by John Stobaeus - Anthology 1.08.42
	A reaction: Hm. Can we define motion or speed without alluding to time? Looks like we have to define them as a conjoined pair, which means we cannot fully understand either of them.

28. God / B. Proving God / 2. Proofs of Reason / a. Ontological Proof

20704	A possible world contains a being of maximal greatness - which is existence in all worlds [Plantinga, by Davies,B]
	Full Idea: Plantinga reformulates Malcolm's argument thus: 1) There is a possible world in which there exists a being with maximal greatness, 2) A being has maximal greatness in a world only if it exists in every world.
	From: report of Alvin Plantinga (The Nature of Necessity [1974], p.213) by Brian Davies - Introduction to the Philosophy of Religion 4 'b Descartes'
	A reaction: This is only Plantinga's starting point, which says nothing about the nature of God, but only that this 'great' being exists in all worlds. I would like to know why it is a 'being' rather than a 'thing'. Malcolm says if it is possible it is necessary.