Deduktion

Uppslagsordet ”Deduktiv” leder hit. För det finita moduset, se Deduktiv (modus).
Härledningsbegrepp
Närliggande begrepp
Denna tabell: visa • redigera

Deduktion (vetenskapliga bevis) är generellt identiskt med härledning av slutsatser från givna premisser. Deduktiva slutledningar karakteriseras av att det råder ett hypotetiskt förhållande mellan premisser och slutsats, det vill säga ett förhållande av typen: Om P, så S.[1]

Begreppet deduktion används också för att i bredare bemärkelse beteckna alla typer av undersökningar eller forskningsdesigner som utgår från teoretiska antaganden.[2]

Deduktion är i formella logiska system, som satslogik och predikatlogik ett syntaktiskt begrepp, vilket betyder att det är möjligt att med slutledningsreglerna kontrollera följdriktigheten av deduktionen. Man behöver således inte känna till meningen av, utan endast relationer mellan, de ord som uppträder i premisser och slutsats.[3]

Ett formellt deduktivt system består av ett antal axiom och minst en slutledningsregel.[4]

Metafysiska och kunskapsteoretiska resonemang har ofta en deduktiv karaktär. Argumentationen bygger vanligen på premisser, som antas vara självklara och slutledningsregler vilka oftast inte redovisas. Detta gäller för många av de stora namnen i filosofins historia som Leibniz, Spinoza, Kant, Hegel och Schopenhauer.[5]

Hos skolastikerna, och bland andra Descartes, betyder ordet deduktion ibland en slutledning från det allmänna till det enskilda.

Exempel

Teodicéproblemet har sysselsatt många av Europas skarpaste hjärnor sedan antiken. Problemet uppstår, om man samtidigt vill hålla följande fem satser för sanna.

  1. Gud existerar.
  2. Om Gud existerar, så är han god.
  3. Om Gud existerar, så är han allsmäktig.
  4. Onda gärningar utförs och har utförts i världen.
  5. Om Gud är god och allsmäktig, så är sats 4 falsk.

Om samtliga fem satser accepteras fås en kontradiktion. Genom att förkasta en av satserna kan problemet lösas. Nedan följer den lösning gudsförnekarna Ingemar Hedenius och Herbert Tingsten skulle kunna ha valt, det vill säga att den första satsen förkastas.

I nedanstående satslogiska deduktion betecknar följande symboler premisser:

p = Gud existerar.
q = Gud är god.
r = Gud är allsmäktig.
s = Onda gärningar utförs och har utförts i världen.

Den sista kolumnens beteckningar refererar till premisser och till satslogikens slutledningsregler

1. p → q P
2. p → r P
3. s P
4. q ⋀ r → ¬s   P
5. p P
6. q MP 1,5
7. r MP 2,5
8. q ⋀ r A 6,7
9. ¬s MP 4,8
10. s ⋀ ¬s A 3,9
11. ¬p RAA   5,10

Med de fyra satserna 2–5 som grundpremisser, valda bland de ursprungliga fem, har man således härlett slutsatsen, att Gud inte existerar. I härledningen medför tilläggspremissen p, att en kontradiktion erhålles och slutsatsen ¬p fås medelst reductio ad absurdum-regeln, RAA.

I följande två exempel betecknar P en premiss och S deduktionens slutsats.

Syllogism
  • Alla människor är dödliga. P
  • Aristoteles är en människa. P
  • Aristoteles är dödlig. S
Satslogik
  • Om min klocka går rätt så är tåget försenat. P
  • Tåget är inte försenat. P
  • Min klocka går inte rätt. S. Slutsatsen är erhållen med hjälp av MT

Se även

Källor

  1. ^ Göran Hermerén, Logik, Studentlitteratur, Lund 1967, sidan 18.
  2. ^ ”Induktion, deduktion och abduktion”. https://www.youtube.com/watch?v=AuALM7ZvK-4. Läst 13 april 2024. 
  3. ^ J.R. Benson Mates, Elementary Logic, Oxford University Press, 1965
  4. ^ G. Hunter, Metalogic, MacMmillan, 1971.
  5. ^ Göran Hermerén, Logik, Studentlitteratur, Lund 1967, sidan 86.
v • r
Logiska begrepp
Sats
Mening
Sanning
Deduktion
Bevis
Hypotes
Formella språk
Modellteori
Härledningsbegrepp
Latinska begrepp
Övrigt
Se även: Entropi · Information · Kunskap

Read other articles:

Gunpowder & Lead

Gunpowder & LeadSingel oleh Miranda Lambertdari album Crazy Ex-GirlfriendDirilisJanuary 14, 2008FormatCD SingleGenreCountryDurasi3:11LabelColumbia NashvillePenciptaMiranda LambertHeather LittleProduserFrank LiddellMike WruckeVideo musikGunpowder & Lead at CMT.com Gunpowder & Lead adalah lagu yang ditulis dan direkam oleh penyanyi penulis lagu Country Amerika Serikat Miranda Lambert yang terdapat di album keduanya, Crazy Ex-Girlfriend dan merupakan single ketiga yang dirilis dari a...

 

1928 United States presidential election in Iowa

Main article: 1928 United States presidential election 1928 United States presidential election in Iowa ← 1924 November 6, 1928 1932 →   Nominee Herbert Hoover Al Smith Party Republican Democratic Home state California New York Running mate Charles Curtis Joseph T. Robinson Electoral vote 13 0 Popular vote 623,570 379,311 Percentage 61.77% 37.57% County Results Hoover   50-60%   60-70%   70-80% Smith   50-...

 

الدين في تايلاند

الدين في تايلاند ذو مكانة مختلطة.[1][2][3] لا يوجد دين رسمي للدولة في الدستور التايلاندي، الذي يضمن الحرية الدينية لجميع المواطنين التايلنديين، رغم أنه يجب على الملك بموجب القانون أن يكون من فرع ثيرافادا من الديانة البوذية.[4] البوذية 93.2% والإسلام 5.5% والمسيحي�...

Bau (album)

2006 studio album by MinaBauStudio album by MinaReleased26 November 2006 (2006-11-26)Recorded2006StudioStudi GSU, LuganoGenrePoprock[1]Length59:57LanguageItalianEnglishLabelPDUProducerMassimiliano PaniMina chronology Ti amo...(2006) Bau(2006) Todavía(2007) Singles from Bau Mogol Battisti Alibi Bau is a studio album by Italian singer Mina, released on 26 November 2006 by PDU and distributed by Sony Music. The album was first released in a limited edition on viny...

 

OPAL Soil Centre

The OPAL Soil Centre is one of five centres of expertise under the Open Air Laboratories Network (OPAL). The OPAL Soil Centre is based at the Centre for Environmental Policy at Imperial College London. The OPAL Soil Centre has high-profile partners including the Environment Agency, British Geological Survey, and the Natural History Museum. Soil and Earthworm Survey The OPAL Soil Centre developed the OPAL Soil and Earthworm Survey, a national public survey of the soil and earthworms in Englan...

 

Западный округ (Краснодар)

У этого термина существуют и другие значения, см. Западный округ. Западный внутригородской округ город Краснодар Дата основания 1936 год Дата упразднения 1994 Прежние имена Кагановичский, Ленинский районы Микрорайоны Дубинка, Черёмушки, Покровка Площадь 22[1]  км² Насе...

Darkstalkers

Fighting video game series This article is about the video game series. For the TV series, see Darkstalkers (TV series). For the comic book series, see Darkstalkers (comics). For the first game in the series, see Darkstalkers: The Night Warriors. Video game seriesDarkstalkersGenre(s)FightingDeveloper(s)Capcom Iron Galaxy Studios (Resurrection)Publisher(s)CapcomCreator(s)Junichi Ohno (planner)[1] Alex Jimenez (concept)[2][3]Platform(s)Arcade, Dreamcast, Nintendo Switch,...

 

Pantai Timur Amerika Serikat

Pantai Timur Amerika Serikat, dikenal sebagai Pesisir Timur atau Pesisir Atlantik biasa disingkat menjadi Pantai Timur, mengacu ke pantai timur dari Amerika Serikat sepanjang Samudera Atlantik. Istilah ini termasuk negara bagian AS (dari utara ke selatan): Maine, New Hampshire, Massachusetts, Rhode Island, Connecticut, New York, New Jersey, Delaware, Maryland, Virginia, North Carolina, South Carolina, Georgia, dan Florida. Artikel bertopik Amerika Serikat ini adalah sebuah rintisan. Anda dapa...

 

List of Ollywood films of the 1980s

Ollywood (Odia) cinema 1930s 1936 1940s 1949 1950s 1950 1951 19531954 1956 1959 1960s 1960 1961 1962 1963 19641965 1966 1967 1968 1969 1970s 1970 1971 1972 1973 19741975 1976 1977 1978 1979 1980s 1980 1981 1982 1983 19841985 1986 1987 1988 1989 1990s 1990 1991 1992 1993 19941995 1996 1997 1998 1999 2000s 2000 2001 2002 2003 20042005 2006 2007 2008 2009 2010s 2010 2011 2012 2013 20142015 2016 2017 2018 2019 2020s 2020 2021 2022 2023 vte This article does not cite any sources. Please help impr...

Fikar Azami

Fikar Azami Ketua DPRD Kota Sungai Penuh Fraksi DemokratMasa jabatan2017–2019PresidenJoko WidodoGubernurZumi ZolaFachrori Umar Informasi pribadiLahir2 Januari 1989 (umur 35)JakartaPartai politikDemokrat (sampai 2022)Golkar (sejak 2022)Orang tuaAsafri Jaya Bakri (ayah)Emizola (ibu)Sunting kotak info • L • B Fikar Azami (lahir 2 Januari 1989) adalah ketua DPRD Kota Sungai Penuh fraksi partai Demokrat periode 2017–2019.[1] Ia merupakan anak dari mantan Wali Kota Su...

 

Grant County, Nebraska

County in Nebraska, United States Not to be confused with Grant, Nebraska. County in NebraskaGrant CountyCountyGrant County Courthouse in HyannisLocation within the U.S. state of NebraskaNebraska's location within the U.S.Coordinates: 41°55′N 101°44′W / 41.92°N 101.74°W / 41.92; -101.74Country United StatesState NebraskaFoundedMarch 31, 1887Named forUlysses S. GrantSeatHyannisLargest villageHyannisArea • Total783 sq mi (2,030...

 

Blue Network

American radio network (1927–1945) This article is written like a personal reflection, personal essay, or argumentative essay that states a Wikipedia editor's personal feelings or presents an original argument about a topic. Please help improve it by rewriting it in an encyclopedic style. (February 2018) (Learn how and when to remove this message) Blue NetworkTypeRadio networkCountryUnited StatesOwnershipOwnerGeneral Electric (RCA)(1927–1928)RCA (1928–1943)Key peopleDavid Sarnoff (foun...

Guerrilla movements in Colombia

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Guerrilla movements in Colombia – news · newspapers · books · scholar · JSTOR (September 2008) (Learn how and when to remove this message) Guerrilla movements in Colombia (Spanish: guerrilleros) refers to the origins, development and actions of guerrilla moveme...

 

العلاقات الأرمنية المجرية

العلاقات الأرمينية المجرية أرمينيا المجر   أرمينيا   المجر تعديل مصدري - تعديل   العلاقات الأرمينية المجرية هي العلاقات الثنائية التي تجمع بين أرمينيا والمجر.[1][2][3][4][5] مقارنة بين البلدين هذه مقارنة عامة ومرجعية للدولتين: وجه المقارنة أرم�...

 

Neptis dumetorum

Species of butterfly Neptis dumetorum Figure 2 Scientific classification Domain: Eukaryota Kingdom: Animalia Phylum: Arthropoda Class: Insecta Order: Lepidoptera Family: Nymphalidae Genus: Neptis Species: N. dumetorum Binomial name Neptis dumetorum(Boisduval, 1833)[1] Synonyms Limenitis dumetorum Boisduval, 1833 Neptis dumetorum is a butterfly in the family Nymphalidae. It is found on Réunion in the Indian Ocean.[2] Host plants Known host plants of this butterfly are: Ac...

In Eutropium

Panegyric poem by Claudian In Eutropium is a two-book long panegyric poem and an invective written by the poet Claudian. The poem criticizes Eutropius, an Eastern Roman politician and court eunuch.[1][2] It attempts to portray Eutropius as a corrupt, ineffective, and effeminate leader through a factionalized telling of his life. The poem argues that he created a division between the Western and Eastern Roman Empires, and caused numerous problems for the Eastern Empire. Claudia...

 

Torsion spring

Type of spring For torsion coefficients in mathematics, see Torsion coefficient (topology). Garage Door Sectional Torsion Spring A mousetrap powered by a helical torsion spring Video of a model torsion pendulum oscillating A torsion spring is a spring that works by twisting its end along its axis; that is, a flexible elastic object that stores mechanical energy when it is twisted. When it is twisted, it exerts a torque in the opposite direction, proportional to the amount (angle) it is twiste...

 

Alistair McGowan

English comedian and actor (born 1964) For the bishop, see Alistair Magowan. This biography of a living person needs additional citations for verification. Please help by adding reliable sources. Contentious material about living persons that is unsourced or poorly sourced must be removed immediately from the article and its talk page, especially if potentially libelous.Find sources: Alistair McGowan – news · newspapers · books · scholar · JSTOR (Octob...

Athletics at the 2000 Summer Olympics – Men's 100 metres

Men's 100 metresat the Games of the XXVII OlympiadVenueStadium AustraliaDate22–23 SeptemberCompetitors97 from 71 nationsWinning time9.87Medalists Maurice Greene United States Ato Boldon Trinidad and Tobago Obadele Thompson Barbados← 19962004 → Athletics at the2000 Summer OlympicsTrack events100 mmenwomen200 mmenwomen400 mmenwomen800 mmenwomen1500 mmenwomen5000 mmenwomen10,000 mmenwomen100 m hurdleswomen110 m hurdlesmen400 m hurdlesmenwomen3000...

 

Badminton at the 2008 Summer Olympics – Men's doubles

This article does not cite any sources. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Badminton at the 2008 Summer Olympics – Men's doubles – news · newspapers · books · scholar · JSTOR (June 2019) (Learn how and when to remove this message) Men's doublesat the Games of the XXIX OlympiadVenueBeijing University of Technology GymnasiumDate12–16 AugustCompetitor...