Formalioji logika ir jos pagrindiniai įstatymai

Loginiai - metodų, įstatymų ir formų mąstymo mokslas. Formalioji logika buvo sukurta senovės graikai, seniai prieš mūsų erą. Tai buvo pirmasis graikų siekiant sukurti demokratinę visuomenę, kurioje sprendimai ir įstatymai priimtą viešame posėdyje. Jie sukūrė primityvų mokslas vykdančioms tyrimus. Mėgstamiausia pramoga aristokratiško jaunimo diskutavau su filosofais. Taigi universali meilė teorinio mokslo plėtrai. Graikai tiesiog turėjo mokymus apie tai, kaip būti mokslinių įrodymų.

Pirmas kursas logikos pamatų sukūrė Aristotelis. Jis atkreipė dėmesį į tai, kad visi argumentai yra grindžiami bendraisiais įstatymų, kurio pažeidimas veda į klaidingų išvadų. Formali logika Aristotelis buvo grindžiamas tokiais įstatymais:

1. Jeigu sprendimas yra teigiamas, ką padaryti iš jų išvada negali būti neigiamas.
2. Jei viena iš ataskaitų yra neigiamas, o bendra išvada yra visada neigiamas.

Taigi atrodo, kad formalios logikos - tai žinios principus ir įstatymus iš esmės, tinkamai statyba argumentais, atsižvelgiant į jų statybos (būdų, kaip sujungti atskirų dalių bendrųjų aplinkybes) formos.

Visi reiškiniai ir objektai turi santykius. Nuorodos gali būti objektyvus ar subjektyvus, apskritai ar privati, būtina, arba atsitiktinis. Svarbiausias iš šių obligacijų vadinami įstatymus. visi jie atspindi tą pačią tikrovę, todėl niekada negali vienas kitam prieštarauti. Visi žmogaus minties, susijusios su gamtos dėsnius įstatymus.

Minties įstatymai yra stabili vidaus ryšys tarp minčių. Jei vyras negali susieti savo mintis, jis neatėjo į teisingą išvadą ir negalės pareikšti jį kitiems.

Pagrindiniai įstatymai formalios logikos - nuoseklumo, tapatybę, nepatenka viduryje ir įstatymai teisę pakankamai priežasčių. 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. Paskutinis įstatymas mažiau reglamentai ir daugiau ribotas.

Nepagrindines logikos dėsniai - tai operacinės teiginių ir koncepcijų, gauti tikrą išvadą į silogizmo taisyklės, didinant indukcija tikimybę ir išvados traduktivnogo charakterį.

Nuoseklumo teisė reiškia, kad mąstymas negali būti prieštaringas, bet turėtų atspindėti tam tikrų dalykų kokybę.

Neįtraukta vidurinės teisė numato nesiekti tarp dviejų prieštaringų, bet tiesa ataskaitoje yra trečiasis ir pripažinti tik vienas iš jų tiesą. Vienas iš prieštaravimų komponentų - tikrai tiesa.

iš tapatybės formalios logikos teisė interpretuoja kaip tikslumo mąstymo reikalavimo, ty pagal bet kokią laikotarpiu jums reikia tiksliai suprasti savo apibrėžimą ir prasmę. Iš koncepcijų ir sprendimų esmė negali iškreipti valią.

įstatymas pakankamai priežasčių yra tai, kad bet kokia tiesa, kad būtina pateisinti kitus tiesa mintis ir netikrų idėjos negali būti pateisinamas. Į sprendimų plėtrą, turėtų atspindėti priežastinį ryšį. Tik šiuo atveju ji gali būti įrodė savo patikimumą.

Logiška forma minties ir būdų nustatant visų loginiais sąlygomis, tarp kurių yra žodis, išreikštas mintis formas "ir", "arba", "jei ... tada ..." neigimas "Netiesa, kad" (ne ") žodis "kai kurie", "visi" ( "ne"), iš "esmės" krūva (per prasme "yra") ir tt Nustatyti logiška forma sprendimo gali būti išsiblaškęs nuo iš nelogiška sąlygomis, kurios yra įtrauktos į kalbinę išraišką šio sprendimo prasme. Kitaip tariant, formalios logikos išreiškia minties struktūrą. Logiška forma visada yra informatyvus ir prasmingas.

Priklausomai nuo jų formų minties skirstomi į klases: sąvokas, argumentais ir sprendimo. Koncepcija - idėja, kad apibendrina objektus pagal jų pagrindines charakteristikas. Sprendimas - idėja, teigdamas, buvimą (nebuvimą) situaciją. Išvada - maniau, atspindintis žinių įgijimą, išreikšta kitų žinių sprendimų.