Logikkens historie
Den aktuelle version af siden er endnu ikke blevet gennemgået af erfarne bidragydere og kan afvige væsentligt fra den version , der blev gennemgået den 25. april 2021; checks kræver 6 redigeringer .Logikkens historie studerer udviklingen af videnskaben om korrekt tænknings former og love ( logik ).
Fremkomsten af logik som en udviklet analyse af inferensprincipperne er udelukkende relateret til tre lokale civilisationer, nemlig: Kina , Indien og det antikke Grækenland . Af disse er det kun fortolkningen af logik i oldgræsk filosofi, diskuteret i detaljer i Aristoteles ' Organon , der er accepteret og udbredt i moderne videnskab og matematik . I det antikke Grækenland var logik kendt som dialektik eller analytik .
I fremtiden blev Aristoteles' logik udviklet af islamiske og derefter middelalderlige europæiske logikere og nåede sin største stigning i midten af det XIV århundrede . Fra det 14. århundrede til begyndelsen af det 19. århundrede var logikken i tilbagegang, en periode, der blev betragtet som uproduktiv af logikhistorikere. [en]
Logikken blev genoplivet i midten af det 19. århundrede og med succes omdannet til en streng og formel disciplin, hvis ideelle variant var de nøjagtige bevismetoder, der blev brugt i matematikken. Fremkomsten af moderne matematisk logik er den mest betydningsfulde begivenhed i logikkens historie i de sidste to tusinde år, og måske en af de vigtigste og mest bemærkelsesværdige begivenheder i menneskehedens intellektuelle historie . [2]
Fremskridt i logikkens historie i første halvdel af det 20. århundrede er især forbundet med Gödel og Tarskis arbejde og har haft en betydelig indvirkning på analytisk filosofi og filosofisk logik , især siden 1950'erne, takket være udviklingen af nye afsnit: modal logik , tidslogik , deontisk logik og relevant logik .
Baggrund
Det rigtige ræsonnement kan findes gennem hele perioden af den tidlige menneskelige historie. På den anden side var der undervejs en undersøgelse af principperne for korrekt tænkning, slutninger og beviser. Sandsynligvis opstod ideen om at bevise udsagn først i forbindelse med geometri , som bogstaveligt betyder "måling af jorden". Især de gamle egyptere fik empirisk noget geometrisk viden, for eksempel en formel til beregning af volumen af en afkortet pyramide . En anden oprindelse er forbundet med Babylonien . Esagil-kin-apli i Medical Diagnostic Manual fra det 11. århundrede f.Kr. e. giver mange aksiomer og antagelser. Babylonske astronomer fra det 8. og 7. århundrede f.Kr. e. anvendt intern logik i deres forudsigende planetsystem - et vigtigt bidrag til videnskabsfilosofien .
Oldtidens græske filosofi
Mens de gamle egyptere opdagede geometriens individuelle sandheder gennem erfaring, var de gamle grækeres største bedrift udskiftningen af empiriske metoder med evidensbaserede videnskaber. Systematisk forskning i denne retning begynder tilsyneladende med Pythagoras skole i slutningen af det 6. århundrede f.Kr. e. Tre grundlæggende principper for geometri: visse bestemmelser skal accepteres uden bevis, andre bestemmelser udledes af dem, og konklusionen skal være formel, uafhængigheden af et eller andet emne under overvejelse. Fragmenter af tidlige beviser overlever i Platons og Aristoteles' skrifter, og ideen om et deduktivt system kan have været kendt af den pythagoræiske skole og det platoniske akademi .
Adskilt fra geometrien ses ideen om en standardmetode til argumentation i Reductio ad absurdum (reducerende til det absurde) af Zeno af Elea , en præ-sokratisk filosof fra det 5. århundrede f.Kr. e. Denne regel består i at udlede en åbenlyst falsk, umulig eller absurd påstand fra et udsagn om, at påstanden er falsk. Platon i Parmenides- dialogen portrætterer Zeno, som skrev et essay, der forsvarede Parmenides' monisme og beviser det absurde i manges eksistens. Andre filosoffer, der også praktiserede såkaldt dialektisk ræsonnement, blandt dem de yngre sokratikere, inklusive Euklid af Megara , må have været tilhængere af Parmenides og Zeno. Filosofferne på denne skole kaldes "dialektik" (fra det græske ord, der betyder "kunsten at argumentere, ræsonnere").
Yderligere beviser på, hvordan tænkere før Aristoteles anvendte principperne for logisk ræsonnement, findes i passager fra Dissoi Logoi , der angiveligt er skrevet i det tidlige 4. århundrede og udgør en del af en lang strid om sandhed og løgn.
Platons
Af de skrifter af den berømte filosof Platon (428-347), der er kommet ned til os, hører ikke én til formel logik, men de indeholder et vigtigt bidrag til udviklingen af filosofisk logik . Platon stiller tre spørgsmål:
- Hvad kan egentlig betragtes som sandt og falsk?
- Hvad er karakteren af sammenhængen mellem præmisser i ræsonnement og konklusioner?
- Hvad er essensen af begreber?
Det første spørgsmål dukker op i dialogen Theaetetus , hvor Platon identificerer tanke eller mening med samtale eller ræsonnement (logos). Det andet spørgsmål er resultatet af den platoniske formteori. Former er ikke ting i almindelig forstand eller bestemte ideer om subjektiv bevidsthed, de svarer til det, der senere blev kaldt universalnavne , generelle abstrakte navne, i stedet for hvilke konkrete navne kan erstattes. I dialogerne mellem staten og sofisten antager Platon en nødvendig sammenhæng mellem præmis og virkning i ræsonnementet i overensstemmelse med den nødvendige sammenhæng mellem "former". Det tredje spørgsmål handler om konceptet. Mange af Platons dialoger refererer til søgen efter nogle vigtige begreber (retfærdighed, sandhed og godhed); Platon var tydeligvis påvirket af betydningen af definitioner i matematik. Form ligger ifølge Platon til grund for ethvert begreb, og den generelle essens manifesteres i bestemte ting. Begrebet afspejler således den højeste grad af vores forståelse og grundlaget for alle gyldige slutninger. Platons synspunkter havde en stærk indflydelse på Aristoteles.
Aristoteles' logik
Aristoteles' logik, især hans teori om syllogismen , har haft en enorm indflydelse på vestlig tankegang. Han er angivet som forfaderen til logikken som en disciplin [3] . Hans skrifter om logik, kaldet Organon , repræsenterer det tidligste studie af formel logik og begyndelsen på en tradition, hvis kontinuitet kan spores til moderne tid. Præcis datering er vanskelig, men formentlig er rækkefølgen af Aristoteles' værker logisk som følger:
- Kategorier , undersøgelsen af de ti hovedkategorier.
- Topeka (med et appendiks om sofistiske gendrivelser ), dialektiske diskussioner.
- Om fortolkning , en analyse af simple kategoriske udsagn.
- Først analytisk , den formelle analyse af gyldige former for ræsonnement eller syllogismer.
- Second Analytics , undersøgelsen af videnskabelig evidens.
Disse værker er af enestående betydning for logikkens historie. Aristoteles var den første logiker, der forsøgte en systematisk analyse af logisk syntaks . I kategorierne klassificerer han alle mulige slags ting, der kan være genstand og prædikat for en dom. Dette gav grundlaget for hans filosofiske forfatterskab Metafysik . Han er den første, der konsekvent anvender modsigelsens love og den udelukkede midte. Han er den første til at vise de argumentationsprincipper, der ligger til grund for de logiske former for ræsonnement, ved hjælp af variable (grundlæggeren af den formelle logik); undersøger afhængighedsforholdet, som karakteriserer de nødvendige slutningsbetingelser, og skelner gyldigheden af disse relationer. The First Analytics indeholder hans udlægning af syllogistik og har for første gang i historien anvendt de tre vigtigste principper: brugen af variabler, en rent formel betragtning og brugen af et aksiomatisk system. Skrifterne af Topeka og On Sophistical Refutations beskæftiger sig også med uformel logik (for eksempel studiet af logiske fejlslutninger).
I stoicismen
Stoicismen udviklede en anden betydelig logikskole i det antikke Grækenland . Stoikernes logik har sine rødder i slutningen af det 5. århundrede f.Kr. e. i Euklids af Megaras filosofi , en elev af Sokrates og en ældre samtidige af Platon. Eleverne og tilhængerne af Euklid af Megara blev kaldt " Megarikere " eller "Eristics", senere "dialektik". De mest betydningsfulde dialektikere i den megariske skole var Diodorus Cronus og Philo af Megara (slutningen af det 4. århundrede f.Kr.) Stoikerne overtog den megariske logik og systematiserede den. En af de mest berømte repræsentanter for den stoiske skole var Chrysippus (278-206 f.Kr.), den tredje leder af skolen, som formaliserede stoikernes lære. Han skrev omkring 700 værker, praktisk talt kun ni har overlevet. I sammenligning med Aristoteles forblev teorien om logik ufærdig blandt megarikerne og de tidlige stoikere, og vi kan lade os lede af senere vurderinger (nogle gange fjendtlige) givet i det 3. århundrede af Sextus Empiricus .
De tre vigtige bidrag fra den stoiske skole til logikkens historie er (1) deres behandling af modalitet , (2) teorien om materielle implikationer og (3) deres forståelse af mening og sandhed.
- Modalitet. Ifølge Aristoteles fastholdt Megaricerne blandt hans samtidige, at der ikke var nogen forskel mellem potentialitet og virkelighed. Diodorus Cronus definerer mulighed som noget, der enten er eller kan være, umulighed som noget, der ikke kan være sandt, kontingens som noget, der allerede eksisterer eller kan være falsk. Diodorus er også berømt for at udtale, at tre påstande er inkonsistente: "alt, der er sandt og nødvendigt i fortiden", "umulighed følger ikke af det mulige", og "det mulige er det, der enten er eller vil være". Diodorus indrømmer de to første påstande og beviser som en konsekvens umuligheden af den tredje. Chrysippus benægter tværtimod det andet udsagn og siger, at det umulige kan følge af det mulige.
- materiel implikation. De første logikere til at argumentere om betingede udsagn var Diodorus Cronus og hans elev Philo af Megara. Sextus Empiricus henviser tre gange til diskussionen mellem Diodorus og Philon. Philo hævdede, at en sand implikation ikke kan begynde med sandheden og ende med en løgn. Diodorus hævdede, at en sand implikation måske ikke starter med sandheden og slutter med en løgn. Sextus Empiricus siger, at der ifølge Philo er tre tilfælde, hvor en implikation kan være sand, og en, hvor den vil være falsk.
- Mening og sandhed. Den vigtigste og mest bemærkelsesværdige forskel mellem de megariske stoikers og Aristoteles' logik er i deres forhold til påstande, ikke som termer, men i deres tilgang til moderne propositionel logik. Stoikerne skelnede mellem udsagn, der kan være meningsløse og meningsfulde ræsonnementer. Den oprindelige komponent i deres teori kommer til udtryk i udsagnet om, at der er en forskel (lekton) mellem det, der siges i et bestemt sprog, og meningen. Sextus Empiricus rapporterer, at der ifølge stoikerne er tre ting forbundet med hinanden: hvad betød, hvad objektet selv betyder. For eksempel, hvad betyder ordet Dion , hvad betød det i de gamle grækeres forståelse, men ikke for barbarerne, og hvad betyder det i sig selv.
I det gamle Indien og Kina
Det gamle Indien
Formel logik opstod selvstændigt og fortsatte med at udvikle sig indtil moderne tid uden indflydelse fra oldgræsk logik. Medhatithi Gautama (6. århundrede f.Kr.) grundlagde anvikshika-logikkens skole. Mahabharata (12.173.45), omkring 5. årh. f.Kr e. refererer til Anvikshiki og Tarka logikskolerne. Panini (5. århundrede f.Kr.) udviklede en slags logik (som har en vis lighed med boolsk logik for hans udvikling af sanskrit grammatik. Logik beskrevet af Chanakya (350-283 f.Kr.) i hans Artha-shastra , uafhængig af anvikshika.
To af de seks ortodokse hinduistiske (vediske) skoler i indisk filosofi - Nyaya og Vaisheshika - beskæftigede sig med erkendelsesmetoden, og logikken dukkede op fra dette problematiske felt.
Selve navnet på skolen "nyaya" betyder "logik". Dens vigtigste præstation var udviklingen af logik og metodologi, som senere blev fælleseje (jf. aristotelisk logik i Europa). Skolens hovedtekst var Nyaya Sutraerne fra Akshapada Gautama (2. århundrede e.Kr.). Da nyāyikerne anså opnåelse af pålidelig viden for at være den eneste vej til befrielse fra lidelse, udviklede de subtile metoder til at skelne pålidelige videnskilder fra falske meninger. Der er kun fire kilder til viden (fire pramanaer): perception, slutning, sammenligning og evidens. Et strengt fem-sigtet ræsonnementssystem omfattede: den indledende præmis, grundlaget, eksemplet, anvendelsen og konklusionen.
Buddhistisk filosofi (ikke en af de seks ortodokse skoler) var den største modstander af Nyāyiks i logik. Nagarjuna, grundlæggeren af Madhyamika ("mellemvejen"), udviklede et ræsonnement kendt som "katuskoti" eller tetralemma. Dette firpartsargument testede og afviste systematisk udsagnets påstand, dets negation, konjunktionen af bekræftelse og negation, og endelig afvisningen af både dens påstand og dens negation.
med Dignaga og hans tilhænger Dharmakirti nåede den buddhistiske logik sit højdepunkt. Det centrale punkt i deres analyse var etableringen (definitionen) af den nødvendige logiske inherens (inkludering i definitionen), "vyapti", også kendt som "uændret følge" eller "tro". Til dette formål udviklede de doktrinen om "apoha" eller distinktion, reglerne for at inkludere træk i en definition eller udelukke dem fra den.
Navya-nyaya-skolen ( "ny nyaya", "ny logik") blev grundlagt i det 13. århundrede af Gangesa Upadhyaya fra Mithila , forfatteren til Tattvacintamani (The Wish-Fulfilling Perle of Categories), som trak på hans forgængeres arbejde .
Det gamle Kina
I Kina grundlagde Mo Tzu , en samtidig med Confucius , Mohismens filosofiske skole , hvis forskrifter belyste reglerne for slutninger og betingelserne for korrekt slutning. Især en af skolerne baseret på mohisme - Ming Jia - betragtes af nogle forskere som en tidlig undersøgelse af formel logik. Desværre forårsagede Zhangguo- æraens legalisme, at disse undersøgelser forsvandt i Kina før indførelsen af indisk logik, som blev indført af buddhisterne.
Middelalder
Islamisk filosofi
Efterhånden som vi nærmede os middelalderen , blev logikken mere udbredt. Det begyndte at blive udviklet af arabisktalende forskere, for eksempel Al-Farabi (ca. 870 - 950 ).
Europa
Middelalderlogik kaldes skolastisk, og dens storhedstid i det 14. århundrede er forbundet med navnene på videnskabsmændene William af Ockham , Albert af Sachsen og Walter Burley .
Renæssancen og moderne tider
Denne historiske periode i logikken er præget af fremkomsten af mange publikationer, der er ekstremt betydningsfulde for videnskaben.
Francis Bacon i 1620 udgiver sin " New Organon ", der indeholder det grundlæggende i induktive metoder, senere forbedret af John Stuart Mill og kaldt Bacon-Mill metoderne til at etablere årsagssammenhænge mellem fænomener. Essensen af Induktion (Generalisering) er, at viden skal bygges ind i principper. Du skal også lede efter årsagen til dine fejl.
I 1662 blev lærebogen " Logic of Port-Royal " udgivet i Paris , hvis forfattere er P. Nicole og A. Arno , som skabte en logisk doktrin baseret på Rene Descartes ' metodologiske principper .
Begrebet dialektisk logik udviklet i Hegels værker blev udviklet af klassikerne fra marxistisk-leninistisk filosofi .
Modernitet
I slutningen af XIX - begyndelsen af XX århundreder , grundlaget for den såkaldte. matematisk eller symbolsk logik. Dens essens ligger i, at matematiske metoder kan bruges til at opdage sandhedsværdien af naturlige sprogudtryk. Det er brugen af symbolsk logik, der adskiller moderne logisk videnskab fra traditionel.
Et stort bidrag til udviklingen af symbolsk logik blev ydet af videnskabsmænd som J. Boole , O. de Morgan , G. Frege , C. Pierce m.fl. I det 20. århundrede tog matematisk logik form som en selvstændig disciplin inden for rammer for logisk videnskab.
Begyndelsen af det 20. århundrede var præget af dannelsen af ideerne om ikke-klassisk logik, hvor mange af de vigtige bestemmelser blev forudset og/eller fastsat af N. A. Vasiliev og I. E. Orlov .
I midten af det 20. århundrede førte udviklingen af computerteknologi til fremkomsten af logiske elementer, logiske blokke og enheder af computerteknologi, som var forbundet med den yderligere udvikling af sådanne områder af logik som problemerne med logisk syntese, logisk design og logisk modellering af logiske enheder og computerteknologi.
I 80'erne af det XX århundrede begyndte forskning inden for kunstig intelligens baseret på logiske programmeringssprog og systemer . Oprettelsen af ekspertsystemer begyndte med brug og udvikling af automatisk bevis for teoremer samt metoder til evidensbaseret programmering til verifikation af algoritmer og computerprogrammer .
Ændringer i uddannelse begyndte også i 1980'erne. Udseendet af personlige computere i gymnasier førte til oprettelsen af datalogi lærebøger med undersøgelse af elementer af matematisk logik for at forklare de logiske principper for drift af logiske kredsløb og computerudstyr samt principperne for logisk programmering for femte generations computere og udviklingen af computervidenskabelige lærebøger med studiet af prædikatregningssproget til at designe vidensbaser.
Noter
- ↑ Oxford Companion s. 498; Bochenski, del I Introduktion, passim
- ↑ Oxford Companion s. 500
- ↑ Arkiveret kopi (link ikke tilgængeligt) . Hentet 5. december 2014. Arkiveret fra originalen 9. december 2014. Med. fire
Litteratur
- Makovelsky A. O. History of Logic Arkiveret 12. oktober 2011 på Wayback Machine . - M., 1967. - 504 s. (se også her (ikke tilgængeligt link) )
- Bazhanov V. A. Logikkens historie i Rusland og USSR. — M.: Kanon+, 2007. — 336 s. — ISBN 5-88373-032-9
- Lisanyuk DA Middelalderens modallogik. // Historisk og logisk forskning. Interuniversitetssamling. Forlag ved St. Petersburg State University, St. Petersburg, 2003. S. 158-199.
- Lisanyuk E. N. Middelalderlogik (XI-XIV århundreder) // Historisk og logisk forskning. Interuniversitetssamling. Forlag ved St. Petersburg State University St. Petersburg, 2003. S. 92-110.
- B. V. Biryukov, M. M. Novoselov, A. S. Karpenko . Logik i Rusland // New Philosophical Encyclopedia : i 4 bind / prev. videnskabeligt udg. råd fra V. S. Stepin . — 2. udg., rettet. og yderligere - M . : Tanke , 2010. - 2816 s.
- Popov P.S. Historien om den nye tids logik. - M .: Forlag ved Moscow State University , 1960.
- Styazhkin NI Dannelse af matematisk logik. - M., 1967.
- Logik: Biobibliografisk opslagsbog (Rusland - USSR - Rusland). - St. Petersborg: Nauka, 2001. - 488 s. 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 , Notre Dame press, 1961.
- Kneale, William og Martha, 1962. Logikkens udvikling . Oxford University Press , ISBN 0-19-824773-7 .
- Dov M Gabbay og John Woods (2004), Handbook of the History of Logic .
- Robert Blanché, La logique et son histoire d'Aristote à Russell , red. Armand Colin, coll. U, Paris, 1970, 112 s.
 Ordbøger og encyklopædier | |
|---|---|
| I bibliografiske kataloger |
| Logikker | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| Filosofi • Semantik • Syntaks • Historie | |||||||||
| Logiske grupper |
| ||||||||
| Komponenter |
| ||||||||
| Liste over booleske symboler | |||||||||