Formele logika en sy basiese wette

Logika - die wetenskap van metodes, wette en vorme van denke. Formele logika is ontwikkel deur die antieke Grieke, lank voor ons era. Dit was die eerste Grieke 'n demokratiese samelewing, waar besluite en wette op 'n openbare vergadering aangeneem bou. Hulle het 'n primitiewe wetenskap van die uitvoer van proewe. 'N gunsteling tydverdryf van aristokratiese jeug het samesprekings met die filosowe. Vandaar die universele liefde van die ontwikkeling van teoretiese wetenskap. Grieke net het die leer oor hoe om wetenskaplike bewyse wees.

Die eerste kursus van die fondamente van logika ontwikkel deur Aristoteles. Hy het die aandag op die feit dat al die argumente is gebaseer op die algemene wette, die skending van wat lei tot foutiewe gevolgtrekkings. Die formele logika van Aristoteles is gebaseer op sulke wette:

1. As die oordeel is in die regstellende, wat om te maak van hulle die gevolgtrekking kan nie negatief wees nie.
2. As een van die stellings is negatief en die algemene gevolgtrekking is altyd negatief.

Daarom is dit blyk dat formele logika - is die kennis van die beginsels en wette doeltreffend, behoorlike konstruksie van redenasie ten opsigte van die vorm van hul konstruksie (maniere om individuele dele van die algemene oorwegings verbind).

Alle verskynsels en voorwerpe het 'n verhouding. Links kan objektiewe of subjektiewe, algemene of private, nodig of toevallige wees. Die belangrikste van hierdie effekte is wette genoem. hulle almal weerspieël dieselfde werklikheid, dus, kan nooit mekaar weerspreek. Al die wette van die menslike denke wat verband hou met die wette van die natuur.

Die wette van denke is stabiel interne verband tussen gedagtes. As 'n mens nie sy gedagtes kan bind, het hy nie gekom om die regte gevolgtrekking en sal nie in staat wees om dit aan ander te bring.

Die basiese wette van formele logika - die wette van konsekwentheid, identiteit, uitgesluit middel en wet van voldoende rede. Die ontwikkeling van die eerste drie behoort aan Aristoteles en Plato, die laaste - Leibniz. Oortredings van hierdie wette (veral die eerste drie) lei tot teenstrydighede, maak dit onmoontlik om die waarheid te onderskei van leuens. Laaste wet minder regulasies en meer beperkte gebruik.

Nie-kern wette van logika - dit is die reëls van die bedryf stellings en konsepte, die verkryging van ware gevolgtrekking in 'n sillogisme, die verhoging van die waarskynlikheid van induktiewe redenasie en gevolgtrekkings traduktivnogo karakter.

Die wet van konsekwentheid beteken dat denke nie omstrede moet wees nie, maar moet die gehalte van sekere dinge te dink.

Uitgesluit middel wet voorskryf nie te soek tussen twee teenstrydige maar ware verklaring is 'n derde, en om die waarheid van slegs een van hulle herken. Een van die komponente van teenstrydighede - seker waar.

die wet van identiteit formele logika interpreteer as 'n vereiste van akkuraatheid denke, dws onder enige term wat jy nodig het om akkuraat te verstaan die definisie en betekenis. Die essensie van die konsepte en aannames kan nie verdraai kan word.

wet van voldoende rede hiervoor is dat enige ware denke nodig om die ander se ware gedagtes te regverdig, en valse idees kan nie geregverdig word nie. In die ontwikkeling van verordeninge moet 'n oorsaaklike verhouding weerspieël. Net in hierdie geval kan dit bewys word sy betroubaarheid.

Die logiese vorm van denke en metodes van die bepaling van die vorm van al die gedagtes deur logiese terme, wat die woord sluit uitgespreek "en", "of", "as ... dan ..." ontkenning "is nie waar dat" ( "nee") die woord "sommige", "almal" ( "nee"), 'n klomp van die "essensie" (binne die betekenis van "is"), ens Identifiseer die logiese vorm van die oordeel kan afgelei word uit die betekenis van die terme van onlogies, wat ingesluit is in die verbale uitdrukking van hierdie uitspraak. Met ander woorde, formele logika spreek die struktuur van denke. Die logiese vorm is altyd leersaam en sinvol.

Afhangende van hul vorms van denke is verdeel in klasse: die konsepte, redenasie en oordeel. Konsep - die idee dat die voorwerpe veralgemeen op grond van hul basiese eienskappe. Oordeel - die idee, die handhawing van die teenwoordigheid (afwesigheid) van die situasie. Afleiding - het gedink, wat die verkryging van kennis, uitgedruk in die oordeel van ander kennis.