structure for 'Theory of Logic'    |     alphabetical list of themes    |     expand these ideas

---

5. Theory of Logic / A. Overview of Logic / 9. Philosophical Logic

[overview of the directions of present and future logics]

2 ideas

15403

Philosophical logic is a branch of logic, and is now centred in computer science [Burgess]

18739

Three stages of philosophical logic: syntactic (1905-55), possible worlds (1963-85), widening (1990-) [Horsten/Pettigrew]