Deduktio. äättely. Tieteellinen pääp. äätelmiä. Induktiivisia pääp. Induktio

Samankaltaiset tiedostot
Tieteellinen pääp. äättely. Deduktio. Induktio. Induktio. Johdatus yhteiskuntatieteiden filosofiaan (Kf( 140) 3. Luento

Tieteenfilosofia 3/4. Heikki J. Koskinen, FT, Dos. Helsingin yliopisto / Suomen Akatemia

Ilpo Halonen 2005 LISÄÄ KIRJALLISUUTTA. 11. Tieteenfilosofia ja argumentaatio LISÄÄ KIRJALLISUUTTA. Tieteenfilosofia.

Entäpä jos? Ideoiden abduktiivinen kehittely tutkimusprosessin olennaisena osana

Tietoteoria. Tiedon käsite ja logiikan perusteita. Monday, January 12, 15

Teoria tieteessä ja arkikielessä. Teoriat ja havainnot. Teorian käsitteitk. sitteitä. Looginen positivismi ja tieteen kielen kaksitasoteoria (1)

Luento-osuusosuus. tilasto-ohjelmistoaohjelmistoa

Tutkimuksen logiikka ja strategiset valinnat

FI3 Tiedon ja todellisuuden filosofia LOGIIKKA. 1.1 Logiikan ymmärtämiseksi on tärkeää osata erottaa muoto ja sisältö toisistaan:

b) Määritä myös seuraavat joukot ja anna kussakin tapauksessa lyhyt sanallinen perustelu.

Mat Tilastollisen analyysin perusteet, kevät 2007

-Matematiikka on aksiomaattinen järjestelmä. -uusi tieto voidaan perustella edellisten tietojen avulla, tätä kutsutaan todistamiseksi

Mikä on tieteenfilosofinen positioni ja miten se vaikuttaa tutkimukseeni?

Tausta realismikeskustelulle. Tieteellinen realismi. Tieteellinen realismi (1) Instrumentalismi

Tilastollinen testaus. Vilkkumaa / Kuusinen 1

Todistusmenetelmiä Miksi pitää todistaa?

Valitaan testisuure, jonka jakauma tunnetaan H 0 :n ollessa tosi.

Matti Sintonen: Mistä tieteen

Tieteenfilosofia 4/4. Heikki J. Koskinen, FT, Dos. Helsingin yliopisto / Suomen Akatemia

Eettisten teorioiden tasot

Etiikan mahdollisuudesta tieteenä. Henrik Rydenfelt Helsingin yliopisto

Harjoitus 7: NCSS - Tilastollinen analyysi

PÄÄTTELY PARHAASEEN SELITYKSEEN. Ilkka Niiniluoto Luennot abduktiosta kevät 2014

Abduktivistinen salapoliisimetodologia. Paavola, Sami.

Tieteellinen realismi ja tieteen kehitysdynamiikka

Tehtäväsarja I Seuraavissa tehtävissä harjoitellaan erilaisia todistustekniikoita. Luentokalvoista 11, sekä voi olla apua.

ABHELSINKI UNIVERSITY OF TECHNOLOGY

Ratkaisu: Käytetään induktiota propositiolauseen A rakenteen suhteen. Alkuaskel. A = p i jollain i N. Koska v(p i ) = 1 kaikilla i N, saadaan

Tieteellinen selittäminen. Lait (1) Kausaalinen selittäminen

KIRJALLISUUTTA 1. Tieteen etiikka KIRJALLISUUTTA 3 KIRJALLISUUTTA 2 KIRJALLISUUTTA 4 KIRJALLISUUTTA 5

KIRJALLISUUTTA 1. Tieteenfilosofia KIRJALLISUUTTA 3 KIRJALLISUUTTA 2. Mitä on tieteellinen päättely? Mitä on tieteellinen päättely?

Tieteellinen päättely

MS-A0501 Todennäköisyyslaskennan ja tilastotieteen peruskurssi

Tieteellinen päättely

Tieteellinen selittäminen

Nimitys Symboli Merkitys Negaatio ei Konjuktio ja Disjunktio tai Implikaatio jos..., niin... Ekvivalenssi... jos ja vain jos...

Pikapaketti logiikkaan

Tutkimusongelmia ja tilastollisia hypoteeseja: Perunalastupussien keskimääräinen paino? Nollahypoteesi Vaihtoehtoinen hypoteesi (yksisuuntainen)

MTTTA1 Tilastomenetelmien perusteet 5 op Luento , osa 1. 1 Kokonaisuudet johon opintojakso kuuluu

Luottamisvälin avulla voidaan arvioida populaation tuntematonta parametria.

Luottamisvälin avulla voidaan arvioida populaation tuntematonta parametria.

Sovellettu todennäköisyyslaskenta B

Ilpo Halonen 2005 LISÄÄ KIRJALLISUUTTA. 5. Logiikan rooli argumentaatiossa LISÄÄ KIRJALLISUUTTA LISÄÄ KIRJALLISUUTTA. Mitä logiikka on?

Väliestimointi (jatkoa) Heliövaara 1

Laadullinen tutkimus. KTT Riku Oksman

Matemaattisten työvälineiden täydentäviä muistiinpanoja

TUTKIMUSAINEISTON ANALYYSI. LTKY012 Timo Törmäkangas

MTTTA1 Tilastomenetelmien perusteet 5 op Luento Kokonaisuudet johon opintojakso kuuluu

Argumenteista ja niiden arvioinnista TIES542 Ohjelmointikielten periaatteet, kevät 2016

Abduktiivinen malli ja serendipiteetti: sattumat vai päättely tieteellisen keksimisen perustana? Luonnonfilosofian seura, pragmatismi-ilta 31.3.

Sovellettu todennäköisyyslaskenta B

Sosiaalityön tutkimus: epistemologia. OSA II: Sosiaalityön tutkimus epistemologia

ABDUKTIIVINEN KONFIRMAATIO. Ilkka Niiniluoto Luennot abduktiosta Kevät 2014

Insinöörimatematiikka A

Approbatur 3, demo 1, ratkaisut A sanoo: Vähintään yksi meistä on retku. Tehtävänä on päätellä, mitä tyyppiä A ja B ovat.

1. Osoita, että joukon X osajoukoille A ja B on voimassa toinen ns. de Morganin laki (A B) = A B.

Yhtälönratkaisusta. Johanna Rämö, Helsingin yliopisto. 22. syyskuuta 2014

Teoreettisen viitekehyksen rakentaminen

Luonnollisen päättelyn luotettavuus

4 Matemaattinen induktio

Estimointi. Estimointi. Estimointi: Mitä opimme? 2/4. Estimointi: Mitä opimme? 1/4. Estimointi: Mitä opimme? 3/4. Estimointi: Mitä opimme?

2. Argumenttianalyysi. Renne Pesonen (TaY) 28. syyskuuta / 119

Luottamisvälin avulla voidaan arvioida populaation tuntematonta parametria.

Sisällysluettelo ESIPUHE KIRJAN 1. PAINOKSEEN...3 ESIPUHE KIRJAN 2. PAINOKSEEN...3 SISÄLLYSLUETTELO...4

Jokaisen parittoman kokonaisluvun toinen potenssi on pariton.

TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 8. syyskuuta 2016

LOGIIKKA johdantoa

Karteesinen skeptisismi

Farmaseuttinen etiikka

Ratkaisu. Ensimmäinen kuten P Q, toinen kuten P Q. Kolmas kuten P (Q R):

Propositioista. Lause ja propositio. Sisältö/merkitys. väite, väittämä arvostelma propositio ajatus. lause merkkijonona

Tiede ja usko KIRKKO JA KAUPUNKI

Mitä on Filosofia? Informaatioverkostojen koulutusohjelman filosofiankurssin ensimmäinen luento

H0: otos peräisin normaalijakaumasta H0: otos peräisin tasajakaumasta

Ensimmäinen induktioperiaate

Miina ja Ville etiikkaa etsimässä

Logiikka 1/5 Sisältö ESITIEDOT:

Luentokalvoja tilastollisesta päättelystä. Kalvot laatinut Aki Taanila Päivitetty

MS-A0402 Diskreetin matematiikan perusteet

6.1.2 Yhdessä populaatiossa tietyn tyyppisten alkioiden prosentuaalista osuutta koskeva päättely

Tilastollisen analyysin perusteet Luento 2: Tilastolliset testit

Toinen muotoilu. {A 1,A 2,...,A n,b } 0, Edellinen sääntö toisin: Lause 2.5.{A 1,A 2,...,A n } B täsmälleen silloin kun 1 / 13

Diskreetin matematiikan perusteet Laskuharjoitus 1 / vko 8

missä on myös käytetty monisteen kaavaa 12. Pistä perustelut kohdilleen!

LAADULLISESTA SISÄLLÖNANALYYSISTÄ

Johdatus tilastotieteeseen Estimointi. TKK (c) Ilkka Mellin (2005) 1

MS-A0501 Todennäköisyyslaskennan ja tilastotieteen peruskurssi. Viikko 5

Raino Vastamäki 1

Intentionaalisuus. Intentionaalinen psykologia. Intentionaalinen psykologia


Logiikka I. Kaarlo Reipas 17. huhtikuuta 2012 Ψ. Tämä materiaali on vielä keskeneräinen. 1 Johdanto Mitä logiikka on?... 3

Kieli merkitys ja logiikka. 2: Helpot ja monimutkaiset. Luento 2. Monimutkaiset ongelmat. Monimutkaiset ongelmat

Loogiset konnektiivit

DFA:n käyttäytyminen ja säännölliset kielet

Analyysi: päättely ja tulkinta. Hyvän tulkinnan piirteitä. Hyvän analyysin tulee olla. Miten analysoida laadullista aineistoa

Ensimmäinen induktioperiaate

Ilpo Halonen Päätelmistä ja niiden pätevyydestä. Luonnehdintoja logiikasta 1. Johdatus logiikkaan. Luonnehdintoja logiikasta 2

missä on myös käytetty monisteen kaavaa 12. Pistä perustelut kohdilleen!

Tieteenfilosofia 1/4. Heikki J. Koskinen, FT, Dos. Helsingin yliopisto / Suomen Akatemia

Kokeellinen yhteiskuntatiede

Transkriptio:

Deduktio Tieteellinen pääp äättely Johdatus yhteiskuntatieteiden filosofiaan 3. Luento 21.1. Totuuden säilyttävä päätelmä: jos premissit ovat tosia, myös johtopäätös on tosi kaikki ihmiset ovat kuolevaisia; Sokrates on ihminen; siis: Sokrates on kuolevainen jos henkilö on filosofi, niin hän on ihminen; Sokrates on filosofi; siis: Sokrates on ihminen Johtopäätöksen looginen seuraaminen premisseistä: johtopäätöksen seuraaminen perustuu päättelyn muotoon, ei sisältöön päättely on pätevää, kun se on deduktiivista deduktio ei lisää uutta tietoa maailmasta: johtopäätös on jotain, mitä premissit jo sanovat 1 2 Induktio Tietoa lisäävä päätelmä: johtopäätös sisältää jotain muuta kuin mitä premissit sanovat mutta: päätelmä voi myös olla deduktiivinen päätelmä, jossa kaikkia premissejä ei sanota ääneen Ei loogisesti pätevää = ei säilytä totuutta premissien totuus ei takaa johtopäätöksen totuutta Uusien premissien lisääminen voi muuttaa johtopäätöksen uskottavuutta Kaikki tieteellinen päättely on loogiselta muodoltaan induktiota Induktiivisia pääp äätelmiä Yksittäistapauksesta yksittäistapaukseen: kaikki tähän asti havaitut korpit ovat mustia, joten seuraavakin korppi on musta Yksittäistapauksesta yleiseen: kaikki tähän asti havaitut korpit ovat mustia, joten kaikki korpit ovat mustia Yleisestä yksittäistapaukseen: puolet yliopiston opiskelijoista on naisia, joten puolet luennoilla olijoista on naisia tilastollinen päättely populaatiosta otokseen 3 4 1

Induktion ongelmallisuus Humen ongelma: ei ole loogisesti välttämätöntä, että maailma pysyy samanlaisena kuin on ollut David Hume (1711 1776) luonnon säännönmukaisuus aina oletettua, ei havaittua Ei pätevää päättelyä miten oikeuttaa sen käyttö? "Kokemus osoittaa, että induktio on luotettava tapa hankkia tietoa. kehä: kokemukseen vetoaminen on induktiota jätetään oikeuttamatta mistä ero hyvän ja huonon induktiivisen päättelyn välille? lopetetaan käyttö miten saisimme uutta tietoa maailmasta? Induktivismi Johtopäätökset voidaan suoraan johtaa induktiivisella päättelyllä havaintoaineistosta teoreettisten ennakkoluulojen ei saa antaa johtaa tutkimusta harahaan taustalla toive mekaanisesta tavasta tuottaa luotettavaa tieteellistä tietoa pelkistä havainnoista Tutkimuksen eteneminen: 1. havaitaan ja merkitään muistiin tosiasiat 2. analysoidaan ja luokitellaan tosiasiat 3. johdetaan induktiivisia yleistyksiä 4. testataan näitä yleistyksiä 5 6 Induktivismin ongelmia Havaittavia asioita rajaton määrä, on valittava relevantit seikat relevanssi riippuu tarkasteltavista hypoteeseista ja taustateorioista Havainnon teoriapitoisuus taustatieto ilmiöistä, havainnon tuottaminen havainnot täytyy käsitteellistää ja tulkita Induktiivinen yleistäminen edellyttää teoreettisia taustaoletuksia pelkällä induktiolla ei voida tehdä päätelmiä eihavaittavista seikoista, kuten säännönmukaisuudesta ja syy-suhteista havainnon tuki yleistykselle riippuu taustaoletuksista 7 Esimerkki tieteellisestä päättelystä: Semmelweis ja lapsivuodekuume Ignaz Semmelweis (1818 1865), unkarilainen lääkäri Lapsivuodekuume: hengenvaarallinen sairaus, jonka saattoi saada synnyttämisen jälkeen nykytiedon mukaan bakteerin aiheuttama Klinikka I: lääkäreiden opetusosasto, kuolleisuus 9,9 % synnyttäminen yhtä tappavaa kuin keuhkokuume! Klinikka II: kätilöiden hoidossa, kuolleisuus 3,4 % 8 2

Selitysyrityksiä Tilanahtaus klinikka II todellisuudessa ahtaampi Lääkäriopiskelijoiden (erityisesti ulkomaalaisten) kovakouraisuus (virallisen komission selitys) opiskelijoiden vähentäminen tai ulkomaalaisten kieltäminen ei vaikuttanut Klinikoilla synnytettiin eri asennoissa asennon muuttamisella ei vaikutusta Osaston läpi kulkevan papin kulkue kulkureitin muuttamisella ei vaikutusta 9 Johtolankoja Kuolemat tapahtuivat usein riveittäin Lapset sairastuivat vain, jos äiti sairastui Kuolemat vähenivät, kun Semmelweis itse oli poissa Katusynnyttäjät eivät saaneet lapsivuodekuumetta Tri Kolletschan kuoleman kulun samankaltaisuus lapsivuodekuumeen kanssa kuoleman syynä ruumiinavauksen aikana syntynyt haava 10 Semmelweisin hypoteesi Taudinaiheuttajat peräisin kuolleista ruumiista opiskelijat osallistuivat myös ruumiinavauksiin vesi ja saippua eivät riitä käsienpesuun? Toimenpide: käsien pesu klooriliuoksella tulos: kuolleisuus 1,3 % (molemmat klinikat) Vastaesimerkki: kaksi uutta lapsivuodekuumeepidemiaa toisen syynä märkivä kohdunkaula, toisen syynä märkivä luumätä potilaan jalassa hypoteesin täsmennys: taudinaiheuttajat voivat olla peräisin myös märkivistä haavoista 11 Keksimisen ja oikeuttamisen kontekstit Hans Reichenbach (1891 1953): Experience and Prediction (1938) keksimisen konteksti: sosiaaliset ja psykologiset prosessit, joiden kautta näkemyksiin päädytään oikeuttamisen konteksti: se miten väitteet oikeutetaan Tutkimuksen kaksi vaihetta: hypoteesin keksiminen ja sen oikeuttaminen tutkimalla käytännössä usein yhteen kietoutuneita filosofinen tarkastelu koskee yleensä oikeuttamista 12 3

Hypoteettis-deduktiivinen menetelmä Esim. Charles S. Peirce (1839 1914), Sir Karl Popper (1902 1994), Carl Hempel (1905 1997) Tiede etenee muodostamalla teoreettisia hypoteeseja ja testaamalla niiden seurauksia kohdatessaan tieteellisen ongelman tieteilijä muodostaa hypoteesin, joka periaatteessa ratkaisisi ongelman hypoteesia ei voi todistaa suoraan, mutta sitä voidaan tukea testaamalla sitä epäsuorasti johtamalla siitä havaittavia seurauksia 13 Hypoteesin testaaminen Hypoteesia ei voi osoittaa todeksi, mutta se voidaan osoittaa vääräksi Tulee etsiä vastaevidenssiä, ei tukevaa evidenssiä kokeiden järjestäminen niin, että negatiivinen tulos on mahdollinen eikä helppoa selittää pois Jos johdetut havaittavat seuraamukset osoittautuvat epätosiksi, on hypoteesi falsifioitu ja epätosi tosiksi, saa hypoteesi (tai teoria) tukea eli konfirmaatiota Mitä useampia ja erilaisempia testejä hypoteesi läpäisee, sitä paremmin se on konfirmoitu 14 Tutkimuksen kulku HDnäkemyksessä 15 Falsifikationismi Sir Karl Popper (1902 1994) HD-näkemyksen muoto, joka painottaa vastaevidenssin tärkeyttä tutkimuksessa lähtökohta: Humen ongelmaa ei voi ratkaista, joten induktiosta on luovuttava tieteessä on tehtävä rohkeita hypoteeseja ja yrittää kumota ne Konfirmaation käsitteen korvaaminen korroboraation käsitteellä konfirmaation käsitteellä ei perusteita, sillä hypoteesin selviäminen testistä ei tue sitä hypoteesi on korroboroitu, kun emme vielä ole onnistuneet kumoamaan sitä 16 4

Falsifikationismin ongelmia Kaikki väitteet eivät ole falsifioitavissa rajoittamattomat olemassaoloväitteet (esim. on olemassa Linnunradan kokoinen musta aukko ) tilastolliset väitteet (yksittäinen vastaesimerkki ei kumoa) Korroboraation ajatuksen ongelmat: onko falsifikationismissa mahdollista tietää mitään? millä perusteella tehdään käytännön valintoja? Tieteessä ei yleensä hylätä teoriaa, ennen kuin on löydetty parempi jos löytyy anomalia (poikkeama), se yleensä yritetään ensin "selittää pois" apuoletuksilla miten teoriat kehittyvät, jos omaksutaan falsifikationismi? 17 HD-näkemyksen yleisiä ongelmia Havainnot eivät ole yksiselitteinen mittapuu teorialle havainnon teoriapitoisuus: teoreettiset oletukset suuntaavat sitä, mitä kohteessa havaitaan teorioiden holistisuus (Duhem-Quine-teesi): yksittäinen tulos ei kerro, pitääkö hylätä hypoteesi, tehdä muita muutoksia teoriassa, vai tehdä apuoletuksia Liian salliva suhteessa konfirmaatioon jos evidenssi konfirmoi hypoteesia, se konfirmoi myös kaikkia vahvempia hypoteeseja (esim. musta korppi: korpit ovat mustia, linnut ovat mustia ) lähes mikä tahansa hypoteesi voi saada konfirmaatiota, jos valitaan sopivia apuoletuksia apuoletusten mielekkyys riippuu taustateorioista 18 Hempelin korppiparadoksi Evidenssi konfirmoi sekä hypoteesia että kakkia hypoteesin kanssa loogisesti ekvivalentteja lauseita esim. "kaikki korpit ovat mustia" on ekvivalentti lauseen "kaikki ei-mustat asiat ovat ei-korppeja siis: valkoisten jänisten havaitseminen konfirmoi väitettä, että kaikki korpit ovat mustia! Hempel: ajatuksen epäintuitiivisuus on vain psykologinen harha Muut: tarvitaan muita kriteerejä sille, mikä on käypää evidenssiä riippuu jälleen teoreettisista oletuksista liittyen asioiden välisiin yhteyksiin 19 Päättely parhaaseen selitykseen C. S. Peirce: abduktio päätellään premissi, josta johtopäätös seuraisi Perusajatus: hyväksymme hypoteesin, joka ollessaan tosi olisi paras selitys evidenssille todennäköisyys, informatiivisuus, yksinkertaisuus, yhteensopivuus muun tiedon kanssa jne. Ongelmia: miten verrata erilaisia selityksellisiä hyveitä keskenään? mikä on selityksellisten hyveiden suhde väitteen totuuteen? Kilpailevien selitysten sulkeminen pois: päättely ainoaan (teoreettisesti mahdolliseen) selitykseen? 20 5