Combining Texts

All the ideas for 'Mahaprajnaparamitashastra', 'Reference and Essence (1st edn)' and 'The Concept of Logical Consequence'

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


11 ideas

2. Reason / D. Definition / 11. Ostensive Definition
Ostensive definitions needn't involve pointing, but must refer to something specific [Salmon,N]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
S4, and therefore S5, are invalid for metaphysical modality [Salmon,N, by Williamson]
5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
Split out the logical vocabulary, make an assignment to the rest. It's logical if premises and conclusion match [Tarski, by Rumfitt]
5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=
X follows from sentences K iff every model of K also models X [Tarski]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
A 'model' is a sequence of objects which satisfies a complete set of sentential functions [Tarski]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / a. Essence as necessary properties
Essentialism says some properties must be possessed, if a thing is to exist [Salmon,N]
19. Language / B. Reference / 1. Reference theories
Frege's 'sense' solves four tricky puzzles [Salmon,N]
19. Language / B. Reference / 3. Direct Reference / a. Direct reference
The perfect case of direct reference is a variable which has been assigned a value [Salmon,N]
19. Language / E. Analyticity / 1. Analytic Propositions
Sentences are 'analytical' if every sequence of objects models them [Tarski]
23. Ethics / C. Virtue Theory / 3. Virtues / a. Virtues
The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna]
26. Natural Theory / B. Natural Kinds / 5. Reference to Natural Kinds
Nothing in the direct theory of reference blocks anti-essentialism; water structure might have been different [Salmon,N]