[L01] mi a logika?

Tehát mi a logika? Röviden szólva, a logikát a helyes érvelés elveinek tanulmányozásaként definiálhatjuk. Ez egy durva meghatározás, mert a logika megfelelő meghatározása valójában meglehetősen ellentmondásos kérdés. Ennek a túrának a céljából azonban úgy gondoltuk, hogy hasznos lenne legalább néhány durva ötletet adni arról a témáról, amelyet tanulmányozni fog. Tehát ez az, amit meg kell próbálnunk csinálni ezen az oldalon.

§1., A logika nem az érvelés pszichológiája

egy dolog, amit meg kell jegyeznünk erről a meghatározásról, hogy a logika a helyes érvelés elveivel foglalkozik. Az érvelés helyes elveinek tanulmányozása nem ugyanaz, mint az érvelés pszichológiájának tanulmányozása. A logika a korábbi fegyelem, és megmutatja, hogyan kell érvelnünk, ha helyesen akarunk érvelni. Az, hogy az emberek valóban követik-e ezeket a helyes érvelési szabályokat, empirikus kérdés, ami nem a logika aggodalma.

az érvelés pszichológiája viszont empirikus tudomány., Elmondja nekünk az emberek tényleges érvelési szokásait, beleértve a hibáikat is. Az érvelést tanulmányozó pszichológus érdekelheti, hogy az emberek gondolkodási képessége hogyan változik az életkorral. De az ilyen empirikus tények nem érintik a logikust.

§2. A logika elvei

tehát mik ezek az érvelési elvek, amelyek a logika részét képezik? Sok ilyen elvek, de a legfontosabb, hogy (nem csak) a dolog, hogy tanulmányozzuk a logika vagy elvek érvényességét érvek – e bizonyos következtetések egy adott feltételezések., Például tekintsük a következő három érv :

ez a három érv itt nyilvánvalóan jó érvek abban az értelemben, hogy a következtetések a feltételezések. Ha az érvelés feltételezései igazak, az érv megkötésének is igaznak kell lennie. A logikus azt fogja mondani nekünk, hogy mindegyik esetben egy bizonyos típusú érv úgynevezett “modus ponens”:

Ha P, akkor Q. P. ezért Q.

később újra megvitatjuk az érvényességet. Meg kell jegyezni, hogy a logika nem csak az érvek érvényességével foglalkozik., A logika a következetességet és a logikai igazságokat, valamint a logikai rendszerek tulajdonságait is vizsgálja, mint például a teljesség és a megalapozottság. De látni fogjuk, hogy ezek a többi fogalom is nagyon kapcsolódik az érvényesség fogalmához.

§3. Téma semlegesség

Modus ponens lehet használni, hogy bemutassa a két jellemzője about the rules of reasoing logika. Az első funkció azsztopikus semlegesség. Ahogy a négy példa sugallja, modus ponenshasználható a különböző témák érvelésére. Ez igaz az összesreaz érvelés alapelvei a logikában., A biológia törvényei igazak lehetnekcsak az élőlények, a közgazdaságtan törvényei csak a pénzügyi tranzakciókban részt vevő ügynökök gyűjtésére alkalmazhatók. A logika elvei azonban általánosabbak, mint a biológia és a közgazdaságtan. Ez részben a következőkre vonatkozik: a logika következő definíciói két nagyon híres logikustól :

… a tudományág neve, amely elemeziaz összes tudományra jellemző fogalmak jelentése, valamint meghatározza a fogalmakat szabályozó általános törvényeket.,

§4. Szükségszerűség a logikában

a logika elveinek második jellemzőjehogy nem függőek, abban az értelemben, hogy nem függneka világ minden különös véletlen jellemzője., A fizika és a többi tudomány azt vizsgálja, hogyan is van valójában a világ.A fizikusok azt mondhatják nekünk, hogy egyetlen jel sem tud gyorsabban haladni, mint a fénysebesség, de ha a fizika törvényei megváltoztak volna, akkor ez nem lett volna igaz. Hasonlóképpen a biológusok is megvizsgálják, hogy a delfinek hogyan kommunikálnak egymással, de ha az evolúció folyamata más volt,akkor talán a delfinek nem léteztek. Tehát az empirikus tudományok elméletei függőekaz értelemben, hogy másképp lehetett volna., A logika elvei viszont csak érveléssel származnak, érvényességük nem függ a világ bármely függő tulajdonságától.

például a logika azt mondja nekünk, hogy az “IfP then P” forma bármely kijelentése szükségszerűen igaz. Ez a második fajta elve, amelyet a logician tanulmányoz. Ez az elv azt mondja nekünk, hogy egy olyan kijelentésnek, mint “ha esik, akkor esik”, igaznak kell lennie. Könnyen láthatjuk, hogy valóban ez a helyzet, függetlenül attól, hogy valóban esik-e.,Továbbá, még akkor is, ha a fizika vagy az időjárási minták törvényei voltakváltoztatni, ez az állítás igaz marad. Így azt mondjuk, hogy a tudományos (a matematikát félretéve) függő, míg a logikai igazságokra van szükség. Ez ismét megmutatja, hogy a logika különbözik az empirikus tudományoktól, mint például a fizika, a kémia vagy a biológia.

§5. Formális és informális logika

néha különbséget tesznek az informális logika és a formális logika között.Az “informális logika” kifejezés gyakran ugyanazt jelenti, mint akritikus gondolkodás., Néha arra használják, hogy utaljanak a tanulmányozásraa mindennapi élet összefüggésében a Reasoning És a fallacies. A “formális logika” elsősorban a formális logikai rendszerekkel foglalkozik. Ezek kifejezetten a bizonyítások végrehajtására szolgáló rendszerek, ahol a nyelvek és az érvelés szabályai pontosan és gondosan meg vannak határozva. A sentenciális logika (más néven “Propositional logic”) és a predikátum logika egyaránt példák a formális logikai rendszerekre.

a formális logika tanulmányozásának számos oka van., Az egyik az, hogy a formallogic segít azonosítani a jó érvelés mintáit és a badreasoning mintáit, így tudjuk, hogy melyiket kövessük, és melyiket kerüljük el. Ezért az alapvető formális logika vizsgálata segíthet a kritikus gondolkodás javításában. A logika formálisrendszereit a nyelvészek a természetes nyelvek tanulmányozására is használják.A számítógépes tudósok formális logikai rendszereket is alkalmaznak a kutatásbanaz Aritificial intelligenciával kapcsolatban. Végül, sok filozófus isszeretné használni a formális logikát bonyolult filozófiai problémák kezelése során, hogy érvelésük egyértelműbbé és pontosabbá váljon.

§6., További olvasmányok

• bejegyzések a logicinről a Stanford Encyclopedia of Philosophy. Ezek nehéz cikkek a logika filozófiájáról.