Combining Texts

Ideas for 'On the Question of Absolute Undecidability', 'The Concept of Logical Consequence' and 'Intro to I: Classical Logic'

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

display all the ideas for this combination of texts

---

4 ideas

5. Theory of Logic / A. Overview of Logic / 6. Classical Logic

9463	Classical logic is bivalent, has excluded middle, and only quantifies over existent objects [Jacquette]

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

14181

Validity is where either the situation or the interpretation blocks true premises and false conclusion [Etchemendy, by Read]

14180

Etchemendy says fix the situation and vary the interpretation, or fix interpretations with varying situations [Etchemendy, by Read]

5. Theory of Logic / K. Features of Logics / 5. Incompleteness

17894

We have no argument to show a statement is absolutely undecidable [Koellner]