Formalne logike i njegove osnovne zakone

Logika - nauka metoda, zakona i oblicima razmišljanja. Formalne logike je razvijen od strane stari Grci, dugo prije naše ere. To je bio prvi Grci za izgradnju demokratskog društva, gdje odluke i zakone usvojene na javnom skupu. Oni su stvorili primitivni nauka vođenja suđenja. A omiljena zanimacija aristokratski mladi su imali razgovore sa filozofima. Otuda i univerzalne ljubavi razvoja teorijske nauke. Grci samo imao učenja o tome kako biti naučnim dokazima.

Prvi kurs temelje logike razvijen od strane Aristotela. On je skrenuo pažnju na činjenicu da su svi argumenti na osnovu opštih zakona, kršenje što dovodi do pogrešnih zaključaka. Formalni logika Aristotel je na osnovu tih zakona:

1. Ako se presuda je potvrdan, šta da ih zaključak ne može biti negativna.
2. Ako je jedna od izjava je negativan, a opći zaključak je uvijek negativan.

Stoga se čini da formalne logike - je poznavanje principa i zakona efikasno, pravilno tumačenje obrazloženje s obzirom na oblik njihove izgradnje (načina za povezivanje pojedinih dijelova opšta razmatranja).

Sve pojave i objekti imaju vezu. Linkovi mogu biti objektivni ili subjektivni, generalni ili privatno, potrebno ili slučajno. Najznačajniji od ovih obveznica nazivaju zakonima. svi oni odražavaju iste stvarnosti, dakle, nikada ne može u suprotnosti jedni druge. Svi zakoni ljudske misli u vezi sa zakonima prirode.

Zakoni misli su stabilno unutrašnje veze između misli. Ako se čovjek ne može vezati svoje misli, on nije došao na pravo zaključak i neće biti u stanju da ga drugima.

Osnovni zakoni formalne logike - zakoni dosljednost, identiteta, isključena srednje i zakon dovoljan razlog. Razvoj prva tri pripadaju Aristotela i Platona, poslednji - Leibniz. Kršenje ovih zakona (posebno prva tri) dovodi do kontradikcije, što je nemoguće razlikovati istinu od laži. Zadnje zakon manje propisa i više ograničenu upotrebu.

Non-core zakonima logike - to su pravila poslovanja propozicijama i koncepata, dobijanje pravi zaključak u silogizam, povećavajući vjerojatnost induktivnog rasuđivanja i zaključaka traduktivnogo karakter.

Zakon konzistentnosti znači da mišljenje ne bi trebalo da bude sporno, ali treba odražavati kvalitetu neke stvari.

Isključeni srednji Zakon propisuje da neće tražiti između dva kontradiktorna, ali istinita izjava je treća, a da prizna istinu samo jedan od njih. Jedna od komponenti kontradikcija - svakako istina.

zakon identiteta formalne logike tumači kao zahtjev preciznosti razmišljanja, odnosno pod kojim termin trebate precizno shvatiti svoju definiciju i značenje. Suština koncepta i presude ne može iskriviti po volji.

zakon dovoljan razlog je to bilo istina misao je potrebno da se opravda drugi istinita misli i pogrešnih ideja se ne može opravdati. U razvoju presuda treba da odražava uzročno-posljedična veza. Samo u tom slučaju može se dokazao svoju pouzdanost.

Logičan oblik misli i metoda određivanja oblika svih misli izrazio logičkim terminima, koje uključuju riječ "i", "ili", "ako ... onda ..." poricanje "nije istina da" ( "ne") , riječ "neki", "svi" ( "ne"), gomila "suština" (u smislu "je"), itd Identificirati logičku formu presude može se rastrojen od značenja termina nelogičnosti, koje su uključene u verbalnom izražavanju ove presude. Drugim riječima, formalna logika izražava strukturu misli. Logičan oblik je uvijek informativan i smislene.

U zavisnosti od njihove oblike misli su podijeljeni u klase: koncepti, obrazloženje i presude. Koncept - ideja da generalizuje objekata na osnovu njihove osnovne karakteristike. Presuda - ideja, tvrdeći prisustvo (odsustvo) situacije. Zaključak - Mislio, odražavajući sticanje znanja, izraženo u presudama drugih znanja.