Combining Texts

All the ideas for 'Two Problems of Epistemology', 'Vagueness: a global approach' and 'Modality'

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

28 ideas

2. Reason / A. Nature of Reason / 1. On Reason
5750 Consistency is modal, saying propositions are consistent if they could be true together [Melia]
4. Formal Logic / C. Predicate Calculus PC / 1. Predicate Calculus PC
5737 Predicate logic has connectives, quantifiers, variables, predicates, equality, names and brackets [Melia]
4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
5744 First-order predicate calculus is extensional logic, but quantified modal logic is intensional (hence dubious) [Melia]
5. Theory of Logic / A. Overview of Logic / 6. Classical Logic
23548 Indeterminacy is in conflict with classical logic [Fine,K]
5. Theory of Logic / G. Quantification / 5. Second-Order Quantification
5740 Second-order logic needs second-order variables and quantification into predicate position [Melia]
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
23539 Classical semantics has referents for names, extensions for predicates, and T or F for sentences [Fine,K]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
5741 If every model that makes premises true also makes conclusion true, the argument is valid [Melia]
7. Existence / D. Theories of Reality / 8. Facts / a. Facts
5736 No sort of plain language or levels of logic can express modal facts properly [Melia]
5735 Maybe names and predicates can capture any fact [Melia]
7. Existence / D. Theories of Reality / 10. Vagueness / a. Problem of vagueness
23544 Local indeterminacy concerns a single object, and global indeterminacy covers a range [Fine,K]
23540 Conjoining two indefinites by related sentences seems to produce a contradiction [Fine,K]
23546 Standardly vagueness involves borderline cases, and a higher standpoint from which they can be seen [Fine,K]
7. Existence / D. Theories of Reality / 10. Vagueness / c. Vagueness as ignorance
23542 Identifying vagueness with ignorance is the common mistake of confusing symptoms with cause [Fine,K]
7. Existence / D. Theories of Reality / 10. Vagueness / f. Supervaluation for vagueness
23541 Supervaluation can give no answer to 'who is the last bald man' [Fine,K]
9. Objects / B. Unity of Objects / 3. Unity Problems / e. Vague objects
23545 We do not have an intelligible concept of a borderline case [Fine,K]
9. Objects / F. Identity among Objects / 7. Indiscernible Objects
5746 The Identity of Indiscernibles is contentious for qualities, and trivial for non-qualities [Melia]
10. Modality / A. Necessity / 2. Nature of Necessity
5738 We may be sure that P is necessary, but is it necessarily necessary? [Melia]
10. Modality / A. Necessity / 4. De re / De dicto modality
5732 'De re' modality is about things themselves, 'de dicto' modality is about propositions [Melia]
10. Modality / B. Possibility / 1. Possibility
5739 Sometimes we want to specify in what ways a thing is possible [Melia]
10. Modality / E. Possible worlds / 1. Possible Worlds / a. Possible worlds
5734 Possible worlds make it possible to define necessity and counterfactuals without new primitives [Melia]
5742 In possible worlds semantics the modal operators are treated as quantifiers [Melia]
5743 If possible worlds semantics is not realist about possible worlds, logic becomes merely formal [Melia]
5749 Possible worlds could be real as mathematics, propositions, properties, or like books [Melia]
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / b. Worlds as fictions
5751 The truth of propositions at possible worlds are implied by the world, just as in books [Melia]
14. Science / A. Basis of Science / 6. Falsification
18284 Particulars can be verified or falsified, but general statements can only be falsified (conclusively) [Popper]
16. Persons / D. Continuity of the Self / 2. Mental Continuity / b. Self as mental continuity
23547 It seems absurd that there is no identity of any kind between two objects which involve survival [Fine,K]
19. Language / A. Nature of Meaning / 5. Meaning as Verification
5748 We accept unverifiable propositions because of simplicity, utility, explanation and plausibility [Melia]
26. Natural Theory / D. Laws of Nature / 4. Regularities / a. Regularity theory
23543 We identify laws with regularities because we mistakenly identify causes with their symptoms [Fine,K]