Deduktiv ræsonnement

Deduktion ( lat.  deductio  - afledning [1] , også deduktiv inferens , syllogisme [2] ) - konklusion efter logikkens regler; en kæde af slutninger (ræsonnement), hvis led (udsagn) er forbundet af et forhold af logisk konsekvens. I fradrag bygges konklusionen fra generelle bestemmelser til særlige tilfælde. Deduktionens begyndelse ( præmisser ) er aksiomer , postulater eller blot hypoteser , som har karakter af generelle udsagn ("generelle"), og enden er konsekvenser fra præmisser, sætninger ("særlige"). Hvis præmisserne for et fradrag er sande, så er konsekvenserne det også. Deduktion er det vigtigste bevismiddel [3] .

Den aksiomatiske metode er en metode til at konstruere en videnskabelig teori i form af et system af aksiomer (postulater) og inferensregler (aksiomatik), som gør det muligt at opnå udsagn (sætninger) af denne teori ved logisk deduktion [3] . Se også induktion .

Således er deduktion en metode til tænkning , hvis konsekvens er en logisk konklusion , hvis sandhed er garanteret af sandheden af ​​præmisserne. Der kan også defineres en logisk-metodologisk procedure, hvorigennem overgangen fra det generelle til det særlige udføres i ræsonnementsprocessen.

Et eksempel på en simpel deduktiv begrundelse:

Betinget kategoriske slutninger

Inferenser, hvor en præmis er en betinget proposition , og den anden præmis falder sammen med grundlaget eller konsekvensen af ​​den betingede proposition , eller med resultatet af at negere grundlaget eller konsekvensen af ​​den betingede proposition .

Grundlagets sandhed medfører sandheden om konsekvensen, og negationen af ​​konsekvensen medfører negationen af ​​grundlaget.

Former for de korrekte tilstande (typer) af betinget kategoriske konklusioner:

• godkendelsestilstand ( lat.  modus ponens ):
• negating mode ( lat.  modus tollens ):

Splittende-kategorisk ræsonnement

Konklusioner, hvor en af ​​præmisserne er en disjunktiv dom , og den anden falder sammen med et af medlemmerne af den disjunktive dom (1) eller benægter alle undtagen én (2). I konklusionen afvises henholdsvis alle vilkår, bortset fra det, der er angivet i anden præmis (1), eller det udeladte udtryk (2) bekræftes.

Former for de korrekte måder at opdele -kategoriske konklusioner på

1. Bekræftende benægtende tilstand ( lat.  modus ponendo-tollens ): (her kræves en strengt disjunktiv dom). Det vil sige: den første forudsætning: enten A, eller B, eller C ..., den anden forudsætning: B; konklusion (konklusion): derfor ikke A, ikke C ... .
2. Benægtende-bekræftende tilstand ( latinsk  modus tollendo-ponens ): . Det vil sige: den første forudsætning: A eller B eller C ..., den anden forudsætning: ikke A, ikke C ...; konklusion (konklusion): derfor B.

Betingede slutninger

Inferenser, hvis præmisser og konklusioner er betingede propositioner .

• Kontraposition: . Det vil sige: præmis: hvis A, så B; konklusion: derfor, hvis ikke B, så ikke A. For eksempel, hvis et dyr er et pattedyr, så er det et hvirveldyr. Derfor, hvis et dyr ikke er et hvirveldyr, så er det ikke et pattedyr.
• Kompleks modstilling :. Det vil sige: præmis: hvis A og B, så C; konklusion: derfor, hvis A og ikke C, så ikke B.
• Transitivitet: . Det vil sige: den første forudsætning: hvis A, så B; anden forudsætning: hvis B, så C; konklusion: derfor, hvis A, så C.

Dilemmaer

En særlig form for slutning fra to betingede propositioner og en disjunktiv .

Typer af rigtige dilemmaer:

• konstruktiv:

(dvs.: første præmis: hvis A, så C; anden præmis: hvis B, så C; tredje præmis: A eller B; konklusion: derfor C);

(dvs.: første præmis: hvis A, så B; anden præmis: hvis C, så D; tredje præmis: A eller C; konklusion: derfor B eller D);

• Destruktiv:

(dvs.: første præmis: hvis A, så B; anden præmis: hvis A, så C; tredje præmis: ikke B eller ikke C; konklusion: derfor ikke A);

(dvs.: første præmis: hvis A, så B; anden præmis: hvis C, så D; tredje præmis: ikke B eller ikke D; konklusion: derfor ikke A eller ikke C).

Interessante fakta

Den "deduktive" metode af Sherlock Holmes er baseret på typiske abduktive ræsonnementer [4] .

Se også

• Induktiv begrundelse
• modus ponens
• Kategorisk syllogisme

Noter

1. ↑ deductio // A Dictionary of Greek and Roman Antiquities (1890). (Engelsk)
2. ↑ Syllogism  / V. I. Markin // Peace of Saint-Germain 1679 - Social sikring. - M  .: Great Russian Encyclopedia, 2015. - S. 171. - ( Great Russian Encyclopedia  : [i 35 bind]  / chefredaktør Yu. S. Osipov  ; 2004-2017, v. 30). - ISBN 978-5-85270-367-5 .
3. ↑ 1 2 Soviet Encyclopedic Dictionary, Moskva, forlag "Soviet Encyclopedia", 1981, E 00101-012 / 007 (01) -81. 1600 s. fra syg. Videnskabelig og redaktion: A.M. Prokhorov (formand), M.S. Gilyarov, E.M. Zhukov, N.N. Inozemtsev, I.L. Knunyants, P.N. Fedoseev, M.B. Khrapchenko. Afleveret til sættet 11/12/76. Underskrevet til offentliggørelse den 15. maj 1978. Oplag 1.200.000 eksemplarer. Pris 1 eksemplar. 20 gnid. 80 kop.
4. ↑ Ionin L. G. "Sherlock Holmes og den (pseudo) deduktive metode" / Sociology of Culture.

Litteratur

• Deduktion // Encyclopedic Dictionary of Brockhaus and Efron  : i 86 bind (82 bind og 4 yderligere). - Sankt Petersborg. , 1890-1907.
• Great Soviet Encyclopedia , red. Prokhorov, A.M.; Baibakov, N.K.; Blagonravov, A. A. - M .: Soviet Encyclopedia, 1969-1978.
• Kondakov N. I. Logisk ordbog-opslagsbog. — M.: Nauka, 1975. — 720 s.
• Ivlev Yu. V. Lærebog i logik: Semesterkursus: Lærebog. - M .: Delo, 2003. - 208 s. — ISBN 5-7749-0317-6 .
• Bocharov V. A., Markin V. I. Grundlæggende om logik: Lærebog. — M.: INFRA-M, 2001. — 296 s. - ISBN 5-16-000496-3 .
• Ionin L. G. Kultursociologi: Lærebog. - M.: GU VSHE , 2004. - 432 sider - ISBN 5-7598-0252-6 .

Links

Ordbøger og encyklopædier	Flot dansk Fantastisk norsk Stor russer jorden rundt jorden rundt Britannica (online) Katolsk (1997—...)
I bibliografiske kataloger	GND : 4011271-8 NDL : 00561931