logika - veda o metodah, zakonih in drugih oblik mišljenja.Formalna logika so razvili antični Grki že pred našo dobo.To je bil prvi Grki zgraditi demokratično družbo, kjer zakone in odločitve sprejemajo v Državnem zboru.Ti so ustvarili primitivno znanost sporov.Priljubljeno zabavo za plemiške mladine imel pogovore s filozofi.Zato je univerzalna ljubezen za razvoj teoretične znanosti.Grki so pravkar imeli nauk o tem, kako biti znanstveni dokazi.
prvi tečaj osnov logike Aristotel razvite.Opozoril je na dejstvo, da so vse trditve, ki temelji na skupnem prava, kršitev, ki vodi do napačnih zaključkov.Formalna logika Aristotel je na podlagi teh zakonov:
- Če so sodbe pritrdilen, kaj, da bi od njih sklep ne more biti negativna.
- Če je ena od izjav negativen, in splošna ugotovitev bo vedno negativen.
Zdi se, da je formalno logiko - poznavanje načel in zakonov učinkovito pravilne gradnje obrazložitve glede na obliko njihove konstrukcije (načini povezovanja dele splošnih ugotovitev).
Vsi pojavi in predmeti, ki imajo razmerje.Povezave lahko objektivna ali subjektivna, skupno ali zasebno, ki je potrebna ali naključno.Najpomembnejša od teh obveznic se imenujejo zakoni.Vsi odražajo isto realnost, zato ne morejo med seboj nasprotujejo.Vsi zakoni človeške misli so povezani z zakoni narave.
zakoni misli so stabilne notranja povezava med mislimi.Če oseba, ki se ne more vezati svoje misli, ni prišel na pravo sklenitev in ne bodo mogli, da bi ga drugim.
osnovni zakoni formalne logike - zakoni doslednosti, identiteta, izključeni srednji in zakon zadostnega razloga.Razvoj prvih treh pripadajo Aristotel in Platon, zadnji - Leibniz.Kršitve teh zakonov (zlasti prva tri) vodi do protislovja, zaradi česar je nemogoče ločiti resnico od laži.Zadnji zmanjšana predpisi in zakon velja bolj omejen.
Non-core zakoni logike - je pravila poslovnih konceptov in sodb, pridobitev pravega zaključka v silogizmom, kar povečuje verjetnost induktivnega sklepanja in zaključki traduktivnogo značaj.Zakon
doslednost pomeni, da se razmišljanje ne bi smela biti sporna, in mora odražati kakovost nekaterih stvari.
pravo izključena sredi zahteva ni videti med nasprotujočima vendar pravega izida tretjo stvar in priznati resnico le ena od njih.Ena od sestavin konflikta - vsekakor drži.
pravo formalne logike obravnava identiteto kot zahtevo po natančnosti razmišljanja, tj od katerega koli izraz, morate natančno razumeti njeno definicijo in pomen.Bistvo konceptov in sodb ne more izkrivljati po volji.
zakon zadostnega razloga, da vsak pravi misel, potrebne za utemeljitev prave misli drugih, in lažne ideje ne more biti utemeljena.Pri razvoju sodb mora odražati vzročne povezave.V tem primeru je mogoče dokazati samo zanesljivost.
logična oblika mišljenja in načini določanja vsako obliko misli z logičnimi izrazi, ki vključujejo besedo izrazile "in", "ali", "če ... potem ..." zanikanje "ni res, da"(" ne "), se beseda" nekaj "," vse "(" ne "), kup" bistva "(v smislu" je "), itdUgotovite logična oblika sodbe lahko raztresen od smislu pogojev nelogično, da so verbalno izražanje te sodbe.Z drugimi besedami, formalno logiko izraža strukturo mišljenja.Logična oblika je vedno poučno in smiselni.
Odvisno od njihove oblike mišljenja so razdeljeni v razrede: koncepti, razmišljanja in presojanja.Koncept - ideja generalizes predmetov na podlagi njihovih osnovnih značilnosti.Sodba - ideja, uveljavljanje prisotnosti (odsotnosti) situacije.Sklepamo - mislil, kar kaže na pridobivanje znanja, kot je izraženo v sodbah drugega znanja.
