back to ideas for this text


Single Idea 15403

[from 'Philosophical Logic' by John P. Burgess, in 5. Theory of Logic / A. Overview of Logic / 9. Philosophical Logic ]

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 Reference

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.