„Filozófiai logika” változatai közötti eltérés

1. Számos szerző a filozófiai és matematikai logikát a logika két többé-kevésbé különálló ágának tekinti, amelyek kisebb részben indíttatásukban és tárgyukban, nagyobb részben pedig módszereikben különböznek. Az ilyen szerzők közé tartozik pl. [[Haskell Brooks Curry|H. B. Curry]] [[Amerikai Egyesült Államok|amerikai]] [[matematikus]] és logikatudós, aki így ír erről: „Az első értelemben a logika a gondolkodás analízise és kritikája ... Azért, hogy megkülönböztessük a logika szó ezen értelmét a későbbitől, ezt a logikát ''filozófiai logikának'' nevezzük. A filozófiai logika tanulmányozásához gyümölcsöző matematikai rendszereket felépíteni, amelyek meghatározott módon kapcsolódnak a logikához. ... Az ilyen rendszerek önmaguk is természetesen tanulmányozás tárgyává válhatnak, az ilyen tanulmányokra is gyakran használják a »logika« kifejezést ... A logika ebben az értelemben a matematika része. Abból a célból, hogy megkülönböztessük a logika szó ezen jelentését más jelentéseitől, az ilyen logikát ''matematikai logikának'' fogjuk nevezni.” <ref>[[Haskell B.Brooks Curry|H. B. Curry]]: ''Foundations of Mathematical Logic. MC. graw-Hill Book Company, London, 1963. 1.1. fej.; idézi G. Havas.; 35. o.</ref>.