Tutkimustuotoksia vuodessa
Tutkimustuotoksia vuodessa
Organisaation profiili
Tieteenalat
- 611 Filosofia
Kansainvälinen ja kotimainen yhteistyö
Viimeisin maa-/aluetasolla toteutettu yhteistyö. Saat tarkempia lisätietoja pisteitä napauttamalla, tai
Henkilöt
-
Maria Hämeen-Anttila
- Filosofian, historian ja taiteiden tutkimuksen osasto - vieraileva tutkija
- Teoreettinen filosofia
- Gödeliana
Henkilö: vieraileva tutkija
-
Annika Kanckos
- Filosofian, historian ja taiteiden tutkimuksen osasto - dosentuuri
- Filosofia (opetus ruotsiksi)
- Gödeliana
- Filosofian, taiteiden ja yhteiskunnan tutkimuksen tohtoriohjelma - Ohjaaja tohtoriohjelmassa
Henkilö: Opetus- ja tutkimushenkilöstö
-
Jan von Plato
- Filosofian, historian ja taiteiden tutkimuksen osasto - tutkimusjohtaja
- Filosofia (opetus ruotsiksi)
- Mind and Matter
- Gödeliana
- Filosofian, taiteiden ja yhteiskunnan tutkimuksen tohtoriohjelma - Ohjaaja tohtoriohjelmassa
Henkilö: HY, Opetus- ja tutkimushenkilöstö, U4 Opetus- ja tutkimushenkilöstö
Julkaisut
-
Bit commitment as an introduction to quantum cryptography
Lethen, T., 18 heinäk. 2022, julkaisussa: European Journal of Physics. 43, 5, 9 Sivumäärä, 055402.Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
-
Computational Theology: A Metaobject-Based Implementation of Models of Generalised Trinitarian Logic
Lethen, T., 5 syysk. 2022, julkaisussa: TheoLogica. 6, 2, 26 SivumääräTutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
Intuitionistic Derivability in Anderson’s Variant of the Ontological Argument
Kanckos, A., 2022, CEUR Workshop Proceedings: Proceedings of Automated Reasoning in Quantified Non-Classical Logics 2022. 18 Sivumäärä (CEUR Workshop Proceedings; Vuosikerta Vol 3326).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
Investigations into the Predicate Calculus
Negri, S. (toim.), von Plato, J. (toim.) & Ketonen, O., 2022, College publications. (Logic PhDs)Tutkimustuotos: Kirja/raportti › Kokoomateos tai erikoisnumero › Tieteellinen
-
Kurt Gödel's reception of Charles Hartshorne's ontological proof
Kanckos, A. & Lethen, T., 2022, The Vienna Circle and Religion. Ramharter, E. (toim.). Cham: Springer International Publishing, s. 183-196 14 Sivumäärä (Vienna Circle Institute Yearbook).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Kirjan luku tai artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto
Aktiviteetit
-
4th International Workshop onAutomated Reasoning in Quantified Non-Classical Logics
Annika Kanckos (Tieteellisen komitean jäsen)
11 elok. 2022Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
The philosophical roots of mathematical logic
Annika Kanckos (Kutsuttu puhuja)
4 huhtik. 2022 → 6 huhtik. 2022Aktiviteetti: Puhe- tai esitystyypit › Kutsuesitelmä
-
What philosophy is for me?
Anita Välikangas (Järjestäjätoimikunnan puheenjohtaja), Maria Hämeen-Anttila (Puhuja: esitelmän pitäjä), Tomi Kokkonen (Puhuja: esitelmän pitäjä), Joonas S. Martikainen (Puhuja: esitelmän pitäjä), Tuukka Tanninen (Puhuja: esitelmän pitäjä) & Pii Telakivi (Puhuja: esitelmän pitäjä)
27 huhtik. 2022Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Gödel's Functional Interpretation in Context
Maria Hämeen-Anttila (Puhuja)
9 heinäk. 2021Aktiviteetti: Puhe- tai esitystyypit › Suullinen esitys
-
Kurt Gödel und das Psychologische Institut: Die Geschichte einer Annäherung
Tim Lethen (Puhuja)
4 helmik. 2021Aktiviteetti: Puhe- tai esitystyypit › Kutsuesitelmä
Palkinnot
-
Elisabeth and Werner Leinfellner Award
Hämeen-Anttila, Maria (Vastaanottaja), 6 elok. 2018
Palkinto: Palkinnot ja kunnianosoitukset
-
Kurt Gödel Gold Medal
Lethen, Tim (Vastaanottaja), 27 heinäk. 2019
Palkinto: Palkinnot ja kunnianosoitukset