Single Idea 15404

[catalogued under 5. Theory of Logic / A. Overview of Logic / 4. Pure Logic]

Full Idea

Among the more technically oriented a 'logic' no longer means a theory about which forms of argument are valid, but rather means any formalism, regardless of its applications, that resembles original logic enough to be studied by similar methods.

Gist of Idea

Technical people see logic as any formal system that can be studied, not a study of argument validity

Source

John P. Burgess (Philosophical Logic [2009], Pref)

Book Reference

Burgess,John P.: 'Philosophical Logic' [Princeton 2009], p.-5


A Reaction

There doesn't seem to be any great intellectual obligation to be 'technical'. As far as pure logic is concerned, I am very drawn to the computer approach, since I take that to be the original dream of Aristotle and Leibniz - impersonal precision.