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

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

Kieli merkitys ja logiikka

Perinnöllinen informaatio ja geneettinen koodi.


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

Logiikan kertausta. TIE303 Formaalit menetelmät, kevät Antti-Juhani Kaijanaho. Jyväskylän yliopisto Tietotekniikan laitos.

Kieli merkitys ja logiikka

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

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

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

Predikaattilogiikkaa

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

Pikapaketti logiikkaan

LOGIIKKA johdantoa

Käyttöliittymä. Ihmisen ja tuotteen välinen rajapinta. ei rajoitu pelkästään tietokoneisiin

Kieli merkitys ja logiikka. Luento 6: Merkitys ja kieli

Loogiset konnektiivit

FILOSOFIAN KUOHUVAT VUODET KATSAUS 1900-LUVUN ALUN FILOSOFIAAN SIRKKU IKONEN

Todistusmenetelmiä Miksi pitää todistaa?

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

4. Luokan testaus ja käyttö olion kautta 4.1

4 Matemaattinen induktio

Käsitteistä. Reliabiliteetti, validiteetti ja yleistäminen. Reliabiliteetti. Reliabiliteetti ja validiteetti

Ruma merkitys. Tommi Nieminen. XLII Kielitieteen päivät. Kielitieteen epäilyttävin välttämätön käsite. Itä-Suomen yliopisto ...

2. Olio-ohjelmoinnin perusteita 2.1

Verbin valenssi määrää, minkälaisia argumentteja ja komplementteja verbi odottaa saavansa millaisissa lauseissa verbi voi esiintyä.

Ensimmäinen induktioperiaate

Teoreettisen viitekehyksen rakentaminen

Säännölliset kielet. Sisällys. Säännölliset kielet. Säännölliset operaattorit. Säännölliset kielet

2. Olio-ohjelmoinnin perusteita 2.1

TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho. 16. maaliskuuta 2011

Ensimmäinen induktioperiaate

FORMAALI SYSTEEMI (in Nutshell): aakkosto: alkeismerkkien joukko kieliopin määräämä syntaksi: sallittujen merkkijonojen rakenne, formaali kuvaus

8. Kieliopit ja kielet

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

Kieli merkitys ja logiikka

Lisää kvanttoreista ja päättelyä sekä predikaattilogiikan totuustaulukot 1. Negaation siirto kvanttorin ohi

Laajennettu tiedonkäsitys ja tiedon erilaiset muodot

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

Johdatus modaalilogiikkaan

Mahdollisten maailmojen semantiikan synty ja kehitys

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

Matematiikan tukikurssi, kurssikerta 2

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

semantiikan ja pragmatiikan pk / um

T kevät 2007 Laskennallisen logiikan jatkokurssi Laskuharjoitus 1 Ratkaisut

MS-A0402 Diskreetin matematiikan perusteet

Chalmers, semantiikka ja välttämättömyys

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

Automaatit. Muodolliset kielet

815338A Ohjelmointikielten periaatteet Harjoitus 2 vastaukset

Tekstien ääniä. Tommi Nieminen Itä-Suomen yliopisto

PSYKOLOGIAN VALINTAKOE MALLIVASTAUKSET

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I

Predikaattilogiikan malli-teoreettinen semantiikka

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

TYÖPOHJAT ALUSTAN VIESTINNÄN RAKENTAMISEKSI

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I

Lisää pysähtymisaiheisia ongelmia

Kuvaus eli funktio f joukolta X joukkoon Y tarkoittaa havainnollisesti vastaavuutta, joka liittää joukon X jokaiseen alkioon joukon Y tietyn alkion.

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.

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

T Syksy 2003 Logiikka tietotekniikassa: perusteet Laskuharjoitus 8 (opetusmoniste, kappaleet )

3. Predikaattilogiikka

Ontologiat merkitysten mallintamisessa: OWL. Eeva Ahonen

Täydentäviä muistiinpanoja laskennan rajoista

Kuvaus eli funktio f joukolta X joukkoon Y tarkoittaa havainnollisesti vastaavuutta, joka liittää joukon X jokaiseen alkioon joukon Y tietyn alkion.

Insidenssifunktioiden teoriaa

Rekursiiviset palautukset [HMU 9.3.1]

Muodolliset kieliopit

Luento 12: XML ja metatieto

Mikä on tieteenfilosofinen positioni ja miten se vaikuttaa tutkimukseeni?

Johdatus rakenteisiin dokumentteihin

Identiteetti identifikaatio - ja valinta

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

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä, todistuksia ym., osa I

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä, todistuksia ym., osa I

811120P Diskreetit rakenteet

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

Insinöörimatematiikka A

on rekursiivisesti numeroituva, mutta ei rekursiivinen.

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

Talousmatematiikan perusteet ORMS.1030

Lause 5. (s. 50). Olkoot A ja B joukkoja. Tällöin seuraavat ehdot ovat

Diskreetin matematiikan perusteet Laskuharjoitus 2 / vko 9

Diskreetin matematiikan perusteet Malliratkaisut 2 / vko 38

Yhteentoimivuusalusta: Miten saadaan ihmiset ja koneet ymmärtämään toisiaan paremmin?

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

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

Talousmatematiikan perusteet ORMS.1030

TUKIMATERIAALI: Arvosanan kahdeksan alle jäävä osaaminen

Pong-peli, vaihe Koordinaatistosta. Muilla kielillä: English Suomi. Tämä on Pong-pelin tutoriaalin osa 2/7. Tämän vaiheen aikana

Luonnollisten lukujen ja kokonaislukujen määritteleminen

Vastaoletuksen muodostaminen

Yhdyssana suomen kielessä ja puheessa

Johdatus matematiikkaan Tero Kilpeläinen

Dialoginen ohjaus ja sen työvälineet

Johdatus yliopistomatematiikkaan. JYM, Syksy2015 1/195

Psyykkinen toimintakyky

Talousmatematiikan perusteet ORMS.1030

Transkriptio:

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

Viisauden sanoja Aristoteleelta Aristoteles (De int. 1.): Ääneen puhutut sanat ovat sielullisten vaikutusten symboleja ja kirjoitetut sanat puhuttujen. Kuten kirjaimet eivät ole kaikilla samat, niin eivät äänteetkään ole. Mutta alkuperäiset sielulliset vaikutukset, joiden merkkejä ne ovat, ovat kaikilla samat; ja asiat, joiden jäljitelmiä nämä vuorostaan ovat, ovat varsinkin samat. (1) Kielen ja kielellisten merkkien sopimuksenvaraisuus (2) Kolmiosainen erottelu: (a) KIELI (b) MIELI (c) MAAILMA ääneen puhutut/kirjoitetut sanat sielulliset vaikutukset asiat (oliot) 2

Semanttinen / semioottinen kolmio MIELI käsitteet / merkitykset R 2 R 3 merkin muoto / tyyppi KIELI R 1 MAAILMA referentti / entiteetti Voimme erottaa kolme erilaista suhdetta kielen, mielen ja maailman välillä: R 1 : kieli maailma R 2 : kieli mieli R 3 : mieli maailma semanttinen ekspressiivinen kognitiivinen 3

Kielen taso Yksilötermit erisnimet: Kuuno, määr. kuvaukset: otus, joka söi hillon, indeksikaalit: tämä vompatti Yleistermit predikaatit: x on pörröinen, x on y:n sylissä Lauseet: Tämä vompatti on pörröinen. Modaalioperaattorit: on mahdollista / välttämätöntä että Vrt. mielen ja maailman taso 4

Edellä esitettyjä kielellisiä elementtejä vastaavat maailman tasolla seuraavat rakenteet: (Formaalissa semantiikassa ominaisuudet korvataan tyypillisesti joukoilla ja asiaintilat totuusarvoilla) 4. modaliteetit 3. asiaintilat de dicto de re 2. ominaisuudet (ja relaatiot) 1. yksilöt 5

Mielen käsitteellinen taso Käsitteet, väitteet ja päätelmät näyttelevät keskeistä osaa tieteen järjestelmällisyydessä ja järkiperäisyydessä (vrt. luento 1). Tieteenharjoitus on intellektuaalista tai kognitiivista toimintaa. Mieli operoi käsitteillä, väitteillä ja päätelmillä. 1. Jokaisen tieteenalan opiskelussa on käytettävä aikaa kyseisen alan peruskäsitteiden omaksumiseen ja hallintaan. 2. Muodollisten opintojen päätteeksi puolustetaan jotakin väitettä (tai sellaisten joukkoa). 3. Tieteelliset opinnot ja tutkimus edellyttävät molemmat erilaisten päätelmä- tai argumentaatiotyyppien hahmottamista. Nämä liittyvät usein johonkin tiettyyn menetelmään tai metodiin. 6

Käsitteet, väitteet ja päätelmät Käsitteet ovat sanojen ajatussisältöjä. Väitteet ovat lauseiden ilmaisemia ajatuksia. Väitteet koostuvat käsitteistä, jotka on järjestetty sellaisen mielekkään kokonaisuuden muotoon, joka voi olla tosi tai epätosi. Väitteitä voidaan liittää toisiinsa monin eri tavoin. Päätelmissä väitteet järjestetään siten, että viimeisenä esiintyvä väite esitetään johtopäätöksenä muista väitteistä. Vrt. esim. P 1 ensimmäinen premissi P 2 P 3 toinen premissi johtopäätös 7

Kieli, mieli ja käännökset Toisikseen käännettävät sanat ilmaisevat yhden ja saman käsitteen. esim. KISSA käsite ekspressio R 2 R 2 korrektiuden kriteeri (englannin sana) cat kissa (suomen sana) käännös Samanlainen viitekehys pätee käsitteiden ohella myös väitteisiin ja päätelmiin. 8

Merkitys: intensiot ja ekstensiot Filosofiassa, kielitieteessä ja kognitiotieteessä tehdään usein erottelu kielellisten ilmausten intensioiden (merkitysten) ja ekstensioiden (referenttien tai viittauskohteiden) välillä. Yksinkertaisin semanttinen suhde vallitsee nimen ja objektin (johon nimi viittaa) välillä. Intensio (merkitys) ja ekstensio (referenssi) suhtautuvat käsitteiden osalta toisiinsa siten, että intension rikastuessa ekstensio pienenee ja ekstension laajetessa intensio köyhtyy. Esimerkiksi eläimen käsite sisältyy vompatin käsitteeseen, ja vompatin käsite on siten runsassisältöisempi kuin eläimen käsite. Sen sijaan vompattien joukko on eläinten joukon osajoukko. Intensiot ovat ekstensioita vahvempia : intensiot määräävät ekstensiot, mutta ei päinvastoin. 9

Käsitteiden määrittelemisestä Kun kieltä käytetään tieteellisessä viitekehyksessä, vaaditaan käsitteellistä täsmällisyyttä, tarkkuutta ja selkeyttä. Epäselvien käsitteiden merkityksiä voidaan täsmentää määrittelemällä ne eksplisiittisesti: = df definiendum (määriteltävä käsite) definiens (muita käsitteitä, jotka ovat jo käytössä) Merkityspostulaateiksi kutsutaan käsitteiden välisiä suhteita koskevia oletuksia, esim. Poikamies on naimaton mies. Käsitteelliset viitekehykset muodostuvat joukosta käsitteitä sekä merkityspostulaateista, jotka kytkevät ne toisiinsa. 10

Määritelmistä Perinteinen aristoteelinen määritelmien teoria, vrt. esim: Ihminen = df rationaalinen eläin species differentia genus Tämänkaltaisten määritelmien ajateltiin antavan määriteltävän olemuksen tai essentian Aristoteelinen essentialismi Myöhäisfilosofiassaan Ludwig Wittgenstein kritisoi tällaista essentialistista näkemystä perheyhtäläisyyden ajatuksen kautta: A---B---C vrt. esim. peli, taideteos, 11

Joitain määritelmille asetettuja vaatimuksia (a) Määritelmä ei saa sisältää kehää primitiiviset termit otetaan annettuina : niitä ei enää pyritä määrittelemään (b) Määritelmiä ei saa ilmaista epäselvällä eikä kuvaannollisella kielellä (c) Mieluiten positiivisin termein ilmaistu Minkään tieteenalan piirissä ei voida eksplisiittisesti määritellä kaikkia siinä käytettäviä termejä. Osa näistä termeistä täytyy valita primitiivisiksi termeiksi, joiden avulla kaikki muut termit voidaan pyrkiä määrittelemään. Pyrittäessä systematisoimaan jonkin tieteenalan kokonaisuutta valitaan mahdollisimman harvoja mutta systemaattiselta voimaltaan suuria primitiivisiä termejä, jotka ovat toisistaan riippumattomia. 12

Mahdollisia keskustelunaiheita Millaisia ovat oman tieteenalasi ja tutkimusaiheesi keskeiset käsitteet? Millä tavoin ja kuinka täsmällisesti kyseiset käsitteet ovat tyypillisesti määriteltyjä tai ylipäätään määriteltävissä? Kuinka luonnehtisit oman tieteenalasi ja tutkimusaiheesi menetelmien suhdetta päättelemiseen tai argumentaatioon? 13