Ang Logic ay isa sa mga pinaka sinaunang paksa, na nakatayo sa tabi ng pilosopiya at sosyolohiya at bilang isang makabuluhang pangkalahatang kultural na penomenon mula pa sa simula ng paglitaw nito. Ang papel ng agham na ito sa modernong mundo ay mahalaga at multifaceted. Ang mga may kaalaman sa lugar na ito ay maaaring masakop ang buong mundo. Ito ay pinaniniwalaan na ito ang tanging agham na may kakayahang makahanap ng mga solusyon sa kompromiso sa anumang sitwasyon. Iniuugnay ng maraming siyentipiko ang disiplina sa isang sangay ng pilosopiya, habang ang iba naman, ay pinabulaanan ang posibilidad na ito.
Natural na sa paglipas ng panahon ang oryentasyon ng lohikal na pananaliksik ay nagbabago, ang mga pamamaraan ay bumubuti at ang mga bagong uso ay lumilitaw na nakakatugon sa mga pang-agham at teknikal na kinakailangan. Ito ay kinakailangan dahil taon-taon ang lipunan ay nahaharap sa mga bagong problema na hindi kayang lutasin ng mga hindi napapanahong pamamaraan. Ang paksa ng lohika ay pinag-aaralan ang pag-iisip ng isang tao mula sa panig ng mga pattern na ginagamit niya sa proseso ng pag-alam ng katotohanan. Sa katunayan, dahil ang disiplina na aming isinasaalang-alang ay napaka-multifaceted, ito ay pinag-aaralan gamit ang ilang mga pamamaraan. Tingnan natin sila.
Etimolohiya ng lohika
Ang Etymology ay isang sangay ng linggwistika, ang pangunahing layunin kung saan ay ang pinagmulan ng salita, ang pag-aaral nito mula sa punto ng view ng semantics (kahulugan). Ang "Logos" sa Griyego ay nangangahulugang "salita", "kaisipan", "kaalaman". Kaya, masasabi nating ang lohika ay isang paksa na nag-aaral ng pag-iisip (pangangatwiran). Gayunpaman, ang sikolohiya, pilosopiya at pisyolohiya ng aktibidad ng nerbiyos, sa isang paraan o iba pa, ay nag-aaral din ng pag-iisip, ngunit posible bang sabihin na ang mga agham na ito ay nag-aaral ng parehong bagay? Sa kabaligtaran, sa isang tiyak na kahulugan sila ay magkasalungat. Ang pagkakaiba sa pagitan ng mga agham na ito ay nasa paraan ng pag-iisip. Naniniwala ang mga sinaunang pilosopo na ang pag-iisip ng tao ay magkakaiba, dahil nagagawa niyang pag-aralan ang mga sitwasyon at lumikha ng isang algorithm para sa pagsasagawa ng ilang mga gawain upang makamit ang isang tiyak na layunin. Halimbawa, ang pilosopiya bilang isang paksa ay sa halip ay pangangatwiran lamang tungkol sa buhay, tungkol sa kahulugan ng pagiging, habang ang lohika, bilang karagdagan sa mga walang ginagawang pag-iisip, ay humahantong sa isang tiyak na resulta.
Paraan ng sanggunian
Subukan nating gumamit ng mga diksyunaryo. Dito medyo naiiba ang kahulugan ng terminong ito. Mula sa pananaw ng mga may-akda ng encyclopedia, ang lohika ay isang paksa na nag-aaral ng mga batas at anyo ng pag-iisip ng tao upang maunawaan ang nakapaligid na katotohanan. Ang agham na ito ay interesado sa kung paano gumagana ang "nabubuhay" na tunay na kaalaman, at sa paghahanap ng mga sagot sa kanilang mga katanungan, ang mga siyentipiko ay hindi bumaling sa bawat partikular na kaso, ngunit ginagabayan ng mga espesyal na alituntunin at batas ng pag-iisip. Ang pangunahing gawain ng lohika bilang isang agham ng pag-iisip ay isaalang-alangparaan lamang upang makakuha ng bagong kaalaman nang hindi iniuugnay ang anyo nito sa partikular na nilalaman.
Logic principle
Ang paksa at kahulugan ng lohika ay pinakamahusay na nakikita sa pamamagitan ng isang kongkretong halimbawa. Kumuha ng dalawang pahayag mula sa magkaibang larangan ng agham.
- "Lahat ng bituin ay may sariling radiation. Ang araw ay isang bituin. May sarili itong radiation.”
- Ang sinumang saksi ay dapat magsabi ng totoo. Saksi ang kaibigan ko. Obligado ang kaibigan kong magsabi ng totoo.
Kung susuriin natin ang mga paghatol na ito, makikita natin na sa bawat isa sa kanila ang ikatlo ay ipinapaliwanag ng dalawang argumento. Bagama't ang bawat isa sa mga halimbawa ay kabilang sa iba't ibang larangan ng kaalaman, ang paraan ng pagkakakonekta ng mga bahagi ng nilalaman sa bawat isa sa kanila ay pareho. Namely: kung ang isang bagay ay may isang tiyak na pag-aari, kung gayon ang lahat na may kinalaman sa kalidad na ito ay may isa pang pag-aari. Resulta: Ang item na pinag-uusapan ay mayroon ding pangalawang property na ito. Ang mga sanhi-at-bungang relasyon na ito ay tinatawag na lohika. Ang relasyong ito ay makikita sa maraming sitwasyon sa buhay.
Bumalik tayo sa kasaysayan
Upang maunawaan ang tunay na kahulugan ng agham na ito, kailangan mong malaman kung paano at sa ilalim ng anong mga pangyayari ito lumitaw. Lumalabas na ang paksa ng lohika bilang isang agham ay lumitaw sa ilang mga bansa nang halos sabay-sabay: sa sinaunang India, sa sinaunang Tsina at sa sinaunang Greece. Kung pinag-uusapan natin ang tungkol sa Greece, kung gayon ang agham na ito ay lumitaw sa panahon ng pagkabulok ng sistema ng tribo at ang pagbuo ng naturang strata ng populasyon bilang mga mangangalakal, may-ari ng lupa at artisan. Ang mga namuno sa Greece ay lumalabag sa interes ng halos lahat ng bahagi ng populasyon, at ang mga Greek ay aktibongnagsimulang ipahayag ang kanilang mga posisyon. Upang malutas ang tunggalian nang mapayapa, ang bawat isa sa mga partido ay gumamit ng kanilang sariling mga argumento at argumento. Nagbigay ito ng lakas sa pag-unlad ng naturang agham gaya ng lohika. Napakaaktibong ginamit ang paksa, dahil napakahalagang manalo ng mga talakayan upang maimpluwensyahan ang paggawa ng desisyon.
Sa sinaunang Tsina, umusbong ang lohika noong ginintuang panahon ng pilosopiyang Tsino, o, kung tawagin din, ang panahon ng "mga estadong nakikipaglaban". Katulad ng sitwasyon sa sinaunang Greece, sumiklab din dito ang tunggalian sa pagitan ng mayayamang bahagi ng populasyon at ng mga awtoridad. Nais ng una na baguhin ang istruktura ng estado at kanselahin ang paglipat ng kapangyarihan sa namamana na paraan. Sa panahon ng gayong pakikibaka, upang manalo, kinakailangan na magtipon sa paligid niya ng maraming mga tagasuporta hangga't maaari. Gayunpaman, kung sa sinaunang Greece ito ay nagsilbing karagdagang insentibo para sa pagbuo ng lohika, kung gayon sa sinaunang Tsina ito ay kabaligtaran. Matapos maging nangingibabaw ang kaharian ng Qin, at naganap ang tinatawag na rebolusyong pangkultura, ang pagbuo ng lohika sa yugtong ito
ito ay huminto.
Dahil sa iba't ibang mga bansa ang agham na ito ay lumitaw nang eksakto sa panahon ng pakikibaka, ang paksa at kahulugan ng lohika ay maaaring makilala tulad ng sumusunod: ito ay ang agham ng pagkakasunud-sunod ng pag-iisip ng tao, na maaaring positibong makaimpluwensya sa paglutas ng mga sitwasyon ng salungatan at hindi pagkakaunawaan.
Ang pangunahing paksa ng lohika
Mahirap tukuyin ang isang partikular na kahulugan na karaniwang maaaring magpakilala sa isang sinaunang agham. Halimbawa,ang paksa ng lohika ay ang pag-aaral ng mga batas ng derivation ng tamang tiyak na mga paghatol at mga pahayag mula sa ilang totoong pangyayari. Ganito ipinakita ni Friedrich Ludwig Gottlob Frege ang sinaunang agham na ito. Ang konsepto at paksa ng lohika ay pinag-aralan din ni Andrey Nikolayevich Shuman, isang kilalang logician sa ating panahon. Itinuring niya ito bilang ang agham ng pag-iisip, na nagsasaliksik ng iba't ibang paraan ng pag-iisip at mga modelo ng mga ito. Bilang karagdagan, ang layunin at paksa ng lohika ay, siyempre, ang pananalita, dahil ang lohika ay isinasagawa lamang sa tulong ng isang pag-uusap o talakayan, at hindi ito mahalaga, nang malakas o "sa sarili."
Ang mga pahayag sa itaas ay nagpapahiwatig na ang paksa ng agham ng lohika ay ang istraktura ng pag-iisip at ang iba't ibang mga katangian nito na naghihiwalay sa globo ng abstract-logical, rational na pag-iisip - mga anyo ng pag-iisip, mga batas, kinakailangang relasyon sa pagitan ng mga elemento ng istruktura at ang kawastuhan ng pag-iisip upang makamit ang katotohanan.
Ang proseso ng paghahanap ng katotohanan
Sa madaling salita, ang lohika ay isang proseso ng pag-iisip ng paghahanap ng katotohanan, dahil sa batayan ng mga prinsipyo nito nabuo ang proseso ng paghahanap ng kaalamang siyentipiko. Mayroong iba't ibang anyo at pamamaraan ng paggamit ng lohika, at lahat ng mga ito ay pinagsama sa teorya ng kaalaman na hinuha sa iba't ibang larangan ng agham. Ito ang tinatawag na tradisyunal na lohika, kung saan mayroong higit sa 10 iba't ibang mga pamamaraan, ngunit ang deductive logic ni Descartes at ang inductive logic ni Bacon ay itinuturing pa ring mga pangunahing.
Deductive logic
Alam nating lahat ang paraan ng pagbabawas. Ang paggamit nito kahit papaanonauugnay sa agham ng lohika. Ang paksa ng lohika ni Descartes ay isang pamamaraan ng kaalamang pang-agham, ang kakanyahan nito ay nakasalalay sa mahigpit na paghuhukay ng mga bago mula sa ilang mga probisyon na dati nang pinag-aralan at napatunayan. Naipaliwanag niya kung bakit, dahil totoo ang mga orihinal na pahayag, totoo rin ang mga hinango.
Para sa deductive logic, napakahalaga na walang mga kontradiksyon sa mga unang pahayag, dahil sa hinaharap maaari silang humantong sa mga maling konklusyon. Ang deductive logic ay napaka-tumpak at hindi pinahihintulutan ang mga pagpapalagay. Ang lahat ng postulate na ginagamit, bilang panuntunan, ay batay sa na-verify na data. Ang lohikal na pamamaraang ito ay may kapangyarihan ng panghihikayat at ginagamit, bilang panuntunan, sa mga eksaktong agham, tulad ng matematika. Bukod dito, ang pamamaraang deduktibo ay hindi pinag-uusapan, ngunit ang mismong paraan ng paghahanap ng katotohanan ay pinag-aaralan. Halimbawa, ang kilalang Pythagorean theorem. Posible bang pagdudahan ang kawastuhan nito? Sa halip, sa kabaligtaran - ito ay kinakailangan upang matutunan ang teorama at matutunan kung paano patunayan ito. Ang paksang "Logic" ay eksaktong pinag-aaralan ang direksyong ito. Sa tulong nito, sa kaalaman sa ilang mga batas at katangian ng paksa, nagiging posible na makakuha ng mga bago.
Inductive logic
Masasabing ang tinatawag na inductive logic ni Bacon ay praktikal na sumasalungat sa mga pangunahing prinsipyo ng deductive logic. Kung ang nakaraang pamamaraan ay ginagamit para sa eksaktong mga agham, kung gayon ang isang ito ay para sa mga natural na agham, kung saan kailangan ang lohika. Ang paksa ng lohika sa naturang mga agham: ang kaalaman ay nakuha sa pamamagitan ng mga obserbasyon at mga eksperimento. Walang lugar para sa eksaktong data at mga kalkulasyon. Lahat ng kalkulasyonay ginawa lamang sa teorya, na may layuning pag-aralan ang isang bagay o phenomenon. Ang esensya ng inductive logic ay ang mga sumusunod:
- Upang magsagawa ng patuloy na pagsubaybay sa bagay na pinag-aaralan at lumikha ng isang artipisyal na sitwasyon na maaaring mangyari sa teorya. Ito ay kinakailangan upang pag-aralan ang mga katangian ng ilang mga paksa na hindi maaaring matutunan sa natural na mga kondisyon. Ito ay isang kinakailangan para sa pag-aaral ng inductive logic.
- Batay sa mga obserbasyon, mangolekta ng pinakamaraming katotohanan hangga't maaari tungkol sa bagay na pinag-aaralan. Napakahalagang tandaan na dahil artipisyal na nilikha ang mga kundisyon, ang mga katotohanan ay maaaring baluktot, ngunit hindi ito nangangahulugan na ang mga ito ay mali.
- Ibuod at i-systematize ang data na nakuha sa panahon ng mga eksperimento. Ito ay kinakailangan upang masuri ang sitwasyon. Kung walang sapat na data, dapat ilagay muli ang phenomenon o object sa isa pang artipisyal na sitwasyon.
- Lumikha ng teorya upang ipaliwanag ang mga natuklasan at mahulaan ang kanilang pag-unlad sa hinaharap. Ito ang huling yugto, na nagsisilbing buod. Maaaring buuin ang teorya nang hindi isinasaalang-alang ang aktwal na data na nakuha, gayunpaman, ito ay magiging tumpak.
Halimbawa, sa batayan ng empirical na pananaliksik sa mga natural na phenomena, vibrations ng tunog, liwanag, alon, atbp., ang mga physicist ay bumalangkas ng posisyon na maaaring masukat ang anumang phenomenon ng pana-panahong kalikasan. Siyempre, ang mga hiwalay na kondisyon ay nilikha para sa bawat kababalaghan at ang ilang mga kalkulasyon ay isinagawa. Depende sa pagiging kumplikado ng artipisyal na sitwasyon,Malaki ang pagkakaiba ng mga pagbabasa. Ito ang naging posible upang patunayan na ang periodicity ng mga oscillations ay maaaring masukat. Ipinaliwanag ni Bacon ang scientific induction bilang isang paraan ng siyentipikong kaalaman sa mga ugnayang sanhi at isang paraan ng siyentipikong pagtuklas.
Causality
Mula sa simula pa lamang ng pag-unlad ng agham ng lohika, binigyang pansin ang salik na ito, na nakakaapekto sa buong proseso ng pananaliksik. Ang pagiging sanhi ay isang napakahalagang aspeto sa proseso ng pag-aaral ng lohika. Ang dahilan ay isang tiyak na kaganapan o bagay (1), na natural na nakakaapekto sa paglitaw ng isa pang bagay o kababalaghan (2). Ang paksa ng agham ng lohika, na nagsasalita nang pormal, ay upang malaman ang mga dahilan para sa pagkakasunud-sunod na ito. Pagkatapos ng lahat, mula sa itaas, lumalabas na (1) ang sanhi ng (2).
Maaaring magbigay ng isang halimbawa: natuklasan ng mga siyentipiko na nag-aaral ng outer space at ang mga bagay na naroroon ang phenomenon ng isang “black hole”. Ito ay isang uri ng cosmic body, ang gravitational field nito ay napakalaki na kaya nitong sumipsip ng anumang bagay sa kalawakan. Ngayon, alamin natin ang sanhi ng ugnayan ng hindi pangkaraniwang bagay na ito: kung ang gravitational field ng anumang cosmic body ay napakalaki: (1), kaya nitong sumipsip ng anupamang (2).
Mga Pangunahing Paraan ng Lohika
Ang paksa ng lohika ay panandaliang ginalugad ang maraming bahagi ng buhay, gayunpaman, sa karamihan ng mga kaso, ang impormasyong nakuha ay nakasalalay sa lohikal na pamamaraan. Halimbawa, ang pagsusuri ay ang matalinghagang paghahati ng bagay na pinag-aaralan sa ilang bahagi, upang mapag-aralan ang mga katangian nito. Ang pagsusuri, bilang panuntunan, ay kinakailangang konektado sa synthesis. Kung ang unang paraan ay naghihiwalay sa phenomenon, ang pangalawa, sa kabaligtaran, ay nag-uugnay sa mga natanggap na bahagi upang magtatag ng isang relasyon sa pagitan ng mga ito.
Ang isa pang kawili-wiling paksa ng lohika ay ang abstraction method. Ito ang proseso ng mental na paghihiwalay ng ilang mga katangian ng isang bagay o phenomenon upang mapag-aralan ang mga ito. Ang lahat ng mga diskarteng ito ay maaaring uriin bilang mga paraan ng pag-unawa.
Mayroon ding paraan ng interpretasyon, na binubuo sa pag-alam sa sistema ng tanda ng ilang mga bagay. Kaya, ang mga bagay at phenomena ay maaaring bigyan ng simbolikong kahulugan, na magpapadali sa pag-unawa sa kakanyahan ng mismong bagay.
Modernong lohika
Ang modernong lohika ay hindi isang doktrina, ngunit isang salamin ng mundo. Bilang isang tuntunin, ang agham na ito ay may dalawang panahon ng pagbuo. Ang una ay nagsisimula sa Sinaunang Mundo (Sinaunang Greece, Sinaunang India, Sinaunang Tsina) at nagtatapos sa ika-19 na siglo. Ang ikalawang yugto ay nagsisimula sa ikalawang kalahati ng ika-19 na siglo at nagpapatuloy hanggang sa araw na ito. Ang mga pilosopo at siyentipiko sa ating panahon ay hindi tumitigil sa pag-aaral ng sinaunang agham na ito. Tila ang lahat ng mga pamamaraan at prinsipyo nito ay matagal nang pinag-aralan ni Aristotle at ng kanyang mga tagasunod, ngunit bawat taon ang lohika bilang isang agham, ang paksa ng lohika, gayundin ang mga tampok nito ay patuloy na ginalugad.
Isa sa mga tampok ng modernong lohika ay ang pagkalat ng paksa ng pananaliksik, na dahil sa mga bagong uri at paraan ng pag-iisip. Ito ay humantong sa paglitaw ng mga bagong uri ng modal logic bilang lohika ng pagbabago at lohika ng sanhi. Napatunayan na ang ganyanmalaki ang pagkakaiba ng mga modelo sa mga napag-aralan na.
Ang modernong lohika bilang agham ay ginagamit sa maraming larangan ng buhay, gaya ng engineering at information technology. Halimbawa, kung isasaalang-alang mo kung paano inayos at gumagana ang isang computer, maaari mong malaman na ang lahat ng mga program dito ay isinasagawa gamit ang isang algorithm, kung saan ang lohika ay kasangkot sa isang paraan o iba pa. Sa madaling salita, masasabi nating ang prosesong pang-agham ay umabot na sa antas ng pag-unlad kung saan ang mga device at mekanismong gumagana sa lohikal na mga prinsipyo ay matagumpay na nalikha at naisasagawa.
Ang isa pang halimbawa ng paggamit ng lohika sa modernong agham ay ang mga control program sa CNC machine at installation. Dito rin, tila ang isang bakal na robot ay gumaganap ng lohikal na ginawang mga aksyon. Gayunpaman, ang ganitong mga halimbawa ay pormal na nagpapakita sa atin ng pag-unlad ng modernong lohika, dahil ang isang buhay na nilalang lamang, tulad ng isang tao, ay maaaring magkaroon ng ganoong paraan ng pag-iisip. Bukod dito, maraming mga siyentipiko ang nagtatalo pa rin kung ang mga hayop ay maaaring magkaroon ng mga lohikal na kasanayan. Ang lahat ng pananaliksik sa lugar na ito ay bumababa sa katotohanan na ang prinsipyo ng pagkilos ng mga hayop ay batay lamang sa kanilang mga instinct. Isang tao lang ang makakatanggap ng impormasyon, makakapagproseso nito at makakapagbigay ng resulta.
Ang pananaliksik sa larangan ng naturang agham gaya ng lohika ay maaari pa ring magpatuloy sa loob ng libu-libong taon, dahil ang utak ng tao ay hindi pa lubusang pinag-aralan. Taun-taon ang mga tao ay ipinanganak nang higit at mas maunlad, na nagpapahiwatig ng patuloy na ebolusyon ng tao.
