Istoria logicii
Versiunea actuală a paginii nu a fost încă examinată de colaboratori experimentați și poate diferi semnificativ de versiunea revizuită pe 25 aprilie 2021; verificările necesită 6 modificări .Istoria logicii studiază dezvoltarea științei formelor și legilor gândirii corecte ( logica ).
Apariția logicii ca analiză dezvoltată a principiilor inferenței este legată exclusiv de trei civilizații locale, și anume: China , India și Grecia Antică . Dintre acestea, doar interpretarea logicii în filosofia greacă antică, discutată în detaliu în Organonul lui Aristotel , este acceptată și utilizată pe scară largă în știința și matematica modernă . În Grecia antică, logica era cunoscută sub numele de dialectică sau analitică .
În viitor, logica lui Aristotel a fost dezvoltată de logicienii islamici și apoi medievali europeni și a atins cea mai mare ascensiune la mijlocul secolului al XIV-lea . Din secolul al XIV-lea până la începutul secolului al XIX-lea, logica a fost în declin, perioadă considerată neproductivă de către istoricii logicii. [unu]
Logica a fost reînviată la mijlocul secolului al XIX-lea și transformată cu succes într-o disciplină strictă și formală, a cărei variantă ideală era metodele exacte de demonstrație folosite în matematică. Apariția logicii matematice moderne este cel mai semnificativ eveniment din istoria logicii din ultimii două mii de ani și poate unul dintre cele mai importante și remarcabile evenimente din istoria intelectuală a omenirii. [2]
Progresul în istoria logicii în prima jumătate a secolului al XX-lea este asociat, în special, cu lucrările lui Gödel și Tarski și a avut un impact semnificativ asupra filozofiei analitice și a logicii filosofice , mai ales începând cu anii 1950, datorită dezvoltării de noi secțiuni: logica modală , logica temporală , logica deontică și logica relevantă .
Fundal
Raționamentul corect poate fi găsit de-a lungul întregii perioade a istoriei umane timpurii. Pe de altă parte, pe parcurs, a existat un studiu al principiilor gândirii corecte, inferenței și demonstrației. Probabil că ideea de a demonstra afirmațiile a apărut mai întâi în legătură cu geometria , care înseamnă literal „măsurarea pământului”. În special, egiptenii antici au dobândit empiric unele cunoștințe geometrice, de exemplu, o formulă pentru calcularea volumului unei piramide trunchiate . O altă origine este asociată cu Babilonul . Esagil-kin-apli în Manualul de diagnostic medical al secolului al XI-lea î.Hr. e. oferă multe axiome și presupuneri. Astronomii babilonieni din secolele al VIII-lea și al VII-lea î.Hr. e. a aplicat logica internă în cadrul sistemului lor planetar predictiv - o contribuție importantă la filosofia științei .
Filosofia greacă antică
În timp ce egiptenii antici au descoperit adevărurile individuale ale geometriei prin experiență, cea mai mare realizare a grecilor antici a fost înlocuirea metodelor empirice cu științe bazate pe dovezi. Cercetarea sistematică în această direcție, aparent, începe cu școala lui Pitagora la sfârșitul secolului al VI-lea î.Hr. e. Trei principii de bază ale geometriei: anumite prevederi trebuie acceptate fără dovezi, alte prevederi se deduc din ele și concluzia trebuie să fie formală, independența unuia sau altuia subiect în discuție. Fragmente de dovezi timpurii supraviețuiesc în scrierile lui Platon și Aristotel, iar ideea unui sistem deductiv poate fi cunoscută școlii pitagoreice și Academiei platonice .
Separată de geometrie, ideea unei metode standard de argumentare este văzută în Reductio ad absurdum (reducerea la absurd) a lui Zenon din Elea , un filozof presocratic din secolul al V-lea î.Hr. e. Această regulă constă în a deduce o propoziție evident falsă, imposibilă sau absurdă dintr-o afirmație că propoziția este falsă. Platon în dialogul cu Parmenide îl portretizează pe Zenon, care a scris un eseu care apără monismul lui Parmenide și dovedește absurditatea existenței multora. Alți filozofi care au practicat și așa-numitul raționament dialectic, printre ei mai tineri socratici, inclusiv Euclid din Megara , trebuie să fi fost adepți ai lui Parmenide și Zenon. Filosofii acestei școli sunt numiți „dialectică” (din cuvântul grecesc care înseamnă „arta de a argumenta, a raționa”).
O dovadă suplimentară a modului în care gânditorii dinainte de Aristotel au aplicat principiile raționamentului logic se găsesc în pasaje din Dissoi Logoi , scrise la începutul secolului al IV-lea și făcând parte dintr-o lungă controversă despre adevăr și fals.
lui Platon
Dintre scrierile celebrului filozof Platon (428-347) care au ajuns până la noi, nici una nu aparține logicii formale, dar ele conțin o contribuție importantă la dezvoltarea logicii filozofice . Platon pune trei întrebări:
- Ce poate fi de fapt considerat adevărat și fals?
- Care este natura legăturii dintre premise în raționament și concluzii?
- Care este esența conceptelor?
Prima întrebare apare în dialogul Theaetetus , unde Platon identifică gândirea sau opinia cu conversația sau raționamentul (logos). A doua întrebare este rezultatul teoriei platonice a formelor. Formele nu sunt lucruri în sensul obișnuit sau anumite idei ale conștiinței subiective, ele corespund a ceea ce mai târziu au fost numite universale , nume generale abstracte, în locul cărora pot fi înlocuite nume concrete. În dialogurile dintre stat și sofist , Platon presupune o legătură necesară între premisă și efect în raționament în conformitate cu legătura necesară dintre „forme”. A treia întrebare este despre concept. Multe dintre dialogurile lui Platon se referă la căutarea unor concepte importante (dreptate, adevăr și bunătate); Platon a fost evident influențat de importanța definițiilor în matematică. Forma, după Platon, stă la baza oricărui concept, iar esența generală se manifestă în lucruri particulare. Astfel, conceptul reflectă cel mai înalt grad al înțelegerii noastre și baza tuturor inferențelor valide. Părerile lui Platon au avut o influență puternică asupra lui Aristotel.
Logica lui Aristotel
Logica lui Aristotel, în special teoria sa despre silogism , a avut un impact enorm asupra gândirii occidentale. El este indicat ca strămoș al logicii ca disciplină [3] . Scrierile sale despre logică, numite Organon , reprezintă cel mai vechi studiu al logicii formale și începutul unei tradiții a cărei continuitate poate fi urmărită până în timpurile moderne. Datarea precisă este dificilă, dar se presupune că ordinea lucrărilor lui Aristotel este logic după cum urmează:
- Categorii , studiul celor zece categorii principale.
- Topeka (cu anexă Despre refuzările sofistice ), discuții dialectice.
- Despre Interpretare , o analiză a propozițiilor categorice simple.
- În primul rând analitică , analiza formală a formelor valide de raționament sau silogisme.
- Second Analytics , studiul dovezilor științifice.
Aceste lucrări sunt de o importanță deosebită pentru istoria logicii. Aristotel a fost primul logician care a încercat o analiză sistematică a sintaxei logice . În Categorii el clasifică toate felurile posibile de lucruri care pot fi subiectul și predicatul unei judecăți. Aceasta a oferit baza scrierii sale filozofice Metafizica . El este primul care a aplicat consecvent legile contradicției și ale mijlocului exclus. El este primul care arată principiile argumentării care stau la baza formelor logice de raționament, cu ajutorul variabilelor (întemeietorul logicii formale); examinează relația de dependență, care caracterizează condițiile necesare de inferență și distinge valabilitatea acestor relații. Prima analiză conține expunerea sa de silogistică și pentru prima dată în istorie a aplicat cele trei principii cele mai importante: utilizarea variabilelor, o considerație pur formală și utilizarea unui sistem axiomatic. Scrierile lui Topeka și Despre refuzările sofistice se ocupă și de logica informală (de exemplu, studiul erorilor logice).
În stoicism
Stoicismul a dezvoltat o altă școală semnificativă de logică în Grecia antică . Logica stoicilor își are rădăcinile la sfârșitul secolului al V-lea î.Hr. e. în filosofia lui Euclid din Megara , un student al lui Socrate și un contemporan mai vechi al lui Platon. Studenții și adepții lui Euclid din Megara au fost numiți „ Megaricieni ” sau „Eristici”, mai târziu „dialectică”. Cei mai semnificativi dialecticieni ai școlii megariene au fost Diodor Cronos și Filon din Megara (sfârșitul secolului al IV-lea î.Hr.).Stoicii au adoptat logica megariană și au sistematizat-o. Unul dintre cei mai cunoscuți reprezentanți ai școlii stoice a fost Chrysippus (278-206 î.Hr.), al treilea șef al școlii, care a oficializat doctrina stoicilor. A scris aproximativ 700 de lucrări, practic doar nouă au supraviețuit. În comparație cu Aristotel, teoria logicii a rămas neterminată în rândul megaricilor și al stoicilor timpurii și ne putem ghida după aprecieri ulterioare (uneori ostile) date în secolul al III-lea de Sextus Empiricus .
Cele trei contribuții importante ale școlii stoice la istoria logicii sunt (1) tratarea modalității , (2) teoria implicației materiale și (3) aprecierea sensului și adevărului.
- Modalitate. Potrivit lui Aristotel, megaricii dintre contemporanii săi au susținut că nu există nicio diferență între potențial și actualitate. Diodorus Cronos definește posibilitatea ca ceva care este sau poate fi, imposibilitatea ca ceva care nu poate fi adevărat, contingența ca ceva care există deja sau poate fi fals. Diodor este celebru și pentru că afirmă că trei propoziții sunt inconsecvente: „tot ceea ce este adevărat și necesar în trecut”, „imposibilitatea nu decurge din posibil” și „posibilul este ceea ce fie este sau va fi”. Diodor admite primele două propoziții și, în consecință, dovedește imposibilitatea celei de-a treia. Crisip, dimpotrivă, neagă a doua afirmație și spune că imposibilul poate decurge din posibil.
- implicație materială. Primii logicieni care au argumentat despre afirmațiile condiționate au fost Diodorus Cronos și elevul său Philon din Megara. Sextus Empiricus se referă de trei ori la discuția dintre Diodor și Filon. Philo a susținut că o implicație adevărată nu poate începe cu adevărul și nu se poate termina cu o minciună. Diodor a susținut că o implicație adevărată poate să nu înceapă cu adevărul și să se termine cu o minciună. Sextus Empiricus spune că, după Filon, există trei cazuri în care o implicație poate fi adevărată și unul în care va fi falsă.
- Înțeles și adevăr. Cea mai importantă și remarcabilă diferență dintre logica stoicilor megariști și cea a lui Aristotel este în relația lor cu propozițiile, nu ca termeni, ci în abordarea lor de logica propozițională modernă. Stoicii au făcut distincția între afirmațiile care pot fi lipsite de sens și raționamentul semnificativ. Componenta originală a teoriei lor este exprimată în afirmația că există o diferență (lekton) între ceea ce se spune într-o anumită limbă și sens. Sextus Empiricus relatează că, potrivit stoicilor, trei lucruri sunt legate între ele: ce înseamnă, ce înseamnă obiectul în sine. De exemplu, ce înseamnă cuvântul Dion , ce a însemnat în înțelegerea grecilor antici, dar nu pentru barbari și ce înseamnă în sine.
În India și China antică
India antică
Logica formală a apărut independent și a continuat să se dezvolte până în timpurile moderne, fără influența logicii grecești antice. Medhatithi Gautama (secolul al VI-lea î.Hr.) a fondat școala de logică anvikshika. Mahabharata (12.173.45), circa secolul al V-lea. î.Hr e., se referă la școlile de logică Anvikshiki și Tarka. Panini (secolul al V-lea î.Hr.) a dezvoltat un fel de logică (care are o oarecare asemănare cu logica booleană pentru dezvoltarea sa a gramaticii sanscrite. Logica descrisă de Chanakya (350-283 î.Hr.) în Artha-shastra , independentă de anvikshika.
Două dintre cele șase școli ortodoxe hinduse (vedice) de filozofie indiană - Nyaya și Vaisheshika - s-au ocupat de metodologia cunoașterii, iar logica a apărut din acest domeniu problematic.
Însuși numele școlii „nyaya” înseamnă „logică”. Principala sa realizare a fost dezvoltarea logicii și metodologiei, care ulterior au devenit proprietate comună (cf. logica aristotelică în Europa). Textul principal al școlii au fost Nyaya Sutre ale lui Akshapada Gautama (secolul al II-lea d.Hr.). Întrucât Nyāyiks considerau dobândirea unei cunoștințe de încredere ca fiind singura cale de eliberare de suferință, ei au dezvoltat metode subtile de a distinge sursele de încredere de cunoștințe de opiniile false. Există doar patru surse de cunoaștere (patru pramanas): percepția, inferența, comparația și dovezile. O schemă strictă de raționament pe cinci termeni a inclus: premisa inițială, baza, exemplul, aplicarea și concluzia.
Filosofia budistă (nu una dintre cele șase școli ortodoxe) a fost principalul oponent al nyāyikilor în logică. Nagarjuna, fondatorul Madhyamika („calea de mijloc”), a dezvoltat un raționament cunoscut sub numele de „katuskoti” sau tetralema. Acest argument cvadripartit a testat și a respins sistematic afirmația enunțului, negația acesteia, conjuncția afirmației și negației și, în final, respingerea atât a aserției, cât și a negației sale.
cu Dignaga și urmașul său Dharmakirti , logica budistă a atins apogeul. Punctul central al analizei lor a fost stabilirea (definiția) inerentei logice necesare (includerea în definiție), „vyapti”, cunoscută și sub numele de „urmărire neschimbătoare” sau „credință”. În acest scop, ei au dezvoltat doctrina „apoha” sau distincție, regulile pentru includerea trăsăturilor într-o definiție sau excluderea lor din aceasta.
Școala Navya-nyaya („noua nyaya”, „noua logică”) a fost fondată în secolul al XIII-lea de către Gangesa Upadhyaya din Mithila , autorul cărții Tattvacintamani (Bijuteriile care împlinesc dorințele categoriilor), care s-au bazat pe munca predecesorilor săi. .
China antică
În China , Mo Tzu , un contemporan al lui Confucius , a fondat școala filozofică a mohismului , ale cărei precepte au luminat regulile de inferență și condițiile pentru inferența corectă. În special, una dintre școlile bazate pe mohism - Ming Jia - este considerată de unii savanți drept un studiu timpuriu al logicii formale. Din păcate, legalismul epocii Zhangguo a provocat dispariția acestor studii în China înainte de introducerea logicii indiene, care a fost introdusă de budiști.
Evul Mediu
Filosofia islamică
Pe măsură ce ne apropiam de Evul Mediu , logica a devenit mai răspândită. A început să fie dezvoltat de cercetătorii vorbitori de arabă, de exemplu, Al-Farabi (c. 870 - 950 ).
Europa
Logica medievală este numită scolastică, iar perioada sa de glorie în secolul al XIV-lea este asociată cu numele oamenilor de știință William of Ockham , Albert of Saxony și Walter Burley .
Renașterea și vremurile moderne
Această perioadă istorică în logică este marcată de apariția multor publicații extrem de semnificative pentru știință.
Francis Bacon își publică în 1620 „ New Organon ”, care conține elementele de bază ale metodelor inductive , îmbunătățite ulterior de John Stuart Mill și numite metode Bacon-Mill pentru stabilirea relațiilor cauzale între fenomene. Esența inducției (generalizării) este că cunoștințele trebuie construite în principii. De asemenea, trebuie să cauți cauza greșelilor tale.
În 1662, a fost publicat la Paris manualul „ Logica Port-Royal ” , ai cărui autori sunt P. Nicole și A. Arno , care au creat o doctrină logică bazată pe principiile metodologice ale lui Rene Descartes .
Conceptul de logică dialectică dezvoltat în lucrările lui Hegel a fost dezvoltat de clasicii filozofiei marxist-leniniste .
Modernitate
La sfârșitul secolului XIX - începutul secolului XX , fundamentele așa-numitului. logica matematică sau simbolică. Esența sa constă în faptul că metodele matematice pot fi folosite pentru a detecta valoarea de adevăr a expresiilor din limbajul natural. Utilizarea logicii simbolice este cea care distinge știința logică modernă de cea tradițională.
O contribuție uriașă la dezvoltarea logicii simbolice a fost adusă de oameni de știință precum J. Boole , O. de Morgan , G. Frege , C. Pierce și alții.În secolul al XX-lea, logica matematică a luat contur ca o disciplină independentă în cadrul cadrul științei logice.
Începutul secolului al XX-lea a fost marcat de formarea ideilor logicii non-clasice, multe dintre prevederile importante ale cărora au fost anticipate și/sau stabilite de N. A. Vasiliev și I. E. Orlov .
La mijlocul secolului al XX-lea, dezvoltarea tehnologiei informatice a condus la apariția elementelor logice, a blocurilor logice și a dispozitivelor de tehnologie informatică, care a fost asociată cu dezvoltarea suplimentară a unor domenii ale logicii precum problemele sintezei logice, proiectarea logică. și modelarea logică a dispozitivelor logice și a tehnologiei informatice.
În anii 80 ai secolului XX au început cercetările în domeniul inteligenței artificiale bazate pe limbaje și sisteme logice de programare . Crearea sistemelor expert a început cu utilizarea și dezvoltarea demonstrației automate a teoremelor, precum și a metodelor de programare bazată pe dovezi pentru verificarea algoritmilor și a programelor de calculator .
Schimbările în educație au început și în anii 1980. Apariția calculatoarelor personale în școlile gimnaziale a condus la crearea manualelor de informatică cu studiul elementelor de logică matematică pentru a explica principiile logice de funcționare a circuitelor logice și a echipamentelor informatice, precum și a principiilor de programare logică pentru calculatoarele din generația a cincea. și dezvoltarea manualelor de informatică cu studiul limbajului de calcul predicat pentru proiectarea bazelor de cunoștințe .
Note
- ↑ Oxford Companion p. 498; Bochenski, Partea I Introducere, passim
- ↑ Oxford Companion p. 500
- ↑ Copie arhivată (link nu este disponibil) . Consultat la 5 decembrie 2014. Arhivat din original pe 9 decembrie 2014. Cu. patru
Literatură
- Makovelsky A. O. History of Logic Arhivat 12 octombrie 2011 la Wayback Machine . - M., 1967. - 504 p. (vezi și aici (link indisponibil) )
- Bazhanov V. A. Istoria logicii în Rusia și URSS. — M.: Kanon+, 2007. — 336 p. — ISBN 5-88373-032-9
- Lisanyuk EN Logica modală a Evului Mediu. // Cercetare istorică și logică. Colecția interuniversitară. Editura Universității de Stat din Sankt Petersburg, Sankt Petersburg, 2003. S. 158-199.
- Lisanyuk E. N. Logica medievală (secolele XI-XIV) // Cercetare istorică și logică. Colecția interuniversitară. Editura Universității de Stat din Sankt Petersburg, 2003. S. 92-110.
- B. V. Biryukov, M. M. Novoselov, A. S. Karpenko . Logica în Rusia // New Philosophical Encyclopedia : în 4 volume / prev. științific-ed. sfatul lui V. S. Stepin . — Ed. a II-a, corectată. si suplimentare - M . : Gândirea , 2010. - 2816 p.
- Popov P.S. Istoria logicii noului timp. - M.: Editura Universității de Stat din Moscova , 1960.
- Styazhkin NI Formarea logicii matematice. - M., 1967.
- Logica: carte de referinta biobibliografica (Rusia - URSS - Rusia). - Sankt Petersburg: Nauka, 2001. - 488 p. ISBN 5-02-028488-2
- ScholtzH . Geschichte der Logik, 1931. (Concise History of Logic. - New York, 1961).
- Bochenski, I.M., A History of Formal Logic , presa Notre Dame, 1961.
- Kneale, William și Martha, 1962. Dezvoltarea logicii . Oxford University Press , ISBN 0-19-824773-7 .
- Dov M Gabbay în John Woods (2004), Manual de istorie a logicii .
- Robert Blanché, La logique et son histoire d'Aristote à Russell , ed. Armand Colin, col. U, Paris, 1970, 112 p.
 Dicționare și enciclopedii | |
|---|---|
| În cataloagele bibliografice |
| Logici | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| Filosofie • Semantică • Sintaxă • Istorie | |||||||||
| Grupuri logice |
| ||||||||
| Componente |
| ||||||||
| Lista simbolurilor booleene | |||||||||
| Istoria disciplinelor filozofice | |
|---|---|
| |