Bahay Mga ngipin ng karunungan Ang kasaysayan ng paglitaw ng agham na "Logic. Kasaysayan ng pagbuo ng lohika

Mga ngipin ng karunungan

Ang kasaysayan ng paglitaw ng agham na "Logic. Kasaysayan ng pagbuo ng lohika

Mga pangunahing salita: deduksyon, pormal na lohika, induktibong lohika, matematikal na lohika, dialectical na lohika.

Mga sanhi at kundisyon para sa paglitaw ng lohika. Ang pinakamahalagang dahilan para sa paglitaw ng lohika ay ang mataas na pag-unlad ng intelektwal na kultura na nasa sinaunang mundo. Ang lipunan sa yugtong iyon ng pag-unlad ay hindi nasisiyahan sa umiiral na mitolohiyang interpretasyon ng katotohanan; nagsusumikap itong makatwiran na bigyang-kahulugan ang kakanyahan ng natural na mga penomena. Isang sistema ng haka-haka, ngunit kasabay nito ang demonstrative at pare-parehong kaalaman ay unti-unting umuusbong.

Ang isang espesyal na papel sa proseso ng pag-unlad ng lohikal na pag-iisip at ang teoretikal na pagtatanghal nito ay kabilang sa pang-agham na kaalaman, na sa oras na iyon ay umabot sa mga makabuluhang taas. Sa partikular, ang mga tagumpay sa matematika at astronomiya ay humantong sa mga siyentipiko sa ideya ng pangangailangang pag-aralan ang likas na katangian ng pag-iisip mismo at itatag ang mga batas ng daloy nito.

Ang pinakamahalagang mga kadahilanan sa pagbuo ng lohika ay ang pangangailangan na ipalaganap sa panlipunang kasanayan ang aktibo at mapanghikayat na paraan ng pagpapahayag ng mga pananaw sa larangan ng pulitika, paglilitis, relasyon sa kalakalan, edukasyon, aktibidad sa edukasyon, atbp.

Ang nagtatag ng lohika bilang isang agham, ang lumikha ng pormal na lohika, ay itinuturing na sinaunang pilosopo ng Griyego, ang sinaunang siyentipiko ng encyclopedic mind na si Aristotle (384 - 322 BC). Sa mga aklat ng Organon: Topika, Analysts, Hermeneutics, atbp., ang nag-iisip ay bubuo ng pinakamahalagang kategorya at batas ng pag-iisip, lumilikha ng teorya ng ebidensya, at bumalangkas ng isang sistema ng mga deduktibong hinuha. Ang pagbabawas (Latin: inference) ay nagbibigay-daan sa isa na makakuha ng tunay na kaalaman tungkol sa mga indibidwal na phenomena batay sa mga pangkalahatang pattern. Si Aristotle ang unang nagsuri ng pag-iisip mismo bilang isang aktibong sangkap, isang anyo ng katalusan, at inilarawan ang mga kondisyon kung saan ito ay sapat na sumasalamin sa katotohanan. Ang lohikal na sistema ni Aristotle ay madalas na tinatawag na tradisyonal dahil naglalaman ito ng mga pangunahing teoretikal na probisyon tungkol sa mga anyo at pamamaraan ng aktibidad ng kaisipan. Kasama sa pagtuturo ni Aristotle ang lahat ng pangunahing seksyon ng lohika: konsepto, paghatol, hinuha, mga batas ng lohika, patunay at pagtanggi. Dahil sa lalim ng pagtatanghal at pangkalahatang kahalagahan ng problema, ang kanyang lohika ay tinatawag na klasikal: nang makapasa sa pagsubok ng katotohanan, nananatiling may kaugnayan ito ngayon at may malakas na epekto sa tradisyong pang-agham.

Pag-unlad ng lohikal na kaalaman. Ang isang karagdagang pag-unlad ng sinaunang lohika ay ang pagtuturo ng mga pilosopong Stoic, na, kasama ng mga isyu sa pilosopikal at etikal, ay itinuturing na ang lohika ay "ang bunga ng mga logo ng mundo," ang makalupang anyo ng tao. Ang Stoics Zeno (333 - 262 BC), Chrysippus (c. 281 - 205 BC) at iba pa ay dinagdagan ang lohika ng isang sistema ng mga pahayag (mga panukala) at mga konklusyon mula sa kanila, nagmungkahi sila ng mga pakana ng hinuha batay sa mga kumplikadong paghatol, pinayaman ang kategoryang kagamitan. at wika ng agham. Ang paglitaw ng terminong "lohika" ay nagsimula noong panahong ito (ika-3 siglo BC). Ang lohikal na kaalaman ay ipinakita ng mga Stoic na medyo mas malawak kaysa sa klasikal na pagkakatawang-tao nito. Pinagsama nito ang doktrina ng mga anyo at operasyon ng pag-iisip, ang sining ng talakayan (dialectics), ang kasanayan sa pagsasalita sa publiko (retorika) at ang doktrina ng wika.

Sa modernong panahon, sa panahon ng malawakang pagpapakalat ng kaalaman sa natural na agham (mekanika, heograpiya, atbp.) sa Europa, may pangangailangang dagdagan ang sistema ng deduktibong mga hinuha sa mga prinsipyo ng induktibong pag-iisip. Ito ay naging posible na bumuo ng naipon na empirikal, makatotohanang materyal, mga espesyal na kaso mula sa pagsasanay at buhay sa pamamagitan ng mga paghahambing at paglalahat sa paraang humantong sila sa mga tunay na paghuhusga ng isang pangkalahatang kalikasan. Ang kaalaman tungkol sa mga indibidwal na bagay ay maaaring "magmungkahi" (Latin: inductio) ang ideya ng pagkakaroon ng mga pangkalahatang pattern ng kanilang pag-iral. Ang pag-aari na ito ng pag-iisip bilang isang huwaran na pang-agham, bilang kabaligtaran sa scholastic na pangangatwiran, ay nabanggit sa kanyang akdang "The New Organon or True Guidelines for the Interpretation of Nature" ng Ingles na pilosopo at naturalista na si Francis Bacon (1561 - 1626). Kaya't siya ang naging tagapagtatag ng inductive logic.

Ang mga detalye ng kaalamang pang-agham ay makikita sa rasyonalistikong pamamaraan ng Pranses na palaisip ng Bagong Panahon, si Rene Descartes (1596 - 1650). Sa "Discourse on the Method for Correctly Directing Your Mind and Finding Truth in the Sciences" at "Mga Panuntunan para sa Paggabay sa Isip," binabalangkas niya ang pinakamahalagang paraan ng cognition: axiomatic, analytical at synthetic, at gayundin, sa dulo ng cognition , ang sistematikong pamamaraan. Ang pinakamataas na anyo ng pagpapatupad ng rationalistic methodology, ayon kay Descartes, ay matematika. Ang lohika ay gumaganap ng papel ng isang pamamaraan ng katalusan, na may kakayahang tumuklas ng mga paraan upang makakuha ng mga bagong katotohanan at madagdagan ang kaalaman.

Ang mga pangunahing ideya ng matematikal (o simbolikong) lohika ay iminungkahi ng German thinker na si G.V. Leibniz (1646 - 1716) sa kanyang mga gawa na "On the Art of Combinatorics", "An Experience in Universal Calculus", "On the Mathematical Determination of Syllogical Forms ”, atbp. Bumubuo siya ng mga isyu ng tradisyunal na lohika (nagbubuo ng batas ng sapat na katwiran, gumagana sa pag-systematize ng mga kategorya ng lohika, atbp.), ngunit mas binibigyang pansin ang pormalisasyon ng wika, mathematization ng estilo ng lohikal na pag-iisip. Mula noon, nagsimulang gumamit ang lohika ng mga espesyal na palatandaan-mga simbolo na hindi ginagamit sa natural na wika. Si Leibniz ang unang nag-explore ng mga posibilidad ng arithmetized logical inference batay sa pagsusulatan sa pagitan ng mga batas ng lohika at ng mga batas ng matematika. Nilalayon nitong dalhin ang teoretikal na pang-agham na pangangatwiran sa mga kalkulasyon sa matematika, salamat sa kung saan posible na malutas ang anumang hindi pagkakaunawaan at makarating sa katotohanan.

Ang tradisyunal na lohika ay pinapalitan ng matematikal na lohika, na sumasaklaw sa mga anyo ng kaisipan sa mahigpit na mga pormulasyon ng mga tuntunin at teorema, na ipinatupad sa mga analytical na pamamaraan ng aktibidad ng kaisipan.

Noong ika-19 na siglo ang simbolikong lohika ay nagiging pinaka-kaakit-akit na lugar ng lohikal na kaalaman. Kabilang sa mga pinakatanyag na kinatawan ng lohika ng matematika, ang Ingles na matematiko na si D. Boole (1815 - 1864) ay namumukod-tangi. Sa kanyang mga gawa na "Mathematical Analysis of Logic" at "Study of the Laws of Thought" inilatag niya ang mga pundasyon para sa algebraic calculus ng mga partikular na elemento (mga klase) bilang mga relasyon (operasyon). Hinangad ni Boole na isalin sa sign language ang mga ugnayan sa pagitan ng mga ideya, bagay at abstract system. Ang Boolean algebra ay ang solusyon ng mga lohikal na problema sa pamamagitan ng paggamit ng tatlong operasyon: a) class addition (A U B), class multiplication (A? B), at class addition (A?). Naaangkop din ang Boole algebra sa mga inilapat na kaso, halimbawa, sa interpretasyon ng mga konkretong relay circuit, sa calculus kapag nagprograma sa isang computer, atbp.

Pormal at simbolikong lohika. Ang pormal (tradisyonal) na lohika, ang paksa ng pananaliksik nito, ay ang pag-aaral ng mga pangunahing anyo ng pag-iisip (konsepto, paghatol, hinuha), mga batas na nasa kanilang saklaw, nang hindi direktang umaasa sa tiyak na nilalaman ng pag-iisip. Ang pormal na lohika ay mga abstract mula sa makasaysayang proseso, mula sa pagbuo ng mga praktikal at nagbibigay-malay na pamamaraan ng pagkilos.

Ang simbolikong (matematika) na lohika ay maaaring ipakita bilang pormal, bilang pormal na bahagi nito. Nakikita niya ang kanyang pangunahing gawain bilang pagbuo ng lohikal na calculus gamit ang mga mathematical formula, axioms at mga kahihinatnan. Itinatakda nito ang mga anyo ng pag-iisip sa isang sistema ng mga palatandaan at mga espesyal na simbolo.

Ang modernong pormal na lohika ay nagsasangkot ng pag-aaral ng mga operasyong pangkaisipan at ang paglipat ng mga lohikal na anyo sa pangkalahatang mga pattern ng teoretikal na kaalaman. Ang modernong simbolikong lohika ay isang independiyenteng direksyon ng lohikal na kaalaman; ito ay hindi lamang teoretikal, kundi pati na rin ang praktikal na kahalagahan. Kaya, bilang karagdagan sa mga kumplikadong pagpapatakbo ng computational, malawak itong ginagamit sa linguistics (kapag nagsasalin mula sa isang wika patungo sa isa pa), ang teknikal na larangan (kapag nagkokontrol ng mga aparato), sa computer programming, atbp.

Pormal at dialectical na lohika. Ang mga pormal na lohikal na mga scheme, kung gayon, ay walang malasakit (walang kaugnayan) sa kakanyahan ng mga bagay na nakikilala. Ang kakanyahan ay isang hanay ng mga panloob na katangian at katangian ng isang bagay na nagpapahayag ng nilalaman nito. Ang pinakamahalagang paraan upang tumagos sa kakanyahan ng mga bagay ay upang matuklasan ang magkasalungat na pagkakaisa ng kanilang mga tampok, isaalang-alang ang mga ito sa kanilang pag-unlad at kaugnayan sa iba pang mga bagay. Sa proseso ng naturang cognition, mahalagang i-abstract mula sa hindi mahalaga, random, concentrating na kaalaman sa mga katangiang katangian.

Sa kaibahan sa pormal na lohika, ang diyalektikong lohika ay may paksang pag-aaral ng paglitaw at pag-unlad ng mga fragment ng realidad, kabilang ang mga lohikal na anyo at batas. Ito ang kaalaman sa pagbuo ng pag-iisip. Ang batayan ng dialectical logic ay isang bilang ng mga prinsipyo: a) ang prinsipyo ng pag-unlad, b) ang prinsipyo ng historicism, c) ang prinsipyo ng comprehensiveness, d) ang prinsipyo ng concreteness, atbp. Ang sentral na konsepto ng dialectical logic ay dialectical contradiction .

Dialectical logic, pag-iipon at pag-generalize ng kaalaman nito sa buong panahon ng pag-unlad ng logic, ay ipinakita sa isang sistematikong anyo sa klasikal na pilosopiya ng Aleman. Sa mga gawa ni I. Kant (1724 - 1804) "Critique of Pure Reason" at "Critique of the Power of Judgment", ang pagpapatibay ng transendental na lohika, na tumutukoy sa pinagmulan, nilalaman at layunin ng kahalagahan ng isang priori na kaalaman, ay dinala. palabas. Sa pilosopiya ni Hegel (1770 - 1831), ang layunin-idealistic na sistema ng dialectical logic bilang isang unibersal na anyo ng self-knowledge at self-development ng konsepto ay natagpuan ang pagkumpleto nito. Sa kanyang akdang "The Science of Logic", hindi lamang niya pinupuna ang mga pormal na lohikal na batas ng pag-iisip bilang "neontological", ngunit pinatutunayan din ang isang panimula na naiibang nilalaman ng lohikal na kaalaman - mga batas, konsepto at konklusyon, na batay sa dialectic ng pag-iisip ng layuning diwa.

Ang isang bagong yugto sa pag-unawa sa dialectical logic ay nauugnay sa mga pangalan ni K. Marx (1818 - 1883) at F. Engels (1820 - 1895). Sa mga gawa ni F. Engels "Anti-Dühring", "Dialectics of Nature", K. Marx "Capital" at iba pa, ang interpretasyon ng pagbuo ng mga form ay hindi batay sa orihinalidad ng "self-developing concept", ngunit sa ang pagtuklas ng mga pagbabagong diyalektiko sa layunin (materyal) na mundo mismo. Ang kalikasan at lipunan, mula sa kanilang pananaw, ay ang batayan ng pag-unawa sa mga batas ng dialectical na pag-iisip. Sa Marxist dialectics, mula sa isang materyalistang posisyon, tatlong pinakamahalagang batas ng dialectics ang nabuo (ang batas ng pagkakaisa at pakikibaka ng magkasalungat, ang batas ng mutual transformation ng quantitative at qualitative na pagbabago, ang batas ng negation ng negation), ang mga pangunahing prinsipyo at mga kategorya ng materyalistang diyalektika.

Kung kinikilala ng pormal na lohika ang mga anyo ng pag-iisip sa pamamagitan ng pagsusuri ng mga pinakamahalagang tampok na walang direktang koneksyon sa isang tiyak na paksa, sa isang pangkalahatan at abstract na anyo, pagkatapos ay inililipat ng dialectical logic ang diin ng pag-aaral ng kakanyahan ng mga naiisip na bagay sa pagsusuri ng mga bagay at mga proseso sa paggalaw, pag-unlad at pagkakaugnay. Sa kasong ito, ang hindi mahalaga, random na mga tampok ay inalis at pinapawalang-bisa, habang ang mga makabuluhang ay naka-highlight at na-update.

Gayunpaman, hindi maaaring tutulan ang dialectical at pormal na lohika. Pinag-aaralan nila ang parehong bagay - pag-iisip ng tao; ang paksa ng pareho ay ang mga pattern ng aktibidad ng kaisipan. Ang pag-iisip ay napapailalim sa parehong mga pormal na lohikal na batas bilang pangunahing, at dialectical na mga batas bilang pagbuo. Imposibleng mag-isip nang diyalektiko nang hindi naiintindihan at isinasaalang-alang ang mga batas ng pormal na lohika. Iyon ay, posible na tapusin na ang modernong lohikal na kaalaman ay kasama sa istraktura nito ng dalawang magkakaugnay at medyo independiyenteng mga agham: pormal na lohika (kung saan ang simbolikong lohika ay isang bahagi) at dialectical na lohika. Bukod dito, ang pagkilala sa pangunahing kahalagahan ng lohika sa pagbuo ng anumang wastong pag-iisip, pang-agham at teoretikal na kaalaman ay nangangailangan ng patuloy na pag-aaral ng kakanyahan ng mga phenomena at istruktura ng pag-iisip sa pamamagitan ng pagtuklas ng mga kontradiksyon sa kalikasan, lipunan at pag-iisip ng tao.

Mga gawain at pagsasanay

1. Gamit ang isang mathematical sequence ng mga aksyon, ibunyag ang sikreto ng paghula ng mga numero. Mag-isip ng anumang numero, ibawas ang 1 mula dito, i-multiply ang resulta sa 2, ibawas ang bilang na naisip mo mula sa resultang produkto at iulat ang resulta. Paano hulaan ang numero na ipinaglihi ng isang kaibigan?

2. Paano magsukat ng 6 na litro ng tubig kung mayroong mga lalagyan na 9 litro at 4 na litro:

3. Sa sinaunang retorika, binuo ang isang pamamaraan para sa pagbuo ng talumpati, na binubuo ng limang pinakamahahalagang yugto. Ilagay ang mga ito sa isang lohikal na pagkakasunud-sunod:

bigkas, salita, imbensyon, plano, pagsasaulo.

4. Gumawa ng isang detalyadong logical diagram o talahanayan na nagpapakita ng kasaysayan ng pag-unlad ng lohikal na kaalaman.

Logic bilang isang agham

2. Ang paglitaw at pag-unlad ng lohika

Mga pangunahing salita: deduksyon, pormal na lohika, induktibong lohika, matematikal na lohika, dialectical na lohika.

Mga gawain at pagsasanay

2. Paano magsukat ng 6 na litro ng tubig kung mayroong mga lalagyan na 9 litro at 4 na litro:

3. Sa sinaunang retorika, binuo ang isang pamamaraan para sa pagbuo ng talumpati, na binubuo ng limang pinakamahahalagang yugto. Ilagay ang mga ito sa isang lohikal na pagkakasunud-sunod:

bigkas, salita, imbensyon, plano, pagsasaulo.

4. Gumawa ng isang detalyadong logical diagram o talahanayan na nagpapakita ng kasaysayan ng pag-unlad ng lohikal na kaalaman.

Mga konsepto ng axiological sa pilosopiya ng Russia

Ang Axiology ay maaaring tukuyin bilang ang pilosopikal na pag-aaral ng kalikasan ng mga halaga. Diksyunaryo ng Pilosopikal / ed. M.T. Frolova. M.: Politizdat, 1991. - P.12. Ang doktrina ng mga pagpapahalaga, bago umusbong sa modernong anyo nito, ay dumaan sa isang makasaysayang landas ng pag-unlad...

Hypothesis, lohikal na istraktura ng hypothesis

Kasaysayan ng paglitaw at pag-unlad ng agham

Noong sinaunang panahon, ang tao, habang nakakakuha ng kanyang paraan ng pamumuhay, ay nakatagpo ng mga puwersa ng kalikasan at nakatanggap ng una, mababaw na kaalaman tungkol sa kanila. Mito, mahika, okultismo...

Kasaysayan ng lohika

Ang lohika ay may mahaba at mayamang kasaysayan, na hindi mapaghihiwalay na nauugnay sa kasaysayan ng pag-unlad ng lipunan sa kabuuan. Ang paglitaw ng lohika bilang isang teorya ay nauna sa pagsasanay ng pag-iisip pabalik sa libu-libong taon. Sa pag-unlad ng paggawa...

Kasaysayan ng pag-unlad ng pagsusuri ng mga sistema

Ang tanong ng isang siyentipikong diskarte sa pamamahala ng mga kumplikadong sistema ay unang iniharap sa konkretong anyo ni A. M. Ampere (1735 - 1876) sa kanyang akdang "Isang Pag-aaral sa Pilosopiya ng Agham, o isang Analytical na Pahayag ng Pag-uuri ng Lahat ng Kaalaman ng Tao" ...

Classical Slavophilism 1830-1860

Ang oras ng kapanganakan ng Slavophilism ay itinuturing na taglamig ng 1838-39, nang sa mga pampanitikan na salon ng Moscow ay nagkaroon ng pagpapalitan ng mga mensahe sa pagitan ng A.S. Khomyakov ("Tungkol sa Luma at Bago") at I.V. Kireevsky ("Bilang tugon kay A.S. Khomyakov"). Noong 1839 SA...

Ang lohika ni Aristotle

Ang lohika ay ang agham ng patunay, at sa gayon ay kinakailangan na hatiin ang lahat ng mga hinuha sa totoo at mali. Para kay Aristotle, ang katotohanan ay ang pagkakatugma ng isang pahayag sa pagiging, ang kasinungalingan ay hindi pagkakapare-pareho. Ang katotohanan ay isang non-ontological na katotohanan...

Lohika at retorika

Mga tanong para sa talakayan: 1. Mga detalye ng lohika bilang isang agham. Ang papel ng lohika sa pagbuo ng lohikal na kultura ng tao. 2. Lohikal na mga turo ng unang panahon...

Kahulugan ng lohika

Ang lohika ay ang agham ng mga anyo at batas ng tamang pag-iisip. Ang agham na ito ay lumitaw sa paligid ng ika-5 siglo. BC. 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, gayunpaman...

Mga pangunahing yugto ng pag-unlad ng lohika

Ang problema ng kamalayan sa pilosopiya

Ang pinakaunang mga ideya tungkol sa kamalayan ay lumitaw noong sinaunang panahon...

Ang mga indibidwal na lohikal na problema ay lumitaw at tinalakay mga 2.5 libong taon na ang nakalilipas - una sa Sinaunang India at Sinaunang Tsina. Pagkatapos ay tumanggap sila ng mas kumpletong pag-unlad sa Sinaunang Greece at Roma. Unti-unti silang nabubuo sa isang magkakaugnay na sistema at nagiging isang malayang agham.

Ipinanganak sa pakikibaka laban sa mitolohiya at relihiyon, ang agham ay batay sa teoretikal na pag-iisip, na kinasasangkutan ng mga hinuha at ebidensya. Samakatuwid ang pangangailangan na pag-aralan ang kalikasan ng pag-iisip mismo bilang isang anyo ng kaalaman.

Ang pag-unlad ng lohika ay pinasigla ng pag-unlad ng oratoryo, kabilang ang hudisyal na sining, na umunlad sa ilalim ng mga kondisyon ng sinaunang demokrasya ng Griyego at Romano.

Ang lohika ay lumitaw bilang isang pagnanais na maunawaan at ipakita kung ano ang mga katangian ng pagsasalita upang makumbinsi ang mga tagapakinig at kasabay nito ay pilitin silang sumang-ayon o hindi sumasang-ayon sa isang bagay, upang makilala ang isang bagay bilang totoo o mali.

Ang nagtatag ng pormal na lohika ay ang sinaunang Griyegong pilosopo at siyentipiko na si Aristotle (384-322 BC), na unang nagbigay ng sistematikong pagtatanghal ng lohika. Aristotelian logic at lahat ng pre-mathematical logic ay karaniwang tinatawag na "tradisyonal" na pormal na lohika. Ito ang unang yugto sa pag-unlad ng agham ng lohika. Kasama sa tradisyonal na pormal na lohika ang mga seksyon tulad ng konsepto, paghatol, hinuha, mga batas ng lohika, patunay at pagtanggi, hypothesis. Nakita ni Aristotle ang lohika bilang isang kasangkapan (o paraan) ng pananaliksik. Ang lohika ni Aristotle ay naglalaman ng mga elemento ng mathematical (symbolic) logic.

Nagbigay si Aristotle ng isang klasipikasyon ng mga kategorya - ang pinaka-pangkalahatang konsepto - at isang pag-uuri ng mga paghatol, na nagbalangkas ng tatlong pangunahing batas ng pag-iisip - ang batas ng pagkakakilanlan, ang batas ng kontradiksyon at ang batas ng ibinukod na gitna. Ang lohikal na pagtuturo ni Aristotle ay kapansin-pansin na sa embryo ay naglalaman ito, sa esensya, ang pinakabagong mga seksyon, direksyon at uri ng lohika - inductive, symbolic, dialectical. Ang terminong "lohika" ay pumasok sa siyentipikong paggamit medyo kalaunan, noong ika-3 siglo. BC e. Bukod dito, alinsunod sa dalawahang kahulugan ng sinaunang salitang Griyego na "logos" (parehong "salita" at "kaisipan"), pinagsama niya ang parehong sining ng pag-iisip - dialectics, at ang sining ng pangangatwiran - retorika. Nang maglaon lamang nagsimula ang terminong ito na italaga ang mga lohikal na problema nang wasto, at ang diyalektika at retorika ay lumitaw bilang mga independiyenteng sangay ng kaalaman.

Ang mga sophist, at kabilang sa kanila si Protagoras, ay nagsimulang bigyang-kahulugan ang diyalektika bilang sining ng pagsasagawa ng pag-uusap at pagtatalo. Itinuro ni Protagoras na ang isang bagay ay maaaring pagtibayin tungkol sa bawat paksa at ang parehong ay maaaring tanggihan. Ang mga ideyang ito ay ipinaliwanag ng pilosopo sa akdang "Antilogy", na kilala lamang sa amin mula sa mga alamat. Ayon sa mga sophist, mayroong ilang katotohanan sa bawat pahayag, at kailangan mo lamang itong patunayan. Walang iisang ganap na katotohanan, ngunit isang hanay lamang ng mga mapagkakatiwalaang opinyon; anumang katotohanan ay relatibo: "Ang tao ang sukatan ng lahat ng bagay." Ayon kay Protagoras, ang object ng kaalaman sa "fluid matter" ay naglalaman ng kasalungat na "logoi"; ang katotohanan ay nababago at nagkakasalungatan; alam ng bawat tao kung ano ang tumutugma sa kanya bilang isang nakakaalam na paksa, samakatuwid siya ay kumikilos bilang isang sukatan, isang pamantayan ng lahat ng bagay. Si Protagoras ay sikat bilang isang dalubhasa sa debate, kung saan inilaan pa niya ang isa sa kanyang mga gawa - "The Art of Dispute" . Itinuring ni Protagoras ang mga epistemological na kinakailangan para sa mga talakayan at ang paglitaw ng iba't ibang, kung minsan ay sumasalungat, mga pananaw na ang pagkakaiba sa mga karanasan sa buhay ng mga paksa ng kaalaman, ang pagiging kumplikado at pagkakaiba-iba ng mga bagay ng kaalaman, ang hindi pagkakapare-pareho ng pag-unlad ng mga phenomena at ang kurso ng kaalaman, gayundin ang mga pansariling katangian ng mga pandama at ang panlipunang pagkondisyon ng proseso ng kaalaman. Ang salitang "sophist", na nagmula sa sinaunang Griyego na "sophos" - sage, pagkatapos, bilang isang resulta ng isang panig na pagpuna ni Plato sa mga sophist, ay nakakuha ng negatibong kahulugan. Samakatuwid, kinakailangan na makilala ang mga sinaunang sophist mula sa mga modernong. "Ang kakaibang pagkakaiba sa pagitan ng sinaunang sophistry at modernong sophistry ay ang paggamit nito ng flexibility ng mga konsepto sa parehong subjective at objectively."

Bilang isang napakalaking paglalahat ng nakaraang pagsasanay ng pag-iisip, ang lohika ni Aristotle ay nagkaroon ng malakas na impluwensya sa kasunod na pag-unlad at, higit sa lahat, sa kaalamang siyentipiko, gayundin sa pag-unlad ng oratoryo, lalo na ang mga hudisyal na talumpati.

Ang lohika ng mga Stoics (sinaunang paaralang pilosopikal, ika-3 siglo BC) ay mahalaga. Ang Stoic logic ay kumakatawan sa unang draft ng tinatawag na logic of propositions.detalyadong mga katotohanan.

Sa Middle Ages, ang problema ng mga pangkalahatang konsepto - "unibersal" - ay nakatanggap ng malaking pansin ng publiko. Ang debate tungkol sa kanila sa pagitan ng mga realista at nominalista ay tumagal ng maraming siglo. Sa Middle Ages, nabuo ang lohika ng pagtatalo. Ginamit ng iskolastikong lohika ang pamamaraan ng talakayan na iminungkahi ni P. Abelard sa kanyang akda: “Pros and Cons.” Ang kakanyahan nito ay ang mga sumusunod. Ang anumang teksto ay naging isang bagay ng talakayan. Ang unang bahagi ng talakayan ay upang bigyang-katwiran ang "mga simula" ("oo"); ang pangalawa ay nasa kanilang pagpapabulaanan (“hindi”); ang pangatlo ay ang sagupaan ng "oo" at "hindi" na sinundan ng pagtatagumpay ng "oo." Ang pamamaraan na ito ay kasunod na pinalawak sa larangan ng siyentipikong pananaliksik.

Sa panahon ng Renaissance, ang lohika ay nakakaranas ng isang tunay na krisis. Itinuring ito bilang lohika ng "artipisyal na pag-iisip" batay sa pananampalataya, na salungat sa natural na pag-iisip batay sa intuwisyon at imahinasyon.

Ang isang bago, mas mataas na yugto sa pagbuo ng lohika ay nagsisimula sa ika-17 siglo. Ito ay nauugnay sa paglikha sa loob ng balangkas nito, kasama ng deductive logic, ng inductive logic. Sinasalamin nito ang magkakaibang proseso ng pagkuha ng pangkalahatang kaalaman batay sa dumaraming naipon na materyal na empirikal. Ang pangangailangang makakuha at patunayan ang kaalaman sa pamamagitan ng inductive method ay ipinagtanggol ng namumukod-tanging pilosopo ng Ingles at natural na siyentipiko na si Francis Bacon (1561-1626). Siya ay naging tagapagtatag ng inductive logic, pagsulat, sa kaibahan sa lumang "Organon" ni Aristotle, "The New Organon...".

Ang inductive logic ay kalaunan ay na-systematize at binuo ng English philosopher at scientist na si John Stuart Mill (1806-1873).

Ang mga pangangailangan ng kaalamang pang-agham hindi lamang sa induktibo, kundi pati na rin sa pamamaraang deduktibo noong ika-17 siglo. pinaka-ganap na katawanin ng Pranses pilosopo at siyentipiko René Descartes (1596-1650). Sa kanyang pangunahing gawain, "Discourse on the Method...", batay sa data mula sa matematika, binibigyang-diin niya ang kahalagahan ng rational deduction.

Ang ikalawang yugto ay ang paglitaw ng matematikal (o simboliko) na lohika sa ikalawang kalahati ng ika-19 na siglo.

Ang pag-unlad ng matematika at ang pagtagos ng mga pamamaraan ng matematika sa iba pang mga agham na nasa ikalawang kalahati ng ika-17 siglo. mahigpit na itinaguyod ang paggamit ng lohika upang bumuo ng mga teoretikal na pundasyon ng matematika, at ang mathematization ng lohika mismo bilang isang agham. Ang pinakamalalim at mabungang pagtatangka upang malutas ang mga problemang lumitaw ay ginawa ng pinakadakilang pilosopo at matematikong Aleman na si G. Leibniz (1646-1716).

Ang mga ideya ni Leibniz ay nakatanggap ng ilang pag-unlad noong ika-18 siglo. at ang unang kalahati ng ika-19 na siglo. Ang pilosopo ng Aleman ay nararapat na itinuturing na tagapagtatag ng lohika ng matematika (symbolic). Mula sa Leibniz, ginamit ng lohika ang paraan ng pormalisasyon bilang isang paraan ng pananaliksik. Noong ika-19 na siglo Ang lohika ng matematika ay nakatanggap ng masinsinang pag-unlad sa mga gawa ng D. Boole, E. Schroeder, P. S. Poretsky, G. Frege at iba pang mga logicians.

Ang matematikal (o simboliko) na lohika ay nag-aaral ng mga lohikal na koneksyon at mga ugnayang pinagbabatayan ng deduktibo (lohikal) na hinuha. Kasabay nito, sa matematikal na lohika, upang matukoy ang istruktura ng hinuha, iba't ibang lohikal na calculi ang itinayo, pangunahin ang calculus ng mga proposisyon at ang calculus ng mga predicate sa kanilang iba't ibang pagbabago. Ang pagbuo at aplikasyon ng tinatawag na pormal na wika - ang wika ng mga simbolo - tinukoy ang pangalan ng modernong lohika - "symbolic".

Ang lumalaking pangangailangan ng siyentipiko at teknolohikal na pag-unlad ay tumutukoy sa karagdagang masinsinang pag-unlad ng modernong lohika.

Si Aristotle ay nag-pose at sinubukang lutasin ang ilang mga pangunahing problema ng dialectical logic. Ang mga elemento ng dialectical logic ay unti-unting naipon sa mga gawa ng kasunod na mga palaisip na Bacon, Hobbes, Descartes, Leibniz. Gayunpaman, bilang isang independiyenteng lohikal na agham, ang dialectical na lohika ay nagsimulang magkaroon ng hugis lamang sa pagtatapos ng ika-18 - simula ng ika-19 na siglo.

Ang unang sinubukang ipakilala ang diyalektika sa lohika ay ang pilosopong Aleman na si I. Kant (1724-1804). Naniniwala si Kant na ang lohika ay "isang agham na nagpapaliwanag nang detalyado at mahigpit na nagpapatunay lamang sa mga pormal na tuntunin ng lahat ng pag-iisip...".

Naniniwala si Kant na kasama ng "pangkalahatang lohika," na tinawag din niyang "pormal na lohika" sa unang pagkakataon sa kasaysayan nito, ang isang espesyal o "transendental na lohika" ay kinakailangan. Nakita niya ang pangunahing gawain ng lohika na ito sa pag-aaral ng tulad, sa kanyang opinyon, tunay na mga pangunahing anyo ng pag-iisip bilang mga kategoryang diyalektiko. Ang mga ito ay nagsisilbing kundisyon para sa lahat ng karanasan at isang priori, pre-experimental na kalikasan.

Ang isang pagtatangka na lumikha ng isang sistema ng bago, dialectical na lohika ay ginawa ng isa pang Aleman na pilosopo - G. Hegel (1770-1831) sa kanyang pangunahing gawain na "The Science of Logic".

Kontrolin ang mga tanong

1. Ano ang mga dahilan ng pag-usbong ng agham ng lohika.

2. Sino ang itinuturing na tagapagtatag ng pormal na lohika?

3. Anong lohikal na paraan ng pananaliksik ang itinuturing ni F. Bacon na pinakaunibersal para sa agham?

4. Sinong siyentipiko noong ika-17 siglo. gumawa ng makabuluhang kontribusyon sa pagbuo ng paraan ng deduktibo?

5. Ano ang pinag-aaralan ng simbolikong (matematika) na lohika?

6. Sino ang nagpakilala ng konsepto ng "pormal na lohika" sa agham?

7. Sino ang lumikha noong ika-19 na siglo. ang pinaka-binuo na sistema ng dialectical logic?

PAGSUSULIT

SA DISIPLINA

LOGIKA

"KASAYSAYAN NG AGHAM NG lohika"

Opsyon #1

Nakumpleto ni: Lobankova Ya. N.

Mag-aaral gr. ZSP-15, unang taon

Guro: Sidorova I.M.

Lagda ng guro: __________

Petsa ng: __________

Rybinsk 20___

Plano

1. Mga dahilan para sa paglitaw ng agham ng lohika ………………………………………………………………….. 3

2. Ang mga pangunahing yugto ng pagbuo ng lohika ……………………………………………………… 5

3. Aristotle – ang nagtatag ng pormal na lohika ………………………………… 8

4. F. Bacon – ang nagtatag ng inductive logic ………………………………… 10

5. Deductive na paraan ng R. Descartes ……………………………………………………… 13

6. F. Si Hegel ang lumikha ng pinakabinuo na sistema ng didactic logic. ………………………………………………………………………………………………… ………………………………… . 15

7. Pagbuo ng simbolikong (matematika) na lohika……………………………….. 17

Bahagi 2. Mga gawain at pagsasanay…………………………………………………… 19

Mga Sanggunian………………………………………………………………………… 26

Mga dahilan para sa paglitaw ng agham ng lohika

Ang mga pangunahing dahilan para sa paglitaw ng lohika bilang isang agham ay:

1) ang pinagmulan at pag-unlad ng mga agham. Sinubukan ng lohika na tukuyin at ipaliwanag ang mga kinakailangan na dapat matugunan ng siyentipikong pag-iisip upang ang mga resulta nito ay tumutugma sa katotohanan;

2) pagbuo ng oratoryo at ang sining ng argumento. Si Aristotle ay itinuturing na tagapagtatag ng lohika bilang isang agham. Gayunpaman, ang unang sistematikong pagtatanghal ng mga lohikal na problema ay dati nang ibinigay ng isa pang sinaunang pilosopong Griyego, si Democritus. Kabilang sa kanyang maraming mga gawa ay isang malawak na treatise sa tatlong mga libro, "On the Logical, o on the Canons" (mula sa Greek canon - "rule, prescription"). Sa gawaing ito, ang kakanyahan ng mga pangunahing anyo ng kaalaman at ang pamantayan ng katotohanan ay ipinahayag, ang papel ng lohikal na pangangatwiran sa kaalaman ay ipinakita, isang pag-uuri ng mga paghatol ay ibinigay, at isang pagtatangka ay ginawa upang bumuo ng inductive logic.

Sa gitna ng lohikal na pag-iisip ni Aristotle ay ang teorya ng deduktibong pangangatwiran at patunay. Nagbigay din siya ng klasipikasyon ng mga kategorya at pag-uuri ng mga paghatol na malapit kay Democritus, bumuo ng tatlong pangunahing batas ng pag-iisip - ang batas ng pagkakakilanlan, ang batas ng kontradiksyon at ang batas ng ibinukod na gitna.

Sa Middle Ages, ang problema ng mga pangkalahatang konsepto - "unibersal" - ay may papel sa pagbuo ng lohika bilang isang agham. Ang kakanyahan ng problema ay kung ano ang unang lumilitaw - mga pangkalahatang konsepto na nagmumula sa ating isipan (rasyonalismo), o indibidwal, makatotohanang mga bagay (nominalismo).

Sa panahon ng Renaissance, ang lohika ay nakakaranas ng isang tunay na krisis. Ito ay itinuturing na artipisyal na pag-iisip at tutol sa natural na pag-iisip batay sa intuwisyon at imahinasyon.

Ang susunod na yugto sa pagbuo ng lohika ay nagsisimula sa ika-17 siglo. Ito ay nauugnay sa paglikha sa loob ng balangkas nito ng inductive logic, na sumasalamin sa magkakaibang proseso ng pagkuha ng pangkalahatang kaalaman batay sa naipon na materyal na empirikal. Ang pangangailangan para sa naturang kaalaman ay lubos na natanto at ipinahayag sa kanyang mga gawa ni F. Bacon. Siya ang naging tagapagtatag ng intuitive logic.

Ang lumalaking pangangailangan ng siyentipiko at teknolohikal na pag-unlad ay tumutukoy sa karagdagang pag-unlad ng modernong lohika.

Mga pangunahing yugto ng pag-unlad ng lohika

Dalawang pangyayari ang nag-ambag sa pagkakakilanlan ng lohika bilang isang espesyal na sangay ng kaalaman:

1) kahit noong sinaunang panahon, alam ng mga tao na ang pagiging maaasahan ng inferential na kaalaman ay nakasalalay hindi lamang sa katotohanan

2) upang kumbinsihin, hindi ka lamang dapat magsalita nang maayos, ngunit makabisado din ang iba't ibang mga pamamaraan para sa pagbuo ng mga konklusyon at ebidensya.

Samakatuwid, ang lohika ay ginamit sa teorya at praktikal sa pang-araw-araw na aktibidad sa intelektwal at pagsasalita at kasama sa kurikulum ng mga unibersidad sa Europa bilang bahagi ng tinatawag na trivium - ang unang yugto ng mas mataas na edukasyon, na, bilang karagdagan sa lohika, kasama ang gramatika at retorika. .

Ilista natin ang mga pangunahing kinatawan ng lohika bilang isang agham (tandaan na ang pangalan ng bawat isa sa kanila ay nagmamarka ng isang independiyenteng yugto sa pagbuo ng lohika):

Aristotle (deductive logic, Organon, ika-4 na siglo BC, ang mga pangunahing batas ng tamang pag-iisip);

F. Bacon (1561 - 1626) ("Bagong Organon" - manifesto ng inductive logic, oras ng mga eksperimento);

Hegel (1770-1831) (dialectical logic, kaalaman sa mundo mula sa punto ng view ng dinamika, pagkalikido, kalaunan ay pinalawak ang aplikasyon nito);

J. Boole (1815-1864) – (mathematical logic, logic by subject and mathematics by method, discussion of problems about the possible formalization of thinking and its practical application).

Ang huling yugto sa pagbuo ng lohika ay di-klasikal na lohika.

Ang lohika ay lumitaw bilang isang malayang agham higit sa dalawang libong taon na ang nakalilipas, noong ika-4 na siglo. BC. Ang nagtatag nito ay ang sinaunang pilosopong Griyego na si Aristotle (348-322 BC). Ang doktrina ni Aristotle ng syllogism ay naging batayan ng isa sa mga lugar ng modernong matematikal na lohika - ang lohika ng mga panaguri.

Ang isang mahalagang yugto sa pag-unlad ng pagtuturo ni Aristotle ay ang lohika ng mga sinaunang Stoics. Ang lohika ng Stoics ay ang batayan ng isa pang direksyon ng matematikal na lohika - propositional logic.

Ang ika-4 na pigura ng kategoryang syllogism ay ipinangalan kay Galen.

Ang mga gawa ni Boethius ay nagsilbing pangunahing lohikal na tulong sa mahabang panahon.

Nabuo din ang lohika noong Middle Ages, ngunit binaluktot ng scholasticism ang mga turo ni Aristotle, iniangkop ito upang bigyang-katwiran ang dogma ng relihiyon.

Ang pinakamahalagang yugto sa pag-unlad nito ay ang teorya ng induction, na binuo ng pilosopong Ingles na si F. Bacon (1561-1626). Pinuna ni Bacon ang deductive logic ni Aristotle, na binaluktot ng medieval scholasticism. Ang pag-unlad ng inductive method ay ang dakilang merito ni Bacon, ngunit mali niyang inihambing ito sa paraan ng pagbabawas; sa katunayan, ang mga pamamaraan na ito ay hindi nagbubukod, ngunit umakma sa bawat isa. Ang Bacon ay bumuo ng mga pamamaraan ng siyentipikong induction, na kalaunan ay na-systematize ng Ingles na pilosopo at logician na si J. St. Millam (1806-1873)

Ang lohika na ito ay karaniwang tinatawag na pormal, dahil ito ay lumitaw at binuo bilang isang agham tungkol sa mga anyo ng pag-iisip. Tinatawag din itong tradisyonal o Aristotelian na lohika.

Ang karagdagang pag-unlad ng lohika ay nauugnay sa mga pangalan ng mga namumukod-tanging taga-isip ng Kanlurang Europa tulad ng R. Descartes, G. Leibniz, I. Kant at iba pa.

Pinuna ng pilosopong Pranses na si R. Descartes (1569-1650) ang medieval scholasticism, binuo ang mga ideya ng deductive logic, at bumalangkas ng mga tuntunin ng siyentipikong pananaliksik, na itinakda sa sanaysay na "Mga Panuntunan para sa Paggabay sa Isip"

Si G. Leibniz (1646 - 1716), ay bumalangkas ng batas ng sapat na katwiran, na naglagay ng ideya ng matematikal na lohika, na binuo lamang noong ika-19-20 siglo; Ang pilosopong Aleman na si I. Kant (1724-1804) at marami pang ibang pilosopo at siyentipiko sa Kanlurang Europa.

Ang isang bilang ng mga orihinal na ideya ay iniharap ni M. V. Lomonosov (1711-1765), A. N. Radishchev (1749-1802), N. G. Chernyshevsky (1828-1889). Ang mga lohikal na Ruso na sina M. I. Kariysky (1804-1917) at L. V. Rutkovsky (1859-1920) ay kilala sa kanilang mga makabagong ideya sa teorya ng mga hinuha. Ang isa sa mga unang bumuo ng lohika ng mga relasyon ay ang pilosopo at lohikal na si S.I. Povarnin (1807-1952).

Sa ikalawang kalahati ng ika-19 na siglo, ang mga pamamaraan ng calculus na binuo sa matematika ay nagsimulang malawakang gamitin sa lohika. Ang direksyon na ito ay binuo sa mga gawa ng D. Boole, W.S. Jevonsa, P.S. Poretsky, G. Frege, C. Pierce. Ang teoretikal na pagsusuri ng deduktibong pangangatwiran gamit ang mga pamamaraan ng calculus gamit ang mga pormal na wika ay tinatawag na matematikal o simbolikong lohika.

ST. PETERSBURG STATE TECHNOLOGICAL INSTITUTE (TECHNICAL UNIVERSITY)

Departamento ng Pilosopiya

ABSTRAK SA PAKSA:

"ARISTOTLE - tagapagtatag ng agham ng Logic"

Nakumpleto:

Mag-aaral ng pangkat 226

Rodin D.I.

Superbisor:

Kutykova I.V.

Saint Petersburg

Panimula……………………………………………………………………………………..3

Maikling talambuhay ni Aristotle................................................ .................... ...........4

Ano ang lohika?..…………………………………………………………………………………………………….6

Lohika ni Aristotle……………………………………………………………………………….6

Mga lohikal na gawa ni Aristotle…………………………………………….9

Konklusyon………………………………………………………………………………13

Mga Sanggunian……………………………………………………………………………………14

PANIMULA

Sa ordinaryong pang-araw-araw na buhay, ang ating pag-iisip, ang ating isip ay napapailalim sa ilang mga pang-araw-araw na tuntunin, ang lahat ng ating mga aksyon ay isang reaksyon sa isang bagay o isang tao, at ang reaksyon mismo ay tinutukoy ng lohikal na konklusyon mula sa kasalukuyang sitwasyon. Ang lohikal na pag-iisip ay likas sa anumang buhay na nilalang. Ang pinakaunang pagnanasa ng isang tao: ang pagnanais para sa pagkain, tubig at tirahan ay tinutukoy ng primitive na lohika: ang pangangailangan na mabuhay at mabuhay sa anumang mga kondisyon. Pagkatapos ng lahat, ang instinct ay isang uri din ng lohika. Ang lohika ay nagsilbing isa sa mga impetus para sa pag-unlad ng sangkatauhan. Ngunit ang kagiliw-giliw na bagay ay kung isasaalang-alang natin ang konsepto ng lohika mula sa isang philistine point of view, kung gayon ang anumang gawa ng tao ay maaaring ilagay sa loob ng balangkas nito, gaano man ito kakaiba sa atin, dahil ang lohika ng isang tao ay hindi bababa sa. medyo iba sa lohika ng iba. Samakatuwid, madalas na hindi natin nauunawaan ang mga aksyon ng ibang tao; tila hindi makatwiran ang mga ito sa atin. Ang isang tao na nakagawa ng isang kilos na kakaiba sa ating pananaw ay maaaring subukang kumbinsihin tayo, magsisimula siyang magbigay sa atin ng mga argumento na sinasabi sa kanya ng kanyang lohika, ngunit malamang, hindi pa rin natin siya mauunawaan. Parang sinusubukang ipaliwanag ang lasa ng isda sa isang taong hindi pa nasusubukan.

Ang isang buong hiwalay na agham ay nakatuon sa pag-aaral ng lohikal na pag-iisip. Kasama sa modernong lohika ang dalawang medyo independiyenteng agham: pormal na lohika at dialectical na lohika. Ang paggalugad ng pag-iisip mula sa iba't ibang panig, ang dialectical logic at formal logic ay nabuo sa malapit na pakikipag-ugnayan, na malinaw na ipinakita sa pagsasanay ng siyentipiko at teoretikal na pag-iisip, na gumagamit ng parehong lohikal na kagamitan at mga paraan na binuo ng dialectical logic sa proseso ng katalusan.

Ang lohika bilang isang agham ay nagmula sa sinaunang Greece. Ang pinakamaagang pagbanggit ng mga lohikal na problema ay matatagpuan sa mga sinulat ni Parmenides ng Elea, ipinanganak noong mga 540. BC. at Heraclitus ng Ephesus, na nabuhay humigit-kumulang sa pagitan ng 530 at 470 AD. BC. Maaari nating pag-usapan ang tungkol sa lohika sa kahulugan ng agham lamang mula noong panahon ni Aristotle (IV siglo BC). Ang lohika na itinatag ni Aristotle ay karaniwang tinatawag na pormal. Ang pangalang ito ay itinalaga dito dahil ito ay bumangon at umunlad bilang isang agham tungkol sa mga anyo ng pag-iisip.

MAIKLING TALAMBUHAY NI ARISTOTLE

Si Aristotle ay ipinanganak noong 384 BC. e. sa lungsod ng Stagira sa hilagang-kanlurang baybayin ng Dagat Aegean. Ang ama ni Aristotle ay si Nicomachus, ang manggagamot ng hukuman ni Amyntas III, hari ng Macedonia. Si Aristotle ay naiwang walang mga magulang nang maaga. Siya ay pinalaki sa Atarney ni Proxenus, ang kanyang kamag-anak. Sa labing-walo siya ay pumunta sa Athens at pumasok sa Plato's Academy, kung saan siya ay nanatili hanggang sa kamatayan ni Plato noong mga 347 BC. Sa kanyang oras sa Academy, pinag-aralan ni Aristotle ang pilosopiya ni Plato, gayundin ang mga Socratic at pre-Socratic na pinagmumulan nito at marami pang ibang disiplina. Tila, nagturo si Aristotle ng retorika at iba pang mga paksa sa Academy. Posible na sa panahong ito ng kanyang trabaho ay nilikha ang mga gawa sa lohika.

Mga 348–347 BC Ang kahalili ni Plato sa Akademya ay si Speusippus, kung saan nagkaroon ng tensiyonado si Aristotle, kaya kinailangan niyang umalis sa Akademya, kahit na pagkatapos nito ay patuloy na tinuturing ni Aristotle ang kanyang sarili na isang Platonista. Mula noong 355, una siyang naninirahan sa Assos, sa Asia Minor, sa ilalim ng patronage ng tyrant ng lungsod, si Atarneus Hermia. Ang huli ay nagbigay sa kanya ng mahusay na mga kondisyon sa pagtatrabaho. Ikinasal dito si Aristotle ng isang tiyak na Pythias - alinman sa anak na babae, o ang pinagtibay na anak na babae, o ang pamangkin ni Hermias, at ayon sa ilang impormasyon - ang kanyang asawa. Pagkalipas ng tatlong taon, umalis ang pilosopo patungo sa Mytilene sa isla ng Lesbos. Nangyari ito ilang sandali bago o kaagad pagkatapos ng kamatayan ni Hermias, na mapanlinlang na dinakip ng mga Persiano at ipinako sa krus.

Si Hermias ay isang kaalyado ng Macedonian king Philip II, ang ama ni Alexander, kaya marahil ito ay salamat kay Hermias na Aristotle noong 343 o 342 BC. nakatanggap ng imbitasyon na kunin ang posisyon ng mentor sa batang tagapagmana ng trono, na noon ay 13 taong gulang. Tinanggap ni Aristotle ang alok at lumipat sa kabisera ng Macedonia, Pella. Kaunti lang ang nalalaman tungkol sa personal na relasyon ng dalawang dakilang lalaki. Sa paghusga sa mga mensahe na mayroon tayo, naunawaan ni Aristotle ang pangangailangan para sa pampulitikang pagkakaisa ng maliliit na lungsod-estado ng Greece, ngunit hindi niya nagustuhan ang pagnanais ni Alexander para sa dominasyon sa mundo. Noong 336 BC Si Alexander ay umakyat sa trono, si Aristotle ay bumalik sa kanyang tinubuang lupa, Stagira, at pagkaraan ng isang taon ay bumalik sa Athens.

Sa panahong ito, ang kalikasan ng pag-iisip ni Aristotle at ang kanyang mga ideya ay sumailalim sa ilang mga pagbabago. Kadalasan ang kanyang mga ideya ay direktang sumasalungat sa mga pananaw ng mga kahalili ni Plato sa Academy at ang ilan sa mga turo ni Plato mismo. Ang kritikal na diskarte na ito ay ipinahayag sa diyalogo na "Sa Pilosopiya", gayundin sa mga unang bahagi ng mga gawa na dumating sa amin sa ilalim ng mga karaniwang pangalan na "Metaphysics", "Etika" at "Politika". Naramdaman ang kanyang ideolohikal na divergence mula sa umiiral na pagtuturo sa Academy, pinili ni Aristotle na magtatag ng isang bagong paaralan sa hilagang-silangang suburb ng Athens - ang Lyceum. Ang layunin ng Lyceum, tulad ng layunin ng Academy, ay hindi lamang pagtuturo, kundi pati na rin ang independiyenteng pananaliksik. Dito natipon ni Aristotle sa kanyang sarili ang isang pangkat ng mga mahuhusay na estudyante at katulong.

Si Aristotle at ang kanyang mga estudyante ay gumawa ng maraming makabuluhang obserbasyon at pagtuklas na nag-iwan ng kapansin-pansing marka sa kasaysayan ng maraming agham at nagsilbing pundasyon para sa karagdagang pananaliksik. Dito sila natulungan ng mga sample at data na nakolekta sa mahabang kampanya ni Alexander. Gayunpaman, ang pinuno ng paaralan ay nagbigay pansin sa mga pangunahing problema sa pilosopikal. Karamihan sa mga pilosopikal na gawa ni Aristotle na dumating sa atin ay isinulat sa panahong ito.

Noong 323 BC Biglang namatay si Alexander, at isang alon ng anti-Macedonian na protesta ang dumaan sa Athens at iba pang mga lungsod ng Greece. Ang posisyon ni Aristotle ay nalagay sa panganib sa pamamagitan ng kanyang pakikipagkaibigan kay Philip at Alexander, at sa kanyang tahasang paniniwala sa pulitika, na sumasalungat sa patriotikong sigasig ng mga lungsod-estado. Sa ilalim ng banta ng pag-uusig, umalis si Aristotle sa lungsod upang, tulad ng sinabi niya, upang maiwasan ang mga Athenian na gumawa ng krimen laban sa pilosopiya sa pangalawang pagkakataon (ang una ay ang pagpatay kay Socrates). Lumipat siya sa Chalkis sa isla ng Euboea, kung saan matatagpuan ang ari-arian na minana mula sa kanyang ina, kung saan, pagkatapos ng maikling sakit, namatay siya noong 322 BC.

Kagiliw-giliw na katotohanan: mayroong isang opinyon na si Aristotle, na may napakahirap na relasyon hindi lamang sa mga pinuno ng Macedonian, kundi pati na rin sa mga patriotikong Atenas, ay hindi lamang nilason si Alexander the Great, ngunit nilason din ang kanyang sarili ng aconite, tulad ng iniulat ni Diogenes Laertius.

ANO ANG LOGIC?

LOGIC (Greek logike), ang agham ng mga pamamaraan ng patunay at pagtanggi; isang hanay ng mga siyentipikong teorya, na ang bawat isa ay isinasaalang-alang ang ilang mga pamamaraan ng patunay at pagtanggi. Mayroong inductive at deductive logic, at sa huli - classical, intuitionistic, constructive, modal, atbp. Ang lahat ng mga teoryang ito ay pinag-isa ng pagnanais na itala ang mga ganoong paraan ng pangangatwiran na humahantong mula sa tunay na mga paghuhusga-nasasakupan tungo sa tunay na mga paghatol-bunga; Ang pag-catalog ay isinasagawa, bilang panuntunan, sa loob ng balangkas ng lohikal na calculus. Ang mga aplikasyon ng lohika sa computational mathematics, automata theory, linguistics, computer science, atbp. ay gumaganap ng isang espesyal na papel sa pagpapabilis ng siyentipiko at teknolohikal na pag-unlad.

LOGIC NI ARISTOTLE

Kakatwa, ang pangalan ng agham ng lohika ay hindi ibinigay ni Aristotle, ngunit ni Alexander ng Aphrodisias makalipas ang 500 taon, na nagkomento sa mga gawa ng pilosopo, kahit na sa panahon ng buhay ng Stagirite, ang lohika ay halos umabot sa pagiging perpekto. Hanggang sa ikalabintatlong siglo, nawala ang impluwensya ni Aristotle sa larangan ng metapisika, ngunit nanatili ang kanyang awtoridad sa lohika. Ito ay kagiliw-giliw na kahit ngayon maraming mga guro ng lohika bilang isang agham ay madalas na tumatanggi sa mga pagtuklas ng modernong lohika at sumunod nang may kakaibang katatagan sa isang sistema na halos hindi na napapanahon gaya ng astronomiya ng Ptolemaic. Bagaman hindi natin maitatanggi ang katotohanan na ang mga pundasyon ng lohika ay nanatiling hindi nagbabago sa loob ng mahabang panahon, at sila ay nilikha ni Aristotle.

Ano ang lohika kay Aristotle?

Nakikita ni Aristotle ang lohika hindi bilang isang independiyenteng pilosopikal na doktrina, ngunit bilang isang kinakailangang kasangkapan para sa lahat ng mga agham at pilosopiya sa partikular. Ang huling konsepto ng lohika bilang isang "kasangkapan," kahit na si Aristotle mismo ay hindi tumawag dito, ay maaaring tumutugma sa kanyang sariling mga ideya. Malinaw na ang lohika ay dapat mauna sa pilosopiya. Hinahati ni Aristotle ang pilosopiya mismo sa dalawang bahagi - teoretikal, na nagsusumikap na makamit ang katotohanan, independiyenteng pagnanais ng sinuman, at praktikal, na inookupahan ng isip at mga hangarin ng tao, na magkasamang nagsisikap na maunawaan ang kakanyahan ng kabutihan ng tao at makamit ito. Sa turn, ang teoretikal na pilosopiya ay nahahati sa tatlong bahagi: ang pag-aaral ng pagbabago ng pag-iral (physics at natural science, kabilang ang human science); pag-aaral ng pagkakaroon ng abstract mathematical objects (iba't ibang sangay ng matematika); ang pag-aaral ng pagiging ganoon (ang tinatawag nating metaphysics).