Ang pormal na lohika ay dumaan sa dalawang pangunahing yugto sa pag-unlad nito. Ang simula ng unang yugto ay nauugnay sa mga gawa ng sinaunang pilosopong Griyego na si Aristotle, kung saan unang ibinigay ang isang sistematikong pagtatanghal ng lohika. Aristotelian logic at lahat ng pre-mathematical logic ay karaniwang tinatawag na "tradisyonal" na lohika. Tinutukoy at inilalarawan ng tradisyonal na lohika ang ilan sa mga pinakasimpleng anyo ng pangangatwiran na naayos sa wika. Ang ikalawang yugto ay ang paglitaw ng matematikal o simbolikong lohika. . Leibniz sa pagtatapos ng ika-17 siglo

Ang pangunahing gawain ng lohika ay ang paghihiwalay tamang paraan ng pangangatwiran(konklusyon, konklusyon) mula sa mga mali.

Ang mga tamang konklusyon ay tinatawag din makatwiran, pare-pareho o lohikal.

Ang pangangatwiran ay kumakatawan sa isang tiyak, panloob na tinutukoy na koneksyon ng mga pahayag. Depende sa ating kalooban kung saan ihihinto ang ating mga iniisip. Anumang oras ay maaari nating matakpan ang nasimulan nating talakayan at lumipat sa ibang paksa.

Kung umiikot ang Earth sa paligid ng axis nito, unti-unting binabago ng mga pendulum na umuusad sa ibabaw nito ang eroplano ng kanilang mga oscillations; Ang mundo ay umiikot sa axis nito; Nangangahulugan ito na ang mga pendulum sa ibabaw nito ay unti-unting nagbabago sa eroplano ng kanilang mga oscillations.

Paano nagpapatuloy ang argumentong ito tungkol sa Earth at mga pendulum? Una, ang isang kondisyon na koneksyon ay itinatag sa pagitan ng pag-ikot ng Earth at ang pagbabago sa eroplano ng oscillation ng mga pendulum. Pagkatapos ay sinabi na ang Earth ay talagang umiikot. Mula dito ay sumusunod na ang mga pendulum ay talagang unti-unting nagbabago sa eroplano ng kanilang mga oscillations. Ang konklusyong ito ay kasunod ng ilang uri ng mapilit na puwersa. Tila ito ay ipinataw sa lahat ng tumanggap sa lugar ng pangangatwiran. Iyon ang dahilan kung bakit maaari ding sabihin na ang mga pendulum dapat baguhin ang eroplano ng mga panginginig ng boses nito, nang may pangangailangan gawin mo.

Ang pamamaraan ng pangangatwiran na ito ay simple: kung mayroong una, kung gayon mayroong pangalawa; ang una ay nagaganap; ibig sabihin may pangalawa.

Natatanging katangian ang tamang konklusyon ay na mula sa totoong premises ito ay palaging humahantong sa isang tunay na konklusyon

Ang lohika ay nagtuturo sa kanila na sinasadyang gamitin ang orihinal na mga prinsipyo tamang pag-iisip, itinatanim ang kasanayan sa pagbabalangkas ng malinaw, maayos at nakakumbinsi na kaisipan, tinitiyak ang kalayaan sa kurso ng pangangatwiran, bubuo at nagdidisiplina kakayahan ng pag-iisip, nagpapabuti sa pormal na kagamitan ng isip ng tao.

Bilang resulta, ang kaalaman sa lohika ay isang mahalagang bahagi ng legal na edukasyon. Ito ay dahil sa mga detalye ng trabaho ng isang abogado, maging siya ay isang hukom, abogado, legal na tagapayo, legal na iskolar, atbp. Lahat ng mga ito ay kailangang patuloy na tukuyin at uriin ang mga konklusyon bilang mga desisyon, makisali sa argumentasyon at pagtanggi, at tiyakin ang katumpakan at kalinawan ng mga pahayag upang ang mga ito ay malinaw na mabigyang-kahulugan at madama ng mga tao.

2 Pinag-aaralan ng lohika ang pag-iisip mula sa pananaw nito tamang mga form. Ang tamang pagbuo ng mga kaisipan sa proseso ng pangangatwiran ay karaniwan sa lahat; ito ay umuunlad at umuunlad nang hindi sinasadya, kasama ang kasanayan sa pagsasalita.

Logics - agham pilosopikal tungkol sa mga batas at anyo ng tamang pag-iisip.

Ang pag-iisip, tulad ng lahat ng bagay sa mundo, ay maaaring tingnan mula sa dalawang panig: mula dito nilalaman(kung ano ang iniisip) at mula sa labas mga form, ibig sabihin. isang paraan ng pagkonekta ng naiisip na nilalaman. Ang nilalaman ng pag-iisip ay walang katapusan na magkakaibang, patuloy na nagbabago, umuunlad sa bawat indibidwal na tao at sa sangkatauhan sa kabuuan.

Ayon sa nilalaman ng mga kaisipan, mayroong alinman totoo, ibig sabihin. totoo, o mali, ibig sabihin. hindi totoo. Sa mga tuntunin ng anyo, ang mga kaisipan ay nailalarawan bilang tama o hindi tama. Kasabay nito, ang lahat ng pagkakaiba-iba ng pag-iisip ay bumababa sa 3 pangunahing anyo na may unibersal na kalikasan ng tao at hindi nakasalalay sa alinman sa nilalaman o wika ng pangangatwiran:

konsepto: isang pag-iisip tungkol sa isang bagay (bagay, kababalaghan, aksyon), na tinutukoy sa wika ng isang salita o grupo ng mga salita.

Mga halimbawa:"Tao", " mabait na tao", "Bigfoot", "lalaking tumatawid sa kalye", "laro", "eclipse", "paradox", "walanghiya", "paglukso", "masamang panahon".

2. Paghuhukom o kasabihan: isang apirmatibo o negatibong koneksyon sa pagitan ng dalawa o higit pang mga konsepto na ipinahayag ng isang pangungusap.

Mga halimbawa: "Nagpunta si Bigfoot sa mga bundok", "Umuulan ng niyebe o umulan kahapon", "Ang Moscow ang kabisera ng Russia", "Dapat magkaroon ng sariling pangarap ang bawat isa", "Walang mga himala sa mundo", "Kung walang kaligayahan, ngunit ang kasawian ay makakatulong."

3. Konklusyon: pangangatwiran na nagpapahintulot mula sa isa, dalawa o higit pang mga kaisipan - mga parsela magkaroon ng bagong pag-iisip - konklusyon, o bigyang-katwiran ang isang alam na ideya

Lohikal na batas - ito ay isang kinakailangang relasyon sa pagitan ng mga kaisipang humahantong sa katotohanan

Ang propositional logic ay ang teorya ng mga lohikal na koneksyon ng mga pahayag na hindi nakadepende panloob na istraktura(mga istruktura) mga simpleng pahayag.

Ang lohika ng mga pahayag ay batay sa sumusunod na dalawang pagpapalagay:

1) ang bawat pahayag ay tama o mali (ang prinsipyo ng kalabuan);

2) ang halaga ng katotohanan ng isang kumplikadong pahayag ay nakasalalay lamang sa mga halaga ng katotohanan ng mga simpleng pahayag na kasama dito at ang likas na katangian ng kanilang koneksyon.

Batay sa mga pagpapalagay na ito, ang mga mahigpit na kahulugan ng mga lohikal na pag-uugnay na "at", "o", "kung, pagkatapos", atbp. ay ibinigay dati. Ang mga kahulugang ito ay nabuo sa anyo mga talahanayan ng katotohanan at tinawag tabular na kahulugan ng mga connective. Alinsunod dito, ang mismong pagtatayo ng propositional logic, batay sa mga kahulugang ito, ay tinatawag ang pagtatayo nito sa tabular

Ayon sa tinatanggap na mga kahulugan:

Ang isang pang-ugnay ay totoo kapag ang parehong mga pahayag na kasama dito ay totoo;

Ang isang disjunction ay totoo kapag ang kahit isa sa mga pahayag na kasama dito ay totoo;

Ang mahigpit na disjunction ay totoo kapag ang isa sa mga nasasakupan nitong pahayag ay tama at ang isa ay mali;

Totoo ang isang implikasyon sa tatlong kaso: totoo ang batayan at kahihinatnan nito; ang dahilan ay mali, ngunit ang kahihinatnan ay totoo; pareho ang dahilan at ang kahihinatnan ay mali;

Tama ang isang equivalence kapag ang dalawang pahayag na itinutumbas nito ay parehong totoo o parehong mali;

Ang negatibong pahayag ay totoo kapag ang tinanggihang pahayag ay mali, at kabaliktaran.

Sa lahat ng mga lohikal na batas, ang pinakasikat ay, walang alinlangan, batas ng kontradiksyon. At kasabay nito, wala pang panahon sa kasaysayan ng lohika kung kailan hindi pinagtatalunan ang batas na ito at nang tuluyang huminto ang mga talakayan sa paligid nito.

Sabi ng batas ng kontradiksyon magkasalungat mga pahayag sa isa't isa, i.e. tungkol sa mga pahayag, na ang isa ay negasyon ng isa pa. Kabilang dito, halimbawa, ang mga pahayag na "Ang Buwan ay isang satellite ng Earth" at "Ang Buwan ay hindi isang satellite ng Earth", "Ang damo ay berde" at "Hindi totoo na ang damo ay berde", atbp. Sa isa sa mga magkasalungat na pahayag ay may isang bagay na pinagtitibay, sa isa pa ang parehong bagay ay tinanggihan.

Ang batas ng kontradiksyon ay tumatalakay sa mga salungat na pahayag - kaya ang pangalan nito. Ngunit itinatanggi niya ang kontradiksyon, idineklara itong isang pagkakamali at sa gayon ay hinihiling ang pagkakapare-pareho - kaya isa pang karaniwang pangalan - batas ng hindi pagkakasalungatan.

Kung ilalapat natin ang mga konsepto ng katotohanan at kasinungalingan, ang batas ng kontradiksyon ay maaaring mabalangkas tulad ng sumusunod: walang pahayag na parehong totoo at mali.

Minsan ang batas ng kontradiksyon ay binabalangkas tulad ng sumusunod: sa dalawang magkasalungat na pahayag, ang isa ay mali

Batas ng Pagkakakilanlan

Sa proseso ng pangangatwiran, ang bawat pag-iisip ay dapat manatiling magkapareho sa sarili nito, i.e. magkaroon ng isang tiyak, matatag na nilalaman. Kapag nangangatuwiran tungkol sa anumang bagay, kinakailangang isipin ang partikular na bagay na ito, sa parehong nilalaman ng mga katangian nito. Ang batas ay nag-aatas na huwag tukuyin ang iba't ibang mga konsepto at kaisipan, hindi upang ipasa ang magkatulad na mga bagay bilang magkaiba, i.e. nangangailangan ng katiyakan at kalabuan.

Halimbawa ng paglabag:

"Kilala mo ba itong saradong tao?

Hindi hindi ko alam.

Ito ang iyong ama. Kaya hindi mo kilala ang iyong ama!"

Batas ng ibinukod na gitna tulad ng batas ng kontradiksyon, nagtatatag ito ng koneksyon sa pagitan ng mga pahayag na sumasalungat sa isa't isa. Inaangkin niya: Sa dalawang magkasalungat na pahayag, ang isa ay totoo.

Ang dalawang magkasalungat na proposisyon ay hindi maaaring maging mali sa parehong oras; ang isa sa mga ito ay dapat na totoo. Sa ibang salita, Sa dalawang magkasalungat na paghatol, ang isa ay totoo, ang isa ay mali, at ang pangatlo ay hindi ibinigay. Ang batas ay nag-aatas na huwag iwaksi ang pagkilala sa isa sa mga alternatibong kapwa eksklusibo.

Halimbawa, ang hurado ay kinakailangang gumawa ng malinaw na desisyon - kung ang nasasakdal ay nagkasala o hindi nagkasala. Ang "Sturgeon ay hindi ang unang pagiging bago" ay isang halimbawa ng isang paglabag sa batas ng ibinukod na gitna.

Ang bawat tunay na pag-iisip ay dapat sapat na napatunayan. Ang batas na ito ay nagpapahayag ng pangangailangan para sa bisa ng mga kaisipan. Sa proseso ng pangangatwiran, ang mga hatol lamang na iyon ang dapat ituring na maaasahan para sa katotohanan kung saan maaaring magbigay ng sapat na batayan. O kaya: bawat pag-iisip ay dapat patunayan ng iba, na ang katotohanan ay napatunayan na.

Sa lohika, ang patunay ay nauunawaan bilang isang pamamaraan para sa pagtatatag ng katotohanan ng isang tiyak na pahayag sa pamamagitan ng pagbanggit ng iba pang mga pahayag, na ang katotohanan ay alam na at kung saan ang una ay kinakailangang sumunod.

Magkaiba ang patunay thesis- isang pahayag na kailangang patunayan, base(mga pangangatwiran) – ang mga probisyong iyon sa tulong kung saan napatunayan ang thesis, at lohikal na koneksyon sa pagitan ng mga argumento at thesis. Ang konsepto ng patunay ay palaging ipinapalagay, samakatuwid, ang isang indikasyon ng lugar kung saan ang thesis ay batay, at ang mga lohikal na tuntunin kung saan ang mga pagbabagong-anyo ng mga pahayag ay isinasagawa sa panahon ng patunay.

Ang lahat ng ebidensya ay nahahati ayon sa istraktura nito, ayon sa pangkalahatang pag-unlad ano sa tingin mo tuwid At hindi direkta.

Sa pamamagitan ng direktang ebidensya, ang gawain ay upang makahanap ng mga nakakumbinsi na argumento kung saan lohikal na sumusunod ang thesis.

Ang hindi direktang ebidensya ay nagtatatag ng bisa ng thesis sa pamamagitan ng pagsisiwalat ng kamalian ng palagay na kabaligtaran nito, antithesis

Depende sa kung paano ipinapakita ang kasinungalingan ng antithesis, maaaring makilala ang ilang mga opsyon para sa hindi direktang ebidensya.

pagsusuri ng napaka-lohikal na istraktura ng mga kahihinatnan ng antithesis. Kung kabilang sa mga kahihinatnan ay mayroong parehong affirmation at isang pagtanggi sa parehong bagay, maaari nating agad na tapusin na ang antithesis ay hindi tama. Magiging mali rin kung ang isang panloob na salungat na pahayag tungkol sa pagkakakilanlan ng paninindigan at pagtanggi ay hango dito.

LOGIKA

Textbook para sa mga faculties ng humanities

BBK 87.4 I25

Ivin A. A.

I25 Logic: Textbook para sa mga faculties ng humanities. - M..:

PATAS NA PAMAMAHAYAG, 2000.- 320 p.

ISBN 5-8183-0045-5

Basic textbook ng logic para sa mas mataas na institusyong pang-edukasyon Sinusuri ang mga pangunahing konsepto, ideya at pamamaraan ng modernong lohika, mga batas at mga operasyon ng tamang pag-iisip. Ang partikular na atensyon ay binabayaran sa lohikal na pagsusuri ng natural na wika, ang problema sa pag-unawa at ang sining ng kontrobersya at talakayan. Ang istraktura at pagpili ng mga paksa ay ginagawang posible na magmodelo ng isang kursong lohika ayon sa dami ng oras ng pagtuturo at ang profile ng institusyong pang-edukasyon.

Ang aklat-aralin ay pangunahing inilaan para sa mga mag-aaral at guro ng humanities. Dahil sa likas na katangian ng materyal na ipinakita, ang accessibility ng pagtatanghal at ang transparency ng wika, ang aklat-aralin ay maaaring maging interesado sa isang malawak na hanay ng mga mambabasa.

Walang bahagi ng ibabang aklat ang maaaring kopyahin sa anumang anyo nang walang nakasulat na pahintulot ng mga may hawak ng copyright

ISBN 5-8183-0045-5

PAUNANG-TAO

Ang lohika ay isa sa mga pinakalumang agham. Ang kasaysayan nito ay nagsimula pabalik Sinaunang Greece at itinayo noong dalawa't kalahating libong taon. Sa pagtatapos ng huling - simula ng siglong ito, nagkaroon ng pagbabago sa lohika rebolusyong siyentipiko, bilang isang resulta kung saan ang estilo ng pangangatwiran, mga pamamaraan at agham ay radikal na nagbago, at ang agham ay tila nakakuha ng pangalawang hangin. Ngayon ang lohika ay isa sa mga pinaka-dynamic na agham, isang modelo ng higpit at katumpakan kahit para sa mga teoryang matematika.

Ang pakikipag-usap tungkol sa lohika ay parehong madali at mahirap sa parehong oras. Madali ito dahil ang mga batas nito ay sumasailalim sa ating pag-iisip. Sa madaling salita, kilala sila ng lahat. Ang bawat paggalaw ng pag-iisip na nakakaunawa sa katotohanan at kabutihan ay nakabatay sa mga batas na ito at imposible kung wala ang mga ito. Sa ganitong kahulugan, ang lohika ay kilala.

Isa sa mga bayani ng komedya ni Moliere ay hindi sinasadyang natuklasan na siya ay nagsasalita sa prosa sa buong buhay niya. Gayon din ang lohika na kusang nakuha natin. Maaari mong patuloy na ilapat ang mga batas nito - at, bukod dito, napakahusay - at sa parehong oras ay walang malinaw na ideya ng alinman sa mga ito.

Gayunpaman, ang mga kusang nabuong kasanayan ng lohikal na perpektong pag-iisip at ang siyentipikong teorya ng naturang pag-iisip ay ganap na magkaibang mga bagay. Ang lohikal na teorya ay natatangi. Ipinahayag niya ang tungkol sa karaniwan - tungkol sa pag-iisip ng tao - kung ano ang tila sa unang tingin ay hindi karaniwan at hindi kailangang kumplikado. Bilang karagdagan, ang pangunahing nilalaman nito ay nabuo sa isang espesyal na artipisyal na wika na partikular na nilikha para sa mga layuning ito. Kaya't ang kahirapan ng unang kakilala sa lohika: ang isa ay dapat tumingin sa pamilyar at itinatag na may mga bagong mata at makita ang lalim sa likod ng kung ano ang kinuha para sa ipinagkaloob.

Kung paanong ang kakayahang magsalita ay umiral nang matagal bago ang gramatika, gayundin ang sining ng pag-iisip ay umiral nang tama bago ang paglitaw ng agham ng lohika. Ang napakaraming mga tao kahit ngayon ay nag-iisip at nangangatuwiran nang hindi lumingon sa espesyal na agham para sa tulong at nang hindi umaasa sa tulong na ito. Ang ilan ay may posibilidad na isaalang-alang ang kanilang sariling pag-iisip natural na proseso, na nangangailangan ng pagsusuri at kontrol ng hindi hihigit sa, sabihin nating, paghinga o paglalakad.

Siyempre, ito ay isang kamalian. Ang pagiging pamilyar sa mga unang seksyon ng aklat ay magpapakita ng kawalang-saligan ng gayong labis na optimismo tungkol sa ating kusang nabuong mga kasanayan sa tamang pag-iisip.

Ang aklat-aralin na ito ay inilaan para sa mga kinatawan ng mga humanitarian specialty. Ang simbolikong paraan, na malawakang ginagamit ng modernong lohika, ay binabawasan sa pinakamababa. Ang partikular na atensyon ay binabayaran sa natural na wika at ang mga lohikal na pagkakamali na posible kapag ginagamit ito. Humanitarian sciences naiiba sa mga natural, sa partikular, dahil nagtatatag sila ng mga tahasang pagtatasa at pamantayan. Kaugnay nito, detalyadong tinatalakay ng aklat ang mga problemang nauugnay sa mga di-naglalarawang paggamit ng wika at may argumentasyon bilang suporta sa mga pagtatasa at pamantayan. Ang konsepto ng pag-unawa ay isa sa mga sentral sa metodolohiya ng makataong kaalaman. Sinusuri ng kabanata sa pag-unawa ang lohikal na istruktura ng operasyong ito at ang tatlong pangunahing lugar ng aplikasyon nito: pag-unawa sa pag-uugali, pag-unawa mga ekspresyong pangwika at pag-unawa sa kalikasan. Kapag naglalarawan ng mga paraan ng argumentasyon Espesyal na atensyon nakatutok sa teoretikal at kontekstwal na mga argumento na may malawak na aplikasyon sa humanidades.

Mga tatlong daang taon na ang nakalilipas, ang mga may-akda ng mga aklat sa lohika ay itinuturing na kanilang tungkulin na balaan ang mambabasa laban sa pagmamadali kapag nagbabasa: "Ang isa ay hindi dapat maglayag sa tubig ng lohika na may ganap na layag." Simula noon, ang lohika ay gumawa ng malalaking hakbang pasulong. Lumawak at lumalim ang nilalaman nito. At ang lumang payo na ito ngayon ay tila lalong kapaki-pakinabang.

LOGIC PROBLEMS

TAMANG PANGANGATWIRAN

Ang salitang "lohika" ay madalas na ginagamit, ngunit sa iba't ibang kahulugan.

Madalas na pinag-uusapan ng mga tao ang lohika ng mga kaganapan, lohika ng karakter, atbp. Sa mga kasong ito, ang ibig naming sabihin ay isang tiyak na pagkakasunud-sunod at pagkakaugnay ng mga kaganapan o aksyon, ang pagkakaroon ng isang tiyak na karaniwang linya sa mga ito.

Ang salitang "lohika" ay ginagamit din na may kaugnayan sa mga proseso ng pag-iisip. Kaya, pinag-uusapan natin ang tungkol sa lohikal at hindi lohikal na pag-iisip, ibig sabihin ang pagkakaroon o kawalan ng mga katangian tulad ng pagkakapare-pareho, ebidensya, atbp.

Sa ikatlong kahulugan, ang "lohika" ay ang pangalan ng isang espesyal na agham ng pag-iisip, na tinatawag din pormal na lohika.

Mahirap makahanap ng mas maraming aspeto at kumplikadong kababalaghan kaysa sa pag-iisip ng tao. Pinag-aaralan ito ng maraming agham, at isa na rito ang lohika. Ang paksa nito ay mga lohikal na batas at lohikal na operasyon ng pag-iisip. Ang mga prinsipyong itinatag ng lohika ay kinakailangan, tulad ng lahat ng mga batas sa siyensiya. Maaaring hindi natin sila namamalayan, ngunit napipilitan tayong sumunod sa kanila.

Ang pormal na lohika ay ang agham ng mga batas at pagpapatakbo ng tamang pag-iisip.

Ang pangunahing gawain ng lohika ay ang paghihiwalay tamang paraan ng pangangatwiran(konklusyon, konklusyon) t mali.

Ang mga tamang konklusyon ay tinatawag din makatwiran, pare-pareho o lohikal.

Ang pangangatwiran ay kumakatawan sa isang tiyak, panloob na tinutukoy na koneksyon ng mga pahayag. Depende sa ating kalooban kung saan ihihinto ang ating mga iniisip. Anumang oras ay maaari nating matakpan ang nasimulan nating talakayan at lumipat sa ibang paksa. Ngunit kung magpasya tayong dalhin ito hanggang sa wakas, agad tayong mahuhulog sa lambat ng isang pangangailangan na mas mataas kaysa sa ating kalooban at kagustuhan. Ang pagkakaroon ng sumang-ayon sa ilang mga pahayag, napipilitan tayong tanggapin ang mga sumusunod mula sa kanila, hindi alintana kung gusto natin sila o hindi, kung sila ay nag-aambag sa ating mga layunin o, sa kabaligtaran, humahadlang sa kanila. Sa pamamagitan ng pag-amin sa isang bagay, awtomatiko nating inaalis ang ating sarili ng pagkakataong igiit ang isa pa, hindi tugma sa kung ano ang natanggap na.

Kung kumbinsido tayo na ang lahat ng mga likido ay nababanat, dapat din nating aminin na ang mga sangkap na hindi nababanat ay hindi nabibilang sa mga likido. Ang pagkakaroon ng kumbinsido sa ating sarili na ang bawat waterfowl ay kinakailangang humihinga gamit ang hasang, hindi namin ibinubukod mula sa kategorya ng waterfowl ang mga humihinga gamit ang mga baga - mga balyena at dolphin

Ano ang pinagmulan ng lohikal na pangangailangang ito? Ano nga ba ang dapat ituring na hindi tugma sa mga natanggap na pahayag at ano ang dapat tanggapin kasama ng mga ito? Mula sa pag-iisip tungkol sa mga tanong na ito, lumitaw ang isang espesyal na agham ng pag-iisip - lohika. Pagsagot sa tanong na "what follows from what?", humiwalay siya ang mga tamang paraan pangangatwiran mula sa mga mali at isinasaayos ang mga una.

Ang tamang konklusyon ay ang mga sumusunod, na ginamit bilang karaniwang halimbawa sa sinaunang Greece:

Lahat ng tao ay mortal; Si Socrates ay isang tao; samakatuwid si Socrates ay mortal.

Ang unang dalawang pahayag ay mga parsela konklusyon, ang pangatlo ay kanya konklusyon.

Malinaw, ang sumusunod na pangangatwiran ay magiging tama:

Ang bawat metal ay electrically conductive; sosa - metal; Nangangahulugan ito na ang sodium ay electrically conductive.

Mapapansin mo kaagad ang pagkakapareho ng dalawang konklusyong ito, ngunit hindi sa nilalaman ng mga pahayag na kasama sa mga ito, ngunit sa likas na katangian ng koneksyon sa pagitan ng mga pahayag na ito. Maaaring maramdaman ng isang tao na, mula sa punto ng view ng kawastuhan, ang mga konklusyong ito ay ganap na magkapareho:

kung ang isa sa kanila ay tama, kung gayon ang isa ay magiging pareho, at, bukod dito, para sa parehong mga kadahilanan.

Isa pang halimbawa ng tamang konklusyon na nauugnay sa sikat na eksperimento ni Foucault.

Kung umiikot ang Earth sa paligid ng axis nito, unti-unting binabago ng mga pendulum na umuusad sa ibabaw nito ang eroplano ng kanilang mga oscillations; Ang mundo ay umiikot sa paligid ng axis nito: nangangahulugan ito na ang mga pendulum sa ibabaw nito ay unti-unting nagbabago sa eroplano ng kanilang mga oscillations.

Paano nagpapatuloy ang argumentong ito tungkol sa Earth at mga pendulum? Una, ang isang kondisyon na koneksyon ay itinatag sa pagitan ng pag-ikot ng Earth at ang pagbabago sa eroplano ng oscillation ng mga pendulum. Pagkatapos ito ay nakasaad na ang Earth ay talagang umiikot. Mula dito ay napagpasyahan na ang mga pendulum ay unti-unting nagbabago sa eroplano ng kanilang mga oscillations. Ang konklusyong ito ay sinusundan ng ilang uri ng sapilitang puwersa. Ito ay, kumbaga, ipinataw sa lahat na tumanggap sa mga lugar ng pangangatwiran. Iyon ang dahilan kung bakit maaari ding sabihin na ang mga pendulum dapat baguhin ang eroplano ng kanilang mga vibrations, ginagawa nila ito nang may pangangailangan.

Ang pamamaraan ng pangangatwiran na ito ay simple: kung mayroong una, kung gayon mayroong pangalawa; ang una ay nagaganap; ibig sabihin may pangalawa.

Ang pangunahing mahalagang bagay ay, anuman ang ating pangangatuwiran ayon sa pamamaraang ito - tungkol sa Earth at mga pendulum, tungkol sa tao o mga elemento ng kemikal, tungkol sa mga alamat o diyos, ang pangangatwiran ay mananatiling tama.

Upang ma-verify ito, sapat na na palitan ang dalawang pahayag ng anumang partikular na nilalaman sa diagram sa halip na ang mga salitang "una" at "pangalawa".

Baguhin natin ang iskema na ito at mangatwiran nang ganito: kung ang una ay umiiral, kung gayon ang pangalawa ay umiiral; ang pangalawa ay nagaganap; ibig sabihin meron din yung una.

Halimbawa:

Kung umuulan, ang lupa ay basa; basa ang lupa; kaya umuulan.

Malinaw na mali ang konklusyong ito. Totoo na sa tuwing umuulan, basa ang lupa. Ngunit mula sa kondisyong pahayag na ito at ang katotohanan na ang lupa ay basa, hindi ito sumusunod na umuulan. Ang lupa ay maaaring basa nang walang ulan, maaari itong basa, sabihin, mula sa isang hose, maaari itong basa pagkatapos matunaw ang niyebe, atbp.

Ang isa pang halimbawa ng pangangatwiran gamit ang huling pamamaraan ay magpapatunay na maaari itong humantong sa mga maling konklusyon:

Kung ang isang tao ay may lagnat, siya ay may sakit: ang tao ay may sakit; Ibig sabihin nilalagnat siya.

Gayunpaman, ang konklusyong ito ay hindi kinakailangang sumunod: mga taong may mataas na temperatura ay talagang may sakit, ngunit hindi lahat ng mga pasyente ay may ganoong temperatura.

Ang isang natatanging tampok ng isang tamang konklusyon ay na mula sa totoong mga lugar ay palaging humahantong sa isang tunay na konklusyon.

Ipinapaliwanag nito ang napakalaking interes na ipinapakita ng lohika sa mga tamang konklusyon. Pinapayagan ka nitong makakuha ng bagong kaalaman mula sa umiiral na kaalaman, at higit pa rito, sa tulong ng "dalisay" na pangangatwiran, nang walang anumang paraan sa karanasan, intuwisyon, atbp. Ang tamang pangangatwiran, kumbaga, ay naglalahad at nagkonkreto ng ating kaalaman. Nagbibigay ito ng isang daang porsyento na garantiya ng tagumpay, at hindi basta nagbibigay ng isa o isa pa - marahil isang mataas na posibilidad ng isang tunay na konklusyon.

Kung ang mga lugar, o kahit isa sa mga ito, ay mali, ang tamang pangangatwiran ay maaaring magresulta sa alinman sa katotohanan o kasinungalingan. Ang maling pangangatwiran ay maaaring humantong mula sa totoong premise sa alinman sa totoo o maling konklusyon. Walang kasiguraduhan dito. Sa lohikal na pangangailangan, ang konklusyon ay sumusunod lamang sa kaso ng tama, may matatag na konklusyon.

Ang lohika, siyempre, ay tumatalakay hindi lamang sa mga koneksyon ng mga pahayag sa tamang konklusyon, ngunit pati na rin ang iba pang mga problema. Kabilang sa mga huli ay ang kahulugan at kahalagahan ng mga pagpapahayag ng wika, iba't ibang ugnayan sa pagitan ng mga konsepto, kahulugan ng mga konsepto, probabilistiko at istatistikal na pangangatwiran, mga sophism at kabalintunaan, atbp. Ngunit ang pangunahing at nangingibabaw na tema ng pormal na lohika ay, walang alinlangan, ang pagsusuri ng kawastuhan ng pangangatwiran, ang pag-aaral ng "mapilit na kapangyarihan ng mga talumpati" ", gaya ng sinabi ng tagapagtatag ng agham na ito - sinaunang Griyegong pilosopo at ang logician na si Aristotle.

LOHIKAL NA ANYO

Ang pormal na lohika, tulad ng nabanggit na, ay naghihiwalay sa mga wastong paraan ng pangangatwiran mula sa mga mali at isinasaayos ang una.

Ang pagiging natatangi ng pormal na lohika ay nauugnay pangunahin sa nito payak na prinsipyo Ayon sa ang kawastuhan ng pangangatwiran ay nakasalalay lamang sa lohikal na anyo nito.

©2015-2019 site
Lahat ng karapatan ay pag-aari ng kanilang mga may-akda. Hindi inaangkin ng site na ito ang pagiging may-akda, ngunit nagbibigay ng libreng paggamit.
Petsa ng paggawa ng page: 2016-02-16

Ano ang pag-aaral ng lohika bilang isang agham at bakit ito tinawag na pormal?

Ang salitang "lohika" ay nagmula sa Griyego mga logo, na nangangahulugang "kaisipan", "salita", "isip", "batas". Sa modernong wika ang salitang ito ay ginagamit, bilang panuntunan, sa tatlong kahulugan:

upang ipahiwatig ang mga pattern at relasyon sa pagitan ng mga kaganapan o mga aksyon ng mga tao sa layunin ng mundo; sa ganitong diwa, madalas nilang pinag-uusapan ang "lohika ng mga katotohanan", "lohika ng mga bagay", "lohika ng mga kaganapan", "lohika ng mga internasyonal na relasyon", "lohika ng pakikibaka sa pulitika", atbp.;

upang tukuyin ang higpit, pare-pareho, at regularidad ng proseso ng pag-iisip; sa kasong ito, ang mga sumusunod na expression ay ginagamit: "lohika ng pag-iisip", "lohika ng pangangatwiran", "bakal na lohika ng pangangatwiran", "walang lohika sa konklusyon", atbp.

upang tukuyin ang isang espesyal na agham na nag-aaral ng mga lohikal na anyo, mga operasyon sa kanila at ang mga batas ng pag-iisip.

Bagay Ang lohika bilang agham ay pag-iisip ng tao. Ngunit ang pag-iisip ay isang masalimuot, multilateral na proseso ng pangkalahatang pagmuni-muni ng isang tao sa mga bagay, ang kanilang mga pag-aari at mga relasyon ng mundo sa paligid niya. Ang prosesong ito ay pinag-aaralan ng maraming agham, halimbawa, pilosopiya, sikolohiya, genetika, lingguwistika, cybernetics, atbp. Pilosopiya pinag-aaralan ang pinagmulan at kakanyahan ng pag-iisip, ang kaugnayan nito sa materyal na mundo at kaalaman. Sikolohiya pinag-aaralan ang mga kondisyon ng normal (kaugnay ng patolohiya) na gumagana at pag-unlad ng pag-iisip, ang impluwensya ng socio-psychological na kapaligiran dito. Genetics naglalayong ibunyag ang mekanismo ng pamana ng mga tao ng kakayahang mag-isip. Linggwistika interesado sa ugnayan ng pag-iisip at wika. Mga siyentipiko- cybernetics ay sinusubukang bumuo ng mga teknikal na modelo ng utak at pag-iisip ng tao. L ogica Pinag-aaralan nito ang proseso ng pag-iisip mula sa punto ng view ng istraktura ng mga pag-iisip, ang kawastuhan at hindi tama ng pangangatwiran, abstracting mula sa tiyak na nilalaman ng mga saloobin at ang kanilang pag-unlad.

Paksa Ang lohika ay mga lohikal na anyo, mga operasyon sa kanila at mga batas ng pag-iisip.

Upang mas maunawaan ang paksa ng pag-aaral ng lohika, isaalang-alang natin sa madaling sabi ang proseso ng pag-unawa ng isang tao sa mundo sa paligid niya. Cognition- ang proseso ng pagkakaroon ng kaalaman tungkol sa mundo. Mayroong dalawang paraan (mga mapagkukunan) ng pagkuha ng kaalaman:

sensory cognition - sa tulong ng mga organo at instrumento ng pandama;

makatwiran (ratio - isip) - cognition sa pamamagitan ng abstract 1 thinking.

Ang batayan ng materyalistikong teorya ng pag-unawa ay ang teorya ng pagmuni-muni: ang mga bagay, phenomena ng layunin ng mundo ay nakakaimpluwensya sa mga pandama ng tao, pinipilit ang buong sistema ng pagpapadala ng impormasyon sa utak (pati na rin ang utak mismo), bilang isang resulta kung saan ang isang tao ay lumilikha ng mga larawan ng mga bagay at phenomena na ito. Sensual Ang mga imahe ay kaalaman tungkol sa mga panlabas na katangian, aspeto ng mga bagay at phenomena (nakikita, naririnig, nasasalat, atbp.). Ganito, halimbawa, ang ating kaalaman na “tagulan ngayon”; "Ays alas kuwatro y medya sa aking relo"; "ang rosas na ito ay pula"; "Umupo si Pedro sa kaliwa ni Paul," atbp.

Ang sensory cognition ay nangyayari sa tatlong pangunahing anyo: pandamdam (pagsalamin ng mga indibidwal na katangian ng mga bagay), pang-unawa (pagsalamin ng bagay sa kabuuan, ito ay isang holistic na imahe ng bagay) at representasyon (napanatili na imahe ng mga bagay).

Ngunit sa yugto ng sensory cognition, hindi malalaman ng isang tao kakanyahan mga bagay at phenomena, ang kanilang panloob ari-arian. Tulad ng sinabi ng Munting Prinsipe mula sa kuwento ng parehong pangalan ni A. de Saint-Exupéry, "hindi mo makikita ang pinakamahalagang bagay sa iyong mga mata." Samakatuwid, ang katwiran, o abstract na pag-iisip, na sumasalamin sa katotohanan sa mga pangunahin at mahahalagang katangian at relasyon nito, ay tumulong sa mga pandama.

Sa abstract na pag-iisip, ang kaalaman sa mundo ay hindi nangyayari nang tahasan, ngunit hindi direkta - nang walang pag-uulit sa pagmamasid, pagsasanay, ngunit sa tulong ng karagdagang pangangatwiran tungkol sa mga katangian at relasyon ng mga bagay at phenomena. Halimbawa, maaaring sabihin sa iyo ng isang thermometer ang tungkol sa lagay ng panahon; Gamit ang mga bakas na iniwan ng kriminal sa pinangyarihan ng krimen, maaari mong muling likhain ang larawan ng krimen at hanapin ang kriminal, atbp.

Ang isa sa pinakamahalagang tampok ng abstract na pag-iisip ay ang kaugnayan nito sa wika: ang bawat pag-iisip ay pormal sa pamamagitan ng mga salita at parirala - "binibigkas" gamit ang panloob o panlabas na pananalita.

Sa proseso ng pag-iisip, ang isang tao ay hindi lamang sumasalamin umiiral na mundo, ngunit maaaring lumikha ng mga bagong ideya, abstraction, hulaan at asahan.

Ang rasyonal o abstract na pag-iisip ay nangyayari sa tatlong pangunahing anyo - mga konsepto, paghuhusga, at mga hinuha.

Konsepto - isang anyo ng pag-iisip sa tulong ng kung saan ang mga imaheng pangkaisipan ay nilikha tungkol sa mga bagay, kanilang mga katangian at relasyon. Sa proseso ng paglikha ng mga konsepto, ang isang tao pinag-aaralan mga paksang interesado sa kanya, nagkukumpara kanilang, mga highlight mahahalagang katangian, synthesize kanilang, abstract mula sa hindi mahalaga nag-generalize mga bagay sa isip ayon sa mga katangiang ito. Bilang resulta, ang mga imahe ng isip ay nilikha tungkol sa mga bagay, ang kanilang mga katangian at mga relasyon. Halimbawa, ang pag-abstract mula sa magkakaibang mga indibidwal na katangian ng mga mag-aaral na may kaugnayan sa kanilang nasyonalidad, kasarian, edad, atbp., at pag-highlight sa mga pangunahing katangian, maaari nating sabihin na ang isang mag-aaral ay isang mag-aaral ng mas mataas na institusyong pang-edukasyon; mag-aaral - isa na tumatanggap ng edukasyon; at ang tao mismo ay ang nakakapagtrabaho, nag-iisip, nagsasalita.

Malaki ang papel ng mga konsepto sa aktibidad ng pag-iisip ng tao. Sa kanilang tulong, maaari niyang gawing pangkalahatan, ikonekta sa isip kung ano ang umiiral nang hiwalay sa buhay. Sa layunin ng mundo ay walang estudyante, alagad, o tao sa pangkalahatan; ang mga pangkalahatang larawang ito ay maaari lamang umiral sa perpektong mundo, sa ulo ng isang tao.

Ang pagbuo ng mga konsepto ay ginagawang posible na magkaroon ng kaalaman tungkol sa mga phenomena batay sa mga pangunahing, mahahalagang katangian ng isang klase ng mga katulad na phenomena. Si Jonathan Swift ay mahusay na nagsasalita tungkol sa kung ano ang mangyayari kung ang mga tao ay hindi gumamit ng mga konsepto sa komunikasyon sa isa't isa. Ang isang matalinong tao, sabi ng may-akda ng Gulliver's Travels, ay nagmungkahi ng paggamit sa pag-uusap hindi mga konsepto tungkol sa mga bagay, ngunit ang mga bagay mismo upang ipahayag ang mga saloobin. Marami ang sumunod sa "matalino" na payo na ito. Totoo, ang mga kausap ay kailangang magdala ng malalaking bundle ng mga bagay sa kanilang mga balikat. Kapag nagkikita sa kalye, kinuha nila ang mga bag sa kanilang mga balikat, binuksan ito at, kinuha ang mga kinakailangang bagay mula roon, nakipag-usap sa ganitong paraan. Siyempre, ang gayong "pag-uusap" ay maaaring maging napaka-elementarya, kung ito ay maaaring mangyari sa lahat.

Ang pagkakaroon ng mga konsepto tungkol sa mga bagay, maaari ang isang tao hukom tungkol sa kanila (gumawa ng mga paghatol) at gawin hinuha. Halimbawa, ang pagkakaroon ng isang konsepto tungkol sa isang tao at ang pagkaalam na ang lahat ng nabubuhay na bagay ay namamatay nang maaga o huli, maaari tayong gumawa ng paghatol: "Ang bawat tao ay mortal."

Paghuhukom - isang paraan ng pag-iisip kung saan ang isang bagay ay pinagtitibay o tinatanggihan tungkol sa paksa ng pag-iisip. Ang mga sumusunod na pahayag ay mga paghatol din: "Ang bawat mag-aaral ay pumasa sa pagsusulit," "Kung ang isang mag-aaral ay hindi makapasa sa mga pagsusulit para sa unang taon, hindi siya maa-promote sa ikalawang taon," atbp.

Mula sa mga paghatol maaari tayong makakuha ng mga bagong paghatol. Halimbawa: batay sa proposisyong "Bawat tao ay mortal," maaaring igiit ng isa na "Ang ilang mga mortal ay mga tao" o tanggihan: "Walang tao ang imortal." Kung ikinonekta natin ang paghatol na "Ang bawat tao ay mortal" sa paghatol na "Si Socrates ay isang tao," kung gayon maaari nating makuha ang isang bagong paghatol: "Si Socrates ay mortal." Ang ugnayang ito ng mga paghatol ay tinatawag konklusyon:

Bawat tao ay mortal

Si Socrates ay isang lalaki

Si Socrates ay mortal 2.

Sa proseso ng pagbuo ng mga konsepto, paghuhusga at konklusyon, ang isang tao ay maaaring gumawa ng mulat at walang malay na mga pagkakamali. Upang maiwasan ang mga pagkakamali, kailangan mong malaman ang mga patakaran ng pag-iisip. Ang pag-iisip na binuo ayon sa mga tuntunin (at mga batas) ay tinatawag na tama.

Tamang pag-iisip - isa kung saan mula sa orihinal na tunay na kaalaman (mga konsepto, paghatol at hinuha) bagong tunay na kaalaman (mga bagong konsepto, paghatol, hinuha) ay palaging kinakailangang makuha. Sa maling pag-iisip, parehong totoo at maling bagong kaalaman ay maaaring makuha mula sa tunay na kaalaman.

Halimbawa, batay sa mga paghatol na "Kung umulan, kung gayon ang kalsada ay magiging basa" at "Umuulan," maaari nating kumpiyansa na sabihin na "Ang kalsada ay magiging basa." Ngunit mali ang paghihinuha: “Kung umulan, magiging basa ang kalsada” at “Basa ang kalsada,” samakatuwid, “Umuulan,” dahil madidiligan lang ang kalsada. Magiging mali ang pangangatwiran kapag, ng dalawang paghatol, "Kung ang isang tao ay nakagawa ng isang pagnanakaw, siya ay nakagawa ng isang krimen" at "Ang tao ay hindi nakagawa ng pagnanakaw," ang konklusyon ay ginawa "Ang tao ay hindi gumawa ng isang krimen," dahil ang tao ay maaaring gumawa ng ilang ibang krimen.

Tanong tungkol sa kawastuhan Ang mga hinuha ay isang tanong tungkol sa mga patakaran para sa kanilang pagtatayo, tungkol sa mga patakaran para sa pagkakaugnay ng mga indibidwal na kaisipan (mga konsepto, paghatol, konklusyon). Ito mismo ang interesado sa lohika bilang agham ng pag-iisip. Kaya naman tinawag itong “formal logic”. Ang pormal na lohika ay nakuha mula sa tiyak na nilalaman ng mga kaisipan at ang kanilang pag-unlad. Ngunit ito ay isinasaalang-alang ang katotohanan o kamalian ng mga kaisipang pinag-aaralan (sa dalawang pinahahalagahan na pormal na lohika, dalawang kahulugan ng bawat pag-iisip ay isinasaalang-alang - "totoo" at "mali"; sa maraming halaga na pormal na lohika, ang iba pang mga kahulugan ay ipinakilala, halimbawa, "indefinite"). Minsan ang tamang pag-iisip ay tinatawag na lohikal - pagkatapos ng pangalan ng agham na nag-aaral sa aspetong ito ng proseso ng pag-iisip.

Tanong tungkol sa pagiging totoo(kasinungalingan) ng mga paghatol ay isang katanungan ng pagkakatugma (hindi pagkakapare-pareho) ng kung ano ang pinagtibay o tinanggihan dito sa layunin ng mundo. Tunay na paghatol - isa na tumpak na sumasalamin sa estado ng mga pangyayari sa layunin na katotohanan(alin ang totoo). Halimbawa: "Ang Moscow ay ang kabisera ng Russia", "Ang isang kriminal ay isang tao na lumalabag sa mga legal at moral na batas ng lipunan", atbp. Maling paghatol isang hindi totoo. Halimbawa: "Ang St. Petersburg ay ang kabisera ng Russia", "Ang isang kriminal ay isang matuwid na tao", atbp. Mga tanong tungkol sa kung ano ang katotohanan sa pangkalahatan, kung paano nauugnay ang pandama na kaalaman at abstract na pag-iisip sa proseso ng pagkamit ng katotohanan tungkol sa mga bagay ay pinag-aralan ng ibang agham - pilosopiya .

Upang mas maunawaan ang paksa ng pag-aaral ng lohika at ang papel nito sa katalusan at pag-iisip ng tao, kinakailangang pag-isipan nang mas detalyado ang pagsasaalang-alang sa lohikal na anyo at mga batas ng pag-iisip.

Logics– ang agham ng mga anyo at batas ng tamang pag-iisip.

Ang agham na ito ay lumitaw sa paligid ng ika-5 siglo. BC e. sa Sinaunang Greece. Ang lumikha nito ay itinuturing na sikat na sinaunang Griyegong pilosopo at siyentipiko na si Aristotle. Ang lohika ay 2.5 libong taong gulang, ngunit nananatili pa rin ito praktikal na kahalagahan. Maraming mga agham at sining Sinaunang mundo ay magpakailanman ay isang bagay ng nakaraan at kumakatawan lamang para sa amin ang halaga ng "museum", na kawili-wili lamang bilang mga sinaunang monumento, ngunit ang ilan sa mga ito ay nakaligtas sa maraming siglo, at sa kasalukuyan ay patuloy naming ginagamit ang mga ito. Kabilang dito ang geometry ni Euclid (na siyang pinag-aaralan natin sa paaralan) at ang lohika ni Aristotle. Noong ika-19 na siglo Ang simbolikong (matematika, modernong) lohika, na isang sangay ng mas mataas na matematika, ay lumitaw at nagsimulang mabilis na umunlad. Gayunpaman, ang aming libro ay nakatuon lamang sa Aristotelian na lohika.

Kaya bakit kailangan natin ng lohika, ano ang papel nito sa ating buhay? Tinutulungan tayo ng lohika na buuin nang tama ang ating mga iniisip at ipahayag ang mga ito nang tama, kumbinsihin ang ibang tao at mas maunawaan ang ating kausap, ipaliwanag at ipagtanggol ang ating pananaw, at maiwasan ang mga pagkakamali sa pangangatwiran.

Alam na alam ng bawat isa sa atin na ang nilalaman ng pag-iisip ng tao ay walang katapusan na magkakaibang, dahil maaari kang mag-isip (mag-isip) tungkol sa anumang bagay, halimbawa, tungkol sa istraktura ng mundo at ang pinagmulan ng buhay sa Earth, tungkol sa nakaraan ng sangkatauhan at sa hinaharap nito. , tungkol sa mga librong binabasa at mga pelikulang pinanood, tungkol sa mga aktibidad ngayon at bukas na pahinga... Ngunit ang pinakamahalagang bagay ay ang ating mga iniisip ay bumangon at binuo ayon sa parehong mga batas, sumusunod sa parehong mga prinsipyo, magkasya sa parehong mga pattern o anyo. Bukod dito, kung ang nilalaman ng ating pag-iisip ay lubhang magkakaibang, kung gayon ang mga anyo kung saan ang pagkakaiba-iba na ito ay ipinahayag ay napakakaunti.

Magbigay tayo ng isang simpleng halimbawa. Tingnan natin ang tatlong pahayag na ganap na naiiba sa nilalaman: “ Lahat ng crucian carp ay isda", "Lahat ng triangles ay geometric na hugis", "Lahat ng upuan ay mga piraso ng muwebles". Sa kabila ng kanilang magkakaibang nilalaman, ang mga pahayag na ito ay may pagkakatulad, isang bagay na nagbubuklod sa kanila. Ano? Pinag-isa sila sa pamamagitan ng anyo. Bagama't magkakaiba sa nilalaman, magkapareho sila sa anyo - bawat isa sa tatlong pahayag ay binuo ayon sa anyo: "Lahat ng A ay B," kung saan ang A at B ay ilang mga bagay. Malinaw na ang mismong pahayag na: "Lahat ng A ay B" ay walang anumang nilalaman. Ang pahayag na ito ay kumakatawan purong anyo, na maaaring punan ng anumang nilalaman, halimbawa: “ Ang lahat ng mga pine ay puno", "Lahat ng mga lungsod ay mga pamayanan", "Lahat ng mga paaralan ay mga institusyong pang-edukasyon", "Lahat ng tigre ay mandaragit».

Isa pang halimbawa: kumuha tayo ng tatlong pahayag na may iba't ibang nilalaman: "Kung darating ang taglagas, mahuhulog ang mga dahon", "Kung umuulan bukas, magkakaroon ng mga puddles sa kalye", "Kung ang sangkap ay metal, kung gayon ito ay electrically conductive". Bagama't magkaiba sa nilalaman, ang mga pahayag na ito ay magkatulad sa isa't isa dahil ang mga ito ay binuo ayon sa parehong anyo: "Kung A, kung gayon B." Malinaw na ang form na ito ay maaaring itugma malaking halaga iba't ibang makabuluhang pahayag, halimbawa: " Kung hindi ka maghahanda para sa pagsubok na gawain, pagkatapos ay makakakuha ka ng isang D", "Kung ang runway ay natatakpan ng yelo, kung gayon ang mga eroplano ay hindi maaaring lumipad", "Kung ang isang salita ay nasa simula ng isang pangungusap, dapat itong nakasulat na may malaking titik".

Ang lohika ay hindi interesado sa nilalaman ng pag-iisip (nakikitungo dito ang ibang mga agham), pinag-aaralan lamang nito ang mga anyo ng pag-iisip; hindi siya interesado diyan Ano sa tingin namin, kung hindi Paano sa tingin namin, kaya madalas itong tinatawag pormal na lohika. Ang Aristotelian (pormal) na lohika ay madalas ding tinatawag na tradisyonal.

Form ng pag-iisip ay isang paraan ng pagpapahayag ng mga saloobin, o isang pamamaraan para sa pagbuo ng mga ito.

Mayroon lamang tatlong anyo ng pag-iisip:

1. Konsepto ay isang anyo ng pag-iisip na tumutukoy sa isang bagay o katangian ng isang bagay. Mga halimbawa ng mga konsepto: lapis, halaman, celestial body, elemento ng kemikal, tapang, katangahan, kapabayaan.

2. Paghuhukom- ito ay isang anyo ng pag-iisip na binubuo ng mga konseptong may kaugnayan sa isa't isa at pinagtitibay o tinatanggihan ang isang bagay. Mga halimbawa ng paghatol: “ Ang lahat ng mga planeta ay mga katawang makalangit", "Ang ilang mga mag-aaral ay mahihirap na mag-aaral", "Lahat ng mga tatsulok ay hindi mga parisukat».

3. Hinuha ay isang anyo ng pag-iisip kung saan ang isang bagong paghuhusga (konklusyon) ay sumusunod mula sa dalawa o higit pang mga paunang paghatol (premises).

Sa lohika, kaugalian na ilagay ang mga lugar at konklusyon sa ibaba ng isa at paghiwalayin ang mga lugar mula sa konklusyon gamit ang isang linya.

Mga halimbawa ng mga hinuha:

Lahat ng planeta ay gumagalaw.

Ang Jupiter ay isang planeta.

Si Jupiter ay gumagalaw.

Ang bakal ay electrically conductive.

Ang tanso ay electrically conductive.

Ang Mercury ay electrically conductive.

Ang bakal, tanso, mercury ay mga metal.

Ang lahat ng mga metal ay electrically conductive.

Lahat walang katapusang mundo ang ating mga kaisipan ay ipinahahayag sa mga konsepto, paghatol at konklusyon. Tungkol sa mga ito tatlong anyo ang pag-iisip ay ilalarawan nang detalyado sa mga pahina ng aklat.

Bilang karagdagan sa mga anyo ng pag-iisip, ang lohika ay tumatalakay din sa mga batas ng pag-iisip. Mga batas ng pag-iisip– layunin na mga prinsipyo o mga alituntunin ng pag-iisip, na ang pagsunod sa mga ito ay palaging humahantong sa pangangatwiran (anuman ang nilalaman nito) sa mga tunay na konklusyon, sa kondisyon na ang mga unang paghatol ay totoo.

Mayroong apat na pangunahing batas ng pag-iisip (o mga batas ng lohika). Dito lamang sila ililista: ito ay mga batas: pagkakakilanlan; mga kontradiksyon; ibinukod ang pangatlo; sapat na dahilan. Ang bawat isa sa kanila ay isasaalang-alang nang detalyado pagkatapos pag-aralan ang mga anyo ng pag-iisip. Ang paglabag sa mga batas na ito ay humahantong sa iba't ibang lohikal na pagkakamali, kadalasan sa mga maling konklusyon. Minsan ang mga batas ng lohika ay nilabag nang hindi sinasadya, dahil sa kamangmangan, ngunit kung minsan ito ay ginagawa nang kusa, upang malito ang kausap at patunayan sa kanya ang ilang maling ideya. Ang ganitong mga sadyang paglabag sa mga lohikal na batas para sa panlabas na tamang patunay ng mga maling kaisipan ay tinatawag sophistry.

Karaniwang sapat na ang sentido komun at karanasan sa buhay upang malutas ang anumang mga problema. Halimbawa, ang sinumang hindi pamilyar sa lohika ay makakahanap ng catch sa sumusunod na pangangatwiran:

Ang paggalaw ay walang hanggan.

Ang pagpasok sa paaralan ay paggalaw.

Samakatuwid, ang pag-aaral ay walang hanggan.

Ang isang maling konklusyon ay nakuha dahil sa paggamit ng salitang "kilusan" sa iba't ibang kahulugan: sa unang paghatol ito ay ginagamit sa isang malawak, pilosopikal na kahulugan, at sa pangalawa - sa isang makitid, mekanikal na kahulugan. Gayunpaman, ang paghahanap ng mga pagkakamali sa pangangatwiran ay hindi laging madali. Isaalang-alang ang halimbawang ito:

Lahat ng kaibigan ko nagsasalita ng English.

Nagsasalita din ng Ingles ang kasalukuyang pangulo ng Amerika.

Samakatuwid, ang kasalukuyang Pangulo ng Amerika ay aking kaibigan.

Malinaw na may mali sa pangangatwiran na ito. Ngunit ano nga ba? Ang sinumang pamilyar sa lohika ay magsasabi niyan sa sa kasong ito nagkamali, na tinatawag na "hindi pamamahagi ng gitnang termino sa isang simpleng syllogism." O ang halimbawang ito:

Ang lahat ng mga lungsod sa Arctic Circle ay may mga puting gabi.

Ang St. Petersburg ay hindi nasa kabila ng Arctic Circle.

Dahil dito, walang mga puting gabi sa St. Petersburg.

Gaya ng nakikita natin, isang maling konklusyon ang sumusunod mula sa dalawang tunay na paghatol. Mayroon ding pagkakamali sa pangangatwiran na ito. Malamang na ang isang taong hindi pamilyar sa lohika ay agad na mahahanap ito. At sinumang may lohikal na kultura ay agad na makikilala ang pagkakamaling ito. Ito ay tinatawag na "extension ng isang mas malaking termino sa isang simpleng syllogism."

Kaya, karaniwang sapat na ang sentido komun at karanasan sa buhay upang mag-navigate sa iba't ibang mahihirap na sitwasyon. Ngunit kung sa ating bait at magdagdag ng lohikal na kultura sa karanasan sa buhay, pagkatapos ay makikinabang lamang tayo dito. Siyempre, hindi kailanman malulutas ng lohika ang lahat ng mga problema, ngunit tiyak na makakatulong ito sa buhay. Kilalanin natin ang mga pangunahing probisyon ng sinaunang ito at sa parehong oras palaging batang agham.

Subukin ang sarili:

1. Ano ang lohika?

2. Ano ang nilalaman at anyo ng pag-iisip? Bakit ang lohika ay madalas na tinatawag na pormal na lohika?

3. Anong mga anyo ng pag-iisip ang umiiral? Bumuo ng ilang mga halimbawa ng mga konsepto, paghatol at hinuha.

4. Ano ang mga batas ng lohika? Ano ang papel nila sa ating pag-iisip? Ano ang sophistry?

5. Kailan at saan lumitaw ang lohika? Sino ang itinuturing na lumikha nito? Ano pang lohika ang umiiral bukod sa lohika ng Aristotelian?

6. Sa iyong palagay, bakit kailangan ng isang tao ang lohika? Ano ang papel nito sa ating buhay? Posible ba, sa iyong opinyon, na gawin nang wala ito?

Logics ay ang agham ng mga batas at anyo ng tamang pag-iisip. Bilang karagdagan sa mga batas, pinag-aaralan din ng lohika ang mga anyo ng pag-iisip, o mga lohikal na anyo kung saan dumadaloy ang mga kaisipan. Ang mga pangunahing anyo ng pag-iisip ay kinabibilangan ng: mga konsepto, paghatol at hinuha.

Konsepto- isang paraan ng pag-iisip na nagsasaad ng isang bagay o isang tanda ng isang bagay. Halimbawa: panulat, bulaklak, tabo, atbp.

Paghuhukom- isang anyo ng pag-iisip na binubuo ng magkakaugnay na mga konsepto kung saan ang isang bagay ay pinagtitibay o tinatanggihan.

Ang lahat ng mga bituin ay mga celestial body.

Ilang mga estudyante-mga boluntaryo.

Hinuha- isang anyo ng pag-iisip kung saan ang isang bagong paghatol (konklusyon) ay hinango mula sa dalawa o higit pang mga paghatol.

Mga lohikal na batas. Tulad ng anumang mga batas ng nakapalibot na mundo na natuklasan sa loob ng balangkas ng agham (halimbawa, natural na agham), ang mga batas ng lohika ay layunin. Ang mga lohikal na batas ay naiiba dahil hindi sila maaaring kanselahin o baguhin. Kaya, ang mga lohikal na batas ay pareho para sa lahat at nailalarawan sa pamamagitan ng pagiging matatag. Maaari mong ihambing ang mga batas ng lohika, halimbawa, sa batas ng unibersal na grabitasyon. Ito ay umiiral nang independiyente sa kalooban ng sinuman. Gayunpaman, sa kabila ng presensya karaniwang mga tampok kasama ang mga batas ng kalikasan, ang mga lohikal na batas ay may sariling mga detalye. Ang mga batas ng lohika ay ang mga batas ng tamang pag-iisip, ngunit hindi ang mga batas ng nakapaligid na mundo.

Batas ng pagkakakilanlan: Sa tamang pangangatwiran, ang bawat pag-iisip ay dapat na magkapareho sa sarili nito, gaano man ito karaming beses na ulitin. Symbolically ganito ang hitsura: A = A, o A ay A.

Kapag ang batas ng pagkakakilanlan ay nilabag nang hindi sinasadya, dahil sa kamangmangan, simple mga lohikal na pagkakamali; ngunit kapag ang batas na ito ay sadyang nilabag, upang lituhin ang kausap at patunayan sa kanya ang ilang maling pag-iisip, hindi lamang mga pagkakamali, ngunit lumilitaw ang mga sophism. kaya, sophism ay isang panlabas na tamang patunay ng isang maling kaisipan sa pamamagitan ng sadyang paglabag sa mga lohikal na batas.

Batas ng hindi pagsalungat: Ang dalawang magkasalungat na panukala ay hindi maaaring totoo sa parehong oras at sa parehong paggalang. Symbolically ganito ang hitsura: Ang hindi ay hindi-A.

Nangyayari ang mga paglabag kapag sinubukan nilang isaalang-alang ang dalawa o higit pang afirmative na mga proposisyon na hindi tugma sa isa't isa bilang totoo, o kapag ang parehong proposisyon ay sabay na pinagtibay at tinanggihan.

Batas ng ibinukod na gitna: Sa dalawang magkasalungat na paghatol tungkol sa parehong paksa, sa parehong oras at sa parehong paggalang, ang isa ay tiyak na totoo, ang pangalawa ay mali, at hindi maaaring magkaroon ng pangatlo. Symbolically ganito ang hitsura: alinman sa A o hindi-A.

Ang batas ng ibinukod na gitna ay katulad ng batas ng kontradiksyon. Ngunit kung ang batas ng kontradiksyon ay nagpapatotoo na ang dalawang magkasalungat na paghatol ay hindi maaaring magkasabay na totoo, sa matinding mga kaso ang isa sa mga ito ay mali, kung gayon ang batas ng ibinukod na gitna ay nagpapatotoo na ang dalawang magkasalungat na paghatol ay hindi maaaring magkasabay na mali, ang isa sa mga ito ay hindi mapag-aalinlanganan na totoo.
Gayunpaman, ang saklaw ng batas ng ibinukod na gitna ay mas makitid kaysa sa saklaw ng batas ng hindi pagkakasalungatan.

Batas ng ibinukod na gitna hindi maaari:

Sa mga kaso kung saan ang paksa ay mas malawak ang saklaw kaysa sa panaguri: halimbawa, "ang isang tao sa pangkalahatan ay isang babae."

Patungo sa isang panloob na magkakasalungat na istraktura. Ito ay mga kabalintunaan, aporias, antinomies.

Batas ng Sapat na Dahilan: Ang bawat tunay na kaisipan ay may sapat na batayan. Symbolically ganito ang hitsura: A kasi may B, kung saan ang A ay isang kahihinatnan, at ang B ay ang batayan ng kahihinatnan na ito.

Tinitiyak ng batas ng sapat na katwiran ang bisa at katibayan ng ating pag-iisip.Ito ay nangangailangan na ang ating mga kaisipan ay panloob na konektado sa isa't isa, sumunod sa isa't isa, bigyang-katwiran ang bawat isa. Anumang posisyon, alinsunod sa batas ng sapat na dahilan, ay nakakakuha ng halaga ng lohikal na puwersa lamang kapag ang sapat na mga dahilan para sa pagiging maaasahan nito ay ibinigay.

Mga error na nagmumula sa paglabag sa batas ng sapat na dahilan:

- "Maling pundasyon" - ang pagkakamali ay ang thesis ay pinatutunayan ng mga maling argumento.

Isang mabisyo na bilog, o tautolohiya, iyon ay, pag-uulit sa ibang anyo ng pandiwa ng naunang sinabi.