loogika - teadus meetodeid, seadused ja vormid mõtlemist.Formaalne loogika on välja töötatud vanad kreeklased ammu enne meie ajastu.See oli esimene kreeklaste ehitada demokraatlikku ühiskonda, kus seadused ja vastu võetud otsused Rahvuskogu.Nad on loonud primitiivne teadus kohtuvaidlusi.Lemmik ajaviide aristokraatlik noorte arutanud filosoofid.Seega universaalne armastus arengut teoreetiline teadus.Kreeklased oli just õpetus, kuidas olla teaduslikke tõendeid.
esimese kursuse põhitõdesid loogika on välja töötanud Aristoteles.Ta juhtis tähelepanu sellele, et kõik argumendid põhinevad tavaõiguse, mille rikkumine toob kaasa ekslikud järeldused.Formaalne loogika Aristotelese põhines need seadused:
- Kui otsused on jaatav, mida teha neist sõlmimist ei saa olla negatiivne.
- Kui üks avaldused on negatiivne, ja üldine järeldus on alati negatiivne.
Tundub, et formaalne loogika - teadmised põhimõtteid ja seadusi tõhusalt, tuleb tõlgendada põhjenduste osas kuju ehitamiseks (moel ühendada osad üldkaalutlusi).
Kõik nähtusi ja objekte on suhe.Lingid võivad olla objektiivsed või subjektiivsed, jagatud või eraõiguslike vajalik või juhuslik.Kõige olulisem neist võlakirju nimetatakse seadusi.Nad kõik kajastavad sama reaalsuse seetõttu ei saa omavahel vastuolus.Kõik seadused inimmõtte on seotud loodusseadusi.
seaduste mõtte on stabiilne sisemine seos mõtteid.Kui inimene ei saa siduda oma mõtteid, ta ei jõudnud õigesse sõlmimise ja ei saa tuua seda kellelegi teisele.
põhiseadused formaalne loogika - seaduste kooskõla, identiteedi, välja keskel ja õiguse piisav põhjus.Areng esimesel kolmel kuuluvad Aristoteles ja Platon, viimane - Leibniz.Rikkumised need seadused (eriti esimese kolme) viib vastuolusid, mistõttu on võimatu eristada tõde vale.Viimati vähem määruste ja seaduste kehtib piiratud.
Non-core seaduste loogika - on reeglite operatsioonisüsteemi mõisted ja kohtuotsuste, saada õige järeldus on syllogism, suureneb tõenäosus, induktiivne põhjenduste ja järeldustega traduktivnogo iseloomu.
seaduse kooskõla tähendab, et mõtlemine ei tohiks olla vastuoluline, ning see peaks kajastama kvaliteeti teatud asju.
õigusega välja keset nõuab mitte otsida nende kahe vahel vastuolulised, kuid õige väide kolmanda asi, ja tunnistada tõde ainult üks neist.Üks komponentidest konflikti - tõsi.
õiguse formaalne loogika kohtleb identiteedi nõudena täpsusega mõtlemine, st igast mõiste, mida tuleb mõista täpselt selle mõiste ja tähendus.Sisuliselt mõisted ja kohtuotsuste ei moonuta tahet.
õiguse piisav põhjus on see, et mis tahes tõeline mõte, et põhjendada tõsi teiste mõtteid ja vale ideid ei saa õigustada.Arengus kohtuotsuste peaks kajastama põhjuslik seos.Ainult sellisel juhul on võimalik tõestada usaldusväärsust.
loogiline vorm mõtte ja viiside määratlemine tahes vormis mõtteid väljendada loogilise poolest, mis sisaldavad sõna "ja", "või", "kui ... siis ..." eitamine "ei ole tõsi, et"(" ei "), sõna" mõned "," kõik "(" ei "), kamp" sisuliselt "(tähenduses" on ") jneNimetage loogiline vorm otsuse võib häirida tähenduse poolest ebaloogiline, et on verbaalne väljendus see kohtuotsus.Teisisõnu, formaalse loogika väljendab struktuuri mõte.Loogiline vorm on alati informatiivne ja sisukas.
Sõltuvalt nende vorme mõte on jaotatud klassidesse: mõisted, põhjendused ja otsuse.Mõiste - idee üldistab objektide kohta, lähtudes nende põhiomadused.Kohtuotsus - idee, kinnitades juuresolekul (puudumise) olukorda.Järeldus - arvasin, kajastades teadmiste omandamist väljendatud kohtuotsustes teiste teadmisi.
