Bortförande (logik)
Den aktuella versionen av sidan har ännu inte granskats av erfarna bidragsgivare och kan skilja sig väsentligt från versionen som granskades den 8 oktober 2020; kontroller kräver 3 redigeringar .Abduktion (av lat. ab - "c, från" och lat. ducere - "att leda") är en kognitiv procedur för att lägga fram hypoteser [1] [2] .
Abduktion är en typ av reduktiv slutledning med den egenheten att den andra premissen följer av premissen , som är ett villkorligt uttalande, och slutsatsen . Till exempel,
den första premissen : människor är dödliga; slutsats : Sokrates är dödlig;vi kan anta, genom bortförande, att den andra premissen : Sokrates är en man.
I logikens historia går idén om bortförande i form av apagogi tillbaka till Aristoteles [3] . I modern tid övervägdes bortförande först av grundaren av pragmatismen och semiotiken C. S. Pierce , som systematiskt har använt termen sedan 1901 [4] . Enligt Charles Peirce finns det tre typer av elementära resonemang: deduktion , induktion och bortförande.
Abduktion har ett brett fält av vetenskaplig och tillämpad användning, inklusive i artificiell intelligenssystem . Som G. I. Ruzavin skriver :
... abduktivt resonemang används oftast för att upptäcka empiriska lagar som etablerar de nödvändiga regelbundna kopplingarna mellan observerade egenskaper och fenomenens relationer. Teoretiska lagar kan inte upptäckas på detta sätt eftersom de innehåller abstrakta begrepp som inte kan observeras experimentellt. Därför går vägen till dem genom hypoteser eller system av hypoteser, som vanligtvis verifieras genom den logiska härledningen av empiriska lagar från dem. Som vetenskapshistorien vittnar om är det så upptäckten av teoretiska lagar och konstruktionen av integrala teorier och teoretiska system faktiskt skedde [5] .
Anteckningar
- ↑ Abduction Arkiverad 27 januari 2011 på Wayback Machine - artikel från New Philosophical Encyclopedia
- ↑ Svetlov V.A. Metodologiskt koncept för vetenskaplig kunskap om Charles Pierce: enheten mellan bortförande, deduktion och induktion // Logiska och filosofiska studier. - 2008. - T. 5 . - S. 165-187 . — ISSN 2071-9183 .
- ↑ Aristoteles, First Analytics , II, 25, 69a
- ↑ Abduction Arkiverad 6 december 2010 på Wayback Machine //Commens Dictionary of Peirce's Terms, 2003
- ↑ Ruzavin G. I., Abduktion som en metod för att söka och underbygga förklarande hypoteser // Theory and Practice of Argumentation. M., 2001. sid. 44.
Litteratur
- Vasyukov VL Vetenskaplig upptäckt och sammanhanget för bortförandet . Vetenskapsfilosofi . Problem. 9. M.: IF RAS , 2003.
- Ionin L. G. Kultursociologi : Lärobok. — M.: State University Higher School of Economics, 2004 — 432 sidor — 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öcker och uppslagsverk |
| |||
|---|---|---|---|---|
| ||||
| Logik | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| Filosofi • Semantik • Syntax • Historia | |||||||||
| Logiska grupper |
| ||||||||
| Komponenter |
| ||||||||
| Lista över booleska symboler | |||||||||