Formalna logika i njezini temeljni zakoni

Logika je znanost o metodama, zakonima i oblicima mišljenja. Formalnu logiku razvili su drevni Grci dugo Prije Krista.

Prvi put temelja logike razvio je Aristotel. Skrenuo je pozornost na činjenicu da se bilo koji razlog temelji na općim zakonima, čije kršenje vodi pogrešnim zaključcima. Formalna logika Aristotela bila je utemeljena na takvim zakonima:

1. Ako su presude potvrdne, zaključak iz njih ne može biti negativan.
2. Ako je jedna od izjava negativna, tada će opći zaključak uvijek biti negativan.

Stoga slijedi da formalna logika - ovo znanje o principima i zakonima djelotvorne, ispravne konstrukcije razmišljanja, uzimajući u obzir oblik njihove konstrukcije (načine povezivanja zasebnih dijelova općeg razmišljanja).

Sve fenomene i objekti su međusobno povezani. Veze mogu biti objektivne ili subjektivne, opće ili privatne, nužne ili slučajne. Najbitnije od tih veza nazivaju se zakoni. Svi oni odražavaju istu stvarnost, stoga se ne mogu suprotstaviti jedni drugima na bilo koji način. Svi zakoni ljudske misli povezani su sa zakonima razvoja prirode.

Zakoni mišljenja predstavljaju stabilnu unutarnju vezu između misli. Ako netko ne može povezati svoje misli, neće doći do pravog zaključka i neće ga moći prenijeti drugima.

Osnovni zakoni formalne logike - to su zakoni dosljednosti, identiteta, isključivanja trećeg i zakona dovoljne osnove. Razvoj prve tri pripada Aristotelu i Platonu, a potonji Leibnizu. Kršenje tih zakona (osobito prva tri) dovodi do proturječja, što čini nemogućim razlikovati istinu od laži. Potonji zakon je manje normativan i primjenjuje se više restriktivno.

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 dosljednosti znači da razmišljanje ne smije biti kontradiktorno, već mora odražavati kvalitativnu sigurnost stvari.

Zakon isključene treće propisuje da ne traži između dva suprotstavljena međusobno, ali istinite izjave nešto treće, ali prepoznavanje istine samo jednog od njih. Jedna od komponenti kontradikcije nužno je istinita.

Zakon identiteta formalne logike tretira kao uvjet iz razmišljanja o točnosti, tj. Pod bilo kojim izrazom potrebno je precizno razumjeti njegovu definiciju i značenje. Bit pojmova i prosudbi ne može se iskriviti po volji.

Zakon dovoljne osnove je da svaka istinska misao mora biti utemeljena od strane drugih istinitih misli, a nemoguće je opravdavati lažne misli. Razvoj prosudbi trebao bi odražavati uzročni odnos. Samo u ovom slučaju može se dokazati njegova valjanost.

Logični oblik misli i načini određivanja oblika bilo koje misli izražavaju se logičkim pojmovima kojima sindikati "i", "ili", ako ..., onda ... ", poriču" nije točno da "(" ne ") , riječi "neke", "sve" ("ništa"), hrpa "suštine" (u značenju "je") itd. Utvrditi da logički oblik prosudbe može biti omalovažen od značenja pojmova nelogičan, koji ulaze u verbalni izraz ove presude. Drugim riječima, formalna logika izražava strukturu misli. Logičan oblik je uvijek informativan i informativan.

Ovisno o njihovim oblicima, misli su podijeljene u klase: pojmove, zaključke i prosudbe. Koncept je misao koja generalizira objekte na osnovu njihovih osnovnih obilježja. Presuda je misao koja potvrđuje postojanje (odsutnost) stanja stvari. Zaključak je misao koja odražava stjecanje znanja izraženih u prosudbama drugih znanja.