more from this thinker | more from this text
Full Idea
Philosophical logic is a branch of logic, a technical subject. …Its centre of gravity today lies in theoretical computer science.
Gist of Idea
Philosophical logic is a branch of logic, and is now centred in computer science
Source
John P. Burgess (Philosophical Logic [2009], Pref)
Book Ref
Burgess,John P.: 'Philosophical Logic' [Princeton 2009], p.-5
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.
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] |