Combining Texts

All the ideas for 'Mathematical Methods in Philosophy', 'Summa totius logicae' and 'Guidebook to Wittgenstein's Tractatus'

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

25 ideas

1. Philosophy / H. Continental Philosophy / 3. Hermeneutics
23449 Interpreting a text is representing it as making sense [Morris,M]
2. Reason / B. Laws of Thought / 3. Non-Contradiction
9108 From an impossibility anything follows [William of Ockham]
3. Truth / C. Correspondence Truth / 1. Correspondence Truth
9107 A proposition is true if its subject and predicate stand for the same thing [William of Ockham]
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
16300 Ockham had an early axiomatic account of truth [William of Ockham, by Halbach]
5. Theory of Logic / A. Overview of Logic / 9. Philosophical Logic
18739 Three stages of philosophical logic: syntactic (1905-55), possible worlds (1963-85), widening (1990-) [Horsten/Pettigrew]
5. Theory of Logic / D. Assumptions for Logic / 1. Bivalence
23484 Bipolarity adds to Bivalence the capacity for both truth values [Morris,M]
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
18741 Logical formalization makes concepts precise, and also shows their interrelation [Horsten/Pettigrew]
5. Theory of Logic / G. Quantification / 1. Quantification
23494 Conjunctive and disjunctive quantifiers are too specific, and are confined to the finite [Morris,M]
9106 The word 'every' only signifies when added to a term such as 'man', referring to all men [William of Ockham]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
18744 Models are sets with functions and relations, and truth built up from the components [Horsten/Pettigrew]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / c. Counting procedure
23451 Counting needs to distinguish things, and also needs the concept of a successor in a series [Morris,M]
23460 To count, we must distinguish things, and have a series with successors in it [Morris,M]
23452 Discriminating things for counting implies concepts of identity and distinctness [Morris,M]
6. Mathematics / C. Sources of Mathematics / 5. Numbers as Adjectival
9113 Just as unity is not a property of a single thing, so numbers are not properties of many things [William of Ockham]
7. Existence / A. Nature of Existence / 1. Nature of Existence
18740 If 'exist' doesn't express a property, we can hardly ask for its essence [Horsten/Pettigrew]
7. Existence / A. Nature of Existence / 3. Being / g. Particular being
9110 The words 'thing' and 'to be' assert the same idea, as a noun and as a verb [William of Ockham]
8. Modes of Existence / E. Nominalism / 1. Nominalism / b. Nominalism about universals
15388 Universals are single things, and only universal in what they signify [William of Ockham]
9. Objects / D. Essence of Objects / 6. Essence as Unifier
9109 If essence and existence were two things, one could exist without the other, which is impossible [William of Ockham]
10. Modality / E. Possible worlds / 1. Possible Worlds / a. Possible worlds
18745 A Tarskian model can be seen as a possible state of affairs [Horsten/Pettigrew]
18747 The 'spheres model' was added to possible worlds, to cope with counterfactuals [Horsten/Pettigrew]
10. Modality / E. Possible worlds / 1. Possible Worlds / b. Impossible worlds
18748 Epistemic logic introduced impossible worlds [Horsten/Pettigrew]
10. Modality / E. Possible worlds / 1. Possible Worlds / e. Against possible worlds
18746 Possible worlds models contain sets of possible worlds; this is a large metaphysical commitment [Horsten/Pettigrew]
18750 Using possible worlds for knowledge and morality may be a step too far [Horsten/Pettigrew]
19. Language / D. Propositions / 1. Propositions
23491 There must exist a general form of propositions, which are predictabe. It is: such and such is the case [Morris,M]
19. Language / D. Propositions / 4. Mental Propositions
9105 Some concepts for propositions exist only in the mind, and in no language [William of Ockham]