„Filozófiai logika” változatai közötti eltérés
| [ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
Nincs szerkesztési összefoglaló |
Nincs szerkesztési összefoglaló |
||
2. sor:
A filozófiai logika gyökerei az ókorba nyúlnak vissza. Első igazi előfutárnak mégis [[Gottfried Wilhelm Leibniz]]et ([[1646]]-[[1716]]), a [[17. század]] egyik legnagyobb egyéniségét és polihisztorát tekinthetjük.
== A „filozófiai logika” különféle értelmezései ==
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, amelx kisebb részben indíttatásában és tárgyában, nagyobb részben pedig módszereiben különbözik. Közéjük tartozik pl. [[Haskell Brooks Curry|H. B. Curry]] [[USA|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. Curry|H. B. Curry]]: ''Foundations of Mathematical Logic. MC. graw-Hill Book Company, London, 1963. 1.1. fej.</ref>
== Története ==
| |||