Combining Texts

All the ideas for 'Conditionals', 'The Logical Syntax of Language' and 'An essentialist approach to Truth-making'

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

---

9 ideas

3. Truth / B. Truthmakers / 2. Truthmaker Relation

18351

Propositions are made true, in virtue of something which explains its truth [Lowe]

5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence

13342

Carnap defined consequence by contradiction, but this is unintuitive and changes with substitution [Tarski on Carnap]

5. Theory of Logic / C. Ontology of Logic / 4. Logic by Convention

13251

Each person is free to build their own logic, just by specifying a syntax [Carnap]

8. Modes of Existence / B. Properties / 8. Properties as Modes

18353

Modes are beings that are related both to substances and to universals [Lowe]

8. Modes of Existence / B. Properties / 13. Tropes / b. Critique of tropes

18352

Tropes have existence independently of any entities [Lowe]

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]