Pormal na lohika at ang mga pangunahing batas

Logic - ang agham ng mga pamamaraan, mga batas at mga paraan ng pag-iisip. Pormal logic ay binuo sa pamamagitan ng mga sinaunang Griyego, matagal na bago ang aming panahon. Ito ay ang unang Griyego na bumuo ng isang demokratikong lipunan, kung saan ang mga desisyon at mga batas na pinagtibay sa isang pampublikong pagpupulong. Sila ay nilikha ng isang primitive science ng pagsasagawa ng pagsubok. Ang isang paborito palipasan ng oras ng maharlika kabataan ay nagkaroon ng mga talakayan na may mga philosophers. Samakatuwid ay ibinigay ang unibersal na pag-ibig ng pag-unlad ng teoretikal na agham. Griyego lang nagkaroon ng aral sa kung paano upang maging ebidensya ng siyensiya.

Ang unang kurso ng pundasyon ng logic na binuo ni Aristotle. Siya Drew ng pansin sa ang katunayan na ang lahat ng mga argumento ay batay sa mga pangkalahatang batas, ang mga paglabag ng na hahantong sa maling konklusyon. Ang pormal na lohika ng Aristotle ay batay sa mga naturang batas:

1. Kapag ang hatol ay sa katig, kung ano ang gumawa ng mga ito ang konklusyon ay hindi maaaring maging negatibo.
2. Kung ang isa sa mga pahayag ay negatibo, at ang pangkalahatang konklusyon ay palaging negatibo.

Kaya lumilitaw na pormal na lohika - ay ang kaalaman ng mga prinsipyo at mga batas mabisa, tamang konstruksiyon ng pangangatwiran na may pagsasaalang-alang sa ang hugis ng kanilang mga konstruksiyon (mga paraan upang ikonekta ang mga indibidwal na mga bahagi ng pangkalahatang mga pagsasaalang-alang).

Ang lahat ng phenomena at mga object magkaroon ng isang relasyon. Links ay maaaring maging layunin o subjective, pangkalahatang o pribado, kailangan o hindi sinasadyang. Ang pinaka makabuluhang ng mga bonong ito ay tinatawag na mga batas. lahat sila ay may parehong katotohanan, samakatuwid, hindi maaaring sumalungat sa isa't isa. Ang lahat ng mga batas ng tao-iisip nauugnay na sa mga batas ng kalikasan.

Ang mga batas ng pag-iisip ay matatag na panloob na koneksyon sa pagitan ng mga saloobin. Kung ang isang tao ay hindi maaaring itali ang kanyang mga saloobin, ay hindi siya umabot sa kanan konklusyon at ay hindi magagawang upang dalhin ito sa iba.

Ang mga pangunahing batas ng pormal na lohika - ang mga batas ng hindi pabago-bago, pagkakakilanlan, ibinukod na gitna at batas ng sapat na dahilan. Ang pag-unlad ng unang tatlong nabibilang sa Aristotle at Plato, ang huling - Leibniz. Mga paglabag sa mga batas na ito (lalo na sa unang tatlong) ay humahantong sa contradictions, ginagawa itong imposibleng upang makilala ang katotohanan mula sa kasinungalingan. Huling batas mas mababa regulasyon at mas limitadong paggamit.

Non-core batas ng logic - ang mga ito ay ang mga panuntunan ng operating propositions at mga konsepto, pagkuha ng tunay na konklusyon sa isang syllogism, madaragdagan ang posibilidad ng pangangatwirang pasaklaw at konklusyon traduktivnogo character.

Ang batas ng hindi pabago-bago ay nangangahulugan na ang pag-iisip ay hindi dapat maging kontrobersyal, ngunit dapat sumasalamin sa kalidad ng mga tiyak na mga bagay.

Ibinukod na gitna Law prescribes na hindi humingi ng sa pagitan ng dalawang salungat nguni't tunay na pahayag ay isang third, at kilalanin ang katotohanan ng isa lamang sa kanila. Isa sa mga bahagi ng contradictions - tiyak na totoo.

ang batas ng pagkakakilanlan ng pormal na lohika binibigyang-kahulugan bilang isang kinakailangan ng katumpakan na pag-iisip, ibig sabihin, sa ilalim ng anumang term na kailangan mo upang tumpak na maunawaan ang kahulugan at kahulugan. Ang kakanyahan ng mga konsepto at mga paghatol ay hindi maaaring papangitin sa kalooban.

batas ng sapat na dahilan ay na ang anumang tunay na pag-iisip na kailangan upang bigyang-katwiran ang isa tunay na saloobin, at maling mga ideya ay hindi maaaring nabigyang-katarungan. Sa pag-unlad ng hatol ay dapat sumalamin sa isang pananahilan relasyon. Lamang sa kasong ito maaari itong pinatunayan ang kanyang kahusayan.

Ang lohikal na anyo ng pag-iisip at mga pamamaraan ng pagtukoy sa mga paraan ng lahat ng mga saloobin na ipinahayag sa pamamagitan ng lohikal na mga tuntunin, na kung saan isama ang salitang "at", "o", "kung ... pagkatapos ..." pagtanggi "ay hindi totoo na" ( "hindi") , ang salitang "some", "lahat" ( "hindi"), isang grupo ng mga "kakanyahan" (sa loob ng kahulugan ng "ay"), at iba pa Kilalanin ang mga lohikal na anyo ng paghatol ay maaaring ma-ginulo mula sa kahulugan ng mga tuntunin ng wala sa katwiran, na kung saan ay kasama sa berbal na pagpapahayag ng paghatol na ito. Sa ibang salita, pormal na lohika nagpapahayag ng ang istraktura ng pag-iisip. Ang lohikal na form ay palaging nagbibigay-kaalaman at makahulugan.

Depende sa kanilang mga paraan ng pag-iisip ay nahahati sa mga klase: ang konsepto, mangatwiran at humatol. Concept - ang ideya na generalizes ang mga bagay batay sa kanilang mga pangunahing katangian. Paghuhukom - ang ideya, asserting ang presence (kawalan) ng ang sitwasyon. Hinuha - iisip, na sumasalamin sa pagkuha ng kaalaman, ipinahayag sa mga hatol ng iba pang mga kaalaman.