A logika filozófiája a tudomány filozófiájának egy része, amely a hagyományosan a logika alá tartozó elméleti problémák együttesével foglalkozik , lényegében lényegének kérdését, történelmét arisztotelészi eredetétől kezdve és a filozófiai kérdésen belül. kiterjesztése a mező és a korlátai mellett a nyelvfilozófia , a filozófia a tudomány , pszichologizmus és a matematika.
Ami a "logika" jelentését illeti, a görög logiké epistémé-ből származik, ahol a "lét" egyik szektorát, a logók egyikét jelentette , az etosz és a phusis mellett, összhangban a filozófia három ágban történő felosztásával, ez a jelentés megmarad filozófiai szempontból probléma.
Hervé Barreau számára Arisztotelész filozófiai álláspontja uralta a görög tudomány korát. A középkorig és a reneszánszig tartó kor. Arisztotelész nem tekintette a logikát tudománynak, hanem az érvelés eszközének, propedeutikusnak a tudományra, de különösebb tárgy nélkül.
Kant transzcendentális logikája .
Hegel dialektikus logikája .
Formális logika a matematikusok kezében: A logika matematizálása két szakaszban.
Ekkor a matematikával való kapcsolat túl erős ahhoz, hogy a filozófiát el lehessen különíteni a tiszta logikától (lásd a matematika filozófiáját ).
Pierce hangsúlyozza az oszcillációs viszony általános jellegét, és ezzel együtt értelmezi az arisztotelészi szillogisztikát. Bevezeti a modern kvantorokat .
Frege összekapcsolja a függvények logikáját a propozíciók logikájával a propozíció (függvény, argumentum) elemzésének és a kvantorok szabályozott használatának köszönhetően. E két logika első axiomatikus.
Russell és Whitehead véglegesítik a klasszikus logikát, amelyet általában a XXI . Század elején tanítanak , két részben: propozíciós logikában és predikátumlogikában.
Egy adott tudomány filozófiai megkérdőjelezése általában a tudományfilozófia kiterjesztése (lásd ebben a témában: Tudományfilozófia ).
Ez a kérdésfeltevés különösen a tudományágra, annak történetére (például matematikájára) és azokra a kapcsolatokra vonatkozik, amelyeket ez a tudományág más tudományágakkal fenntart vagy sem.
A fő kérdés továbbra is a logika státusza marad: Mi a helyzet az alapjával és különösen az ellentmondásmentesség elvével ? Mi a helyzet a kizárt harmadik fél elvével ? Az ítéletelmélet és a szillogizmuselmélet szokásos megkülönböztetését szintén igazolni kell.
A logika artikulálása modális logikával (lehetséges, lehetetlen, szükséges)?
A jelenlegi formális logika, amely az összes tudományág és különösen a matematika eszköze, eredményes-e más tudásterületeken? ( 1 újra megjegyzést Hervé Society, o. 23 )
Az egyes tudományterületek által létrehozott új logikák jellege: A kronoszófia, mint az idő logikája a geometria analógiájával, amely a tér logikája lenne?
Hatások Gödel munkájának logikájára a matematika következetességére és teljességére vonatkozóan.
Ami a logika filozófiai megközelítését illeti, a lényegének meghatározása kérdésével kapcsolatban, egyebek mellett meg kell közelíteni Martin Heidegger filozófus hozzájárulását (lásd a Heidegger és logika című cikket ).