Mahdollisten maailmojen. semantiikan synty ja kehitys. Aikataulu: Propositionaalisten asenteiden logiikasta 1. Mahdollisten maailmojen
|
|
- Raili Penttilä
- 7 vuotta sitten
- Katselukertoja:
Transkriptio
1 Mahdollisten maailmojen semantiikan synty ja kehitys (Fte264/265, Kf330n) FT Ilpo Halonen to klo S20A sh luento Aikataulu: VIIMEINEN LUENTO Sovelluksista ja viimeaikaisesta kehityksestä 2 Mahdollisten maailmojen semantiikan synty ja kehitys Kurssimateriaali löytyy myös internetistä osoitteesta sekä Philosophica-kirjastosta. Materiaali on pääosin pdf-muodossa. Tarvittavan ilmaisen Adobe Reader - ohjelman voi ladata osoitteesta Propositionaalisten asenteiden logiikasta 1 Voimme kaikkiaan todeta, että asennelogiikka ei ole juuri tuottanut mielenkiintoisia loogisia teoreemoja. Sitä vastoin sen ehkä houkuttelevin sovellutus on ollut luonnollisen kielen asennelauseiden rekonstruoiminen eksaktimmalla kielellä, 3 4 Propositionaalisten asenteiden logiikasta 2 jotta niitä voidaan paremmin vertailla ja niiden hienorakennetta tutkia. Tämä rekonstruktio on usein yllättävän hankalaa, ja siihen tarvitaan kaikkia modaalisen predikaattilogiikan keinoja. (Aho 2004.) KIRJALLISUUTTA 1 Aikalogiikka: Copeland, B.J. (ed.) Logic and Reality: Essays on the Legacy of Arthur Prior. Oxford: Clarendon Press
2 KIRJALLISUUTTA 2 Prior, Arthur N., 1957, Time and Modality, Oxford University Press, Oxford. Prior, Arthur N., 1967, Past, Present and Future, Clarendon Press, Oxford. KIRJALLISUUTTA 3 Prior, Arthur N., Papers on Time and Tense, Clarendon Press, Oxford. (New Edition, Hasle Per et al. (eds.), Oxford University Press, Oxford 2003.) Prior, Arthur N. 1977, Worlds, Times and Selves. London: Duckworth. (Edited by Fine, K.) 7 8 KIRJALLISUUTTA 4 KIRJALLISUUTTA 5 Tulenheimo, Tero 2004a, Independence- Friendly Modal Logic. Studies in its Expressive Power and Theoretical Relevance, Helsinki. Tulenheimo, Tero 2004b, Aikalogiikan alkeita, internet osoitteessa /kev2004/aikalogiikka.pdf van Benthem, J. F. A. K. 1977, "Tense Logic and Standard Logic, Logique et Analyse 80, van Benthem, J. F. A. K. 1982, The Logic of Time, Reidel, Dordrecht. van Benthem, Johan 1984, "Tense Logic and Time, Notre Dame Journal of Formal Logic 25, KIRJALLISUUTTA 6 KIRJALLISUUTTA 7 Propositionaaliset asenteet: Aho, Tuomo 1987, Kuvittelemisesta ja sen logiikasta, lisensiaatintutkimus, Filosofian laitos, Helsingin yliopisto. Aho, Tuomo 1994, On the Possibility of Attitude Logic, Acta Philosophica Fennica 57, Helsinki. Aho, Tuomo 2003, Propositional Attitudes, teoksessa Haaparanta Leila & Ilkka Niiniluoto (eds.), Analytic Philosophy in Finland, Poznan Studies in the Philosophy of the Sciences and the Humanities Volume 80, 2003, (Myös internet-osoitteessa siis koko kirja! content/rodopi/pozs)
3 KIRJALLISUUTTA 8 Aho, Tuomo 2004, Propositionaaisten asenteiden logiikka, internet-osoitteessa < episteeminen.pdf> Hintikka, Jaakko 1962, Knowledge and Belief. An Introduction to the Logic of the Two Notions, Cornell University Press, Ithaca (NY). KIRJALLISUUTTA 10 Hintikka Jaakko 1969, Models for Modalities. Reidel, Dordrecht. Hintikka Jaakko 1975, The Intentions of Intentionality and Other New Models for Modalities, Reidel, Dordrecht KIRJALLISUUTTA 11 KIRJALLISUUTTA 12 Hintikka Jaakko 1982, Kieli ja mieli: katsauksia kielifilosofiaan ja merkityksen teoriaan, Helsinki, Otava. Hintikka, Jaakko & Merril B. Hintikka 1989, The Logic of Epistemology and the Epistemology of Logic, Kluwer Academic Publishers, Dordrecht. Hintikka, Jaakko & Ilpo Halonen 1998, Epistemic logic, in E. Craig (ed.), Routledge Encyclopedia of Philosophy, Routledge, London. Retrieved April 07, 2005, from < /P015> KIRJALLISUUTTA 13 KIRJALLISUUTTA 14 Niiniluoto, llkka 1979, Knowing that One Sees, in Saarinen Esa et al. (eds.)1979, Essays in Honour of Jaakko Hintikka, Reidel, Dordrecht. Niiniluoto, llkka 1982, Remarks on the Logic of Perception, in Niiniluoto, Ilkka & Saarinen, Esa (eds.) 1982, Intensional Logic: Theory and Applications, Acta Philosophica Fennica 35, Helsinki. Niiniluoto, Ilkka 1983, On the Logic of Imagination, in Vexing Questions. An Urnful of Essays in Honour of Veikko Rantala on the Occasion of His Fiftieth Birthday, Reports from the Department of Philosophy 3/
4 Propositionaalisten asenteiden logiikasta Asenneoperaattoreita, joita kirjallisuudessa on käsitelty loogisesti: a tietää että A, eli K a A a uskoo että A, eli B a A a havaitsee että A, eli P a A a näkee että A, eli S a A Asenneoperaattoreita a tahtoo että A, eliw a A a muistaa että A, eli M a A a kuvittelee että A, eli I a A fiktioteoksessa E on A, eli Φ E A teorian T mukaan on A, eli B T A eli T(A) Eroja tavalliseen modaalilogiikkaan 1 Eroja tavalliseen modaalilogiikkaan 2 1. Asenteet ovat aina jonkun asenteita. asennelogiikassa lauseetvoivat vaihdella kolmen muuttujan suhteen: a tietää että A, a tietää että B,... a tietää että A, b tietää että A,... a tietää että A, a uskoo että A, Asenteen logiikassa näyttää olevan vain yksi operaattori (vrt. aleettiset ja deonttiset modaliteetit). 3. On olennaista, että asenteita on useanlaisia. (Tämä voi olla eräs seikka, joka erottaa ajattelijoita tietokoneista.) Eroja tavalliseen modaalilogiikkaan 3 Asennelogiikan uusia komponentteja 4. Asenteet voivat koskea asenteita (ja myös toisen subjektin asenteita), siis iteraatio on sallittava. se minkä joku tietää, on totta sen minkä joku tietää, hän uskoo Kaksi edellistä loogista periaatetta eivät kuulumuunlogiikanpiiriin: K a A A K a A B a A
5 Hintikan episteeminen logiikka 1962 Vuonna 1962 Hintikan episteeminen logiikka teoksessa Knowledge and Belief oli S4. Sen aksioomat olivat (T) KA A, (K) K(A B) (KA KB), ja (4) KA KKA ja päättelysäännöt (MP) ja (RN). Uskomisen logiikka Uskomisen logiikka oli yksinkertaisella tavalla sitä heikompi. Sen aksioomat olivat vain (K) B(A B) (BA BB), ja (4) BA BBA Loogisen kaikkitietävyyden ongelma Aksiooma (K) johtaa ns. loogisen kaikkitietävyyden ongelmaan, joka on asennelogiikan tärkein vaikeus. Sen mukaan subjekti tietää kaikki tietojensa loogiset seuraukset, ja samoin on muiden asenteiden kohdalla. Asenteen sisältönä olevien lauseiden joukko on siis deduktiivisesti suljettu. 27 Fysikaaliset ja perspektiiviset maailmanviivat 1 Kysymys universumeista jakautuu kahtia: 1. Mitä ovat kunkin maailman yksilöjoukot? 2. Milloin voidaan sanoa, että yhden maailman yksilö on sama kuin toisen maailman? Kvantifioidussa asennelogiikassa on määriteltävä tapa identifioida eri maailmoissa esiintyviä yksilöitä. 28 Fysikaaliset ja perspektiiviset maailmanviivat 2 Hintikan alkuperäinen ehdotus: fysikaaliset maailmanviivat liittyvät jatkuvuuteen ja yhtäläisyyteen, perspektiiviset subjektin havaintokentän psykologisiin ilmiöihin. Mutta jos eri maailmojen oliot ovat fysikaalisesti identtiset, voivatko ne lainkaan olla eri olioita x ja y eri universumeissa? Fysikaaliset ja perspektiiviset maailmanviivat 3 Toinen ehdotus: fysikaalinen maailmanviiva poimii objektiivisesti saman yksilön eri maailmoista, kun taas perspektiivinen maailmanviiva määrittelee subjektin maailmankuvassa subjektiivisesti esiintyvät yksilöt. (Ks. esim. Aho 1994.)
6 Seuraavaksi VIIMEINEN LUENTO Sovelluksista ja viimeaikaisesta kehityksestä 31 6
Mahdollisten 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
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ä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. 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ä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ä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 to klo 12-14 S20A sh 303 2. luento 27.1.2005 Aikataulu (luennot: 10 x 2 t) (aiheet alustavia) 20.1. Luento 1 (johdanto)
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ä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ä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 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ä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ä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ä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ätiedotBehaviorismi ja intentionaalisuus (Behaviorism and Intentionality), Psykologia 14, 1979, pp. 39-41.
1 LIST OF PUBLICATIONS Leila Haaparanta Behaviorismi ja intentionaalisuus (Behaviorism and Intentionality), Psykologia 14, 1979, pp. 39-41. Kansainvälistä filosofiaa (International Philosophy), a review
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ä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ä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ätiedotIlpo 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ä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ä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ä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ätiedotIhmisen ääni-ilmaisun somaestetiikkaa
Ihmisen ääni-ilmaisun somaestetiikkaa Anne Tarvainen, FT Musiikintutkimus Tampereen yliopisto 14.3.2013, Suomen musiikintutkijoiden 17. symposium, Turku Ääni-ilmaisu Laulajan ilmaisu tuntuu kuuntelijan
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ätiedotTietoteoreettinen relativismi Argumentteja puolesta ja vastaan. Esitelmä Suomen Filosofisessa yhdistyksessä
Tietoteoreettinen relativismi Argumentteja puolesta ja vastaan Esitelmä Suomen Filosofisessa yhdistyksessä 25.11.2015 FT Antti Hautamäki Dosentti, Helsingin yliopisto Tutkimusprofessori emeritus, Jyväskylän
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ä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ä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ätiedotMuodostaminen ja muokkaaminen. Ahti-Veikko Pietarinen Filosofian laitos Helsingin yliopisto
Muodostaminen ja muokkaaminen Ahti-Veikko Pietarinen Filosofian laitos Helsingin yliopisto Uskomukset ovat tieteellisen tutkimuksen huomattavimpia tekijöitä. Liioittelematta voidaan sanoa, että tutkimus
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ätiedotGeneral studies: Art and theory studies and language studies
General studies: Art and theory studies and language studies Centre for General Studies (YOYO) Aalto University School of Arts, Design and Architecture ARTS General Studies General Studies are offered
LisätiedotJulkistalous, Taloudellinen valta ja Tulonjakauma (Public Economics, Economic Power and Distribution)
Julkistalous, Taloudellinen valta ja Tulonjakauma (Public Economics, Economic Power and Distribution) Marja Riihelä VATT Saikat Sarkar TAY Risto Sullström VATT Ilpo Suoniemi PT Hannu Tanninen ISY Matti
LisätiedotEssentiat ja niiden ontologinen status
Essentiat ja niiden ontologinen status [25.3 2008] Markku Keinänen Turun Ylipisto 1. Fine ja essentiat Finen mukaan essentioiden ja määritelmien välillä on läheinen suhde Entiteetillä e on essentia identiteettinsä
LisätiedotTyöryhmä 2. Hyväksi havaittuja käytäntöjä tutkimuseettisestä koulutuksesta. Keskiviikko 29.10.2014 Tieteiden talo, 405 Puheenjohtajana Petteri Niemi
Työryhmä 2. Hyväksi havaittuja käytäntöjä tutkimuseettisestä koulutuksesta Keskiviikko 29.10.2014 Tieteiden talo, 405 Puheenjohtajana Petteri Niemi Eettinen tutkija... Tunnistaa asioiden eettisen puolen
LisätiedotEnglannin kielen ja viestinnän ja ammattiaineiden integrointiyhteistyö insinöörikoulutuksessa
Englannin kielen ja viestinnän ja ammattiaineiden integrointiyhteistyö insinöörikoulutuksessa Ammattikorkeakoulujen kielten ja viestinnän opettajien neuvottelupäivät Lapin ammattikorkeakoulussa 13.-14.11.2014
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ä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ätiedotLogiikka 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ätiedotTAMPEREEN YLIOPISTO Pro gradu -tutkielma. Heidi Luukkonen. Sahlqvistin kaavat
TAMPEREEN YLIOPISTO Pro gradu -tutkielma Heidi Luukkonen Sahlqvistin kaavat Informaatiotieteiden yksikkö Matematiikka Maaliskuu 2013 Tampereen yliopisto Informaatiotieteiden yksikkö LUUKKONEN, HEIDI: Sahlqvistin
LisätiedotLOGIIKKA, TOTUUS JA OIKEUSNORMIT
LOGIIKKA, TOTUUS JA OIKEUSNORMIT Rami Hovi Helsinki 3.5.2011 Pro gradu -tutkielma HELSINGIN YLIOPISTO Oikeustieteellinen tiedekunta Ohjaaja: Ari Hirvonen HELSINGIN YLIOPISTO HELSINGFORS UNIVERSITET UNIVERSITY
LisätiedotLataa Jumalharha - Richard Dawkins. Lataa
Lataa Jumalharha - Richard Dawkins Lataa Kirjailija: Richard Dawkins ISBN: 9789525697001 Sivumäärä: 418 Formaatti: PDF Tiedoston koko: 29.09 Mb Maineikas biologi, biologiaan keskittynyt tietokirjailija
LisätiedotMitä ihmettä on kertomuksentutkimus? MARI HATAVARA METODIFESTIVAALI 19.8.2015
Mitä ihmettä on kertomuksentutkimus? MARI HATAVARA METODIFESTIVAALI 19.8.2015 Mitä on kertomus? Kognitiivinen lähestymistapa otapa ja väline ajatella ooletus toisen mielensisällöistä ja pyrkimyksistä Retorinen
LisätiedotOtanta-aineistojen analyysi (78136, 78405) Kevät 2010 TEEMA 3: Frekvenssiaineistojen asetelmaperusteinen analyysi: Perusteita
Otanta-aineistojen analyysi (78136, 78405) Kevät 2010 TEEMA 3: Frekvenssiaineistojen asetelmaperusteinen analyysi: Perusteita risto.lehtonen@helsinki.fi OHC Survey Tilastollinen analyysi Kysymys: Millä
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ätiedotYrityksen informaatio- ja toimintoprosessien optimointi
Yrityksen informaatio- ja toimintoprosessien optimointi V-S Teknologiateollisuus ry vaalikokous 10.11.2008 Thomas Westerholm Åbo Akademi PBI Research Institute Teknologisen kehityksen taustalla Copyright
LisätiedotRuma merkitys. Tommi Nieminen. XLII Kielitieteen päivät. Kielitieteen epäilyttävin välttämätön käsite. tommi.nieminen@uef.fi. Itä-Suomen yliopisto ...
Ruma merkitys Kielitieteen epäilyttävin välttämätön käsite Tommi Nieminen tomminieminen@ueffi Itä-Suomen yliopisto XLII Kielitieteen päivät 21 23 toukokuuta 2015, Vaasa Merkitys, subst lingvistisen merkityksen
LisätiedotTieto ja valta. Kimmo Lapintie Kaupunkiluennot ARK-C
Tieto ja valta Kimmo Lapintie Kaupunkiluennot ARK-C5002 14.11.2017 Tieto kaupunkisuunnittelussa Tietoteoriaa Tieto/valta suunnittelussa Vanhat ja uudet toimijat Ammattilaiset Tietyillä professioilla on
LisätiedotTulkinta, ymmärtäminen ja käytäntö
Ilmestynyt teoksessa: S.Pihlström, K. Rolin ja F. Ruokonen (toim.) Käytäntö, Yliopistopaino, Helsinki, 236-242. Tulkinta, ymmärtäminen ja käytäntö PANU RAATIKAINEN Kiinnostukseni kohteena seuraavassa on
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ätiedot(ed.) Taivaan merkit. Teologia uusilla teillä (New trends in theology). Huutomerkkisarja, Tammi, Helsinki 1969.
Knuuttila, Simo Publications: (ed.) Taivaan merkit. Teologia uusilla teillä (New trends in theology). Huutomerkkisarja, Tammi, Helsinki 1969. Tappaminen on sivistymätöntä. Näkökohtia Konrad Lorenzin ja
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ätiedotELEC-C5210 Satunnaisprosessit tietoliikenteessä
ELEC-C5210 Satunnaisprosessit tietoliikenteessä Esa Ollila Aalto University, Department of Signal Processing and Acoustics, Finland esa.ollila@aalto.fi http://signal.hut.fi/~esollila/ Kevät 2017 E. Ollila
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ätiedotModaalilogiikan täydellisyyslauseesta
TAMPEREEN YLIOPISTO Pro gradu -tutkielma Teemu Pitkänen Modaalilogiikan täydellisyyslauseesta Informaatiotieteiden yksikkö Matematiikka Toukokuu 2015 Sisältö 1 Johdanto 3 2 Peruskäsitteistö ja semantiikka
LisätiedotEtiikan 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ätiedotja s S : ϕ Υ : M,s ϕ, mutta M,s Q. Erityisesti M, t P kaikilla t S, joten
T-79.50 kevät 007 Laskuharjoitus 4. Vastaesimerkiksi kelpaa malli M = S, R,v, missä S = {s}, R = { s,s }, ja v(s,p) = false. P s M = P P pätee (koska M,s P), ja M,s P pätee myös, koska s,s R, M,s P, eikä
LisätiedotTrialoginen oppiminen: Miten edistää kohteellista, yhteisöllistä työskentelyä oppimisessa?
Trialoginen oppiminen: Miten edistää kohteellista, yhteisöllistä työskentelyä oppimisessa? Tekijä: Sami Paavola, Helsingin yliopisto 1 Muuttaako uusi teknologia oppimista? Miten oppimisen tulisi muuttua?
LisätiedotPredikaattilogiikkaa
Predikaattilogiikkaa UKUTEORIA JA TO- DISTAMINEN, MAA11 Kertausta ogiikan tehtävä: ogiikka tutkii ajattelun ja päättelyn sääntöjä ja muodollisten päättelyiden oikeellisuutta, ja pyrkii erottamaan oikeat
LisätiedotToinen 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ätiedotAkateemiset fraasit Tekstiosa
- Väitteen hyväksyminen Broadly speaking, I agree with because Samaa mieltä jostakin näkökulmasta One is very much inclined to agree with because Samaa mieltä jostakin näkökulmasta Yleisesti ottaen olen
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ätiedotOPPIMINEN ja SEN TUKEMINEN Supporting learning for understanding
OPPIMINEN ja SEN TUKEMINEN Supporting learning for understanding Vetäjät: Jonna Malmberg jonna.malmberg@oulu.fi Tutkimusryhmä: Oppimisen ja Koulutusteknologian Tutkimusyksikkö (LET) LET tutkii (1) Conceptual
LisätiedotBOOTSTRAPPING? Jukka Nyblom Jyväskylän yliopisto. Metodifestivaali
BOOTSTRAPPING? Jukka Nyblom Jyväskylän yliopisto Metodifestivaali 28.5.2009 1 1 Mitä ihmettä on bootstrap? Webster: 1. a loop of leather or cloth sewn at the top rear, or sometimes on each side of a boot
LisätiedotEero Hyvönen. Semanttinen web. Linkitetyn avoimen datan käsikirja
Eero Hyvönen Semanttinen web Linkitetyn avoimen datan käsikirja WSOY:n kirjallisuussäätiö on tukenut teoksen kirjoittamista Copyright 2018 Eero Hyvönen & Gaudeamus Gaudeamus Oy www.gaudeamus.fi Kansi:
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ätiedot1. Panu Raatikainen (2015) Neo-logicism and its logic, History and Philosophy of Logic (forthcoming).
PUBLICATIONS Panu Raatikainen A. PEERREVIEWED SCIENTIFIC ARTICLES A.1. JOURNAL ARTICLE (REFEREED), ORIGINAL RESEARCH a.) International refereed journals 1. Panu Raatikainen (2015) Neologicism and its logic,
LisätiedotENY-C2001 Termodynamiikka ja lämmönsiirto TERVETULOA!
ENY-C2001 Termodynamiikka ja lämmönsiirto TERVETULOA! Luento 14.9.2015 / T. Paloposki / v. 03 Tämän päivän ohjelma: Aineen tilan kuvaaminen pt-piirroksella ja muilla piirroksilla, faasimuutokset Käsitteitä
LisätiedotTAMPEREEN YLIOPISTO Pro gradu -tutkielma. Jukka Ilmonen. Aikalogiikoista
TAMPEREEN YLIOPISTO Pro gradu -tutkielma Jukka Ilmonen Aikalogiikoista Matematiikan, tilastotieteen ja filosofian laitos Matematiikka 2005 Tampereen yliopisto Matematiikan, tilastotieteen ja filosofian
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ätiedotLaskelmia uudenvuodenpuheista
Laskelmia uudenvuodenpuheista Kotimaisten kielten tutkimuskeskuksessa on laskettu uudenvuodepuheista joitakin seikkoja, joiden avulla on mahdollista tarkastella mm. presidenttien välisiä eroja. Laskelmat
LisätiedotVALTIO-OPPI 2015-2017
VALTIO-OPPI 2015-2017 1 HUOM! Tutkintovaatimukset 2015-2017 otetaan käyttöön 1.9.2015 alkaen. Kesätentissä 8.8.2015 ovat vielä voimassa 2012-2015 vaatimukset. Vanhojen vaatimusten mukaisia esseitä voi
LisätiedotLataa Essays in honour of K. V. Laurikainen - Hämäläinen. Lataa
Lataa Essays in honour of K. V. Laurikainen - Hämäläinen Lataa Kirjailija: Hämäläinen ISBN: 9789514105142 Formaatti: PDF Tiedoston koko: 27.28 Mb Kustantajan kuvausteksti kirjasta puuttuu. Saatat kuitenkin
LisätiedotKutsu käännöstieteen professori Kaisa Koskisen juhlaluennolle 7. päivänä joulukuuta 2016 kello 13
Kutsu käännöstieteen professori Kaisa Koskisen juhlaluennolle 7. päivänä joulukuuta 2016 kello 13 Professori Kaisa Koskinen pitää juhlaluennon keskiviikkona 7. joulukuuta 2016 kello 13 aiheesta Translatorinen
LisätiedotOptimal Harvesting of Forest Stands
Optimal Harvesting of Forest Stands (Presentation of the topic) 24 January 2010 Instructor: Janne Kettunen Supervisor: Ahti Salo Tausta Ass. Prof. Janne Kettunen käsitteli osana väitöskirjatyötään stokastisen
LisätiedotVinkkejä hyvään graduun. Janne Hukkinen Helsingin yliopisto
Vinkkejä hyvään graduun Janne Hukkinen Helsingin yliopisto janne.i.hukkinen@helsinki.fi Rakenne: perinteinen toimii Johdanto ja tausta Analyyttinen viitekehys Aineisto ja menetelmät Analyysi Tulokset ja
LisätiedotSulkevat ja avaavat suhteet
Sulkevat ja avaavat suhteet Nuoret, vertaisuus ja yhteisöllinen kiinnittyminen Sosiaalipedagogiikan päivät Mikkeli 7.4.2017 Riikka Korkiamäki riikka.korkiamaki@uta.fi Lähtökohta-ajatus Intiimikään suhde
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ätiedot1.3 Lohkorakenne muodostetaan käyttämällä a) puolipistettä b) aaltosulkeita c) BEGIN ja END lausekkeita d) sisennystä
OULUN YLIOPISTO Tietojenkäsittelytieteiden laitos Johdatus ohjelmointiin 811122P (5 op.) 12.12.2005 Ohjelmointikieli on Java. Tentissä saa olla materiaali mukana. Tenttitulokset julkaistaan aikaisintaan
LisätiedotTAMPEREEN YLIOPISTO Pro gradu -tutkielma. Tia Suurhasko. Hybridilogiikkaa
TAMPEREEN YLIOPISTO Pro gradu -tutkielma Tia Suurhasko Hybridilogiikkaa Matematiikan, tilastotieteen ja losoan laitos Matematiikka Kesäkuu 2008 Tampereen yliopisto Matematiikan ja tilastotieteen laitos
Lisätiedot8003051 Puheenkäsittelyn menetelmät
8003051 Puheenkäsittelyn menetelmät Luento 7.10.2004 Puhesynteesi Sisältö 1. Sovelluskohteita 2. Puheen ja puhesyntetisaattorin laatu 3. Puhesynteesin toteuttaminen TTS-syntetisaattorin komponentit Kolme
LisätiedotT Kevät 2005 Logiikka tietotekniikassa: erityiskysymyksiä I Kertausta Ratkaisut
T-79.146 Kevät 2005 Logiikka tietotekniikassa: erityiskysymyksiä I Kertausta Ratkaisut 1. Jokaiselle toteutuvalle lauselogiikan lauseelle voidaan etsiä malli taulumenetelmällä merkitsemällä lause taulun
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ätiedotTutkimustietoa oppimisen arvioinnista
Tutkimustietoa oppimisen arvioinnista Miten arviointi suuntaa oppimista? Viivi Virtanen 28.2.2011 1/10 Millä keinoin opiskelijan saisi oppimaan sen mitä opetan? 2/10 Miten arviointi vaikuttaa siihen, miten
LisätiedotTaloussosiaalityö ja toimintamahdollisuuksien näkökulma - Uusia ideoita sosiaalityön kehittämiseen? Katri Viitasalo VTL, yliopistonopettaja
Taloussosiaalityö ja toimintamahdollisuuksien näkökulma - Uusia ideoita sosiaalityön kehittämiseen? Katri Viitasalo VTL, yliopistonopettaja 15.11.2017 Sosiaalityön klubi, Tampere Alustuksen tarkoitus -
LisätiedotMatemaattisten 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ätiedotLaskennallisen fysiikan esimerkkejä avoimesta tutkimuksesta Esa Räsänen Fysiikan laitos, Tampereen teknillinen yliopisto
Laskennallisen fysiikan esimerkkejä avoimesta tutkimuksesta Esa Räsänen Fysiikan laitos, Tampereen teknillinen yliopisto Julian Voss, Quantum man, 2006 (City of Moses Lake, Washington, USA) Kolme näkökulmaa
LisätiedotLataa Tieteen lyhyt historia - vai pitkä tie luonnonfilosofian ja empirismin kohtaamiseen - Tuomo Suntola. Lataa
Lataa Tieteen lyhyt historia - vai pitkä tie luonnonfilosofian ja empirismin kohtaamiseen - Tuomo Suntola Lataa Kirjailija: Tuomo Suntola ISBN: 9789526723686 Sivumäärä: 290 Formaatti: PDF Tiedoston koko:
LisätiedotMathcad 14.0 Single User -asennus 12.3.2008
Mathcad 14.0 Single User -asennus 12.3.2008 Asennuksessa on kaksi vaihetta. Ensin asennetaan ohjelma tietokoneelle (vaiheet 1-3). Sen jälkeen asennetaan lisenssi (vaiheet 4-12). 1. Aseta Mathcad 14 CD-levy
LisätiedotAbduktiivinen 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ätiedotLataa Kohti asiantuntijuutta. Lataa
Lataa Kohti asiantuntijuutta Lataa ISBN: 9789510272060 Sivumäärä: 157 Formaatti: PDF Tiedoston koko: 32.12 Mb Tämän teoksen tarkoituksena on auttaa sosiaali- ja terveysalan opiskelijaa kehittämään omaa
Lisätiedothttp://www.yle.fi/elavaarkisto/?s=s&g=8&ag=94&t=4&a=3957
http://www.yle.fi/elavaarkisto/?s=s&g=8&ag=94&t=4&a=3957 Oppimisyhteiskunta? tietoyhteiskunta ja oppiminen Teemu Leinonen Median laitos, Medialaboratorio Taideteollinen korkeakoulu Luennon rakenne 1. Oppiminen
LisätiedotYksilöllistä, puhuroi, suorita - Mitä käyttöliittymien termien taakse kätkeytyy?
Yksilöllistä, puhuroi, suorita - Mitä käyttöliittymien termien taakse kätkeytyy? Niina Nissilä & Suvi Isohella Minä ja tiede Seinäjoki 18.3.2014 Vaasa 20.3.2014 Esityksen rakenne Lähtökohta Järjestelmä,
LisätiedotJulkaisut. We Can't Know Lammenranta, A. M., 2017, (Hyväksytty/In press) Problems in Philosophy. Cowan, S. (toim.). Bloomsbury Academic
Markus Lammenranta Ohjaaja tohtoriohjelmassa, yliopistonlehtori Filosofian, historian ja taiteiden tutkimuksen osasto Filosofian, taiteiden ja yhteiskunnan tutkimuksen tohtoriohjelma!!postal address: PL
Lisätiedot8. Kieliopit ja kielet
8. Kieliopit ja kielet Suomen kielen sanoja voidaan yhdistellä monella eri tavalla. Kielioppi määrää sen, milloin sanojen yhdistely antaa oikein muodostetun lauseen. "Mies räpyttää siipiään" on kieliopillisesti
LisätiedotCase työpaja: Botnia. TM21 Sidosryhmät ja moraalinen vastuu 10. 11. 2009 Pia Lotila
Case työpaja: Botnia TM21 Sidosryhmät ja moraalinen vastuu 10. 11. 2009 Pia Lotila Case opetuksen tavoitteet Perustuu keskusteluun: omien näkemysten esittäminen ja toisten kuunteleminen Tiedon soveltaminen
LisätiedotEsa Hiltunen Työn taju
Esa Hiltunen Työn taju Etnografinen tutkimus työstä, sitoutumisesta ja joustoista hypermarket Jusalassa Publications of the University of Eastern Finland Dissertations in Social Sciences and Business Studies
LisätiedotTehostettu kisällioppiminen tietojenkäsittelytieteen ja matematiikan opetuksessa yliopistossa Thomas Vikberg
Tehostettu kisällioppiminen tietojenkäsittelytieteen ja matematiikan opetuksessa yliopistossa Thomas Vikberg Matematiikan ja tilastotieteen laitos Tietojenkäsittelytieteen laitos Kisällioppiminen = oppipoikamestari
LisätiedotOdotukset ja Rationaalinen Käyttäytyminen:
Odotukset ja Rationaalinen Käyttäytyminen: Laumat Rahoitusmarkkinoilla Hannu Salonen Turun yliopisto 2007 Esimerkkejä tapaus Treacy - Wiersema markkinoiden romahdukset osto- tai myyntiryntäykset ovatko
LisätiedotLähteet ja kirjallisuus
75 Lähteet ja kirjallisuus Aarnio, A. 1977. Some remarks on the concept of scientific community; comments on Dr. Mulkay's paper from the point of view of legal research. Teoksessa P.Löppönen (toim.) Proceedings
LisätiedotAPA-tyyli. Petri Nokelainen
APA-tyyli Petri Nokelainen petri.nokelainen@uta.fi American Psychology Association (APA, 2001). Yleisin sosiaalitieteiden käyttämä tyylikirjasto. Artikkelin teksti, jossa on viittaus (referointi) lähdeluettelossa
Lisätiedot