Formális logika és alapvető törvényei

Logika - a módszerek, törvények és formák tudományagondolkodás. A formális logikát az ókori görögök korunk elõtt fejlesztették ki. A görögök először demokratikus társadalmat építettek, ahol az emberek gyűléseiben döntéseket és törvényeket fogadtak el. Primitív szinten létrehozták a peres ügyek tudományát. És az arisztokratikus ifjúság kedvelt foglalkozása a filozófusokkal folytatott megbeszélés volt. Ezért az egyetemes szeretet az elméleti tudományok fejlődéséhez. A görögöknek egyszerűen szükségük volt egy tanításra a tudományos bizonyítékok beszerzésével kapcsolatban.

A logika alapjainak első lépéseit Arisztotelész fejlesztette ki. Felhívta a figyelmet arra a tényre, hogy minden indokolás általános törvényeken alapul, amelyek megsértése hibás következtetéseket von maga után. Arisztotelész formális logikája az ilyen törvényeken alapult:

1. Ha az ítéletek igenlőek, az abból levont következtetés nem lehet negatív.
2. Ha az egyik kijelentés negatív, akkor az általános következtetés mindig negatív lesz.

Ebből következik, hogy a formális logikaaz érvelés hatékony és helyes kialakításának alapelveiről és törvényeiről, figyelembe véve építésük formáját (az általános érvelés különálló részei összekapcsolásának módjait).

Minden jelenség és tárgy összekapcsolódik. A linkek lehetnek objektívek vagy szubjektívek, általánosak vagy magánok, szükségesek vagy véletlenek. A legfontosabbak ezek a kapcsolatok törvények. Mindegyikük ugyanazt a valóságot tükrözi, ezért semmilyen módon nem tud ellentmondani egymásnak. Az emberi gondolkodás minden törvénye kapcsolódik a természet fejlődésének törvényeihez.

A gondolkodás törvényei stabil belső kapcsolatot jelentenek a gondolatok között. Ha egy személy nem tud kapcsolódni a gondolataival, akkor nem fog jönni a megfelelő következtetésre, és nem lesz képes továbbítani másoknak.

A formális logika alapszabálya - ezek a következetességi, identitási,a harmadik és a megfelelő jogalap kizárása. Az első három fejlődése Arisztotelésznek és Platónak, az utóbbi Leibniznek. E törvények megsértése (különösen az első három) ellentmondásokat eredményez, ami lehetetlenné teszi az igazság megkülönböztetését a hazugságoktól. Ez utóbbi törvény kevésbé normatív, és szigorúbban alkalmazzák.

A logika nem alapvető törvényei szabályokműködő ítéletek és fogalmak, valódi következtetést szerezve a szilogizmusban, növelve a következtetések következtetéseinek induktív és transzduktív jellegét.

A következetesség törvénye azt jelenti, hogy a gondolkodásnak nem szabad ellentmondani, hanem tükröznie kell a dolgok minőségi bizonyosságát.

A kizárt harmadik törvénye nem írja előkeresni a két ellentmondó, de igaz mondatot a harmadik között, és felismerni csak az egyikük igazságát. Az ellentmondás egyik összetevője szükségszerűen igaz.

Az identitás formális logikájának törvénye úgy kezeli, minta gondolkodási pontosság követelménye, vagyis bármilyen kifejezés alatt pontosan meg kell értened definícióját és jelentését. A fogalmak és a megítélések lényege nem térhet el akarattól.

A jó ok törvénye,hogy valódi gondolatot más igaz gondolatoknak kell igazolnia, és lehetetlen igazolni a hamis gondolatokat. Az ítéletek kidolgozása tükröznie kell az ok-okozati összefüggést. Csak ebben az esetben érvényesülhet érvényessége.

A gondolatok logikai formája és a formák meghatározásának módjaolyan gondolatok által kifejezett logikai kifejezések, amelyek tartalmazzák az „és”, „vagy”, „ha ... akkor ...” tagadás „Nem igaz, hogy” ( „nem”), a „valami”, " minden "(" nincs "), egy csomó" lényeg "(" az "értelemben) stb. Határozza meg, hogy az ítélkezés logikus formája elvonható-e a fogalmak logikájától, amelyek ezen ítélet verbális kifejeződését jelentik. Más szavakkal, a formális logika kifejezi a gondolat struktúráját. A logikai forma mindig informatív és informatív.

Formájától függően a gondolatok osztályokra oszthatók: fogalmak, következtetések és ítéletek. A fogalom egy olyan gondolat, amely az alapjellemzők alapján általánosíthatja a tárgyakat. Az ítélet olyan gondolat, amely megerősíti a helyzet állapotát (hiányát). A következtetés olyan gondolkodás, amely tükrözi a tudás megszerzését, amelyet más tudásból ítélnek meg.