Ang mga pangunahing batas ng lohika

Sa lohika, ang mga batas nito. Ang pangunahing ng mga ito ay apat. Tatlo sa kanila ang nabuo ni Aristotle. Ang mga batas ng lohika ni Aristotle ay ang batas ng di-pagkakasalungatan, ng ibinukod na ikatlo, ng pagkakakilanlan. Nang maglaon, isa pang batas ang naidagdag sa mga pangunahing batas - batas na may sapat na dahilan.

Ang mga batas ng propositional logic ay direktang may kaugnayan sa ganap na lahat ng pangangatuwiran. Ang lohikal na form, pati na rin ang operasyon na ginagawa ng pangangatwiran na ito, ay walang kabuluhan sa lahat.

May mga karagdagang batas ng lohika. Kabilang dito ang:

• Double negation;
• Contraposition.

Sa mga batas na ito, ang iba't ibang uri ng pagmumuni-muni ay itinayo din. Nagbibigay sila ng koneksyon ng mga kaisipan.

Mga Batas ng Lohika

Ang unang batas ay ang batas ng pagkakakilanlan . Sa ilalim na linya ay na sa anumang pag-iisip sa proseso ng pangangatwiran dapat mayroong ilang malinaw, panloob na nilalaman. Mahalaga rin na ang nilalaman na ito ay hindi nagbabago sa proseso. Ang katumpakan sa ilang mga kahulugan ay isang pangunahing ari-arian ng pag-iisip. Sa batayan nito, ang batas ng pagkakakilanlan ay nagmula: ang lahat ng mga kaisipan ay dapat na ganap na magkapareho sa kanilang sarili. Ang iba't ibang mga saloobin ay hindi maaaring makilala sa anumang sitwasyon. Kadalasan, ang batas na ito ay lumabag sa katotohanan na ang parehong mga saloobin ay ipinahayag sa iba't ibang paraan. Gayundin, ang mga problema ay lumitaw kapag ginamit ang mga salitang may ilang iba't ibang kahulugan. Sa kasong ito, ang mga kaisipan ay maaaring makilala nang mali.

Ang pagkakakilanlan ng hindi magkatugma na mga saloobin ay kadalasang nangyayari kapag ang mga tao ng iba't ibang propesyon ay nakikibahagi sa isang dialogue na iba sa kanilang antas ng edukasyon at iba pa. Ang pagkakakilanlan ng iba't ibang mga konsepto ay isang malubhang lohikal na pagkakamali, na sa ilang mga kaso ay sinasadya ng mga tao na sinasadya.

Ang mga batas ng lohika ay kinabibilangan ng batas ng di-pagkakasalungatan . Upang magsimula, ang lohikal na pag-iisip ay isang pare-pareho. Ang anumang kontradiksyon na pag-iisip ay maaaring makabuluhang hadlangan ang proseso ng katalusan. Ang pormal na lohikal na pag-aaral ay batay sa pangangailangan ng di-kasalungat na pag-iisip: kung mayroong dalawang nagkakasalungat na konsepto, pagkatapos ay hindi bababa sa isa sa mga ito ang dapat na mali. Kasabay nito, hindi sila maaaring maging totoo sa anumang sitwasyon. Ang batas na ito ay maaari lamang kumilos sa dalawang ganap na magkasalungat na hatol.

Ang batas ng ibinukod na ikatlong ay nagpasok din sa mga pangunahing batas ng lohika. Ang pagkilos nito ay umaabot sa magkasalungat na hatol. Sa ilalim na linya ay ang dalawang magkasalungat na hatol ay hindi mali sa parehong oras - ang isa ay totoo. Tandaan natin na ang mga kontradiksyon na mga panukalang tumawag sa mga pahayag na ito, ang isa ay nagtatwa ng isang bagay tungkol sa bagay o sa hindi pangkaraniwang bagay ng ating mundo, habang ang pangalawa sa parehong sandali ay nagpapanatili ng parehong bagay tungkol sa parehong kababalaghan o bagay. Sa ilang mga kaso, maaaring hindi ito isang pangkaraniwang bagay o isang bagay, ngunit tungkol lamang sa ilang partikular na bahagi. Sa pangyayari na posible upang patunayan ang katotohanan ng isa sa mga magkasalungat na hatol, ang kasinungalingan ng isa ay awtomatikong napatunayang.

Ang batas ng sapat na dahilan ay nakumpleto ang mga batas ng lohika. Ipinahayag niya ang mga hinihiling na ginawa sa bisa ng kanyang mga kaisipan. Sa ilalim na linya ay na ang anumang dahilan na may sapat na batayan ay maaaring makilala bilang totoo. Sa ibang salita, kung mayroong isang ideya, dapat na mayroong katwiran para dito. Sa karamihan ng mga kaso, ang karanasan ng isang tao ay sapat na batayan. Sa ilang mga kaso, posible upang patunayan ang katotohanan lamang sa pamamagitan ng pagbibigay ng mga katotohanan, karagdagang impormasyon pagtitipon at iba pa. Upang kumpirmahin ang anumang partikular na mga kaso upang kumpirmahin ang katotohanan, hindi kinakailangan na sumangguni sa anumang karanasan - maraming mga axioms sa mundo, iyon ay, na hindi nangangailangan ng anumang patunay.