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

Save this PDF as:
 WORD  PNG  TXT  JPG

Koko: px
Aloita esitys sivulta:

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

Transkriptio

1 Deduktio Tieteellinen pääp äättely Johdatus yhteiskuntatieteiden filosofiaan 3. Luento 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

2 Induktion ongelmallisuus Humen ongelma: ei ole loogisesti välttämätöntä, että maailma pysyy samanlaisena kuin on ollut David Hume ( ) 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 ( ), 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

3 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 ( ): 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

4 Hypoteettis-deduktiivinen menetelmä Esim. Charles S. Peirce ( ), Sir Karl Popper ( ), Carl Hempel ( ) 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 ( ) 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

5 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

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

Tieteellinen pääp. äättely. Deduktio. Induktio. Induktio. Johdatus yhteiskuntatieteiden filosofiaan (Kf( 140) 3. Luento Deduktio Tieteellinen pääp äättely Johdatus yhteiskuntatieteiden filosofiaan (Kf( 140) 3. Luento 23.1.2009 Totuuden säilyttävä päätelmä: jos premissit ovat tosia, on myös johtopäätös tosi P1: Sokrates

Lisätiedot

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

Tieteenfilosofia 3/4. Heikki J. Koskinen, FT, Dos. Helsingin yliopisto / Suomen Akatemia Tieteenfilosofia 3/4 Heikki J. Koskinen, FT, Dos. Helsingin yliopisto / Suomen Akatemia 1 Keskeisiä peruskäsitteitä Päättely on sellaista ajattelutoimintaa, joka etenee premisseistä eli oletuksista johtopäätökseen

Lisätiedot

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

Ilpo Halonen 2005 LISÄÄ KIRJALLISUUTTA. 11. Tieteenfilosofia ja argumentaatio LISÄÄ KIRJALLISUUTTA. Tieteenfilosofia. 11. Tieteenfilosofia ja argumentaatio KIRJALLISUUTTA: Aristoteles, Kategoriat. Tulkinnasta. Ensimmäinen analytiikka. Toinen analytiikka, Teokset I, Gaudeamus 1994. Aristoteles, Topiikka. Sofistiset kumoamiset.

Lisätiedot

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

Entäpä jos? Ideoiden abduktiivinen kehittely tutkimusprosessin olennaisena osana Entäpä jos? Ideoiden abduktiivinen kehittely tutkimusprosessin olennaisena osana Sami Paavola & Kai Hakkarainen TU-0.3100 Johdatus tieteenfilosofiaan 24.11.2009 Pertti Huhtanen, Tuula Mäkinen Tehtäväksianto

Lisätiedot

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

Tietoteoria. Tiedon käsite ja logiikan perusteita. Monday, January 12, 15 Tietoteoria Tiedon käsite ja logiikan perusteita Tietoteoria etsii vastauksia kysymyksiin Mitä tieto on? Miten tietoa hankitaan? Mitä on totuus? Minkälaiseen tietoon voi luottaa? Mitä voi tietää? Tieto?

Lisätiedot

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

Teoria tieteessä ja arkikielessä. Teoriat ja havainnot. Teorian käsitteitk. sitteitä. Looginen positivismi ja tieteen kielen kaksitasoteoria (1) Teoria tieteessä ja arkikielessä Teoriat ja havainnot Johdatus yhteiskuntatieteiden filosofiaan 2. Luento 18.1. Arkikielessä sanaa teoria käytetään usein synonyyminä hypoteesille (olettamukselle) tai idealisoidulle

Lisätiedot

Tutkimuksen logiikka ja strategiset valinnat

Tutkimuksen logiikka ja strategiset valinnat Tutkimuksen logiikka ja strategiset valinnat Päättelyn logiikat Tieteenfilosofian keskeinen käsite on päättely. On kolme erilaista päättelyn lajia: deduktiivinen päättely induktiivinen päättely abduktiivinen

Lisätiedot

Luento-osuusosuus. tilasto-ohjelmistoaohjelmistoa

Luento-osuusosuus. tilasto-ohjelmistoaohjelmistoa Kurssin suorittaminen Kvantitatiiviset menetelmät Sami Fredriksson/Hanna Wass Yleisen valtio-oppi oppi Kevät 2010 Luento-osuusosuus Tentti to 4.3. klo 10-12, 12, U40 P674 Uusintamahdollisuus laitoksen

Lisätiedot

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

FI3 Tiedon ja todellisuuden filosofia LOGIIKKA. 1.1 Logiikan ymmärtämiseksi on tärkeää osata erottaa muoto ja sisältö toisistaan: LOGIIKKA 1 Mitä logiikka on? päättelyn tiede o oppi muodollisesti pätevästä päättelystä 1.1 Logiikan ymmärtämiseksi on tärkeää osata erottaa muoto ja sisältö toisistaan: sisältö, merkitys: onko jokin premissi

Lisätiedot

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

b) Määritä myös seuraavat joukot ja anna kussakin tapauksessa lyhyt sanallinen perustelu. Johdatus yliopistomatematiikkaan Helsingin yliopisto, matematiikan ja tilastotieteen laitos Kurssikoe 23.10.2017 Ohjeita: Vastaa kaikkiin tehtäviin. Ratkaisut voi kirjoittaa samalle konseptiarkille, jos

Lisätiedot

Mat Tilastollisen analyysin perusteet, kevät 2007

Mat Tilastollisen analyysin perusteet, kevät 2007 Mat-2.2104 Tilastollisen analyysin perusteet, kevät 2007 2. luento: Tilastolliset testit Kai Virtanen 1 Tilastollinen testaus Tutkimuksen kohteena olevasta perusjoukosta esitetään väitteitä oletuksia joita

Lisätiedot

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

-Matematiikka on aksiomaattinen järjestelmä. -uusi tieto voidaan perustella edellisten tietojen avulla, tätä kutsutaan todistamiseksi -Matematiikka on aksiomaattinen järjestelmä -uusi tieto voidaan perustella edellisten tietojen avulla, tätä kutsutaan todistamiseksi -mustavalkoinen: asia joko on tai ei (vrt. humanistiset tieteet, ei

Lisätiedot

Tilastollinen testaus. Vilkkumaa / Kuusinen 1

Tilastollinen testaus. Vilkkumaa / Kuusinen 1 Tilastollinen testaus Vilkkumaa / Kuusinen 1 Motivointi Viime luennolla: havainnot generoineen jakauman muoto on usein tunnettu, mutta parametrit tulee estimoida Joskus parametreista on perusteltua esittää

Lisätiedot

Mikä on tieteenfilosofinen positioni ja miten se vaikuttaa tutkimukseeni?

Mikä on tieteenfilosofinen positioni ja miten se vaikuttaa tutkimukseeni? Mikä on tieteenfilosofinen positioni ja miten se vaikuttaa tutkimukseeni? Jyväskylä 31.5.2017 Petteri Niemi Relativismi ja Sosiaalinen konstruktivismi Relativismi (Swoyer 2010) Relativismi on näkemysten

Lisätiedot

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

Tausta realismikeskustelulle. Tieteellinen realismi. Tieteellinen realismi (1) Instrumentalismi Tausta realismikeskustelulle Tieteellinen realismi Johdatus yhteiskuntatieteiden filosofiaan 6. Luento 1.2. Yksinkertainen ajatus teorioista havaintojen teknisenä kuvauksena ei toimi havainnon teoriapitoisuus:

Lisätiedot

Matti Sintonen: Mistä tieteen

Matti Sintonen: Mistä tieteen Matti Sintonen: Mistä tieteen Filosofian laitos Helsingin yliopisto matti.sintonen@helsinki.fi Tieteen menetelmä Jos päämäärä on varmennetun tiedon alueen laajentaminen, kuinka se tapahtuu? Tieteen menetelmä

Lisätiedot

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

Tieteenfilosofia 4/4. Heikki J. Koskinen, FT, Dos. Helsingin yliopisto / Suomen Akatemia Tieteenfilosofia 4/4 Heikki J. Koskinen, FT, Dos. Helsingin yliopisto / Suomen Akatemia 1 Tieteellinen selittäminen Tieteellisen tutkimuksen perustehtävä on maailmaa koskevan uuden ja totuudenmukaisen

Lisätiedot

Eettisten teorioiden tasot

Eettisten teorioiden tasot Eettisten teorioiden tasot ETENE 7.12.2010 Olli Loukola Käytännöllinen filosofia, Politiikan & talouden tutkimuksen laitos, Helsingin yliopisto 1 MORAALIN OSA-ALUEET eli moraali sosiaalisena instituutiona

Lisätiedot

Harjoitus 7: NCSS - Tilastollinen analyysi

Harjoitus 7: NCSS - Tilastollinen analyysi Harjoitus 7: NCSS - Tilastollinen analyysi Mat-2.2107 Sovelletun matematiikan tietokonetyöt Syksy 2006 Mat-2.2107 Sovelletun matematiikan tietokonetyöt 1 Harjoituksen aiheita Tilastollinen testaus Testaukseen

Lisätiedot

Etiikan mahdollisuudesta tieteenä. Henrik Rydenfelt Helsingin yliopisto

Etiikan mahdollisuudesta tieteenä. Henrik Rydenfelt Helsingin yliopisto Etiikan mahdollisuudesta tieteenä Henrik Rydenfelt Helsingin yliopisto Etiikka tieteenä? Filosofit ja ei-filosofit eivät pidä etiikkaa tieteenä Tiede tutkii sitä, miten asiat ovat, ei miten asioiden tulisi

Lisätiedot

Tieteellinen realismi ja tieteen kehitysdynamiikka

Tieteellinen realismi ja tieteen kehitysdynamiikka Tausta realismikeskustelulle Tieteellinen realismi ja tieteen kehitysdynamiikka Johdatus yhteiskuntatieteiden filosofiaan (Kf( 140) 6. Luento 5.2.2009 Positivistinen näkemys teorioista havaintojen teknisenä

Lisätiedot

ABHELSINKI UNIVERSITY OF TECHNOLOGY

ABHELSINKI UNIVERSITY OF TECHNOLOGY Tilastollinen testaus Tilastollinen testaus Tilastollisessa testauksessa tutkitaan tutkimuskohteita koskevien oletusten tai väitteiden paikkansapitävyyttä havaintojen avulla. Testattavat oletukset tai

Lisätiedot

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

Tehtäväsarja I Seuraavissa tehtävissä harjoitellaan erilaisia todistustekniikoita. Luentokalvoista 11, sekä voi olla apua. HY / Avoin yliopisto Johdatus yliopistomatematiikkaan, kesä 2015 Harjoitus 2 Ratkaisuehdotuksia Tehtäväsarja I Seuraavissa tehtävissä harjoitellaan erilaisia todistustekniikoita. Luentokalvoista 11, 15-17

Lisätiedot

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

PÄÄTTELY PARHAASEEN SELITYKSEEN. Ilkka Niiniluoto Luennot abduktiosta kevät 2014 PÄÄTTELY PARHAASEEN SELITYKSEEN Ilkka Niiniluoto Luennot abduktiosta kevät 2014 HEMPEL selitys on argumentti, jonka premisseinä on lakeja ja alkuehtoja (explanans, L&C) ja johtopäätöksenä selitettävää

Lisätiedot

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

Tieteellinen selittäminen. Lait (1) Kausaalinen selittäminen Tieteellinen selittäminen Johdatus yhteiskuntatieteiden filosofiaan 5. Luento 28.1. 1 Tieteellinen selittäminen Selitys on vastaus selityskysymykseen selitys vastaa kysymykseen: miksi p? perustelu vastaa

Lisätiedot

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

KIRJALLISUUTTA 1. Tieteen etiikka KIRJALLISUUTTA 3 KIRJALLISUUTTA 2 KIRJALLISUUTTA 4 KIRJALLISUUTTA 5 KIRJALLISUUTTA 1 Tieteen etiikka 11 Tieteellinen maailmankatsomus I: maailmankatsomusten aineksia Clarkeburn, Henriikka ja Arto Mustajoki, Tutkijan arkipäivän etiikka, Vastapaino, Tampere 2007. Hallamaa,

Lisätiedot

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

KIRJALLISUUTTA 1. Tieteenfilosofia KIRJALLISUUTTA 3 KIRJALLISUUTTA 2. Mitä on tieteellinen päättely? Mitä on tieteellinen päättely? KIRJALLISUUTTA 1 Tieteenfilosofia 5 Tieteellinen päättely 2009 Ilpo Halonen, Materiaalia saa käyttää ainoastaan henkilökohtaisiin opiskelutarkoituksiin! Aristoteles, Kategoriat. Tulkinnasta. Ensimmäinen

Lisätiedot

Tieteellinen päättely

Tieteellinen päättely 5 Tieteellinen päättely 2012 Ilpo Halonen, Aristoteles, Kategoriat. Tulkinnasta. Ensimmäinen analytiikka. Toinen analytiikka, Teokset I, Gaudeamus 1994. Aristoteles, Topiikka. Sofistiset kumoamiset. Teokset

Lisätiedot

Tieteellinen päättely

Tieteellinen päättely 5 Tieteellinen päättely 2011 Ilpo Halonen, ilpo.halonen@helsinki.fi Aristoteles, Kategoriat. Tulkinnasta. Ensimmäinen analytiikka. Toinen analytiikka, Teokset I, Gaudeamus 1994. Aristoteles, Topiikka.

Lisätiedot

MS-A0501 Todennäköisyyslaskennan ja tilastotieteen peruskurssi

MS-A0501 Todennäköisyyslaskennan ja tilastotieteen peruskurssi MS-A0501 Todennäköisyyslaskennan ja tilastotieteen peruskurssi 5B Tilastollisen merkitsevyyden testaus Osa II Lasse Leskelä Matematiikan ja systeemianalyysin laitos Perustieteiden korkeakoulu Aalto-yliopisto

Lisätiedot

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

Nimitys Symboli Merkitys Negaatio ei Konjuktio ja Disjunktio tai Implikaatio jos..., niin... Ekvivalenssi... jos ja vain jos... 2 Logiikkaa Tässä luvussa tutustutaan joihinkin logiikan käsitteisiin ja merkintöihin. Lisätietoja ja tarkennuksia löytyy esimerkiksi Jouko Väänäsen kirjasta Logiikka I 2.1 Loogiset konnektiivit Väitelauseen

Lisätiedot

Tieteellinen selittäminen

Tieteellinen selittäminen Tieteellinen selittäminen Tieteellinen selittäminen Johdatus yhteiskuntatieteiden filosofiaan (Kf( 140) 5. Luento 30.1.2009 Selitys on vastaus selityskysymykseen: selitys vastaa kysymykseen: miksi p? perustelu

Lisätiedot

Pikapaketti logiikkaan

Pikapaketti logiikkaan Pikapaketti logiikkaan Tämän oppimateriaalin tarkoituksena on tutustua pikaisesti matemaattiseen logiikkaan. Oppimateriaalin asioita tarvitaan projektin tekemisessä. Kiinnostuneet voivat lukea lisää myös

Lisätiedot

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

Tutkimusongelmia ja tilastollisia hypoteeseja: Perunalastupussien keskimääräinen paino? Nollahypoteesi Vaihtoehtoinen hypoteesi (yksisuuntainen) 1 MTTTP3 Luento 29.1.2015 Luku 6 Hypoteesien testaus Tutkimusongelmia ja tilastollisia hypoteeseja: Perunalastupussien keskimääräinen paino? H 0 : µ = µ 0 H 1 : µ < µ 0 Nollahypoteesi Vaihtoehtoinen hypoteesi

Lisätiedot

Luottamisvälin avulla voidaan arvioida populaation tuntematonta parametria.

Luottamisvälin avulla voidaan arvioida populaation tuntematonta parametria. 6.10.2016/1 MTTTP1, luento 6.10.2016 KERTAUSTA JA TÄYDENNYSTÄ Luottamisvälin avulla voidaan arvioida populaation tuntematonta parametria. Muodostetaan väli, joka peittää parametrin etukäteen valitulla

Lisätiedot

Luottamisvälin avulla voidaan arvioida populaation tuntematonta parametria.

Luottamisvälin avulla voidaan arvioida populaation tuntematonta parametria. 5.10.2017/1 MTTTP1, luento 5.10.2017 KERTAUSTA Luottamisvälin avulla voidaan arvioida populaation tuntematonta parametria. Muodostetaan väli, joka peittää parametrin etukäteen valitulla todennäköisyydellä,

Lisätiedot

Sovellettu todennäköisyyslaskenta B

Sovellettu todennäköisyyslaskenta B Sovellettu todennäköisyyslaskenta B Antti Rasila 8. marraskuuta 2007 Antti Rasila () TodB 8. marraskuuta 2007 1 / 18 1 Kertausta: momenttimenetelmä ja suurimman uskottavuuden menetelmä 2 Tilastollinen

Lisätiedot

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

Ilpo Halonen 2005 LISÄÄ KIRJALLISUUTTA. 5. Logiikan rooli argumentaatiossa LISÄÄ KIRJALLISUUTTA LISÄÄ KIRJALLISUUTTA. Mitä logiikka on? 5. Logiikan rooli argumentaatiossa KIRJALLISUUTTA: Allwood Jens, Lars-Gunnar Andersson, Östen Dahl 1980, Logiikka ja kieli, Gaudeamus, Helsinki. Haaparanta Leila 1995, "Modernin logiikan synty", teoksessa

Lisätiedot

Väliestimointi (jatkoa) Heliövaara 1

Väliestimointi (jatkoa) Heliövaara 1 Väliestimointi (jatkoa) Heliövaara 1 Bernoulli-jakauman odotusarvon luottamusväli 1/2 Olkoon havainnot X 1,..., X n yksinkertainen satunnaisotos Bernoulli-jakaumasta parametrilla p. Eli X Bernoulli(p).

Lisätiedot

Laadullinen tutkimus. KTT Riku Oksman

Laadullinen tutkimus. KTT Riku Oksman Laadullinen tutkimus KTT Riku Oksman Kurssin tavoitteet oppia ymmärtämään laadullisen tutkimuksen yleisluonnetta oppia soveltamaan keskeisimpiä laadullisia aineiston hankinnan ja analysoinnin menetelmiä

Lisätiedot

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

Matemaattisten työvälineiden täydentäviä muistiinpanoja Matemaattisten työvälineiden täydentäviä muistiinpanoja Antti-Juhani Kaijanaho 7 maaliskuuta 0 Deduktiivinen ja induktiivinen päättely Deduktiivisessa päättelyssä johtopäätös seuraa aukottomasti premisseistä

Lisätiedot

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

Argumenteista ja niiden arvioinnista TIES542 Ohjelmointikielten periaatteet, kevät 2016 Argumenteista ja niiden arvioinnista TIES542 Ohjelmointikielten periaatteet, kevät 2016 Antti-Juhani Kaijanaho 14. tammikuuta 2016 1 Argumentin käsite Tässä monisteessa argumentti on kielellinen viesti,

Lisätiedot

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

Abduktiivinen malli ja serendipiteetti: sattumat vai päättely tieteellisen keksimisen perustana? Luonnonfilosofian seura, pragmatismi-ilta 31.3. Abduktiivinen malli ja serendipiteetti: sattumat vai päättely tieteellisen keksimisen perustana? Luonnonfilosofian seura, pragmatismi-ilta 31.3.2015 Sami Paavola Käyttäytymistieteiden laitos, Helsingin

Lisätiedot

TUTKIMUSAINEISTON ANALYYSI. LTKY012 Timo Törmäkangas

TUTKIMUSAINEISTON ANALYYSI. LTKY012 Timo Törmäkangas TUTKIMUSAINEISTON ANALYYSI LTKY012 Timo Törmäkangas LUENNOT Luento Paikka Vko Päivä Pvm Klo 1 L 304 8 Pe 21.2. 08:15-10:00 2 L 304 9 To 27.2. 12:15-14:00 3 L 304 9 Pe 28.2. 08:15-10:00 4 L 304 10 Ke 5.3.

Lisätiedot

ABDUKTIIVINEN KONFIRMAATIO. Ilkka Niiniluoto Luennot abduktiosta Kevät 2014

ABDUKTIIVINEN KONFIRMAATIO. Ilkka Niiniluoto Luennot abduktiosta Kevät 2014 ABDUKTIIVINEN KONFIRMAATIO Ilkka Niiniluoto Luennot abduktiosta Kevät 2014 VERIFIKAATIO väitteen oikeaksi osoittaminen havaintojen avulla, palautus tässä ja nyt ehdottomiin tosiseikkoihin verifikaatioperiaate

Lisätiedot

Sovellettu todennäköisyyslaskenta B

Sovellettu todennäköisyyslaskenta B Sovellettu todennäköisyyslaskenta B Antti Rasila 16. marraskuuta 2007 Antti Rasila () TodB 16. marraskuuta 2007 1 / 15 1 Epäparametrisia testejä χ 2 -yhteensopivuustesti Homogeenisuuden testaaminen Antti

Lisätiedot

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

Sosiaalityön tutkimus: epistemologia. OSA II: Sosiaalityön tutkimus epistemologia OSA II: Sosiaalityön tutkimus epistemologia Peirce: abduktiologiikka ja pragmatismi Popper: falsifikaatio ja demarkaatio Sisäinen realismi 4. helmikuuta 2003 Jyväskylän yliopisto Page 1 Käsityksiä tieteellisestä

Lisätiedot

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.

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. Approbatur 3, demo 1, ratkaisut 1.1. A sanoo: Vähintään yksi meistä on retku. Tehtävänä on päätellä, mitä tyyppiä A ja B ovat. Käydään kaikki vaihtoehdot läpi. Jos A on rehti, niin B on retku, koska muuten

Lisätiedot

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

1. Osoita, että joukon X osajoukoille A ja B on voimassa toinen ns. de Morganin laki (A B) = A B. HY / Avoin yliopisto Johdatus yliopistomatematiikkaan, kesä 2015 Harjoitus 3 Ratkaisuehdotuksia Tehtäväsarja I Seuraavissa tehtävissä harjoitellaan muun muassa kahden joukon osoittamista samaksi sekä joukon

Lisätiedot

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

Yhtälönratkaisusta. Johanna Rämö, Helsingin yliopisto. 22. syyskuuta 2014 Yhtälönratkaisusta Johanna Rämö, Helsingin yliopisto 22. syyskuuta 2014 Yhtälönratkaisu on koulusta tuttua, mutta usein sitä tehdään mekaanisesti sen kummempia ajattelematta. Jotta pystytään ratkaisemaan

Lisätiedot

Teoreettisen viitekehyksen rakentaminen

Teoreettisen viitekehyksen rakentaminen Teoreettisen viitekehyksen rakentaminen Eeva Willberg Pro seminaari ja kandidaatin opinnäytetyö 26.1.09 Tutkimuksen teoreettinen viitekehys Tarkoittaa tutkimusilmiöön keskeisesti liittyvän tutkimuksen

Lisätiedot

4 Matemaattinen induktio

4 Matemaattinen induktio 4 Matemaattinen induktio Joidenkin väitteiden todistamiseksi pitää näyttää, että kaikilla luonnollisilla luvuilla on jokin ominaisuus P. Esimerkkejä tällaisista väitteistä ovat vaikkapa seuraavat: kaikilla

Lisätiedot

Luonnollisen päättelyn luotettavuus

Luonnollisen päättelyn luotettavuus Luonnollisen päättelyn luotettavuus Luotettavuuden todistamiseksi määrittelemme täsmällisesti, milloin merkkijono on deduktio. Tässä ei ole sisällytetty päättelysääntöihin iteraatiosääntöä, koska sitä

Lisätiedot

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

2. Argumenttianalyysi. Renne Pesonen (TaY) 28. syyskuuta / 119 2. Argumenttianalyysi Renne Pesonen (TaY) 28. syyskuuta 2015 35 / 119 Tähän mennessä havaittua: Argumentti koostuu kolmenlaisista asioista 1. Väite V 2. Perustelut P 1, P 2, P 3,... 3. Taustaoletukset

Lisätiedot

Tiede ja usko KIRKKO JA KAUPUNKI 27.2.1980

Tiede ja usko KIRKKO JA KAUPUNKI 27.2.1980 Tiede ja usko Jokaisen kristityn samoin kuin jokaisen tiedemiehenkin velvollisuus on katsoa totuuteen ja pysyä siinä, julistaa professori Kaarle Kurki-Suonio. Tieteen ja uskon rajankäynti on ollut kahden

Lisätiedot

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

Estimointi. Estimointi. Estimointi: Mitä opimme? 2/4. Estimointi: Mitä opimme? 1/4. Estimointi: Mitä opimme? 3/4. Estimointi: Mitä opimme? TKK (c) Ilkka Mellin (2004) 1 Johdatus tilastotieteeseen TKK (c) Ilkka Mellin (2004) 2 Mitä opimme? 1/4 Tilastollisen tutkimuksen tavoitteena on tehdä johtopäätöksiä prosesseista, jotka generoivat reaalimaailman

Lisätiedot

Luottamisvälin avulla voidaan arvioida populaation tuntematonta parametria.

Luottamisvälin avulla voidaan arvioida populaation tuntematonta parametria. 6.10.2015/1 MTTTP1, luento 6.10.2015 KERTAUSTA JA TÄYDENNYSTÄ Luottamisvälin avulla voidaan arvioida populaation tuntematonta parametria. Muodostetaan väli, joka peittää parametrin etukäteen valitulla

Lisätiedot

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

Sisällysluettelo ESIPUHE KIRJAN 1. PAINOKSEEN...3 ESIPUHE KIRJAN 2. PAINOKSEEN...3 SISÄLLYSLUETTELO...4 Sisällysluettelo ESIPUHE KIRJAN 1. PAINOKSEEN...3 ESIPUHE KIRJAN 2. PAINOKSEEN...3 SISÄLLYSLUETTELO...4 1. JOHDANTO TILASTOLLISEEN PÄÄTTELYYN...6 1.1 INDUKTIO JA DEDUKTIO...7 1.2 SYYT JA VAIKUTUKSET...9

Lisätiedot

Logiikka 1/5 Sisältö ESITIEDOT:

Logiikka 1/5 Sisältö ESITIEDOT: Logiikka 1/5 Sisältö Formaali logiikka Luonnollinen logiikka muodostaa perustan arkielämän päättelyille. Sen käyttö on intuitiivista ja usein tiedostamatonta. Mikäli logiikka halutaan täsmällistää esimerkiksi

Lisätiedot

Jokaisen parittoman kokonaisluvun toinen potenssi on pariton.

Jokaisen parittoman kokonaisluvun toinen potenssi on pariton. 3 Todistustekniikkaa 3.1 Väitteen kumoaminen vastaesimerkillä Monissa tilanteissa kohdataan väitteitä, jotka koskevat esimerkiksi kaikkia kokonaislukuja, kaikkia reaalilukuja tai kaikkia joukkoja. Esimerkkejä

Lisätiedot

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

TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 8. syyskuuta 2016 TIEA241 Automaatit ja kieliopit, syksy 2016 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 8. syyskuuta 2016 Sisällys a https://tim.jyu.fi/view/kurssit/tie/ tiea241/2016/videoiden%20hakemisto Matemaattisen

Lisätiedot

Tilastollisen analyysin perusteet Luento 2: Tilastolliset testit

Tilastollisen analyysin perusteet Luento 2: Tilastolliset testit Tilastollisen analyysin perusteet Luento 2: Tilastolliset testit Sisältö Tilastollisia testejä tehdään jatkuvasti lukemattomilla aloilla. Meitä saattaa kiinnostaa esimerkiksi se, että onko miesten ja

Lisätiedot

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

Propositioista. Lause ja propositio. Sisältö/merkitys. väite, väittämä arvostelma propositio ajatus. lause merkkijonona Propositioista Tutkittaessa argumenttien ja päätelmien pätevyyttä ja selvitettäessä ajatusten sekä käsitteiden merkityksiä on argumentit, ajatukset ja käsitteet yleensä ilmaistava kielellisesti. Semantiikassa

Lisätiedot

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

Ratkaisu. Ensimmäinen kuten P Q, toinen kuten P Q. Kolmas kuten P (Q R): Diskreetti matematiikka, sks 2010 Harjoitus 2, ratkaisuista 1. Seuraavassa on kuvattu kolme virtapiiriä, joissa on paristo, sopiva lamppu L ja katkaisimia P, Q, R, joiden läpi virta kulkee (1) tai ei kulje

Lisätiedot

Farmaseuttinen etiikka

Farmaseuttinen etiikka Farmaseuttinen etiikka Etiikka, tiede ja arvot Luento 5. Farmasian tdk. 14.11. Markus Neuvonen markus.neuvonen@helsinki.fi Reduktionistisen ohjelman pyramidi: Humanistiset Yhteiskuntatieteet Psykologia

Lisätiedot

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

Mitä on Filosofia? Informaatioverkostojen koulutusohjelman filosofiankurssin ensimmäinen luento Mitä on Filosofia? Informaatioverkostojen koulutusohjelman filosofiankurssin ensimmäinen luento Filosofian kurssi 2008 Tavoitteet Havaita filosofian läsnäolo arjessa Haastaa nykyinen maailmankuva Saada

Lisätiedot

Miina ja Ville etiikkaa etsimässä

Miina ja Ville etiikkaa etsimässä Miina ja Ville etiikkaa etsimässä Elämänkatsomustieto Satu Honkala, Antti Tukonen ja Ritva Tuominen Sisällys Opettajalle...4 Oppilaalle...5 Työtavoista...6 Elämänkatsomustieto oppiaineena...6 1. HYVÄ ELÄMÄ...8

Lisätiedot

Ensimmäinen induktioperiaate

Ensimmäinen induktioperiaate Ensimmäinen induktioperiaate Olkoon P(n) luonnollisilla luvuilla määritelty predikaatti. (P(n) voidaan lukea luvulla n on ominaisuus P.) Todistettava, että P(n) on tosi jokaisella n N. ( Kaikilla luonnollisilla

Lisätiedot

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

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 2 3 Edellinen sääntö toisin: Lause 2.5.{A 1,A 2,...,A n } B täsmälleen silloin kun {A 1,A 2,...,A n,b } 0, jatkoa jatkoa 1 / 13 2 3 Edellinen sääntö toisin: Lause 2.5.{A 1,A 2,...,A n } B täsmälleen silloin

Lisätiedot

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

Luentokalvoja tilastollisesta päättelystä. Kalvot laatinut Aki Taanila Päivitetty 30.11.2012 Luentokalvoja tilastollisesta päättelystä Kalvot laatinut Aki Taanila Päivitetty 30.11.2012 Otanta Otantamenetelmiä Näyte Tilastollinen päättely Otantavirhe Otanta Tavoitteena edustava otos = perusjoukko

Lisätiedot

MS-A0402 Diskreetin matematiikan perusteet

MS-A0402 Diskreetin matematiikan perusteet MS-A0402 Diskreetin matematiikan perusteet Osa 1: Joukko-oppi ja logiikka Riikka Kangaslampi 2017 Matematiikan ja systeemianalyysin laitos Aalto-yliopisto Kiitokset Nämä luentokalvot perustuvat Gustaf

Lisätiedot

LAUSELOGIIKKA (1) Sanalliset ilmaisut ovat usein epätarkkoja. On ilmaisuja, joista voidaan sanoa, että ne ovat tosia tai epätosia, mutta eivät molempia. Ilmaisuja, joihin voidaan liittää totuusarvoja (tosi,

Lisätiedot

Johdatus tutkimustyöhön (811393A)

Johdatus tutkimustyöhön (811393A) Johdatus tutkimustyöhön (811393A) 5 op eli 128 h opiskelijan työtä Aloitusluento 1.9.2015 Esittäytyminen Opettaja Opinnot LuK, merkonomi, FM, FL, FT Dosentti JyU, Research Associate NUIG, Visiting Associate

Lisätiedot

Diskreetin matematiikan perusteet Laskuharjoitus 1 / vko 8

Diskreetin matematiikan perusteet Laskuharjoitus 1 / vko 8 Diskreetin matematiikan perusteet Laskuharjoitus 1 / vko 8 Tuntitehtävät 1-2 lasketaan alkuviikon harjoituksissa ja tuntitehtävät 5- loppuviikon harjoituksissa. Kotitehtävät 3-4 tarkastetaan loppuviikon

Lisätiedot

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

Johdatus tilastotieteeseen Estimointi. TKK (c) Ilkka Mellin (2005) 1 Johdatus tilastotieteeseen Estimointi TKK (c) Ilkka Mellin (2005) 1 Estimointi Todennäköisyysjakaumien parametrit ja niiden estimointi Hyvän estimaattorin ominaisuudet TKK (c) Ilkka Mellin (2005) 2 Estimointi:

Lisätiedot

Intentionaalisuus. Intentionaalinen psykologia. Intentionaalinen psykologia

Intentionaalisuus. Intentionaalinen psykologia. Intentionaalinen psykologia Intentionaalinen psykologia Johdatus yhteiskuntatieteiden filosofiaan 8. Luento 8.2. Intentionaalisuus Psykologiset tilat, jotka ovat suuntautuneet kohti jotakin seikkaa aikoa, uskoa, haluta, pelätä jne.

Lisätiedot

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

Logiikka I. Kaarlo Reipas 17. huhtikuuta 2012 Ψ. Tämä materiaali on vielä keskeneräinen. 1 Johdanto Mitä logiikka on?... 3 Φ Logiikka I Kaarlo Reipas 17. huhtikuuta 2012 Ψ Tämä materiaali on vielä keskeneräinen. Sisältö 1 Johdanto 3 1.1 Mitä logiikka on?.............................. 3 2 ropositiologiikka 4 2.1 Lauseet...................................

Lisätiedot

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

Kieli merkitys ja logiikka. 2: Helpot ja monimutkaiset. Luento 2. Monimutkaiset ongelmat. Monimutkaiset ongelmat Luento 2. Kieli merkitys ja logiikka 2: Helpot ja monimutkaiset Helpot ja monimutkaiset ongelmat Tehtävä: etsi säkillinen rahaa talosta, jossa on monta huonetta. Ratkaisu: täydellinen haku käy huoneet

Lisätiedot

Ensimmäinen induktioperiaate

Ensimmäinen induktioperiaate 1 Ensimmäinen induktioperiaate Olkoon P(n) luonnollisilla luvuilla määritelty predikaatti. (P(n) voidaan lukea luvulla n on ominaisuus P.) Todistettava, että P(n) on tosi jokaisella n N. ( Kaikilla luonnollisilla

Lisätiedot

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

Analyysi: päättely ja tulkinta. Hyvän tulkinnan piirteitä. Hyvän analyysin tulee olla. Miten analysoida laadullista aineistoa Analyysi: päättely ja tulkinta Analyysin - tai tulkinnan - pitää viedä tutkimus kuvailevan otteen ohi mielellään ohi ilmiselvyyksien KE 62 Ilpo Koskinen 20.11.05 Aineiston analyysi laadullisessa tutkimuksessa

Lisätiedot

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

DFA:n käyttäytyminen ja säännölliset kielet säännölliset kielet TIEA241 Automaatit ja kieliopit, syksy 2015 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 9. marraskuuta 2015 Sisällys toiminta formaalisti Olkoon M = (Q, Σ, δ, q 0, F) deterministinen

Lisätiedot

Loogiset konnektiivit

Loogiset konnektiivit Loogiset konnektiivit Tavallisimmat loogiset konnektiivit ovat negaatio ei konjunktio ja disjunktio tai implikaatio jos..., niin... ekvivalenssi... jos ja vain jos... Sulkeita ( ) käytetään selkeyden vuoksi

Lisätiedot

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

Ilpo Halonen 2005. 1.3 Päätelmistä ja niiden pätevyydestä. Luonnehdintoja logiikasta 1. Johdatus logiikkaan. Luonnehdintoja logiikasta 2 uonnehdintoja logiikasta 1 Johdatus logiikkaan Ilpo Halonen Syksy 2005 ilpo.halonen@helsinki.fi Filosofian laitos Humanistinen tiedekunta "ogiikka on itse asiassa tiede, johon sisältyy runsaasti mielenkiintoisia

Lisätiedot

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

missä on myös käytetty monisteen kaavaa 12. Pistä perustelut kohdilleen! Matematiikan johdantokurssi Kertausharjoitustehtävien ratkaisuja/vastauksia/vihjeitä. Osoita todeksi logiikan lauseille seuraava: P Q (P Q). Ratkaisuohje. Väite tarkoittaa, että johdetut lauseet P Q ja

Lisätiedot

Todistusteoriaa. Kun kielen syntaksi on tarkasti määritelty, voidaan myös määritellä täsmällisesti, mitä pätevällä päättelyllä tarkoitetaan.

Todistusteoriaa. Kun kielen syntaksi on tarkasti määritelty, voidaan myös määritellä täsmällisesti, mitä pätevällä päättelyllä tarkoitetaan. Todistusteoriaa Kun kielen syntaksi on tarkasti määritelty, voidaan myös määritellä täsmällisesti, mitä pätevällä päättelyllä tarkoitetaan. Todistusteoriassa annetaan joukko aksioomia ja päättely- sääntöjä,

Lisätiedot

4.2.2003 Raino Vastamäki 1

4.2.2003 Raino Vastamäki 1 4.2.2003 Raino Vastamäki 1 Ihminen käyttäjänä 4.2.2003 Raino Vastamäki 2 Esimerkki 1. 4.2.2003 Raino Vastamäki 3 Ihminen on... biologinen olento psykologinen olento kulttuuriolento sosiaalinen olento yhteiskunnallinen

Lisätiedot

4.3. Matemaattinen induktio

4.3. Matemaattinen induktio 4.3. Matemaattinen induktio Matemaattinen induktio: Deduktion laji Soveltuu, kun ominaisuus on osoitettava olevan voimassa luonnollisilla luvuilla. Suppea muoto P(n) : Ominaisuus, joka joka riippuu luvusta

Lisätiedot

Johdatus matematiikkaan

Johdatus matematiikkaan Johdatus matematiikkaan Luento 4 Mikko Salo 4.9.2017 Sisältö 1. Rationaali ja irrationaaliluvut 2. Induktiotodistus Rationaaliluvut Määritelmä Reaaliluku x on rationaaliluku, jos x = m n kokonaisluvuille

Lisätiedot

Matemaatikot ja tilastotieteilijät

Matemaatikot ja tilastotieteilijät Matemaatikot ja tilastotieteilijät Matematiikka/tilastotiede ammattina Tilastotiede on matematiikan osa-alue, lähinnä todennäköisyyslaskentaa, mutta se on myös itsenäinen tieteenala. Tilastotieteen tutkijat

Lisätiedot

Aineistoista. Laadulliset menetelmät: miksi tarpeen? Haastattelut, fokusryhmät, havainnointi, historiantutkimus, miksei videointikin

Aineistoista. Laadulliset menetelmät: miksi tarpeen? Haastattelut, fokusryhmät, havainnointi, historiantutkimus, miksei videointikin Aineistoista 11.2.09 IK Laadulliset menetelmät: miksi tarpeen? Haastattelut, fokusryhmät, havainnointi, historiantutkimus, miksei videointikin Muotoilussa kehittyneet menetelmät, lähinnä luotaimet Havainnointi:

Lisätiedot

Mitä eri tutkimusmetodeilla tuotetusta tiedosta voidaan päätellä? Juha Pekkanen, prof Hjelt Instituutti, HY Terveyden ja Hyvinvoinnin laitos

Mitä eri tutkimusmetodeilla tuotetusta tiedosta voidaan päätellä? Juha Pekkanen, prof Hjelt Instituutti, HY Terveyden ja Hyvinvoinnin laitos Mitä eri tutkimusmetodeilla tuotetusta tiedosta voidaan päätellä? Juha Pekkanen, prof Hjelt Instituutti, HY Terveyden ja Hyvinvoinnin laitos Päätöksentekoa tukevien tutkimusten tavoitteita kullakin oma

Lisätiedot

Sekalaiset tehtävät, 11. syyskuuta 2005, sivu 1 / 13. Tehtäviä

Sekalaiset tehtävät, 11. syyskuuta 2005, sivu 1 / 13. Tehtäviä Sekalaiset tehtävät, 11. syyskuuta 005, sivu 1 / 13 Tehtäviä Tehtävä 1. Johda toiseen asteen yhtälön ax + bx + c = 0, a 0 ratkaisukaava. Tehtävä. Määrittele joukon A R pienin yläraja sup A ja suurin alaraja

Lisätiedot

Pauli Tikka, 20.8.2014 Filosofia- ja tiede- sekä psykologiakäsitteistöä

Pauli Tikka, 20.8.2014 Filosofia- ja tiede- sekä psykologiakäsitteistöä Pauli Tikka, 20.8.2014 Filosofia- ja tiede- sekä psykologiakäsitteistöä Termin nimi Kausaalisuus A posteriori A priori Absoluutti Agentti Analyysi Analyyttinen filosofia Analyyttinen väite Antropomorfismi

Lisätiedot

Surveytutkimusksen Suunnittelu ja Teoreettisten Konstruktioiden Validointi. Seppo Pynnönen Vaasan yliopisto Menetelmätieteiden laitos

Surveytutkimusksen Suunnittelu ja Teoreettisten Konstruktioiden Validointi. Seppo Pynnönen Vaasan yliopisto Menetelmätieteiden laitos Surveytutkimusksen Suunnittelu ja Teoreettisten Konstruktioiden Validointi Seppo Pynnönen Vaasan yliopisto Menetelmätieteiden laitos Teoreettiset konstruktiot Todellisuus Teoria Todellisuuden jäsentely

Lisätiedot

Tilastollisen analyysin perusteet Luento 11: Epäparametrinen vastine ANOVAlle

Tilastollisen analyysin perusteet Luento 11: Epäparametrinen vastine ANOVAlle Tilastollisen analyysin perusteet Luento 11: Epäparametrinen vastine ANOVAlle - Sisältö - - - Varianssianalyysi Varianssianalyysissä (ANOVA) testataan oletusta normaalijakautuneiden otosten odotusarvojen

Lisätiedot

PSY181 Psykologisen tutkimuksen perusteet, kirjallinen harjoitustyö ja kirjatentti

PSY181 Psykologisen tutkimuksen perusteet, kirjallinen harjoitustyö ja kirjatentti PSY181 Psykologisen tutkimuksen perusteet, kirjallinen harjoitustyö ja kirjatentti Harjoitustyön ohje Tehtävänäsi on laatia tutkimussuunnitelma. Itse tutkimusta ei toteuteta, mutta suunnitelman tulisi

Lisätiedot

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

Tieteenfilosofia 1/4. Heikki J. Koskinen, FT, Dos. Helsingin yliopisto / Suomen Akatemia Tieteenfilosofia 1/4 Heikki J. Koskinen, FT, Dos. Helsingin yliopisto / Suomen Akatemia 1 Tästä kurssista Molempina päivinä ohjelma on rakenteeltaan samanlainen: 1. luento-osio 9:15 10:40 keskusteluosio

Lisätiedot

THE LOGIC OF SCIENTIFIC DISCOVERY. Luennot Karl Popperin filosofiasta Toukokuu 2016 Ilkka Niiniluoto

THE LOGIC OF SCIENTIFIC DISCOVERY. Luennot Karl Popperin filosofiasta Toukokuu 2016 Ilkka Niiniluoto THE LOGIC OF SCIENTIFIC DISCOVERY Luennot Karl Popperin filosofiasta Toukokuu 2016 Ilkka Niiniluoto TOTUUS 1935 totuuden korrespondenssiteoria: RUSSELL, SCHLICK, toteamukset, verifikaatio, tiedon varmuus

Lisätiedot

Tutkimuskurssi. Tampereen yliopisto, kevät Roope Raisamo

Tutkimuskurssi. Tampereen yliopisto, kevät Roope Raisamo Tutkimuskurssi Tampereen yliopisto, kevät 2006 Roope Raisamo Luento 2: Tutkimusmenetelmistä Tutkimusmenetelmät, tutkimusotteet, tiedonkeruun menetelmiä Käsiteltävät t asiat Tieteellinen ajattelu ja tutkimusmenetelmät

Lisätiedot

Suhteellisuusteorian vajavuudesta

Suhteellisuusteorian vajavuudesta Suhteellisuusteorian vajavuudesta Isa-Av ain Totuuden talosta House of Truth http://www.houseoftruth.education Sisältö 1 Newtonin lait 2 2 Supermassiiviset mustat aukot 2 3 Suhteellisuusteorian perusta

Lisätiedot