Formalna logika i njezini temeljni zakoni

Logika - znanost metoda, zakona i oblika razmišljanja. Formalna logika je razvijen od strane starih Grka, davno prije naše ere. To je bio prvi Grke za izgradnju demokratskog društva, gdje se odluke i zakoni usvojeni na javnoj sjednici. Oni su stvorili primitivni znanost provođenja ispitivanja. Omiljeni razonoda aristokratskog mladosti imao razgovore s filozofa. Stoga je univerzalna ljubav razvoju teorijske znanosti. Grci imali samo učenje o tome kako se znanstveni dokazi.

Prvi tečaj od temelja logike razvila Aristotela. On je skrenuo pozornost na činjenicu da su svi argumenti na temelju općih propisa, povreda, što dovodi do pogrešnih zaključaka. Formalno logika Aristotel je na temelju tih zakona:

1. Ako presuda je potvrdno, što bi od njih zaključak ne može biti negativna.
2. Ako jedan od izjava negativno, a opći zaključak je uvijek negativan.

Stoga se čini da je formalna logika - je znanje o principima i zakonima učinkovito, pravilno izgradnja zaključivanja s obzirom na oblik njihovih građevinskih (načine povezivanja pojedinih dijelova općih razmatranja).

Sve pojave i objekti imaju odnos. Linkovi mogu biti objektivan ili subjektivan, opći ili privatni, potrebna ili slučajno. Najznačajniji od tih obveznica nazivaju zakone. svi oni odražavaju istu stvarnost, dakle, nikada ne mogu međusobno kontradiktorni. Svi zakoni ljudske misli povezane sa zakonima prirode.

Zakoni misli su stabilno unutarnja veza između misli. Ako čovjek ne može vezati njegove misli, on nije došao na pravi zaključak i neće biti u stanju donijeti ga na drugi.

Osnovni zakoni formalne logike - zakoni dosljednost, identiteta, isključeni sredini i zakonom dovoljnog razloga. Razvoj prva tri pripadaju Aristotela i Platona, posljednji - Leibniz. Kršenje tih zakona (posebno prva tri) dovodi do kontradikcije, što je nemoguće razlikovati istinu od laži. Posljednja zakon manje propisa i još ograničena upotreba.

Sporedne zakoni logike - to su pravila operativnih prijedloga i koncepata, dobivanje pravog zaključka u silogizam, čime se povećava vjerojatnost induktivnog zaključivanja i zaključci traduktivnogo karakter.

Zakon konzistencije znači da mišljenje ne bi trebalo biti sporno, ali bi trebao odražavati kvalitetu nekih stvari.

Zakon o isključene sredine propisane neće tražiti između dva kontradiktorna, ali istinitoj je treći, i prepoznati istinu od samo jednog od njih. Jedna od komponenti proturječja - sigurno istina.

zakon identiteta formalne logike tumači kao uvjet preciznog razmišljanja, odnosno pod kojim pojmom morate točno shvatiti svoju definiciju i značenje. Suština pojmova i sudova ne može iskriviti po volji.

zakon dovoljnog razloga je da je bilo istinito misao potrebno opravdati drugima prave misli i lažni ideje ne može opravdati. U razvoju presuda bi trebala odražavati uzročnu vezu. Samo u tom slučaju može se dokazao svoju pouzdanost.

Logička forma misli i metodama određivanja oblika svih misli izražene po logičkim izrazima, koji uključuju riječ „i”, „ili” „ako ... onda ...” poricanje „nije istina da” ( „ne”) riječ „neki”, „sve” ( „ne”), hrpa „biti” (u smislu „je”), itd Prepoznajte logično oblik presuda može se omesti iz značenje Uvjeta nelogično, koji su uključeni u verbalno izražavanje ovaj sud. Drugim riječima, formalna logika izražava strukturu misli. Logično je oblik uvijek informativan i smislen.

Ovisno o njihovim oblicima misli su podijeljeni u klase: koncepti, rasuđivanja i prosuđivanja. Koncept - ideja koja generalizira objekte na temelju njihove osnovne značajke. Presuda - ideja, tvrdeći prisutnost (odsutnosti) situacije. Zaključak - mislio, što odražava stjecanje znanja, izraženo u presudama drugih znanja.