structure for 'Theory of Logic'    |     alphabetical list of themes    |     unexpand 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]
	Full Idea: Philosophical logic is a branch of logic, a technical subject. …Its centre of gravity today lies in theoretical computer science.
	From: John P. Burgess (Philosophical Logic [2009], Pref)
	A reaction: He firmly distinguishes it from 'philosophy of logic', but doesn't spell it out. I take it that philosophical logic concerns metaprinciples which compare logical systems, and suggest new lines of research. Philosophy of logic seems more like metaphysics.

18739	Three stages of philosophical logic: syntactic (1905-55), possible worlds (1963-85), widening (1990-) [Horsten/Pettigrew]
	Full Idea: Three periods can be distinguished in philosophical logic: the syntactic stage, from Russell's definite descriptions to the 1950s, the dominance of possible world semantics from the 50s to 80s, and a current widening of the subject.
	From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 1)
	A reaction: [compressed] I've read elsewhere that the arrival of Tarski's account of truth in 1933, taking things beyond the syntactic, was also a landmark.