Combining Philosophers

Ideas for Eubulides, Stewart Shapiro and J Hoffman/G Rosenkrantz

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

display all the ideas for this combination of philosophers

---

5 ideas

5. Theory of Logic / K. Features of Logics / 3. Soundness

13635

'Weakly sound' if every theorem is a logical truth; 'sound' if every deduction is a semantic consequence [Shapiro]

5. Theory of Logic / K. Features of Logics / 4. Completeness

13628

We can live well without completeness in logic [Shapiro]

5. Theory of Logic / K. Features of Logics / 6. Compactness

13630

Non-compactness is a strength of second-order logic, enabling characterisation of infinite structures [Shapiro]

13646

Compactness is derived from soundness and completeness [Shapiro]

5. Theory of Logic / K. Features of Logics / 9. Expressibility

13661

A language is 'semantically effective' if its logical truths are recursively enumerable [Shapiro]