Mahdollisten maailmojen semantiikan synty ja kehitys
|
|
- Hannele Seppälä
- 7 vuotta sitten
- Katselukertoja:
Transkriptio
1 Mahdollisten maailmojen semantiikan synty ja kehitys (Fte264/265, Kf330n) FT Ilpo Halonen to klo S20A sh luento Aikataulu (luennot: 10 x 2 t) (aiheet alustavia) Luento 1 (johdanto) Luento 2 (historiaa) 3.2. Luento 3 ( / Luento 4 von Wright) Luento 5 ( / Luento 6 Hintikka) 3.3. Luento 7 (deontt., aikalog.) 2 Aikataulu jatkuu (aiheet alustavia) väliviikko Luento 8 (propos. asenteet) pääsiäisloma ei luentoa 7.4. Luento 9 (sovell.,fikt. oliot) Luento 10 ( ) varalla Suorittaminen 1 Kurssin voi suorittaa kahden opintoviikon laajuisena kohtiin Fte264/265, Kf330n, Tt210a tai sop. muk. Esitietotoive: n. Logiikan johdantokurssin tasoiset tiedot. Sopii esim.logiikan jatkokurssin ja Tuomo Ahon Modaalilogiikkaa-kurssin ohessa suoritettavaksi. 3 4 Suorittaminen 2 Yhteyksiä Loppukuulustelu: to klo S20A sh 303 Uusinta: sovitaan myöhemmin Vaihtoehto: esseellä (sovitaan erikseen). A <=> ~ ~A (vrt. xk(x) <=> x K(x)) ~A <=> ~ A on mahdotonta että A ~ A <=> ~A ~ ~A <=> A 5 6 1
2 Deonttinen logiikka Deonttiset modaliteetit OA on pakollista että A, pitäisi olla että A, velvollisuuksiin kuuluu että A PA on sallittua että A, on lupa toimia siten että A (FA on kiellettyä että A ) Yhteyksiä OA <=> ~P~A <=> F~A O~A <=> ~PA <=> FA ~OA <=> P~A <=> ~F~A ~O~A <=> PA <=> ~FA 7 8 Episteeminen logiikka (doksastinen logiikka) Episteemiset ja doksastiset modaliteetit K p A p tietää että A B p A p uskoo että A tietäminen ja uskominen esimerkkejä ns. propositionaalisista asenteista, joihin kuuluvat myös mm. muistaminen ja havaitseminen Aikalogiikka Aikakäsitteet eilen, menneisyydessä, huomenna, tulevaisuudessa (Prior: aina menneisyydessä, joskus menneisyydessä; aina tulevaisuudessa, joskus tulevaisuudessa) 9 10 Multimodaalilogiikat Dana Scott 1 myös esim. preferenssilogiikka, vakaumusten logiikka, mielikuvituksen logiikka, näkökulmien logiikka, nykyään kiinnostuksen kohteena myös multimodaalilogiikat Dana Scott oivalsi jo vuonna 1970 olennaisen heikkouden siinä tavassa, jolla modaalilogiikkoja oli kehitetty: Tämä onkin mielestäni yksi kaikkein suurimmista virheistä modaalilogiikassa: keskittyminen systeemiin, jossa on ainoastaan yksi modaalioperaattori
3 Dana Scott 2... Ainoa tapa saavuttaa minkäänlaisia filosofisesti merkittäviä tuloksia deonttisessa logiikassa tai episteemisessä logiikassa on yhdistää nämä operaattorit aikaoperaattoreihin (kuinka muuten voit formuloida muutoksen periaatteita?); loogisiin operaattoreihin (kuinka muuten voit verrata relatiivista absoluuttiseen?);... Dana Scott 3 sellaisiin kuin historiallisen tai fysikaalisen välttämättömyyden operaattoreihin (kuinka muuten voit suhteuttaa toimijan ympäristöönsä?) ja niin edelleen ja niin edelleen. Scott, Dana, 1970, Advice on Modal Logic, in Lambert K. (ed.), Philosophical Problems in Logic, D. Reidel Publishing Company, Dordrecht, Historiallista taustaa Neljä näkemystä Antiikin filosofiassa neljä perustavaa modaalikäsitteiden merkitystä koskevaa paradigmaa: 1. statistisen tai ajallisen frekvenssin tulkinnan malli 2. malli mahdollisuudesta potentiana tai kykynä 3. diakronisten mahdollisuuksien malli 4. malli mahdollisuudesta ristiriidattomuutena Statistinen modaalikäsitteiden teoria Modaalikäsitteet kreikkalaisilla usein temporaalisia - ns. statistinen modaalikäsitteiden teoria: vallalla Aristoteleesta 1300-luvulle asti: välttämätön lause on aina tosi, mahdollinen lause joskus tosi, mahdoton lause ei koskaan tosi. Taivaasta 1 "Jollakulla on samanaikaisesti kyky istua ja seistä, koska kun hänellä on toinen kyky, hänellä on toinenkin. Mutta se ei tarkoita sitä, että hän pystyisi seisomaan ja istumaan samanaikaisesti, vaan nämä tapahtuvat eri aikoina
4 Taivaasta 2... Mutta jos jollakin on kyky useampiin asioihin suhteessa äärettömään aikaan, ei ole mitään eri aikaa, vaan nämä tapahtuvat yhtä aikaa. Jos siis jokin on olemassa äärettömän ajan ja on häviävä, sillä pitäisi olla kyky olla olematta. Taivaasta 3... Jos se siis on olemassa äärettömän ajan, olettakaamme sen kyky olla olematta toteutuneeksi. Silloin se siis on yhtä aikaa aktuaalisesti olemassa ja ei ole olemassa Taivaasta 4 Johtopäätös on epätosi, koska oletus oli epätosi, mutta ellei oletus olisi ollut mahdoton, johtopäätöskään ei olisi ollut mahdoton. Kaikki aina oleva on siis häviämätöntä lisämääreittä." Taivaasta I, 12, 281b Tasapaino Antiikin filosofit: Maailmankaikkeuden yleisessä ontologisessa rakenteessa mahdollisuuden ja aktuaalisen toteutuneisuuden välillä vallitsee tasapaino. Vastaavasti: koskaan toteutumattomat tapaustyypit mahdottomia, todellisuuden muuttumattomat rakenteet ja rakenneosat välttämättömiä Runsauden periaate 1 Runsauden periaate 2 Statistisen teorian taustalla Arthur O. Lovejoyn runsauden periaatteeksi (Principle of Plenitude) kutsuma ajattelutottumus: (P) Jokainen aito mahdollisuus toteutuu joskus. Modaalitermien merkitys selitetään ekstensionaalisesti: se, mikä on välttämätöntä, on aina aktuaalista; se, mikä on mahdotonta, ei ole koskaan aktuaalista; se, mikä on mahdollista, toteutuu ainakin joskus
5 Runsauden periaate 3 Ekstensionaalisuus: modaalikäsitteiden merkitys liittyy siihen, mitä aktuaalisessa maailmassa tapahtuu eri ajanhetkinä. Aristoteleella modaalikäsitteiden statistinen tulkinta käytössä erityisesti käsiteltäessä ikuisia olioita, asioiden luontoa, tapahtumatyyppejä ja yleisiä periaatteita Diodoros Kronos (300-luvun loppu) ja Mestariargumentti (Ks. Arthur Prior 1957, 86 88; 1967, 32 34, Hintikka 1973, , von Wright 1979.) "Diodoros Kronos on merkittävä hahmo modaalilogiikan historiassa. Pyrkiessään määrittelemään modaalikäsitteet eli mahdollisen, välttämättömän ja mahdottoman Diodoros Kronos 2 Diodoros Kronos 3... hän esitti kuuluisan ns. Mestariargumentin, jonka yksityiskohdista on käyty laajoja kiistoja mutta jonka perusrakenne on yksinkertainen. Sen mukaan seuraavat kolme lausetta ovat ristiriitaiset: Jokainen mennyttä koskeva tosiseikka on välttämätön; 2. Mitään mahdotonta ei seuraa siitä, mikä on mahdollista; ja 3. On jotakin, joka on mahdollista, mutta jota ei ole eikä koskaan tule olemaan Diodoros Kronos 4 Diodoros Kronos 5... Diodoros hyväksyi näistä lauseista kaksi ensimmäistä mutta katsoi niiden osoittavan kolmannen epätodeksi. Mestariargumentin pohjalta Diodoros määritteli mahdolliseksi sen, joka joko on tai tulee olemaan, mahdottomaksi sen, joka on epätotta eikä siksi voi tulla todeksi, välttämättömäksi sen, joka on totta eikä siksi voi tulla epätodeksi. (Thesleff ja Sihvola 1994, 218.)
6 Duns Scotus (n ) Duns Scotus 2 Aristoteelinen tulkinta vallitsevana 1300-luvulle asti luvulla ajatus välttämättömästä maailmasta alkaa muuttua teologisten ajatusten vaikutuksesta Duns Scotus 3 Maailma on luotu, se ei ole ikuinen siinä merkityksessä kuin Jumala on ikuinen. Simo Knuuttilan mukaan Duns Scotus liitti tuolloin modaalikäsitteisiin ensimmäisen kerran vaihtoehtoiset samanaikaiset toteutumattomat asiaintilat (ks. esim. Knuuttila 1998). Duns Scotus 4 Duns Scotukselle Jumala on ääretön ymmärrys, joka kykenee ajattelemaan samanaikaisesti kaikkia mahdollisia maailmoja eli kaikkien sellaisten olioiden kuvauksia, jotka eivät sisällä loogista ristiriitaa Duns Scotus 5 Gottfried Wilhelm Leibniz ( ) Tästä joukosta Jumala valitsee jonkun/joitakin ja luo sen/ne. Näin ollen maailma on kontingentti, koska se on vain yksi valittu mahdollinen maailma
7 Leibniz 2 Leibnizia totuttu pitämään mahdollisen maailman idean isänä. Niin Aristoteleen kuin Leibnizinkin logiikankäsitysten tulkintaa vaikeuttaa niiden syvällinen yhteys heidän metafyysisiin näkemyksiinsä. Leibniz 3 Leibniz määrittelee kontingenssin ja välttämättömyyden seuraavasti: Lause on kontingentti, jos se riippuu siitä, miten aktuaalinen maailma on. Lause on välttämätön, jos se on tosi kaikissa mahdollisissa maailmoissa; ts. jos sen totuus ei riipu siitä, mikä mahdollisista maailmoista on aktuaalinen Seuraavaksi: Historiaa v Copelandin artikkelin mukaan 1900-luvun alussa epäilevä suhtautuminen intensionaaliseen logiikkaan. kehitys: mm. Wittgenstein (Tractatus , 4.41, 4.46), Carnap (tilakuvaus) ), von Wright
Ilpo Halonen Luonnehdintoja logiikasta 12 KIRJALLISUUTTA. Loppukurssin ohjelma. Luonnehdintoja logiikasta 1. Johdatus logiikkaan
Luonnehdintoja logiikasta 1 Johdatus logiikkaan Ilpo Halonen Syksy 2005 ilpo.halonen@helsinki.fi Filosofian laitos Humanistinen tiedekunta "Logiikka on itse asiassa tiede, johon sisältyy runsaasti mielenkiintoisia
LisätiedotIlpo Halonen 2005. Luonnehdintoja logiikasta 11. Poikkeavista logiikoista. Poikkeavista logiikoista 2. Poikkeavista logiikoista 3. Johdatus logiikkaan
Luonnehdintoja logiikasta 11 Johdatus logiikkaan Ilpo Halonen Syksy 2005 ilpo.halonen@helsinki.fi Filosofian laitos Humanistinen tiedekunta Modaalilogiikan renessanssi ja sille sukua olevien loogisten
LisätiedotMahdollisten maailmojen semantiikan synty ja kehitys
Mahdollisten maailmojen semantiikan synty ja kehitys (Fte264/265, Kf330n) FT Ilpo Halonen to klo 12-14 S20A sh 303 1. luento 20.1.2005 Luento 1 20.1.2005 Motto 1 Voimmeko aina lähestyä aktuaalista maailmaamme
LisätiedotMahdollisten maailmojen. semantiikan synty ja kehitys
Mahdollisten maailmojen semantiikan synty ja kehitys (Fte264/265, Kf330n) FT Ilpo Halonen to klo 12-14 S20A sh 303 8. luento 17.3.2005 Aikataulu: SEURAAVAT LUENNOT 7.4. ja 14.4. Propositionaalisista asenteista
LisätiedotMahdollisten maailmojen. semantiikan synty ja kehitys. Aikataulu: Propositionaalisten asenteiden logiikasta 1. Mahdollisten maailmojen
Mahdollisten maailmojen semantiikan synty ja kehitys (Fte264/265, Kf330n) FT Ilpo Halonen to klo 12-14 S20A sh 303 9. luento 7.4.2005 Aikataulu: VIIMEINEN LUENTO 14.4. Sovelluksista ja viimeaikaisesta
LisätiedotMahdollisten maailmojen semantiikan synty ja kehitys
Mahdollisten maailmojen semantiikan synty ja kehitys (Fte264/265, Kf330n) FT Ilpo Halonen to klo 12-14 S20A sh 303 3. luento 3.2.2005 Mottoja Wittgensteinilta 1 Lauseet osoittavat, mitä ne sanovat. Tautologia
LisätiedotMahdollisten maailmojen semantiikan synty ja kehitys
Mahdollisten maailmojen semantiikan synty ja kehitys (Fte264/265, Kf330n) FT Ilpo Halonen, versio 2 Päivitetty 21.02.2005 Kurssin oheiskirjallisuutena käytetään mm. seuraavia artikkeleita, jotka myös tentitään
LisätiedotMahdollisten maailmojen. semantiikan synty ja kehitys. Mahdollisten maailmojen KIRJALLISUUTTA 2 KIRJALLISUUTTA 1 KIRJALLISUUTTA 3 KIRJALLISUUTTA 4
Mahdollisten maailmojen semantiikan synty ja kehitys (Fte264/265, Kf330n) FT Ilpo Halonen to klo 12-14 S20A sh 303 4. luento 10.2.2005 Mahdollisten maailmojen semantiikan synty ja kehitys Kurssimateriaali
LisätiedotMahdollisten maailmojen semantiikan synty ja kehitys
Mahdollisten maailmojen semantiikan synty ja kehitys (Fte264/265, Kf330n) FT Ilpo Halonen KIRJALLISUUTTA, versio 3 Päivitetty 18.04.2005 KIRJALLISUUTTA 1 Kurssin oheiskirjallisuutena käytetään mm. seuraavia
Lisätiedotja muutamia muita siihen liittyviä termejä TIETEEN TERMIPANKKI Implikaation määritelmä termipankissa
Implikaatio ja muutamia muita siihen liittyviä termejä TOMMI VEHKAVAARA TAMPEREEN YLIOPISTO TIETEEN TERMIPANKKI 1 Implikaation määritelmä termipankissa Määritelmä 1. väitteen seurauslause tai siitä tavallisen
LisätiedotTieteenfilosofia 2/4. Heikki J. Koskinen, FT, Dos. Helsingin yliopisto / Suomen Akatemia
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
LisätiedotTietämisestä ja uskomisesta
Tietämisestä ja uskomisesta MS-E2142 Optimointiopin seminaari: Peliteoria ja tekoäly 23112016 Kasper Apajalahti Sisältö Johdanto Tietämys Arvoitus: mutaiset lapset Partitiomalli (partition model) Mutaiset
LisätiedotJohdatus modaalilogiikkaan. Veikko Rantala Ari Virtanen
Johdatus modaalilogiikkaan Veikko Rantala Ari Virtanen 1 Sisältö 1 Johdanto 4 1.1 Modaalioperaattoreita............................. 4 1.2 Mahdollisen maailman käsitteestä....................... 6 1.3
LisätiedotKristuksen kaksiluonto-oppi
Kristuksen kaksiluonto-oppi Katolinen kirkko muotoili kolminaisuusopin 300- ja 400-luvuilla ja täydensi sitä Kristuksen kaksiluonto-opilla Khalkedonin kirkolliskokouksessa vuonna 451. Kirkolla on ollut
LisätiedotKeskustelu Simo Knuuttilan kanssa Jumalasta, logiikasta ja rakkaudesta
Keskustelu Simo Knuuttilan kanssa Jumalasta, logiikasta ja rakkaudesta Miten käyttämämme käsitteet ovat muuttuneet historian saatossa? Entä onko käsityksemme tunteista pysynyt samana halki vuosisatojen?
LisätiedotT kevät 2007 Laskennallisen logiikan jatkokurssi Laskuharjoitus 1 Ratkaisut
T-79.5101 kevät 2007 Laskennallisen logiikan jatkokurssi Laskuharjoitus 1 Ratkaisut 1. Jokaiselle toteutuvalle lauselogiikan lauseelle voidaan etsiä malli taulumenetelmällä merkitsemällä lause taulun juureen
LisätiedotKIRJALLISUUTTA 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Äärellisen mallin ominaisuus filtraation kautta
TAMPEREEN YLIOPISTO Pro gradu -tutkielma Johanna Savolainen Äärellisen mallin ominaisuus filtraation kautta Informaatiotieteiden yksikkö Matematiikka Huhtikuu 2012 Tampereen yliopisto Informaatiotieteiden
LisätiedotMahdollisten maailmojen. semantiikan synty ja kehitys. ((p q) r) (r ( p q)) is written CCApqNrCrKNpNq. Aikataulu: Mahdollisten maailmojen
Mahdollisten maailmojen semantiikan synty ja kehitys (Fte264/265, Kf330n) FT Ilpo Halonen to klo 12-14 S20A sh 303 7. luento 3.3.2005 Aikataulu: SEURAAVAT LUENNOT 17.3., 7.4. ja 14.4. Deonttisesta logiikasta,
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 -mustavalkoinen: asia joko on tai ei (vrt. humanistiset tieteet, ei
LisätiedotFI3 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ätiedotPropositionaalinen dynaaminen logiikka
TAMPEREEN YLIOPISTO Pro gradu -tutkielma Saana Isoaho Propositionaalinen dynaaminen logiikka Matematiikan ja tilastotieteen laitos Matematiikka Kesäkuu 2010 Tampereen yliopisto Matematiikan ja tilastotieteen
LisätiedotBisimulaatio modaalilogiikassa
Bisimulaatio modaalilogiikassa Tuomo Lempiäinen Kandidaatintutkielma Maaliskuu 2013 Matematiikan ja tilastotieteen laitos Helsingin yliopisto Sisältö 1 Johdanto 2 2 Modaalilogiikan perusteet 3 2.1 Syntaksi..............................
LisätiedotIlpo 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ätiedotMitä 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ätiedotPropositionaalisten asenteiden logiikka
Propositionaalisten asenteiden logiikka Tuomo Aho 1 Alkuperäinen modaalilogiikka oli nimenomaan välttämättömyyden ja mahdollisuuden logiikkaa. Niinpä edellä on annettu formaalisen operaattorin tulkinnaksi
LisätiedotEsimerkkimodaalilogiikkoja
/ Kevät 2005 ML-4 1 Esimerkkimodaalilogiikkoja / Kevät 2005 ML-4 3 Käsitellään esimerkkeinä kehyslogiikkoja Valitaan joukko L kehyksiä S, R (tyypillisesti antamalla relaatiolle R jokin ominaisuus; esim.
LisätiedotMahdollisten maailmojen. semantiikan synty ja kehitys. Mahdollisten maailmojen KIRJALLISUUTTA 2 KIRJALLISUUTTA 1 KIRJALLISUUTTA 3 KIRJALLISUUTTA 4
Mahdollisten maailmojen semantiikan synty ja kehitys (Fte264/265, Kf330n) FT Ilpo Halonen to klo 12-14 S20A sh 303 5. luento 17.2.2005 Mahdollisten maailmojen semantiikan synty ja kehitys Kurssimateriaali
LisätiedotM a h d o l l i s u u s. Toimittaneet Ilkka Niiniluoto Tuomas Tahko Teemu Toppinen
M a h d o l l i s u u s Toimittaneet Ilkka Niiniluoto Tuomas Tahko Teemu Toppinen Suomen Filosofinen Yhdistys (SFY) Filosofiska Föreningen i Finland Philosophical Society of Finland Societas Philosophica
LisätiedotFILOSOFIAN KUOHUVAT VUODET KATSAUS 1900-LUVUN ALUN FILOSOFIAAN SIRKKU IKONEN
FILOSOFIAN KUOHUVAT VUODET KATSAUS 1900-LUVUN ALUN FILOSOFIAAN SIRKKU IKONEN 27.10. Miten tietoisuus rakentuu? Husserlin fenomenologiaa 3.11. Elämänfilosofian nousu ja tuho 10.11. Mitä on inhimillinen
LisätiedotSuomalaisen Tiedeakatemian kunniajäsen,
Jaakko Hintikka *12.1.1929 12.8.2015 Suomalaisen Tiedeakatemian kunniajäsen, filosofisen logiikan kansainvälinen uranuurtaja Kaarlo Jaakko Juhani Hintikka kuoli 86-vuotiaana lyhyen sairauden jälkeen Porvoossa
LisätiedotAika ja ajattomuus Simo Knuuttila
Aika ja ajattomuus Simo Knuuttila Ajatteluperinteemme suosittaa, että todellista on ainakin se, minkä kanssa olemme välittömästi tekemisissä. Kuinka välitön on varmasti jotakin, mikä on, voi kysyä. Se
LisätiedotTieteenfilosofia 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ätiedotLAUSELOGIIKKA (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ätiedotTietoteoria. 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ätiedotMahdollisuus, välttämättömyys ja luodut ikuiset totuudet Descartesin filosofiassa
Mahdollisuus, välttämättömyys ja luodut ikuiset totuudet Descartesin filosofiassa JAN FORSMAN Tässä artikkelissa käsittelen Descartesin ikuisten totuuksien välttämättömyyteen liittyvää ongelmaa. Teoksessa
LisätiedotKielellisten merkitysten tilastollinen ja psykologinen luonne: Kognitiivisia ja filosofisia näkökulmia. Timo Honkela.
Kielellisten merkitysten tilastollinen ja psykologinen luonne: Kognitiivisia ja filosofisia näkökulmia Timo Honkela timo.honkela@helsinki.fi Helsingin yliopisto 29.3.2017 Merkityksen teoriasta Minkälaisista
LisätiedotChalmers, semantiikka ja välttämättömyys
Ilmestynyt teoksessa: Niiniluoto, Tuomas & Toppinen (toim.) Mahdollisuus, 2016. Chalmers, semantiikka ja välttämättömyys Panu Raatikainen Tampereen yliopisto Kielifilosofiassa on 2000-luvulla saanut paljon
LisätiedotInsinöörimatematiikka A
Insinöörimatematiikka A Mika Hirvensalo mikhirve@utu.fi Matematiikan ja tilastotieteen laitos Turun yliopisto 2018 Mika Hirvensalo mikhirve@utu.fi Luentoruudut 3 1 of 23 Kertausta Määritelmä Predikaattilogiikan
LisätiedotRobert Koonsin mereologinen kosmologinen argumentti
Robert Koonsin mereologinen kosmologinen argumentti Miika Sarkkinen Uskonnonfilosofian pro gradu -tutkielma Ohjaaja: Timo Koistinen Huhtikuu 2016 2 HELSINGIN YLIOPISTO HELSINGFORS UNIVERSITET Tiedekunta/Osasto
LisätiedotTuomas Akvinolainen, Summa theologiae I, q. 14, a. 8 ja a. 13. Suomennos Toivo Holopainen 2016 KVESTIO 14 JUMALAN TIETO
, a. 8 ja a. 13 Suomennos Toivo Holopainen 2016 KVESTIO 14 JUMALAN TIETO Jumalan substanssiin liittyvien asioiden [q. 3 13] jälkeen on tarkasteltava hänen toimintaansa (operatio) liittyviä asioita. Koska
LisätiedotJohdatus modaalilogiikkaan
Johdatus modaalilogiikkaan harjoitustehtävien ratkaisuja Vastausten laatimiseen ovat osallistuneet Jukka Ilmonen, Aatu Koskensilta, Renne Pesonen, Ari Virtanen ja Veikko Rantala. 1. Vastaavasti: A ei ole
LisätiedotDeonttisesta logiikasta. Heikki-Pekka Innala, Veikko Rantala, Ari Virtanen
Deonttisesta logiikasta Heikki-Pekka Innala, Veikko Rantala, Ari Virtanen 7. helmikuuta 2004 1 Deonttinen logiikka on laajasti ymmärrettynä normatiivisen kielenkäytön loogista tutkimista. Sen kohteena
LisätiedotTieteenfilosofia 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ätiedot5 asiaa, jotka sinun on hyvä tietää sinun aivoista
5 asiaa, jotka sinun on hyvä tietää sinun aivoista VILMA HEISKANEN 26.11.2014 Lähde: http://powerofpositivity.com/5-things-must-know-mind/ Puhu parin kanssa Lue parin kanssa aivoista Mitä ajattelet? Oletko
LisätiedotAika empiirisenä käsitteenä. FT Matias Slavov Filosofian yliopistonopettaja Jyväskylän yliopisto
Aika empiirisenä käsitteenä FT Matias Slavov Filosofian yliopistonopettaja Jyväskylän yliopisto Luonnonfilosofian seuran kokous 7.3.2017 Esitelmän kysymys ja tavoite: Pääkysymys: Onko aika empiirinen käsite?
LisätiedotTieteenfilosofia 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ätiedotEskatologia. Oppi lopusta
Eskatologia Oppi lopusta ta eskhata = viimeiset ajat/tapahtumat Oppi lopusta ja maailmankaikkeuden päätöksestä Ihmisen kuolema = oman elämän eskatologinen loppu Maailmanloppu koko todellisuuden eskatologinen
LisätiedotTiede ja usko kaksi kieltä, yksi todellisuus?
Tiede ja usko kaksi kieltä, yksi todellisuus? Uskon ja tieteen vuorovaikutusmallit Neljä vuorovaikutusmallia eli tapaa ymmärtää uskon ja tieteen suhde 1. Konflikti 2. Erillisyys 3. Dialogi 4. Yhteneväisyys
LisätiedotFarmaseuttinen etiikka. Luento 1. Farmasian tdk VTM Markus Neuvonen
Farmaseuttinen etiikka Luento 1. Farmasian tdk. 29.10. VTM Markus Neuvonen markus.neuvonen@helsinki.fi http://blogs.helsinki.fi/amoneuvo Keskustelutehtävä 2 Lyhyt katsaus kurssin sisältöihin Etiikka 1.
LisätiedotTodistusmenetelmiä Miksi pitää todistaa?
Todistusmenetelmiä Miksi pitää todistaa? LUKUTEORIA JA TO- DISTAMINEN, MAA11 Todistus on looginen päättelyketju, jossa oletuksista, määritelmistä, aksioomeista sekä aiemmin todistetuista tuloksista lähtien
LisätiedotVektoreiden virittämä aliavaruus
Vektoreiden virittämä aliavaruus Määritelmä Oletetaan, että v 1, v 2,... v k R n. Näiden vektoreiden virittämä aliavaruus span( v 1, v 2,... v k ) tarkoittaa kyseisten vektoreiden kaikkien lineaarikombinaatioiden
LisätiedotLoogiset 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ätiedotKant Arvostelmia. Informaatioajan Filosofian kurssin essee. Otto Opiskelija 65041E
Kant Arvostelmia Informaatioajan Filosofian kurssin essee Otto Opiskelija 65041E David Humen radikaalit näkemykset kausaaliudesta ja siitä johdetut ajatukset metafysiikan olemuksesta (tai pikemminkin olemattomuudesta)
LisätiedotApprobatur 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ätiedotJohdatus 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ätiedotLOGIIKKA johdantoa
LOGIIKKA johdantoa LUKUTEORIA JA TO- DISTAMINEN, MAA11 Logiikan tehtävä: Logiikka tutkii ajattelun ja päättelyn sääntöjä ja muodollisten päättelyiden oikeellisuutta, ja pyrkii erottamaan oikeat päättelyt
Lisätiedot2. Teologia ja tiede. Tiede ja uskonto
2. Teologia ja tiede akateeminen ja kirkollinen teologia perinteinen teologia esim. Augustinus, Luther yliopistot kristillisten hallitsijoiden palveluksessa 13 Tiede ja uskonto uskonto tieteen näkökulmasta
LisätiedotFilosofian historia: 1900-luku
Filosofian historia: 1900-luku 23.2.2010 Bertie (1) Bertrand Russell (1872-1970) Kolmas Russellin jaarli The Principles of Mathematics (1903) On Denoting (1905) Mathematical Logic as Based on the Theory
LisätiedotViimeisenä kuolee toivo
HELSINGIN YLIOPISTO Julkaistu oikeudenhaltijoiden luvalla. Ei saa kopioida, levittää tai saattaa muuten yleisön saataviin ilman eri lupaa. Ei saa tallentaa pysyvästi omalle tietokoneelle. Opiskelua, opettamista
LisätiedotVerbin valenssi määrää, minkälaisia argumentteja ja komplementteja verbi odottaa saavansa millaisissa lauseissa verbi voi esiintyä.
Valenssista Valenssi saksalaisessa ja venäläisessä kieliopintutkimuksessa käytetty nimitys, joka tavallisesti tarkoittaa verbin ominaisuutta: sitä, kuinka monta ja millaisia nomineja obligatorisesti ja
LisätiedotMahdollisten maailmojen. semantiikan synty ja kehitys. Mahdollisten maailmojen. Suorittaminen 1. Suorittaminen 2
Mahdollisten maailmojen semantiikan synty ja kehitys (Fte264/265, Kf330n) FT Ilpo Halonen to klo 12-14 S20A sh 303 10. luento 14.4.2005 Mahdollisten maailmojen semantiikan synty ja kehitys Kurssimateriaali
Lisätiedotmissä 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ätiedotLuento 3: Volitionismi ja yrittämisteoriat
Luento 3: Volitionismi ja yrittämisteoriat Tässä käsiteltäviä teorioita yhdistää ajatus siitä, että intentionaalisia tekoja luonnehtii yhteys nk. volitioon (volition) tai yrittämiseen (trying), joka ei
LisätiedotOhjelmistotekniikan menetelmät, luokkamallin laatiminen
582101 - Ohjelmistotekniikan menetelmät, luokkamallin laatiminen 1 Lähestymistapoja Kokonaisvaltainen lähestymistapa (top-down) etsitään kerralla koko kohdealuetta kuvaavaa mallia hankalaa, jos kohdealue
LisätiedotKieli merkitys ja logiikka
Luento 8 Kieli merkitys ja logiikka Luento 8: Merkitys ja logiikka Luku 10: Luennon 7 kertaus: propositiologiikka predikaattilogiikka Kvanttorit ja looginen muoto Määritelmät, analyyttisyys ja synteettisyys
Lisätiedot6. Differentiaaliyhtälösysteemien laadullista teoriaa.
1 MAT-13450 LAAJA MATEMATIIKKA 5 Tampereen teknillinen yliopisto Risto Silvennoinen Kevät 2010 6. Differentiaaliyhtälösysteemien laadullista teoriaa. Olemme keskittyneet tässä kurssissa ensimmäisen kertaluvun
LisätiedotKäsitteistä. Reliabiliteetti, validiteetti ja yleistäminen. Reliabiliteetti. Reliabiliteetti ja validiteetti
Käsitteistä Reliabiliteetti, validiteetti ja yleistäminen KE 62 Ilpo Koskinen 28.11.05 empiirisessä tutkimuksessa puhutaan peruskurssien jälkeen harvoin "todesta" ja "väärästä" tiedosta (tai näiden modernimmista
LisätiedotEettisten 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ätiedotMikä 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ätiedotIlpo Halonen Aristoteleesta uuteen retoriikkaan LISÄÄ KIRJALLISUUTTA. Retoriikan synty (1/4): LISÄÄ KIRJALLISUUTTA. Retoriikan synty (3/4):
6. Aristoteleesta uuteen retoriikkaan KIRJALLISUUTTA: Aristoteles, Retoriikka. Runousoppi. Teokset IX, Gaudeamus, Helsinki 1997. Kakkuri-Knuuttila, Marja-Liisa, Puhetaito, Helsingin Kauppakorkeakoulun
LisätiedotSuhteutuvuus ja sen seurauksia
Suhteutuvuus ja sen seurauksia 11. marraskuuta 2009 Tiivistelmä Tässä artikkelissa määritellään analyyttisesti tiettyjä termejä, jotka liittyvät käsitteiden merkityksiin, osoitetaan että tiettyjä käsitteitä
Lisätiedot5.1 Semanttisten puiden muodostaminen
Luku 5 SEMNTTISET PUUT 51 Semanttisten puiden muodostaminen Esimerkki 80 Tarkastellaan kysymystä, onko kaava = (( p 0 p 1 ) (p 1 p 2 )) toteutuva Tätä voidaan tutkia päättelemällä semanttisesti seuraavaan
LisätiedotLogiikka matematiikassa ja filosofiassa Hintikan tapaan
ristiriidattomuuden ja täydellisyyden käsitteleminen edellyttäisi metatason mahdollisuutta eli mahdollisuutta tarkastella järjestelmää sen itsensä ulkopuolelta. Mutta universalistien mukaan mitään tällaista
LisätiedotTaulumenetelmä modaalilogiikalle K
/ Kevät 2004 ML-6 1 Taulumenetelmä modaalilogiikalle On vaikeaa löytää Hilbert-tyylisiä todistuksia: Käytössä Modus Ponens -sääntö: jotta voidaan johtaa Q, täytyy johtaa P ja P Q. Mutta mikä on sopiva
LisätiedotMerkitys, totuus ja kielto
Ilmestynyt teoksessa Heta Gylling, S. Albert Kivinen & Risto Vilkko (eds.) Kielto (Yliopistopaino) Merkitys, totuus ja kielto Panu Raatikainen Filosofisessa merkitysteoriassa asetetaan usein vastatusten
LisätiedotLuku 1 Johdatus yhtälöihin
Luku 1 Johdatus yhtälöihin 1.1 Mikä on yhtälö? Tunnin rakenne: - Yhtälön rakenne ja tunnistaminen (tehtävä 1) ja yhtälön ja lausekkeen vertailua (n. 10min) - Yhtälö väitteenä Jokeri 3 (n. 30 min) - Tunnin
LisätiedotMS-A0102 Differentiaali- ja integraalilaskenta 1
MS-A0102 Differentiaali- ja integraalilaskenta 1 Riikka Korte (Pekka Alestalon kalvojen pohjalta) Aalto-yliopisto 24.10.2016 Sisältö Käytännön asiat Jonot Sarjat 1.1 Opettajat luennoitsija Riikka Korte
LisätiedotLogiikan kertausta. TIE303 Formaalit menetelmät, kevät Antti-Juhani Kaijanaho. Jyväskylän yliopisto Tietotekniikan laitos.
TIE303 Formaalit menetelmät, kevät 2005 Logiikan kertausta Antti-Juhani Kaijanaho antkaij@mit.jyu.fi Jyväskylän yliopisto Tietotekniikan laitos TIE303 Formaalit mentetelmät, 2005-01-27 p. 1/17 Luento2Luentomoniste
LisätiedotIlpo 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ätiedotJohdatus matematiikkaan
Johdatus matematiikkaan Luento 7 Mikko Salo 11.9.2017 Sisältö 1. Funktioista 2. Joukkojen mahtavuus Funktioista Lukiomatematiikassa on käsitelty reaalimuuttujan funktioita (polynomi / trigonometriset /
LisätiedotKieli merkitys ja logiikka. Luento 6: Merkitys ja kieli
Kieli merkitys ja logiikka Luento 6: Merkitys ja kieli Merkitys ja kieli Merkitys ja kieli Sanat ja käsitteet Kompositionaalisuus Propositiologiikka Kysymykset Merkityksen luonne Miten ihminen hahmottaa
LisätiedotMiksi olette tällä kurssilla?
Miksi olette tällä kurssilla? Tämän vuoden peruskurssit Ideat ja aatevirtaukset (I & II & III periodi) Politiikka ja diplomatia (II periodi) Kulttuuri ja yhteiskunta (II periodi) Talous ja talouspolitiikka
LisätiedotJohdatus matematiikkaan
Johdatus matematiikkaan Luento 3 Mikko Salo 1.9.2017 Sisältö 1. Logiikasta 2. Suora ja epäsuora todistus 3. Jaollisuus ja alkuluvut Todistus Tähän asti esitetyt todistukset ovat olleet esimerkinomaisia.
LisätiedotKompleksisuus ja kuntien kehittäminen
Kompleksisuus ja kuntien kehittäminen Kuntatutkijoiden seminaari 25.5.2011, Lapin yliopisto, Rovaniemi Pasi-Heikki Rannisto, HT Tampereen yliopisto Haasteita johtamiselle ja johtamisteorioille Miksi ennustaminen
Lisätiedot1 Logiikkaa. 1.1 Logiikan symbolit
1 Logiikkaa Tieteessä ja jokapäiväisessä elämässä joudutaan tekemään päätelmiä. Logiikassa tutkimuskohteena on juuri päättelyt. Sen sijaan päätelmien sisältöön ei niinkäään kiinnitetä huomiota. Päätelmät
LisätiedotWittgensteinin perusajatus (4.0312) kielen ja todellisuuden totuus- ja todistusteoreettisen suhteen ilmaisuna.
Wittgensteinin perusajatus (4.0312) kielen ja todellisuuden totuus- ja todistusteoreettisen suhteen ilmaisuna. - Kuvateorian totuus- ja todistusteoreettinen tulkinta. S I S Ä L L Y S Tiivistelmä 1. Johdanto.....
LisätiedotRatkaisu: Käytetään induktiota propositiolauseen A rakenteen suhteen. Alkuaskel. A = p i jollain i N. Koska v(p i ) = 1 kaikilla i N, saadaan
HY / Matematiikan ja tilastotieteen laitos Johdatus logiikkaan I, syksy 2018 Harjoitus 2 Ratkaisuehdotukset 1. Olkoon totuusjakauma v sellainen että v(p i ) = 1 kaikilla i N ja A propositiolause, jossa
LisätiedotMahdollisten maailmojen. semantiikan synty ja kehitys. ((p q) r) (r ( p q)) is written CCApqNrCrKNpNq. Mahdollisten maailmojen. Puolalainen notaatio 2
Mahdollisten maailmojen semantiikan synty ja kehitys (Fte264/265, Kf330n) FT Ilpo Halonen to klo 12-14 S20A sh 303 6. luento 24.2.2005 Mahdollisten maailmojen semantiikan synty ja kehitys Kurssimateriaali
LisätiedotAloitus. TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho. 14. maaliskuuta 2011 TIETOTEKNIIKAN LAITOS. Aloitus.
TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 14. maaliskuuta 2011 Sisällys Sisällys Kurssin käytännöt Kurssin sivuilla http://users.jyu.fi/~antkaij/opetus/auki/2011/
LisätiedotKirkko ja tieteellinen maailmankuva. Arkkipiispa Tapio Luoma
Kirkko ja tieteellinen maailmankuva Arkkipiispa Tapio Luoma 15.3.2019 Maailmankuva Luontoa, ihmistä ja yhteiskuntaa koskevien oletusten tai tietojen systemaattista kokonaisuutta kutsutaan maailmankuvaksi.
LisätiedotYhden versus monen maailman filosofit. Ahti-Veikko Pietarinen Filosofian laitos Helsingin yliopisto
Yhden versus monen maailman filosofit Ahti-Veikko Pietarinen Filosofian laitos Helsingin yliopisto Jako yhden ja monen maailman välille on tuttu osa sitä yleistä jaottelua, jonka Jean van Heijenoort ja
Lisätiedot13. Loogiset operaatiot 13.1
13. Loogiset operaatiot 13.1 Sisällys Loogiset operaatiot AND, OR, XOR ja NOT. Operaatioiden ehdollisuus. Bittioperaatiot. Loogiset operaatiot ohjausrakenteissa. Loogiset operaatiot ja laskentajärjestys.
Lisätiedotb) 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ätiedotSokrates. Sokrates. 469 399 eaa. 469 399 ekr
Sokrates 469 399 eaa Sokrates 469 399 ekr tunnetaan ennen kaikkea Platonin dialogeista; muut lähteet: Xenefonin kirjoitukset, eräät Aristoteleen lausumat, Aristofanesin farssi Pilvet Sokrates vastusti:
LisätiedotTaiteen ja sosiaalityön rajalla. Arja Honkakoski
Taiteen ja sosiaalityön rajalla Aikuissosiaalityön i i päivät ä 18.-19.1.201119 1 Työryhmä 19.1.2011: Taiteen avaamat mahdollisuudet d sosiaalityössä Arja Honkakoski Mahdollisuus enemmän kuin todellisuus?
LisätiedotPikapaketti 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ätiedotLöydätkö tien. taivaaseen?
Löydätkö tien taivaaseen? OLETKO KOSKAAN EKSYNYT? LÄHDITKÖ KULKEMAAN VÄÄRÄÄ TIETÄ? Jos olet väärällä tiellä, et voi löytää perille. Jumala kertoo Raamatussa, miten löydät tien taivaaseen. Jumala on luonut
LisätiedotOnko kuvaukset injektioita? Ovatko ne surjektioita? Bijektioita?
Matematiikkaa kaikille, kesä 2017 Avoin yliopisto Luentojen 2,4 ja 6 tehtäviä Päivittyy kurssin aikana 1. Olkoon A = {0, 1, 2}, B = {1, 2, 3} ja C = {2, 3, 4}. Luettele joukkojen A B, A B, A B ja (A B)
Lisätiedotluvun teologiaa
6. 1300-1400 luvun teologiaa 1500-l alussa: via antiqua / via moderna yliopistofilosofian ja -teologian keskeinen koulukuntajako eroja: auktoriteetit via antiqualla: Albert + albertistit tai Akvinolainen
Lisätiedot