logika - metodų, įstatymų ir formų mąstymo mokslas.Formalioji logika buvo sukurtas senovės graikai seniai prieš mūsų erą.Tai buvo pirmasis graikų siekiant sukurti demokratinę visuomenę, kurioje įstatymai ir sprendimai priimami nacionaliniu Asamblėja.Jie sukūrė primityvų mokslas bylinėjimąsi.Mėgstamiausia pramoga iš aristokratų jaunimo diskutavau su filosofų.Taigi visuotinės meilės už teorinio mokslo plėtrai.Graikai tiesiog turėjo, kaip turi būti moksliniai įrodymai doktriną.
pirmoji žinoma, logikos pagrindai sukūrė Aristotelis.Jis atkreipė dėmesį į tai, kad visi argumentai grindžiami bendrosios teisės, kurios pažeidimas veda į klaidingų išvadų.Formali logika Aristotelis buvo grindžiamas šių įstatymų:
- Jei sprendimai yra teigiamas, ką daro jų išvada negali būti neigiamas.
- Jei viena iš ataskaitų yra neigiamas, o bendra išvada visada bus neigiamas.
Atrodo, kad formalios logikos - žinių principų ir įstatymų efektyviai tinkamą statybos motyvavimo, susijusio su jų konstrukcija formos (būdus jungiamųjų dalių bendrųjų aplinkybes).
Visi reiškiniai ir objektai turi santykius.Nuorodos gali būti objektyvus ar subjektyvus, dalijamasi arba privati, būtina ar atsitiktinis.Svarbiausias iš šių obligacijų vadinami įstatymus.Visi jie atspindi tą patį realybės, todėl negali prieštarauja viena kitai.Visi žmogaus mąstymo įstatymai yra susiję su gamtos dėsnius.
įstatymai minties yra stabili vidinis ryšys tarp minčių.Jei asmuo negali įpareigoti savo mintis, jis neatėjo į teisingą išvadą ir negalės pareikšti jį kitiems.
pagrindiniai įstatymai formalios logikos - nuoseklumo įstatymai, identiškumas, atstumtųjų viduryje ir pakankamo priežasties teisė.Pirmos trys plėtra priklauso Aristotelio ir Platono, pastarąjį - Leibnicas.Pažeidus šiuos įstatymus (ypač per pirmuosius tris) veda prie prieštaravimų, todėl neįmanoma atskirti tiesą nuo melo.Paskutinis mažiau taisyklės ir teisė taikoma labiau ribota.
nepagrindines logikos dėsniai - tai operacinės koncepcijų ir sprendimų, gauti tikrą išvadą į silogizmo taisyklės, didinant indukciniu tikimybę argumentais ir išvados traduktivnogo charakterį.
aktas nuoseklumas reiškia, kad mąstymas neturėtų būti prieštaringa, ir turėtų atspindėti tam tikrų dalykų kokybę.
teisė nepatenka viduryje reikia ne ieškoti tarp dviejų prieštaringų bet tiesa pareiškimą trečią dalyką, ir pripažįsta, kad tik vienas iš jų tiesą.Vienas iš konflikto komponentų - tikrai tiesa.
įstatymas formalios logikos gydo tapatybę kaip tikslumo mąstymo reikalavimo, ty nuo bet kokio termino jūs turite suprasti, tiksliai jos apibrėžime ir prasmę.Iš koncepcijų ir sprendimų esmė negali iškreipti valią.
įstatymas pakankamai priežasčių yra tai, kad bet tiesa, kad būtina pagrįsti tiesa mintis kitiems, ir netikrų idėjos negali būti pateisinamas.Atsižvelgiant į sprendimų plėtrą turėtų atspindėti priežastinį ryšį.Tik šiuo atveju gali būti įrodyta, patikimumą.
logiška forma minties ir būdai nustatyti bet kokį mintis išsakytas loginių sąlygų, kurios apima žodį formą "ir", "arba", "jei ... tada ..." neigimas "yra ne tiesa, kad"(" ne "), žodis" kai kurie "," visi "(" ne "), krūva" esmė "(prasme ir" yra ") ir ttNustatyti logiška forma sprendimu gali būti išsiblaškęs nuo iš nelogiška terminais, kurie yra žodinis išraiška šio sprendimo prasme.Kitaip tariant, formalios logikos išreiškia minties struktūrą.Loginiai forma visada yra informacinio pobūdžio ir prasmingas.
priklausomai nuo jų formų minties skirstomi į klases: sąvokas, argumentais ir teismo sprendimą.Koncepcija - idėja apibendrina objektus pagal jų pagrindinių savybių pagrindu.Sprendimas - idėja, tvirtindamas, buvimą (nebuvimą) situaciją.Išvada - maniau, atspindintis žinių įgijimą, išreikštą kitų žinių sprendimų.
