Logic: ang paksa. Ang logic: konsepto, halaga, bagay at paksa ng lohika bilang isang agham

Ang lohika - ito ay isa sa mga pinaka sinaunang mga bagay, na nakatayo sa tabi ng pilosopiya at karunungang panlipunan at ay isang mahalagang pangkalahatang kultural na kababalaghan mula sa napaka-simula ng kanyang paglitaw. Ang papel na ginagampanan ng agham sa modernong mundo ay mahalaga at multifaceted. Sa mga may kaalaman sa lugar na ito, maaari lupigin ang mundo. Ito ay naniniwala na ang tanging agham ay kaya ng paghahanap ng isang kompromiso solusyon sa anumang sitwasyon. Maraming mga siyentipiko sumangguni sa disiplina seksyon ng pilosopiya, habang ang iba, sa kanilang turn, pasinungalingan ang posibilidad na ito.

Of course, na maaaring magbago sa oras orientation lohikal na pag-aaral ay pinahusay na mga pamamaraan at mga bagong uso sumulpot na matugunan ang mga pang-agham at teknikal na mga kinakailangan. Ito ay kinakailangan dahil ang isang lipunan sa bawat taon ay nakaharap sa mga bagong hamon na hindi maaaring malutas sa pamamagitan ng hindi napapanahong pamamaraan. Subject logic pag-aaral ng tao na pag-iisip sa bahagi ng mga batas na iyon, na kung saan siya ay gumagamit sa proseso ng pag-alam ang katotohanan. Sa katunayan, mula noong kami ay isinasaalang-alang disiplina ay lubhang maraming nalalaman, ay pinag-aralan gamit ang ilang mga pamamaraan. Tingnan natin ang mga ito ipaalam.

etymology logic

Pinagmulan ng salita - isang sangay ng linguistics, na ang pangunahing layunin ay ang pinagmulan ng mga salita, pag-aaral ito mula sa punto ng view ng semantics (ibig sabihin). "Logos" sa Griyego ay nangangahulugan "salita", "Akala", "kaalaman". Kaya, maaari naming sabihin na logic - isang paksa na pag-aaral ng pag-iisip (pagdadahilan). Gayunman, sikolohiya, pilosopiya at pisyolohiya ng nervous aktibidad, isang paraan o iba, ay din pag-aaral ng pag-iisip, ngunit kung paano maaari mong sabihin na ang mga agham ay isa at ang parehong? Lubos ang laban - sa isang tiyak na kahulugan, ang mga ito ay opposites. Ang pagkakaiba sa pagitan ng agham ay ang paraan ng pag-iisip. Ang mga sinaunang pilosopo ay naniniwala na ang isip ng tao sa maraming paraan, dahil ito ay magagawang upang pag-aralan sitwasyon at lumikha ng isang algorithm magsagawa ng ilang mga gawain upang makamit ang isang tiyak na layunin. Halimbawa, bilang isang paksa ng pilosopiya - ito ay sa halip ng isang talumpati tungkol sa buhay, tungkol sa kahulugan ng buhay, habang ang pagdaragdag ng idle pag-iisip logic ay humantong sa isang tiyak na resulta.

Ang pamamaraan reference

Subukan upang i-on sa diksyunaryo Hayaan. Dito, ang terminong halaga ay medyo iba. Mula sa punto ng view ng ang may-akda ng Encyclopedia, logic - isang paksa na pag-aaral ng mga batas at mga paraan ng tao na pag-iisip na may layunin ng katalusan ng katotohanan. Ito agham na interesado sa kung paano ang "live na" tunay na kaalaman, at sa paghahanap ng mga sagot sa kanilang mga tanong, siyentipiko ay hindi nalalapat sa bawat indibidwal na kaso, at ay ginagabayan ng mga espesyal na mga patakaran at mga batas ng pag-iisip. Ang pangunahing gawain ng logic bilang ang agham ng pag-iisip ay na ang proseso ng kaalaman sa mundo na kumuha sa account na lamang ng isang paraan ng pagkuha ng bagong kaalaman, nang walang tinali ito sa isang partikular na form ng nilalaman.

ang lohika ng mga prinsipyo ng

Paksa ng ang halaga ng logic at ay pinakamahusay na nakita sa pamamagitan ng paraan ng halimbawa. Dalhin ang dalawang pahayag mula sa iba't-ibang larangan ng agham.

1. "Ang lahat ng mga bituin ay may sariling radiation. Araw - ay isang star. Ito ay may sarili nitong liwanag. "
2. Anumang saksi upang sabihin ang katotohanan. Ang aking kaibigan ay isang saksi. Ang aking kaibigan ay nagpapasalamat upang sabihin ang katotohanan.

Kung pag-aralan namin ang mga kahatulang ito, maaari mong makita na sa bawat isa sa mga dalawang argumento ay dahil sa ang ikatlong. Kahit na ang bawat isa sa mga halimbawa at nabibilang sa iba't ibang mga lugar ng kadalubhasaan, ang paraan ng mga bahagi ng komunikasyon na nilalaman sa bawat isa sa kanila pareho. Namely, kung ang object ay may isang tiyak na ari-arian, at pagkatapos ang lahat ng bagay tungkol sa kalidad, ay may iba't ibang ari-arian. Resulta: ang bagay na pinag-uusapan, mayroon din itong isang pangalawang ari-arian. Ang mga pananahilan relasyon at ay tinatawag na logic. Relasyon na ito ay makikita sa maraming mga sitwasyon.

Ipaalam sa amin turn sa kasaysayan

Upang maunawaan ang tunay na kahulugan ng agham na ito, kailangan mong malaman kung paano at sa anong mga sirkumstansya ito naganap. Ito ay lumiliko out na ang mga paksa ng lohika bilang isang agham lumitaw sa ilang mga bansa halos sabay-sabay: sa Sinaunang Indya, Ancient China at Sinaunang Gresya. Kung makipag-usap namin tungkol sa Greece, at pagkatapos na ito agham nagmula sa panahon ng agnas tribal system at ang pagbuo ng naturang mga seksyon ng populasyon, bilang negosyante, panginoong maylupa at artisans. Yaong kung sino pinasiyahan Greece lumalabag sa mga interes ng halos lahat ng mga segment ng populasyon, at ang mga Griego ay nagsimula na aktibong ipahayag ang kanilang posisyon. Upang malutas ang kontrahan nang mapayapa, ang bawat panig ay ginagamit ang kanyang mga dahilan at argumento. Ito ibinigay puwersa sa pag-unlad ng naturang mga agham tulad ng logic. Subject ginagamit very aktibong, dahil ito ay napakahalaga upang manalo sa mga talakayan upang maka-impluwensya sa paggawa ng desisyon.

Sa sinaunang Tsina, nagkaroon logic sa ginintuang edad ng Chinese pilosopiya o, bilang ito ay tinatawag na panahon ng "contending states". Katulad sa sitwasyon sa sinaunang Greece, mayroon ding isang pakikibaka sa pagitan ng mayaman segment ng populasyon at ang mga awtoridad. Ang unang nais na baguhin ang estado Ayusin at buwagin ang minanang pag-transfer ng kapangyarihan na paraan. Sa panahon ng labanan, upang manalo, ito ay kinakailangan upang lumikom sa paligid sa kanya ng maraming mga tagasuporta hangga't maaari. Subalit, kung sa sinaunang Greece, ito ay isang karagdagang insentibo para sa pagbuo ng logic sa sinaunang China - medyo ang salungat. Matapos ang kaharian ng Qin ay pa rin nangingibabaw, at nagkaroon ng isang tinatawag na cultural rebolusyon, ang pagbuo ng logic sa phase na ito

e tumigil.

Isinasaalang-alang na sa maraming mga bansa na ito agham ay nangyari nang tiyakan sa panahon ng pakikibaka, ang paksa at halaga ng lohika ay maaaring inilarawan bilang mga sumusunod: ay ang pag-aaral ng tao na pag-iisip pagkakasunod-sunod, na maaaring positibo impluwensiya ang solusyon sa mga salungatan at hindi pagkakaunawaan.

Ang pangunahing paksa ng lohika

Ito ay mahirap na single out ang isang partikular na halaga na magiging isang buo ay maaaring makilala ito sinaunang agham. Halimbawa, ang paksa ng logic, isinasaalang-alang ang pag-aaral ng mga batas ng tamang pag-alis ng mga tiyak na hatol at mga pahayag ng ilan sa mga tunay na pangyayari. Kaya ako nailalarawan sa ito sinaunang agham ng Gottlob Frege. Ang konsepto at paksa aral ng lohika at Shuman Andrey Nikolaevich - kilala logic ng kamakabaguhan. Siya ay naniniwala na ang agham ng pagninilay na explores iba't-ibang paraan ng pag-iisip at ang kanilang mga modelo. Sa karagdagan, ang object at ang paksa ng logic - ". Ang aking sarili" na ito, siyempre, kami, dahil logic ay isinasagawa lamang sa pamamagitan ng isang pag-uusap o diskusyon, at walang pasubali ay hindi mahalaga, alinman nang malakas o

Ang expression sa itaas ay nagpapahiwatig na ang paksa ay ang agham ng lohika istraktura na pag-iisip at ang kanyang iba't-ibang mga pag-aari ay globo separated abstract lohikal at may talino pag-iisip - mga paraan ng pag-iisip mga batas na kinakailangan relasyon sa pagitan ng mga istruktura elemento at ang kawastuhan ng pag-iisip para sa pagdating sa katotohanan.

Ang proseso ng paghahanap ng katotohanan

Sa madaling salita, ang logic - ay ang pag-iisip proseso ng naghahanap para sa katotohanan, dahil sa batayan ng mga prinsipyo nito hugis ang proseso ng paghahanap ng mga pang-agham na kaalaman. May mga iba't ibang anyo at pamamaraan ng paggamit ng logic at sila ay nagkaisa ang lahat sa kaalaman ng teorya ng pag-aalis sa iba't-ibang larangan ng agham. Ang tinatawag na tradisyonal na logic, kung saan may mga higit sa 10 iba't ibang mga paraan, ngunit ang pangunahing ay itinuturing pa rin na maging deduksyon lohika ng Descartes at Bacon ni inductive logic.

deduksyon lohika

Namin ang lahat ng malaman ang mga paraan ng pag-aawas. Paggamit nito sa isang paraan o iba pang konektado sa agham pati na logic. Descartes matter of logic - ay isang paraan ng pang-agham na kaalaman, ang kakanyahan ng kung saan ay namamalagi sa mahigpit na breeding ng mga tiyak na mga probisyon na dati-aral at napatunayan bago. Siya ay magagawang upang ipaliwanag kung bakit, sa sandaling ang paunang pahayag ay totoo, at pagkatapos ay binawi, masyadong totoo.

Para deduksyon lohika, ito ay napakahalaga na walang mga contradictions sa mga pahayag source, dahil maaari nilang karagdagang humantong sa maling konklusyon. Ng deduksyon lohika ay napaka-tumpak na at hindi magparaya pagpapalagay. Ang lahat ng mga postulates na ginagamit, bilang isang patakaran, ay batay sa na-verify ng data. Ito lohikal na paraan ay ang kapangyarihan paniniwala at ginagamit karaniwang sa eksaktong agham tulad ng matematika. Bukod dito, ang deduksyon paraan ay hindi questioned, at pinag-aralan ang napaka paraan ng paghahanap ng katotohanan. Halimbawa, lahat ng mga kilalang Pitagoryan teorama. Posible bang tumawag sa tanong ang bisa nito? Sa halip ang kabaligtaran - na kailangan mo upang malaman ang teorya at malaman kung paano upang patunayan ito. Ang paksa ng "Logic" Sinusuri ang direksyon. Sa tulong nito, na may kaalaman ng mga tiyak na mga batas at mga katangian ng isang bagay, ito ay posible upang pagbatayan ng mga bago.

inductive logic

Maaari naming sabihin na inductive logic ang tinatawag na Bacon ni virtually contradicts ang pangunahing mga prinsipyo ng deduksyon. Kung ang nakaraang pamamaraan ay ginagamit para sa mga eksaktong agham, isang bagay na - para sa natural, na nangangailangan ng logic. Ang object ng logic sa agham: ang kaalaman ay nahango sa pamamagitan ng pagmamasid at eksperimento. Walang eksaktong data at mga kalkulasyon. Ang lahat ng mga kalkulasyon ay ginawa lamang theoretically, upang pag-aralan ang isang bagay o kababalaghan. Ang kakanyahan ng pasaklaw lohika ay ang mga sumusunod:

1. Magsagawa ng tuloy-tuloy na monitoring ng bagay na sinusuri, at upang lumikha ng isang artipisyal na sitwasyon, na kung saan ay theoretically maaaring mangyari. Ito ay kinakailangan upang pag-aralan ang mga katangian ng mga tiyak na mga item na hindi maaaring natutunan sa isang natural na setting na ito. Ito ay isang paunang kinakailangan para sa pag-aaral ng inductive logic.
2. Batay sa mga obserbasyon upang mangolekta ng bilang ng maraming mga katotohanan tungkol sa mga bagay sa ilalim ng pag-aaral. Ito ay mahalaga na tandaan na dahil sa mga kondisyon nalikha artipisyal, ang katotohanan ay maaaring pangit, ngunit ito ay hindi nangangahulugan na sila ay hindi totoo.
3. Upang ipahayag nang masaklaw at ayusin ang mga data na nakuha sa panahon ng eksperimento. Ito ay kinakailangan upang tasahin ang sitwasyon. Kung ang data ay hindi sapat, ang mga palatandaan ng isang bagay ay dapat muling mailagay sa ibang artipisyal na sitwasyon.
4. Upang bumuo ng isang teorya upang ipaliwanag ang mga natuklasan at upang mahulaan ang kanilang mga karagdagang pag-unlad. Ito ang huling yugto, na naghahain upang ibuod. Ang teorya ay maaaring gawin nang walang pagkuha sa account ang data na aktwal na natanggap, ngunit, gayunman, ito ay magiging fine.

Halimbawa, ayon sa mga empirical na pag-aaral sa mga likas na phenomena tunog vibrations, light waves, at iba pa. D. Physics formulated na posisyon na ang anumang mga kababalaghan sa isang pana-panahong mga likas na katangian, ay maaaring sinusukat. Of course, sa bawat indibidwal na mga kondisyon ng phenomenon at gumanap ng ilang mga kalkulasyon ay ginawa. Depende sa kumplikado ng mga artipisyal na sitwasyon, pagbabasa ay makabuluhang naiiba. Ito ay pinapayagan upang patunayan na ang dalas ng oscillations ay maaaring sinusukat. Scientific induction Bacon ipinaliwanag bilang paraan ng pang-agham na kaalaman ng sanhi-epekto relasyon at ang paraan ng pang-agham na pagtuklas.

pananahilan relasyon

Mula sa simula, ang pag-unlad ng agham ng logic magkano ang pansin ay binabayaran sa kadahilanan na ito ay nakakaapekto sa buong proseso ng pananaliksik. Pananahilan link - ito ay isang napaka-mahalagang aspeto sa pag-aaral ng logic. Ang dahilan - ito ay isang partikular na kaganapan o bagay (1), na natural na nakakaapekto sa hitsura ng isa pang bagay o isang kababalaghan (2). Ang paksa ng logic ng agham, pormal na pagsasalita, ay upang malaman ang mga dahilan para sa sequence na ito. Pagkatapos ng nabanggit na ito ay lilitaw na (1) ang sanhi (2).

Maaari kang magbigay ng isang halimbawa: ". black hole" ang mga siyentipiko na tuklasin space at ang mga bagay na natagpuan doon, natuklasan ang mga kababalaghan ng Ito ay isang cosmic katawan, ang gravitational field ay kaya malaki na maaari itong makuha anumang iba pang mga bagay sa espasyo. Ngayon namin malaman ang sanhi at bunga ng mga ito kababalaghan: kung ang gravitational field ng anumang celestial katawan ay napakalaki (1), ito ay ma-absorb ang anumang higit pa (2).

Ang pangunahing paraan ng lohika

Subject logic Panandalian Sinusuri maraming lugar ng buhay, ngunit sa karamihan ng mga kaso ang impormasyon na nakuha ay depende sa lohikal na paraan. Halimbawa, paghihiwalay analysis tinutukoy hugis pagsubok object sa ilang mga bahagi na may isang view upang pag-aaral sa mga ari-arian nito. Pagsusuri ay karaniwang kinakailangan na nauugnay sa ang synthesis. Kung ang unang paraan divides phenomenon, ang ikalawang, sa laban, ito nag-uugnay sa natanggap bahaging ito upang maitaguyod ang relasyon sa pagitan ng mga ito.

Isa pang kawili-wiling paksa ng lohika ay isang paraan ng abstraction. Ito ay isang proseso ng kaisipan paghihiwalay ng ilang mga katangian ng mga bagay o phenomenon na may tanawin sa pag-aaral ang mga ito. Ang lahat ng mga pamamaraan na ito ay maaaring nakategorya bilang pamamaraan ng katalusan.

Mayroon ding isang paraan ng interpretasyon, kung saan ay ang kaalaman ng ang pag-sign ng sistema ng mga tiyak na mga bagay. Kaya, mga bagay at phenomena ay maaaring bigyan ng symbolic kahulugan, na kung saan ay mapadali ang pag-unawa ng ang kakanyahan ng ang bagay mismo.

modernong logic

Modern lohika - ito ay hindi isang doktrina, at ang mapa ng mundo. Karaniwan, ito agham ay may dalawang mga bumubuo ng panahon. Ang una ay nagsimula sa Laong World (Ancient Greece, sinaunang Indya, Ancient China) at nagtatapos sa ika-19 siglo. Ang ikalawang panahon ay nagsisimula sa ikalawang kalahati ng ika-19 siglo at ay patuloy pa rin. Pilosopo at siyentipiko ng ating panahon hindi titigil sa pag-aaral na ito sinaunang agham. Gusto Ito tila na ang lahat ng kanyang mga pamamaraan at mga prinsipyo na matagal na pinag-aralan sa pamamagitan ng Aristotle at ang kanyang mga tagasunod, ngunit ang bawat taon ang logic ng agham, isang bagay ng logic, pati na rin ang mga tampok nito patuloy na ginalugad.

Isa sa mga tampok ng modernong lohika ay ang pagpapakalat ng paksa ng pananaliksik, na kung saan ay dahil sa mga bagong estilo at paraan ng pag-iisip. Ito ang humantong sa paglitaw ng mga bagong uri ng modal na lohika, tulad ng mga pagbabago na lohika at pananahilan lohika. Ito ay napatunayan na ang mga ganitong mga modelo ay makabuluhang naiiba mula sa mga na pinag-aralan.

Modern lohika bilang isang agham ay ginagamit sa maraming mga lugar ng buhay, tulad ng engineering at impormasyon teknolohiya. Halimbawa, kung isaalang-alang namin kung paano gumagana ang computer at maaari mong malaman kung ano ang lahat ng mga programa sa mga ito ay natupad sa pamamagitan ng algorithm, na kahit papaano ay pinagana logic. Sa ibang salita, maaari naming sabihin na ang isang pang-agham na proseso ay umabot sa parehong antas ng pag-unlad, kung saan siya ay matagumpay na nalikha at ipinakilala sa mga gawain ng mga aparato at mga mekanismo nagtatrabaho sa mga lohikal na mga prinsipyo.

Ang isa pang halimbawa ay ang paggamit ng logic sa modernong agham ay sa pamamahala ng isang programa sa CNC machine at pag-install. Magkakaroon din Mukhang may bakal na robot ay gumaganap ng isang lohikal na-constructed aksyon. Gayunpaman, ang mga halimbawang ito ay lamang ang pormal na ipakita mo sa amin ang pag-unlad ng modernong logic, dahil sa ganitong paraan ng pag-iisip ay maaaring magkaroon lamang ng isang buhay na pagiging, tulad ng isang tao. Bukod dito, maraming mga siyentipiko ay pa rin arguing tungkol sa kung ang mga hayop ay may lohikal na mga kasanayan. Ang lahat ng mga pag-aaral sa lugar na ito ay nabawasan sa ang katunayan na ang mga pagkilos ng mga hayop prinsipyo ay batay lamang sa kanilang mga instincts. Makakuha ng impormasyon, proseso ito at maglalabas ng isang tao ay maaaring magresulta.

Pananaliksik sa larangan ng agham tulad ng logic, maaari pa ring magpatuloy para sa mga libo-libong taon, dahil ang utak ng tao ay hindi pa lubusang pinag-aralan. Bawat taon ang mga tao ay ipinanganak na mas at mas binuo, na sumasalamin ang patuloy na paglaki ng tao.