Formali logika ir jos pagrindiniai įstatymai

Logika - metodų, įstatymų ir formų mokslasmąstymas. Formali logika buvo sukurta senovės graikų dar prieš mūsų erą. Tai buvo graikai, kurie pirmiausia pastatė demokratinę visuomenę, kur žmonės susirinkimuose priėmė sprendimus ir įstatymus. Jie primityviu lygmeniu sukūrė teismo bylų tyrimo mokslą. Ir mėgstamiausia aristokratų jaunimo užsiėmimas buvo diskusijos su filostais. Taigi visuotinė meilė teorinių mokslų plėtrai. Graikai tiesiog turėjo mokyti, kaip kainuoti mokslinius įrodymus.

Pirmasis logikos pagrindų kursas buvo sukurtas Aristotelio. Jis atkreipė dėmesį į tai, kad bet koks motyvavimas grindžiamas bendraisiais įstatymais, kurių pažeidimas lemia klaidingas išvadas. Formali Aristotelio logika buvo pagrįsta tokiais įstatymais:

  1. Jei teismo sprendimai yra teigiami, iš jų padaryta išvada negali būti neigiama.
  2. Jei vienas iš teiginių yra neigiamas, bendroji išvada visada bus neigiama.

Taigi iš to išplaukia, kad yra formali logikažinios principus ir įstatymus veiksmingai, tinkamai statyba argumentais, atsižvelgiant į jų konstravimo formos (būdai sujungti atskirų dalių bendrųjų aplinkybes).

Visi reiškiniai ir objektai yra tarpusavyje susiję. Nuorodos gali būti objektyvios arba subjektyvios, bendros arba privačios, būtinos arba atsitiktinės. Svarbiausia šių nuorodų vadinama įstatymais. Visi jie atspindi tą pačią realybę, todėl negali jokiu būdu prieštarauti vieni kitiems. Visi žmogaus minties įstatymai yra susiję su gamtos raidos įstatymais.

Minties įstatymai yra stabilus vidinis ryšys tarp minčių. Jei asmuo negali prisijungti prie savo minčių, jis nesieks teisingos išvados ir negalės perduoti kitų.

Formalios logikos pagrindiniai įstatymai - tai yra nuoseklumo, tapatumo,trečiojo ir trečiosios teisės išbraukimas iš pakankamo pagrindo. Pirmos trys plėtra priklauso Aristotelio ir Platono, pastarąjį - Leibnicas. Pažeidus šias įstatymų (ypač pirmas tris) veda prie prieštaravimų, todėl neįmanoma atskirti tiesą nuo melo. Pastarasis įstatymas yra mažiau normatyvus ir taikomas griežčiau.

Ne pagrindiniai logikos įstatymai yra taisyklėssprendimai ir veiklos sąvokos gauna tikrąjį išėjimą į silogizmo, didinti PIN ir indukcija traduktivnogo charakterio tikimybę.

Nuoseklumo įstatymas reiškia, kad mąstymas neturėtų būti prieštaringas, bet turi atspindėti kokybinį dalykų tikrumą.

Neįtraukto trečiojo įstatymo nenumatoieškoti tarp dviejų prieštaringų, bet tikrų pareiškimų kažkas trečiosios ir pripažinti tik vieną iš jų tiesą. Vienas iš prieštaravimo komponentų yra būtinai tiesa.

Tapatybės formalios logikos įstatymas traktuoja kaipmąstymo tikslumo reikalavimas, ty pagal bet kurį terminą jums reikia tiksliai suprasti jo apibrėžtį ir prasmę. Sąvokų ir sprendimų esmė negali būti iškraipyta pagal valią.

Geros priežasties teisė yra ta,kad bet kokia tikra mintis turi būti pateisinta kitomis tikromis mintimis, ir negalima pateisinti klaidingų minčių. Teismo sprendimų rengimas turėtų atspindėti priežastinį ryšį. Tik šiuo atveju jo galiojimas gali būti įrodytas.

Loginė mąstymo forma ir formų nustatymo būdaibet kurios mintys išreiškiamos loginiais terminais, prie kurių sąjungos "ir", "arba", "jei ...", ... ", paneigti" tai netiesa "(" ne "), žodžiai" kai "," visi "(" nėra "), krūva" esmė "(prasme" yra ") ir tt Nustatyti loginę teismo sprendimo formą galima išsiblaškyti iš terminų nelogiška reikšmių, kurios įeina į šio sprendimo verbalinę išraišką. Kitaip tariant, formali logika išreiškia minties struktūrą. Loginė forma visuomet yra informatyvi ir informatyvi.

Priklausomai nuo jų formų, mintys yra suskirstytos į klases: koncepcijos, išvados ir sprendimai. Koncepcija yra mintis, kuri apibendrina objektus pagal jų pagrindines charakteristikas. Sprendimas yra mintis, patvirtinanti egzistavimo (nebuvimo) padėtį. Išvada yra mintis, atspindinčia žinių, išreikštų kitų žinių sprendimais, įgijimą.

Patinka:
0
Federacijos tarybos reglamentai: kai kurie
Demokratijos rūšys
Įstatymo algebra logika
Ekonominiai įstatymai
Mendelio įstatymai. Genetikos pagrindai
Ajurvedos Manu įstatymai
Pagrindiniai chemijos teisės aktai
Kas yra logika: apibrėžimas ir įstatymai
Aristotelio logika: pagrindiniai principai
Populiariausi pranešimai
aukštyn