Formell Logik a seng fundamental Gesetzer

Logik - der Wëssenschaft vun Methoden, Gesetzer a Forme vun denken. Formell Logik gouf vum antike Griichen, laang entwéckelt virun eis Ära. Et war déi éischt Griichen enger demokratescher Gesellschaft ze bauen, wou Décisiounen an Gesetzer op enger ëffentlecher Sëtzung adoptéiert. Si hunn an engem Ongewéinlech Wëssenschaft vun Dirigent Utilisatioun. A Léifsten bréngen vun aristokratesch Jugend no Diskussioune mat de Philosophen. Domat d'allgemengt Léift vun der Entwécklung vun theoretesch Wëssenschaft. Griichen hu just d'Léier op wéi wëssenschaftlech Beweiser gin.

Den éischte Laf vun der Fundamenter vun Logik vum Aristoteles entwéckelt. Hien Gedäisch an Opmierksamkeet op d'Tatsaach, datt all déi Argumenter op den allgemengen Gesetzer baséiert sinn, der Violatioun vun deem féiert zu fehlerhafter Conclusiounen. Der offizieller Logik vun Aristoteles war op esou Gesetzer baséiert:

1. Wann d'Uerteel an der Nuecht ass, wat vun hinnen d'Conclusioun ze maachen kann net negativ ginn.
2. Wann ee vun den Aussoen ass negativ, an déi allgemeng Conclusioun ass ëmmer negativ.

Dofir schéngt et, datt formell Logik - ass d'Wëssen vun de Prinzipien a Gesetzer effektiv, Konstruktioun vun dofir wier mat wat un der Form vun hirem Bau (Manéieren, eenzel Deeler vun der allgemeng Considératiounen ze verbannen).

All Phänomener an Objete enger Bezéiung. Linken kann objektiv oder eleng, allgemeng oder privat, néideg oder versehentlech ginn. Déi bedeitendst vun dëse Obligatiounen sinn Gesetzer genannt. se all refletéieren déi selwecht Realitéit, also, ni all aner ofschafen kann. All d'Gesetzer vum Mënsch geduecht verbonne mat de Gesetzer vun der Natur.

De Gesetzer vun geduecht sinn stabil intern Verbindung tëscht Gedanken. Wann e Mann net seng Gedanken Tie kann, huet hien net un d'Recht Conclusioun kommen an net gebass gin et zu aneren ze bréngen.

D'fundamental Gesetzer vun formell Logik - d'Gesetzer vun Konsequenz, Identitéit, ausgeschloss Mëtt a Gesetz vum genuch Grond. D'Entwécklung vun den éischten dräi gehéieren zu Aristoteles a Platon, déi lescht - representéiert. Violatioune vun dëse Gesetzer (virun allem déi éischt dräi) féiert zu contradictions, et onméiglech ze z'ënnerscheeden Wourecht aus falsehood Mëtt spazéieren. Lescht Gesetz manner Reglementer a méi limitéiert benotzen.

Non-Kär Gesetzer vun Logik - dës sinn d'Regelen vun Betribssystemer Virschléi a Konzepter, richteg Conclusioun vun engem Syllogismus Maîtrise, d'Wahrscheinlechkeet vun inductive dofir waarden a Conclusioune traduktivnogo Charakter.

D'Gesetz vum Konsequenz bedeit, datt wann net kontrovers ginn soll, mee soll d'Qualitéit vun bestëmmte Saachen nozedenken.

Ausgeschloss Mëtt Law dëser Theorie net ze sichen tëscht zwee widderspréchlech mee richteg Ausso ass eng drëtt, an d'Wourecht vun nëmmen eent vun hinnen ze erkenne. Ee vun de Komponente vun contradictions - sécherlech wouer.

Gesetz vun Identitéit formell Logik B. als Noutwendegkeete vun Präzisioun denken, dh ënner all Begrëff Dir musst präziist seng Definitioun a Bedeitung verstoen. D'Essenz vun der Konzepter an Uerteeler kann guer net wäert schreiwen.

Gesetz vum genuch Grond ass, datt keng richteg Gedanken néideg Wéinst senger richteg Gedanken ze berechtegen, a falsch Iddien kann net gerechtfäerdegt ginn. An der Entwécklung vun den Uerteeler soll e causal Relatioun spigelen. Nëmmen an dësem Fall kann et hir Zouverlässegkeet bewisen ginn.

D'logesch Form vun geduecht a Methode vun Bestëmmung vun der Forme vun all de Gedanken vun logesch Begrëffer ausgedréckt, wat d'Wuert och "a", "oder", "wann ... dann ..." Negatioun "ass net richteg, dass" ( "net") , d'Wuert "e puer", "all" ( "net"), eng ganz Rëtsch vu "Essenz" (am Sënn vun "ass"), asw Identifizéieren déi logesch Form vun der Uerteel kënnt aus der Bedeitung vun der Conditioune vun illogical ofgelenkt ginn, wat an der richteg Ausdrock vun deem Uerteel abegraff sinn. An anere Wierder, äussert formell Logik der Struktur vun geduecht. D'logesch Form ass ëmmer praktesch a sënnvoll.

Je hire Formen vun geduecht sinn an Klassen opgedeelt: d'Konzepter, dofir wier an Uerteel. Concept - d'Iddi, datt d'Objete op der Basis vun hirer Basis Charakteristiken generalizes. Uerteel - d'Iddi, d'Präsenz (Verontreiung) vun der Situatioun doranner. Am Ufank ware - geduecht, bidden d'Acquisitioun vu Wëssen, ausgedréckt an den Uerteeler vun anere Wëssen.