Combining Texts

Ideas for 'On the Question of Absolute Undecidability', 'The Concept of Logical Consequence' and 'Mathematical Thought from Ancient to Modern Times'

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 / 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 / 1. Axiomatisation

17606

Axioms reveal the underlying assumptions, and reveal relationships between different areas [Kline]

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

17894

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