Historie logiky
Aktuální verze stránky ještě nebyla zkontrolována zkušenými přispěvateli a může se výrazně lišit od verze recenzované 25. dubna 2021; kontroly vyžadují 6 úprav .Dějiny logiky studují vývoj vědy o formách a zákonech správného myšlení ( logika ).
Vznik logiky jako rozvinuté analýzy principů vyvozování se vztahuje výhradně ke třem místním civilizacím, jmenovitě: Číně , Indii a starověkém Řecku . Z nich je v moderní vědě a matematice přijímán a široce používán pouze výklad logiky ve starověké řecké filozofii, podrobně rozebraný v Aristotelově Organonu . Ve starověkém Řecku byla logika známá jako dialektika nebo analytika .
V budoucnu byla Aristotelova logika rozvinuta islámskými a poté středověkými evropskými logiky a největšího vzestupu dosáhla v polovině 14. století . Od 14. století do počátku 19. století byla logika na ústupu, období, které historikové logiky považovali za neproduktivní. [jeden]
Logika byla oživena v polovině 19. století a úspěšně se proměnila v přísnou a formální disciplínu, jejíž ideální variantou byly exaktní metody důkazu používané v matematice. Nástup moderní matematické logiky je nejvýznamnější událostí v dějinách logiky za posledních dva tisíce let a možná jednou z nejdůležitějších a nejpozoruhodnějších událostí v intelektuálních dějinách lidstva. [2]
Pokrok v dějinách logiky v první polovině 20. století je spojen zejména s dílem Gödela a Tarského a má významný dopad na analytickou filozofii a filozofickou logiku zejména od 50. let 20. století díky rozvoji nových sekcí: modální logika , temporální logika , deontická logika a relevantní logika .
Pozadí
Správné uvažování lze nalézt v celém období rané lidské historie. Na druhou stranu, cestou probíhalo studium principů správného myšlení, vyvozování a dokazování. Pravděpodobně myšlenka dokazování tvrzení poprvé vznikla v souvislosti s geometrií , což doslova znamená „měření země“. Zejména staří Egypťané empiricky získali určité geometrické znalosti, například vzorec pro výpočet objemu komolé pyramidy . Další původ je spojován s Babylonií . Esagil-kin-apli v lékařské diagnostické příručce z 11. století před naším letopočtem. E. dává mnoho axiomů a předpokladů. Babylonští astronomové 8. a 7. století před naším letopočtem. E. aplikovali vnitřní logiku v rámci jejich prediktivního planetárního systému – důležitý příspěvek k filozofii vědy .
Starověká řecká filozofie
Zatímco staří Egypťané objevili jednotlivé pravdy geometrie prostřednictvím zkušenosti, největším úspěchem starých Řeků bylo nahrazení empirických metod vědami založenými na důkazech. Systematický výzkum v tomto směru zřejmě začíná Pythagorovou školou na konci 6. století před naším letopočtem. E. Tři základní principy geometrie: určitá ustanovení musí být přijata bez důkazu, jiná ustanovení se z nich vyvozují a závěr musí být formální, nezávislost toho či onoho uvažovaného subjektu. Fragmenty raných důkazů přežívají ve spisech Platóna a Aristotela a myšlenka deduktivního systému mohla být známa pythagorejské škole a platónské akademii .
Odděleně od geometrie je myšlenka standardní metody argumentace spatřována v Reductio ad absurdum (snižování do absurdna) od Zena z Elea , předsokratovského filozofa z 5. století před naším letopočtem. E. Toto pravidlo spočívá ve vyvození zjevně nepravdivého, nemožného nebo absurdního tvrzení z tvrzení, že tvrzení je nepravdivé. Platón v dialogu Parmenides zobrazuje Zeno, který napsal esej obhajující monismus Parmenida a dokazující absurditu existence mnoha. Jiní filozofové, kteří také praktikovali takzvané dialektické uvažování, mezi nimi mladší Sokratici, včetně Eukleida z Megary , museli být následovníky Parmenida a Zena. Filosofové této školy se nazývají „dialektika“ (z řeckého slova znamenajícího „umění argumentovat, uvažovat“).
Další důkaz o tom, jak myslitelé před Aristotelem aplikovali principy logického uvažování, se nachází v pasážích z Dissoi Logoi , údajně napsaných na počátku 4. století a tvořících součást dlouhého sporu o pravdě a lži.
Platonův
Ze spisů slavného filozofa Platóna (428-347), které se k nám dostaly, ani jeden nepatří k formální logice, ale obsahují důležitý příspěvek k rozvoji filozofické logiky . Platón se ptá na tři otázky:
- Co vlastně lze považovat za pravdivé a nepravdivé?
- Jaká je povaha spojení mezi premisami v uvažování a závěry?
- Co je podstatou pojmů?
První otázka se objevuje v dialogu Theaetetus , kde Platón ztotožňuje myšlenku nebo názor s rozhovorem nebo úvahou (logos). Druhá otázka je výsledkem platónské teorie forem. Formy nejsou věcmi v běžném smyslu nebo určitými představami subjektivního vědomí, odpovídají tomu, čemu se později říkalo univerzálie , obecná abstraktní jména, za která lze dosadit konkrétní jména. V dialozích mezi státem a sofistou předpokládá Platón nezbytné spojení mezi premisou a účinkem v uvažování v souladu s nezbytným spojením mezi „formami“. Třetí otázka se týká konceptu. Mnohé z Platónových dialogů odkazují na hledání některých důležitých pojmů (spravedlnost, pravda a dobro); Platón byl zjevně ovlivněn důležitostí definic v matematice. Forma je podle Platóna základem každého pojmu a obecná podstata se projevuje v konkrétních věcech. Koncept tedy odráží nejvyšší stupeň našeho chápání a základ všech platných závěrů. Platónovy názory měly na Aristotela silný vliv.
Aristotelova logika
Aristotelova logika, zvláště jeho teorie sylogismu , měla obrovský dopad na západní myšlení. Je označován za praotce logiky jako disciplíny [3] . Jeho spisy o logice, nazvané Organon , představují nejranější studii formální logiky a počátek tradice, jejíž kontinuitu lze vysledovat až do moderní doby. Přesné datování je obtížné, ale pravděpodobně je pořadí Aristotelových děl logicky následující:
- Kategorie , studium deseti hlavních kategorií.
- Topeka (s přílohou O sofistických vyvráceních ), dialektické diskuse.
- On Interpretation , analýza jednoduchých kategorických výroků.
- První analytická , formální analýza platných forem uvažování nebo sylogismů.
- Second Analytics , studium vědeckých důkazů.
Tato díla mají mimořádný význam pro dějiny logiky. Aristoteles byl prvním logikem, který se pokusil o systematickou analýzu logické syntaxe . V kategoriích klasifikuje všechny možné druhy věcí, které mohou být předmětem a predikátem soudu. To poskytlo základ pro jeho filozofický spis Metafyzika . Jako první důsledně uplatňuje zákony rozporu a vyloučeného středu. Je prvním, kdo ukazuje principy argumentace, které jsou základem logických forem uvažování, s pomocí proměnných (zakladatel formální logiky); zkoumá vztah závislosti, který charakterizuje nutné podmínky inference, a rozlišuje platnost těchto vztahů. První analytika obsahuje jeho výklad sylogistiky a poprvé v historii použil tři nejdůležitější principy: použití proměnných, čistě formální úvahu a použití axiomatického systému. Spisy Topeka a On Sophistical Refutations se také zabývají neformální logikou (například studiem logických klamů).
Ve stoicismu
Stoicismus vyvinul další významnou školu logiky ve starověkém Řecku . Logika stoiků má kořeny na konci 5. století před naším letopočtem. E. ve filozofii Euklida z Megary , studenta Sokrata a staršího současníka Platóna. Studenti a následovníci Euklida z Megary byli nazýváni „ megarici “ nebo „eristiky“, později „dialektikou“. Nejvýznamnějšími dialektiky megarské školy byli Diodorus Cronus a Philo z Megary (konec 4. století př. n. l.) Stoikové přijali megarskou logiku a systematizovali ji. Jedním z nejznámějších představitelů stoické školy byl Chrysippus (278-206 př. n. l.), třetí hlava školy, který formalizoval doktrínu stoiků. Napsal přibližně 700 děl, dochovalo se jich prakticky jen devět. Ve srovnání s Aristotelem zůstala teorie logiky u megariků a raných stoiků nedokončená a můžeme se nechat vést pozdějšími hodnoceními (někdy nepřátelskými), která ve 3. století podal Sextus Empiricus .
Tři důležité příspěvky stoické školy k dějinám logiky jsou (1) jejich zacházení s modalitou , (2) teorie materiální implikace a (3) jejich ocenění významu a pravdy.
- Modalita. Podle Aristotela Megarics mezi jeho současníky tvrdil, že neexistuje žádný rozdíl mezi potenciálem a skutečností. Diodorus Cronus definuje možnost jako něco, co buď je, nebo může být, nemožnost jako něco, co nemůže být pravdivé, nahodilost jako něco, co již existuje nebo může být nepravdivé. Diodorus je také známý tím, že říká, že tři problémy jsou nekonzistentní: „vše, co je pravdivé a nutné v minulosti“, „nemožnost nevyplývá z možného“ a „možné je to, co buď je, nebo bude“. Diodorus připouští první dva návrhy a v důsledku toho prokazuje nemožnost třetího. Chrysippus naopak druhé tvrzení popírá a říká, že z možného může vyplynout nemožné.
- materiální implikace. První logici, kteří se hádali o podmíněných prohlášeních, byli Diodorus Cronus a jeho student Philo z Megary. Sextus Empiricus třikrát odkazuje na diskusi mezi Diodorem a Filónem. Philo tvrdil, že pravdivá implikace nemůže začínat pravdou a končit lží. Diodorus tvrdil, že pravdivá implikace nemusí začínat pravdou a končit lží. Sextus Empiricus říká, že podle Filóna existují tři případy, kdy implikace může být pravdivá, a jeden, kdy bude nepravdivá.
- Smysl a pravda. Nejdůležitější a nejpozoruhodnější rozdíl mezi logikou megarských stoiků a logikou Aristotela je v jejich vztahu k výrokům, nikoli jako k termínům, ale v jejich přístupu k moderní výrokové logice. Stoici rozlišovali mezi výroky, které mohou být nesmyslné, a smysluplným uvažováním. Původní složka jejich teorie je vyjádřena tvrzením, že mezi tím, co se říká v určitém jazyce, a významem je rozdíl (lekton). Sextus Empiricus uvádí, že podle stoiků spolu souvisí tři věci: co znamenalo, co znamená samotný předmět. Například co znamená slovo Dion , co znamenalo v chápání starých Řeků, ale ne pro barbary, a co znamená samo o sobě.
Ve starověké Indii a Číně
Starověká Indie
Formální logika vznikla nezávisle a pokračovala ve vývoji až do moderní doby bez vlivu starověké řecké logiky. Medhatithi Gautama (6. století př. n. l.) založil školu logiky anvikshika. Mahábhárata (12.173.45), přibližně 5. před naším letopočtem e., odkazuje na Anvikshiki a Tarka školy logiky. Panini (5. století př. n. l.) vyvinul určitý druh logiky (která má určitou podobnost s booleovskou logikou pro jeho vývoj sanskrtské gramatiky. Logika popsaná Chanakyou (350-283 př. n. l.) ve své Artha-shastra , nezávislá na anvikshika.
Metodologií poznání se zabývaly dvě ze šesti ortodoxních hinduistických (védských) škol indické filozofie – Nyaya a Vaisheshika – a z tohoto problematického oboru vzešla logika.
Samotný název školy „nyaya“ znamená „logika“. Jeho hlavním úspěchem byl rozvoj logiky a metodologie, které se později staly společným majetkem (srov. aristotelská logika v Evropě). Hlavním textem školy byly Nyaya Sutry Akshapady Gautamy (2. století našeho letopočtu). Jelikož Nyāyikové považovali dosažení spolehlivého poznání za jedinou cestu k osvobození od utrpení, vyvinuli rafinované metody, jak rozlišit spolehlivé zdroje poznání od falešných názorů. Existují pouze čtyři zdroje znalostí (čtyři pramany): vnímání, inference, srovnání a důkazy. Přísné pětičlenné schéma uvažování zahrnovalo: výchozí premisu, základ, příklad, aplikaci a závěr.
Buddhistická filozofie (ne jedna ze šesti ortodoxních škol) byla hlavním oponentem Nyāyiků v logice. Nágárdžuna, zakladatel madhjámiky ("střední cesty"), vyvinul uvažování známé jako "katuskoti" nebo tetralema. Tento čtyřstranný argument systematicky testoval a odmítal tvrzení výroku, jeho negaci, spojení afirmace a negace a nakonec odmítnutí jak jeho tvrzení, tak jeho negace.
s Dignagou a jeho následovníkem Dharmakirtim dosáhla buddhistická logika svého vrcholu. Ústředním bodem jejich analýzy bylo stanovení (definice) nezbytné logické inherence (zahrnutí do definice), „vyapti“, známé také jako „neměnné následování“ nebo „víra“. Za tímto účelem vyvinuli doktrínu „apoha“ neboli rozlišení, pravidla pro zahrnutí rysů do definice nebo jejich vyloučení z ní.
Škola Navya-nyaya („nová nyaya“, „nová logika“) byla založena ve 13. století Gangesou Upadhyaya z Mithily , autorem knihy Tattvacintamani (Klenot kategorií splňující přání), která čerpala z prací svých předchůdců. .
Starověká Čína
V Číně Mo Tzu , současník Konfucia , založil filozofickou školu mohismu , jejíž předpisy osvětlovaly pravidla vyvozování a podmínky správného vyvozování. Zejména jedna ze škol založených na mohismu - Ming Jia - je některými vědci považována za ranou studii formální logiky. Bohužel legalismus éry Zhangguo způsobil zánik těchto studií v Číně před zavedením indické logiky, kterou zavedli buddhisté.
Středověk
Islámská filozofie
Jak jsme se blížili ke středověku , logika se rozšířila. Začali jej vyvíjet arabsky mluvící badatelé, například Al-Farabi (asi 870 - 950 ).
Evropa
Středověká logika se nazývá scholastická a její rozkvět ve 14. století je spojen se jmény vědců Williama z Ockhamu , Alberta Saského a Waltera Burleyho .
Renesance a moderní doba
Toto historické období v logice je poznamenáno výskytem mnoha publikací, které jsou pro vědu mimořádně významné.
Francis Bacon v roce 1620 publikuje svůj „ New Organon “, obsahující základy induktivních metod, později vylepšené Johnem Stuartem Millem a nazvané Bacon-Millovy metody pro stanovení kauzálních vztahů mezi jevy. Podstatou indukce (zobecnění) je, že znalosti musí být zabudovány do principů. Také je potřeba hledat příčinu svých chyb.
V roce 1662 vyšla v Paříži učebnice „ Logika Port-Royal “ , jejímž autory jsou P. Nicole a A. Arno , kteří vytvořili logickou doktrínu založenou na metodologických principech René Descarta .
Koncept dialektické logiky rozvinutý v dílech Hegela byl vyvinut klasiky marxisticko-leninské filozofie .
Modernost
Na konci XIX - začátku XX století byly založeny základy tzv. matematická nebo symbolická logika. Jeho podstata spočívá v tom, že matematickými metodami lze zjišťovat pravdivostní hodnotu výrazů v přirozeném jazyce. Právě použití symbolické logiky odlišuje moderní logickou vědu od tradiční.
Obrovský příspěvek k rozvoji symbolické logiky měli vědci jako J. Boole , O. de Morgan , G. Frege , C. Pierce aj. Ve 20. století se matematická logika formovala jako samostatná disciplína v rámci rámec logické vědy.
Počátek 20. století byl poznamenán formováním myšlenek neklasické logiky, jejíž mnohá z důležitých ustanovení předjímali a/nebo stanovili N. A. Vasiliev a I. E. Orlov .
V polovině 20. století vedl rozvoj výpočetní techniky ke vzniku logických prvků, logických bloků a zařízení výpočetní techniky, což souviselo s dalším rozvojem takových oblastí logiky, jako jsou problémy logické syntézy, logického navrhování a logické modelování logických zařízení a výpočetní techniky.
V 80. letech 20. století začal výzkum v oblasti umělé inteligence založené na logických programovacích jazycích a systémech . Vytváření expertních systémů začalo používáním a vývojem automatického dokazování teorémů a také metod programování založeného na důkazech pro ověřování algoritmů a počítačových programů .
V 80. letech začaly také změny ve školství. Vznik osobních počítačů na středních školách vedl k vytvoření učebnic informatiky se studiem prvků matematické logiky k vysvětlení logických principů činnosti logických obvodů a výpočetního zařízení, jakož i principů logického programování pro počítače páté generace. a vývoj učebnic informatiky se studiem jazyka predikátového počtu pro navrhování bází znalostí.
Poznámky
- ↑ Oxford Companion str. 498; Bochenski, Část I Úvod, passim
- ↑ Oxford Companion str. 500
- ↑ Archivovaná kopie (odkaz není dostupný) . Získáno 5. prosince 2014. Archivováno z originálu 9. prosince 2014. S. čtyři
Literatura
- Makovelsky A. O. History of Logic Archived 12. října 2011 na Wayback Machine . - M., 1967. - 504 s. (viz také zde (nedostupný odkaz) )
- Bazhanov V. A. Historie logiky v Rusku a SSSR. — M.: Kanon+, 2007. — 336 s. — ISBN 5-88373-032-9
- Lisanyuk EN Modální logika středověku. // Historický a logický výzkum. Meziuniverzitní kolekce. Nakladatelství St. Petersburg State University, St. Petersburg, 2003. S. 158-199.
- Lisanyuk E. N. Středověká logika (XI-XIV století) // Historický a logický výzkum. Meziuniverzitní kolekce. Nakladatelství St. Petersburg State University St. Petersburg, 2003. S. 92-110.
- B. V. Biryukov, M. M. Novoselov, A. S. Karpenko . Logika v Rusku // Nová filozofická encyklopedie : ve 4 svazcích / předchozí. vědecky vyd. rada V. S. Stepina . — 2. vyd., opraveno. a doplňkové - M . : Myšlenka , 2010. - 2816 s.
- Popov P.S. Historie logiky nové doby. - M .: Nakladatelství Moskevské státní univerzity , 1960.
- Styazhkin NI Formování matematické logiky. - M., 1967.
- Logika: Biobibliografická referenční kniha (Rusko - SSSR - Rusko). - Petrohrad: Nauka, 2001. - 488 s. ISBN 5-02-028488-2
- ScholtzH . Geschichte der Logik, 1931. (Stručné dějiny logiky. - New York, 1961).
- Bochenski, I.M., Historie formální logiky , Notre Dame Press, 1961.
- Kneale, William a Martha, 1962. Vývoj logiky . Oxford University Press , ISBN 0-19-824773-7 .
- Dov M Gabbay a John Woods (2004), Příručka historie logiky .
- Robert Blanché, La logique et son histoire d'Aristote à Russell , ed. Armand Colin, kol. U, Paříž, 1970, 112 s.
 Slovníky a encyklopedie | |
|---|---|
| V bibliografických katalozích |
| Logika | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| Filosofie • Sémantika • Syntaxe • Historie | |||||||||
| Logické skupiny |
| ||||||||
| Komponenty |
| ||||||||
| Seznam booleovských symbolů | |||||||||
| Dějiny filozofických disciplín | |
|---|---|
| |