Forskningsresultat per år
Forskningsresultat per år
Organisationsprofil
Vetenskapsgrenar
- 611 Filosofi
Internationellt och inhemskt samarbete
Publikationer och projekt inom de senaste fem åren.
Personer
-
Annika Kanckos
- Avdelningen för filosofi, historia och konstforskning - Titeln docent, universitetsforskare
- Filosofi (svenskspråkig)
- Gödeliana
- Doktorandprogrammet i forskning i filosofi, konst och samhälle - Handledare för doktorandprogram
Person: U3 Undervisnings- och forskningspersonal, undervisnings- och forskningspersonal
-
Jan von Plato
- Avdelningen för filosofi, historia och konstforskning - forskningsdirektör
- Filosofi (svenskspråkig)
- Mind and Matter
- Gödeliana
- Doktorandprogrammet i forskning i filosofi, konst och samhälle - Handledare för doktorandprogram
Person: HU, undervisnings- och forskningspersonal, U4 Undervisnings- och forskningspersonal
-
Bit commitment as an introduction to quantum cryptography
Lethen, T., 18 juli 2022, I: European Journal of Physics. 43, 5, 9 s., 055402.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
-
Computational Theology: A Metaobject-Based Implementation of Models of Generalised Trinitarian Logic
Lethen, T., 5 sep. 2022, I: TheoLogica. 6, 2, 26 s.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Öppen tillgångFil -
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.Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
-
Investigations into the Predicate Calculus
Negri, S. (red.), von Plato, J. (red.) & Ketonen, O., 2022, College publications. (Logic PhDs)Forskningsoutput: Bok/rapport › Antologi eller special utgåva › Vetenskaplig
-
Kurt Gödel's reception of Charles Hartshorne's ontological proof
Kanckos, A. & Lethen, T., 2022, The Vienna Circle and Religion. Ramharter, E. (red.). Cham: Springer International Publishing, s. 183-196 14 s. (Vienna Circle Institute Yearbook).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Kapitel › Vetenskaplig › Peer review
Aktiviteter
-
4th International Workshop onAutomated Reasoning in Quantified Non-Classical Logics
Annika Kanckos (Medlem av vetenskaplig kommitté)
11 aug. 2022Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
The philosophical roots of mathematical logic
Annika Kanckos (!!Invited speaker)
4 apr. 2022 → 6 apr. 2022Aktivitet: Typer för tal eller presentation › !!Invited talk
-
What philosophy is for me?
Anita Välikangas (Ordförande i organisationskommitté), Maria Hämeen-Anttila (Talare: Presentation), Tomi Kokkonen (Talare: Presentation), Joonas S. Martikainen (Talare: Presentation), Tuukka Tanninen (Talare: Presentation) & Pii Telakivi (Talare: Presentation)
27 apr. 2022Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Gentzen, Gödel, and the constructive justification of consistency proofs for arithmetic
Maria Hämeen-Anttila (!!Speaker)
12 nov. 2021Aktivitet: Typer för tal eller presentation › !!Invited talk
-
Kurt Gödel und das Psychologische Institut: Die Geschichte einer Annäherung
Tim Lethen (!!Speaker)
4 feb. 2021Aktivitet: Typer för tal eller presentation › !!Invited talk
Priser
-
Elisabeth and Werner Leinfellner Award
Hämeen-Anttila, Maria (!!Recipient), 6 aug. 2018
Pris: Pris och hedersbetygelser
-