intuitív logika

Az intuitív logika általában utal az intuitív fogalmát gondolatmenet helyességét kifejlesztett spontán során a napi gyakorlatban a gondolkodás. Intuitív logika, mint általában, sikeresen kezeli a problémákat a mindennapi életben, de ez nem elég ahhoz, hogy kritizálják a rossz érvelés.

Példa. Az oka az emberek, amikor azt mondja: „Ha a bárium-metal volt, ő vezeti az elektromos áramot; bárium vezeti az elektromos áramot; Ezért fém?”. Leggyakrabban alapján logikai intuíció azt mondják: jobb, bárium fém, és ez vezeti a jelenlegi. Ez a válasz azonban téves. Bár mindhárom kijelentések szerepelnek az érv igaz, nincs logikai kapcsolat közöttük. Az érvelés épül a rossz rendszer: „Ha az első, azaz a második; a második; akkor ott van az első. " Egy ilyen rendszer az igazi feltételezések vezethet nemcsak az igaz, hanem a hamis következtetés nem garantálja az új igazságokat elérhető.

Példa. Az az érv, „Ha valaki lázas, beteg volt; ember beteg; ezért láz „két parcella lehet igaz és hamis következtetés, hogy számos betegség nélkül előfordulhatnak a hőmérséklet emelésével.

Logikai helyességét függ a kommunikáció módját állítja. Ez nem függ a valódi érvelés alkalmazható a csomag, vagy nem.

Egyszerű példák azt mutatják, hogy a logika által is osztott spontán még normális helyzetben megbízhatatlannak bizonyulhatnak.

Ügyességi helyes gondolkodás nem jelent semmiféle elméleti ismeretek és készségek, hogy miért nem történik valami így és nem másként. Ezen túlmenően, az intuitív logika is, mint általában, védtelen az arca kritika.

Hagyományos és modern logika

A történelem logikája, két fő szakaszból egyértelműen elkülönül. Az első - a görög logika megjelenése a második felében a XIX században a modern logika. A második - az időben, hogy a mai napig.

Az első lépés általában úgynevezett hagyományos logika. Formális logika fejlődött nagyon lassan. Vizsgálat az általa kibocsátott sokban különbözött által felvetett problémák Arisztotelész. Ez vezetett a Kant arra következtetni, hogy a formális logika egy teljes tudomány, nem költözött Arisztotelész óta egyetlen lépésben.

Kant nem vette észre, hogy mivel a XVII században kezdtek érni feltételeit tudományos forradalom logikája. Ez az az idő, hogy egy világos kifejezése az ötlet, hogy bizonyítékot bemutatni, hogy milyen a számítás, ezeket a számításokat a matematikában.

Ez a gondolat elsősorban az lenne a neve Leibniz. Szerint Leibniz, hogy a számítást az összege vagy különbsége számok egyszerű szabályok alapján, figyelembe véve csak a számok formájában, ahelyett, hogy azok jelentését. A számítás eredménye egyedileg előre azok nem teszik lehetővé eltérések szabályokat, és ez nem vitatható. Leibniz álmodott, amikor a következtetésre fognak átalakulni a számításnál. Amikor ez megtörténik, a vita között filozófusok lehetetlenné válik. Ehelyett venni a vitában kezébe toll és azt mondja: „Nézzük számítani.” Leibniz ötletek nincs jelentős hatással a kortársai. Erőteljes fejlődése logika kezdődött csak a XIX.

Német matematikus és logikus Gottlob Frege (1848 - 1925) című művében kezdték alkalmazni a formális logika a tanulmány a matematika alapjait. Frege volt győződve arról, hogy „a számtani része a logika, és nem kölcsön sem a tapasztalat, sem a szemlélődés indoklás.” Igyekeznek csökkenteni matematika logika azt rekonstruálni a logika. Frege logikai elmélet - a hírnöke minden jelenlegi elméletek helyes érvelés.

Az az elképzelés, csökkenti az egész tiszta matematika logikai vette fel egy angol logikus és filozófus Bertrand Russell (1872-1970). De a későbbi fejlődése a logika látható lehetetlenségét ez a kísérlet. Ez oda vezetett, azonban a széles penetráció gyümölcsöző matematika módszerek logika.

Modern logika gyakran nevezik matematikai, ezzel is hangsúlyozva az eredetiség új módszer képest korábban használt hagyományos logika. Az egyik jellemzője ezeknek a módszereknek - a széles körben elterjedt a különböző szimbólumok helyett szavak és kifejezések hétköznapi nyelven. Szimbólumokat használjuk bizonyos esetekben, Arisztotelész, majd minden ezt követő logika. Mivel azonban a második felében a XIX században a jelképek használatát minőségileg új lépést. A logika használták speciálisan kialakított nyelv csak különleges karaktereket és nem tartalmaznak egyetlen szót általánosan beszélt nyelv.

A széles körben elterjedt használata szimbolikus eszközökkel volt az alapja annak, amit néven vált ismertté az új logika szimbolikus. A név „matematikai logika” és a „szimbolikus logika” ugyanazt jelenti - a modern formális logika. Ez foglalkozik ugyanazokat a dolgokat, mint mindig részt vesz a logika - tanulmány korrekt módon indokolta.