Formalna logika in njegovi osnovni zakoni

Logika je znanost o metodah, zakonih in oblikah mišljenja. Formalno logiko so dolgo razvili antični Grki BC. Grki so prvič zgradili demokratično družbo, kjer so bile odločitve in zakoni sprejeti v ljudskih skupnostih. Na primitivni ravni so ustvarili referenčno znanost spori. In najljubša zasedba aristokratske mladine je bila razprava s filozofi. Zato je univerzalna ljubezen do razvoja teoretičnih znanosti. Grki so preprosto potrebovali poučevanje o tem, kako stroške znanstvenih dokazov.

Prvi tečaj temeljev logike je razvil Aristotel. Opozoril je na dejstvo, da vsaka obrazložitev temelji na splošnih zakonih, katerih kršitev vodi do napačnih sklepov. Formalna logika Aristotela je temeljila na takih zakonih:

1. Če so sodbe pozitivne, sklep, ki izhaja iz njih, ne more biti negativen.
2. Če je eden od izjav negativen, potem bo splošni zaključek vedno negativen.

Iz tega izhaja, da formalna logika - to znanje o načelih in zakonih učinkovite, pravilne konstrukcije razmišljanja ob upoštevanju oblike njihove konstrukcije (načini povezovanja ločenih delov splošnega sklepanja).

Vsi pojavi in ​​predmeti so medsebojno povezani. Povezave so lahko objektivne ali subjektivne, splošne ali zasebne, nujne ali naključne. Najpomembnejše od teh povezav imenujemo zakoni. Vsi od njih odražajo isto resničnost, zato na noben način ne morejo biti drug drugega v nasprotju. Vsi zakoni človeške misli so povezani z zakoni razvoja narave.

Zakonski zakoni so stabilna notranja povezava med mislimi. Če človek ne more povezati svojih misli, ne bo prišel do pravega zaključka in ga ne bo mogel prenesti drugim.

Osnovni zakoni formalne logike - To so zakoni skladnosti, identitete, izključitve tretjega in prava zadostnih razlogov. Razvoj prvih treh pripada Aristotelu in Platonu, slednji pa Leibnizu. Kršitve teh zakonov (zlasti prvih treh) vodijo do nasprotij, zaradi česar ni mogoče ločiti resnice od laži. Slednji zakon je manj normiran in se uporablja bolj restriktivno.

Neosnovni zakoni logike so pravila operativnih sodb in konceptov, pri čemer dobimo resničen zaključek v sillogizmu, povečamo verjetnost sklepanja sklepov induktivne in transduktivne narave.

Zakon doslednosti pomeni, da razmišljanje ne sme biti protislovno, ampak mora odražati kvalitativno gotovost stvari.

Zakon izključenega tretjega predpisuje, da ne išče med dvema nasprotujočima si drugima, ampak resnične izjave nekaj drugega, ampak priznati resnico samo enega. Ena od sestavin protislovja je nujno resnična.

Zakon o formalni logiki identitete obravnava kot zahtevo od razmišljanja o natančnosti, to je, pod katerim koli izrazom je treba natančno razumeti njeno opredelitev in pomen. Bistvo pojmov in sodb ni mogoče izkrivljati.

Zakon zadostne podlage je, da je treba vsako resnično misel utemeljiti z drugimi pravimi mislimi in nemogoče je upravičiti lažne misli. Razvoj sodb bi moral odražati vzročno zvezo. Samo v tem primeru je mogoče dokazati njegovo veljavnost.

Logična oblika misli in načini določanja oblik vseh misli so izraženi z logičnimi izrazi, na katere so sindikati "in", "ali", "če ..., potem ...", zanikati "ni res, da" ("ne") , besede "nekateri", "vsi" ("nič"), kup "bistva" (v smislu "je") itd. Določiti logično obliko sodbe se lahko oddaljuje od pomena pojmov, ki so nelogične, ki se vključijo v ustno izražanje te sodbe. Z drugimi besedami, formalna logika izraža strukturo misli. Logična oblika je vedno informativna in informativna.

Glede na njihove oblike so misli razdeljene na razrede: koncepte, sklepe in sodbe. Koncept je misel, ki posplošuje predmete na podlagi njihovih osnovnih značilnosti. Sodba je misel, ki potrjuje obstoj (odsotnost) stanja. Zaključek je misel, ki odraža pridobivanje znanja, izraženo v sodbah iz drugih znanj.