Bortførelse (logik)
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 8. oktober 2020; checks kræver 3 redigeringer .Abduktion (fra lat. ab - "c, fra" og lat. ducere - "at lede") er en kognitiv procedure til at fremsætte hypoteser [1] [2] .
Abduktion er en form for reduktiv slutning med den ejendommelighed, at den anden præmis følger af præmissen , som er en betinget erklæring, og konklusionen . For eksempel,
den første forudsætning : mennesker er dødelige; konklusion : Sokrates er dødelig;vi kan ved bortførelse antage, at den anden forudsætning : Sokrates er en mand.
I logikkens historie går tanken om bortførelse i form af apagogi tilbage til Aristoteles [3] . I moderne tid blev bortførelse først overvejet af grundlæggeren af pragmatisme og semiotik C. S. Pierce , som systematisk har brugt udtrykket siden 1901 [4] . Ifølge Charles Peirce er der tre slags elementære ræsonnementer: deduktion , induktion og bortførelse.
Bortførelse har et bredt felt af videnskabelig og anvendt anvendelse, herunder i kunstige intelligenssystemer . Som G.I. Ruzavin skriver :
... abduktiv ræsonnement bruges oftest til at opdage empiriske love, der etablerer de nødvendige regelmæssige forbindelser mellem observerede egenskaber og fænomenernes forhold. Teoretiske love kan ikke opdages på denne måde, fordi de indeholder abstrakte begreber, som ikke kan observeres eksperimentelt. Derfor går vejen til dem gennem hypoteser eller hypotesesystemer, som normalt verificeres ved den logiske udledning af empiriske love fra dem. Som videnskabshistorien vidner om, er det sådan, opdagelsen af teoretiske love og konstruktionen af integrale teorier og teoretiske systemer faktisk foregik [5] .
Noter
- ↑ Bortførelse Arkiveret 27. januar 2011 på Wayback Machine - artikel fra New Philosophical Encyclopedia
- ↑ Svetlov V.A. Metodologisk begreb om videnskabelig viden om Charles Pierce: enhed af bortførelse, deduktion og induktion // Logiske og filosofiske studier. - 2008. - T. 5 . - S. 165-187 . — ISSN 2071-9183 .
- ↑ Aristoteles, First Analytics , II, 25, 69a
- ↑ Bortførelse arkiveret 6. december 2010 på Wayback Machine //Commens Dictionary of Peirce's Terms, 2003
- ↑ Ruzavin G. I., Abduktion som metode til at søge og underbygge forklarende hypoteser // Argumentations teori og praksis. M., 2001. s. 44.
Litteratur
- Vasyukov VL Videnskabelig opdagelse og bortførelsens kontekst . Videnskabsfilosofi . Problem. 9. M.: IF RAS , 2003.
- Ionin L. G. Kultursociologi : Lærebog. — M.: State University Higher School of Economics, 2004 — 432 sider — ISBN 5-7598-0252-6
- Menzies, T. Applications of Abduction: Knowledge-Level Modeling , International Journal of Human-Computer Studies , 1996, 45.3, 305-335.
 Ordbøger og encyklopædier |
| |||
|---|---|---|---|---|
| ||||
| Logikker | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| Filosofi • Semantik • Syntaks • Historie | |||||||||
| Logiske grupper |
| ||||||||
| Komponenter |
| ||||||||
| Liste over booleske symboler | |||||||||