Combining Texts

Ideas for 'Conditionals', 'Thinking About Logic' and 'The Philosophy of Mathematics'

expand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


13 ideas

10. Modality / A. Necessity / 2. Nature of Necessity
Equating necessity with truth in every possible world is the S5 conception of necessity [Read]
10. Modality / B. Possibility / 8. Conditionals / a. Conditionals
The point of conditionals is to show that one will accept modus ponens [Read]
Some people even claim that conditionals do not express propositions [Read]
The standard view of conditionals is that they are truth-functional [Read]
Validity can preserve certainty in mathematics, but conditionals about contingents are another matter [Edgington]
10. Modality / B. Possibility / 8. Conditionals / b. Types of conditional
There are many different conditional mental states, and different conditional speech acts [Edgington]
10. Modality / B. Possibility / 8. Conditionals / c. Truth-function conditionals
Are conditionals truth-functional - do the truth values of A and B determine the truth value of 'If A, B'? [Edgington]
'If A,B' must entail ¬(A & ¬B); otherwise we could have A true, B false, and If A,B true, invalidating modus ponens [Edgington]
10. Modality / E. Possible worlds / 1. Possible Worlds / a. Possible worlds
Knowledge of possible worlds is not causal, but is an ontology entailed by semantics [Read]
10. Modality / E. Possible worlds / 1. Possible Worlds / c. Possible worlds realism
How can modal Platonists know the truth of a modal proposition? [Read]
10. Modality / E. Possible worlds / 1. Possible Worlds / d. Possible worlds actualism
Actualism is reductionist (to parts of actuality), or moderate realist (accepting real abstractions) [Read]
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / c. Worlds as propositions
A possible world is a determination of the truth-values of all propositions of a domain [Read]
10. Modality / E. Possible worlds / 3. Transworld Objects / c. Counterparts
If worlds are concrete, objects can't be present in more than one, and can only have counterparts [Read]