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

logika - a tudomány módszereinek, törvények és formák gondolkodás.Formális logika került kifejlesztésre az ókori görögök hosszú időszámításunk előtt.Ez volt az első görögöket, hogy építsenek egy demokratikus társadalomban, ahol a törvényt és határozatot hozott az Országgyűlés.Az általuk létrehozott egy primitív tudomány pert.A kedvenc időtöltése az arisztokrata fiatalok megbeszéléseket folytatott filozófusok.Ezért az egyetemes szeretet fejlesztésére vonatkozó elméleti tudomány.Görögök most volt a tanítás, hogyan lehet tudományos bizonyíték.

első természetesen az alapokat a logika által kifejlesztett Arisztotelész.Felhívta a figyelmet arra, hogy minden érv alapján a közös jog megsértése, amelynek eredményeként a téves következtetéseket.A formális logika Arisztotelész alapult ezeket a törvényeket:

  1. Ha ítéletek igen, mit kezdjen velük a következtetést nem lehet negatív.
  2. Ha az egyik állítás sem negatív, és az általános következtetést mindig negatív.

Úgy tűnik, hogy a formális logika - a tudás az elvek és jogszabályok hatékony, helyes értelmezése szerint az érvelés tekintetében alakja megépítésük (miként kapcsolható rész általános szempontok).

Minden jelenségek és tárgyak a kapcsolat.Linkek lehet objektív vagy szubjektív, közös vagy saját, szükséges vagy véletlen.A legjelentősebb ilyen kötvények nevezzük törvényeket.Mindannyian tükrözik ugyanazt a valóságot, ezért nem mond ellent egymásnak.Minden jogszabályok emberi gondolkodás kapcsolódnak a természet törvényei.

gondolkodás törvényeinek stabil belső összefüggés gondolatait.Ha valaki nem képes kötődni a gondolatait, ő nem jön a jó következtetést, és nem lesz képes, hogy azt másoknak.

alaptörvényei formális logika - jogszabályok következetességét, a személyazonosságát, az kizárt középső és a törvény elegendő indok.A fejlesztés az első három tartozik Arisztotelész és Platón, az utolsó - Leibniz.Jogsértések ezek a törvények (különösen az első három) vezet ellentmondások, lehetetlenné téve megkülönböztetni az igazságot a hazugsággal.Utolsó kevesebb rendeletek, valamint a törvény vonatkozik korlátozottabb.

nem alapvető logika törvényei - a szabályok operációs fogalmak és ítéletek, megszerzése igaz következtetést egy szillogizmus, növelve a valószínűségét induktív és következtetések traduktivnogo karakter.

törvény a következetesség azt jelenti, hogy a gondolkodás nem lehet ellentmondásos, és tükröznie kell a minőségi bizonyos dolgokat.

törvény a kizárt harmadik megköveteli nem néz a két ütköző, de igaz állítás egy harmadik dolog, és hogy elismerjék az igazság csak egy közülük.Ennek egyik komponense a konfliktus - biztosan igaz.

jog formális logika kezeli identitásválasztás követelményként precíziós gondolkodás, azaz bármely távon meg kell értened, hogy pontosan annak meghatározását és jelentését.A lényege a fogalmak és ítéletek nem torzíthatja az lesz.

törvénye elegendő ok az, hogy minden igaz gondolat, amely indokolja az igazi mások gondolatait, és hamis eszmék nem igazolható.A fejlesztés az ítéletek tükröznie kell ok-okozati összefüggés.Csak ebben az esetben nem bizonyítható a megbízhatóságot.

logikai formája a gondolat és módjait meghatározó semmilyen formában kifejtett gondolatok logikai kifejezések, amelyek magukban foglalják az "és", "vagy", "ha ... akkor ..." tagadás "Nem igaz, hogy"(" nem "), a" néhány "," minden "(" nem "), egy csomó" lényeg "(értelmében" a "), stbHatározza meg a logikai formája ítélet is elvonta a kifejezések jelentésének az illogikus, amelyek a verbális kifejezés a jelen ítélet.Más szóval, a formális logika kifejezi a szerkezet a gondolat.Logikus formában mindig informatív és tartalmas.

függően a gondolkozásformákat vannak osztva osztályok: a fogalmak, az érvelés és az ítélet.A koncepció - az ötlet általánosítja tárgyak alapján az alapvető jellemzők.Ítélet - az ötlet, azt állítva, a jelenlét (távollétében) a helyzet.Következtetés - gondolta, tükrözve az ismeretszerzést kifejezett ítéleteiben egyéb tudás.