Combining Texts

All the ideas for 'Conditionals', 'Quine on Quantifying In' and 'A Plea for Substitutional Quantification'

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

9 ideas

4. Formal Logic / D. Modal Logic ML / 4. Alethic Modal Logic
9470 Modal logic is not an extensional language [Parsons,C]
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
12220 Is it the sentence-token or the sentence-type that has a logical form? [Fine,K]
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
9469 Substitutional existential quantifier may explain the existence of linguistic entities [Parsons,C]
9468 On the substitutional interpretation, '(∃x) Fx' is true iff a closed term 't' makes Ft true [Parsons,C]
12222 Substitutional quantification is referential quantification over expressions [Fine,K]
10. Modality / B. Possibility / 8. Conditionals / a. Conditionals
13768 Validity can preserve certainty in mathematics, but conditionals about contingents are another matter [Edgington]
10. Modality / B. Possibility / 8. Conditionals / b. Types of conditional
13770 There are many different conditional mental states, and different conditional speech acts [Edgington]
10. Modality / B. Possibility / 8. Conditionals / c. Truth-function conditionals
13764 Are conditionals truth-functional - do the truth values of A and B determine the truth value of 'If A, B'? [Edgington]
13765 'If A,B' must entail ¬(A & ¬B); otherwise we could have A true, B false, and If A,B true, invalidating modus ponens [Edgington]