Research output per year
Research output per year
Organization profile
Fields of Science
- 611 Philosophy
International and National Collaboration
Publications and projects within past five years.
Profiles
-
Maria Hämeen-Anttila
- Department of Philosophy, History and Art Studies - Postdoctoral Researcher
- Theoretical Philosophy
- Gödeliana
Person: U2 Teaching and research staff
-
Annika Kanckos
- Department of Philosophy, History and Art Studies - Title of Docent, University Researcher
- Philosophy, Swedish-Speaking Students
- Gödeliana
- Doctoral Programme in Philosophy, Arts, and Society - Supervisor for doctoral programme
Person: U3 Research and teaching staff, Teaching and research personnel
-
Jan von Plato
- Department of Philosophy, History and Art Studies - Research Director
- Philosophy, Swedish-Speaking Students
- Mind and Matter
- Gödeliana
- Doctoral Programme in Philosophy, Arts, and Society - Supervisor for doctoral programme
Person: UH , Teaching and research personnel, U4 Research and teaching staff
-
Bit commitment as an introduction to quantum cryptography
Lethen, T., 18 Jul 2022, In: European Journal of Physics. 43, 5, 9 p., 055402.Research output: Contribution to journal › Article › Scientific › peer-review
-
Computational Theology: A Metaobject-Based Implementation of Models of Generalised Trinitarian Logic
Lethen, T., 5 Sep 2022, In: TheoLogica. 6, 2, 26 p.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile -
Intuitionistic Derivability in Anderson’s Variant of the Ontological Argument
Kanckos, A., 2022, (Accepted/In press) CEUR Workshop Proceedings: Proceedings of Automated Reasoning in Quantified Non-Classical Logics 2022.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
-
Investigations into the Predicate Calculus
Negri, S. (ed.), von Plato, J. (ed.) & Ketonen, O., 2022, College publications. (Logic PhDs)Research output: Book/Report › Anthology or special issue › Scientific
-
Kurt Gödel's reception of Charles Hartshorne's ontological proof
Kanckos, A. & Lethen, T., 2022, The Vienna Circle and Religion. Ramharter, E. (ed.). Cham: Springer International Publishing, p. 183-196 14 p. (Vienna Circle Institute Yearbook).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific › peer-review
Activities
-
What philosophy is for me?
Anita Välikangas (Chair of organizing committee), Maria Hämeen-Anttila (Speaker: Presenter), Tomi Kokkonen (Speaker: Presenter), Joonas S. Martikainen (Speaker: Presenter), Tuukka Tanninen (Speaker: Presenter) & Pii Telakivi (Speaker: Presenter)
27 Apr 2022Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars
-
4th International Workshop onAutomated Reasoning in Quantified Non-Classical Logics
Annika Kanckos (Scientific Committee Member)
11 Aug 2022Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars
-
The philosophical roots of mathematical logic
Annika Kanckos (Invited speaker)
4 Apr 2022 → 6 Apr 2022Activity: Talk or presentation types › Invited talk
-
Gentzen, Gödel, and the constructive justification of consistency proofs for arithmetic
Maria Hämeen-Anttila (Speaker)
12 Nov 2021Activity: Talk or presentation types › Invited talk
-
Gödel's Functional Interpretation in Context
Maria Hämeen-Anttila (Speaker)
9 Jul 2021Activity: Talk or presentation types › Oral presentation
Prizes
-
Elisabeth and Werner Leinfellner Award
Hämeen-Anttila, Maria (Recipient), 6 Aug 2018
Prize: Prizes and awards
-