Dorota Leszczyńska-Jasion - Instytut Psychologii

Curriculum vitae
Dorota Leszczyńska-Jasion
Magisterium 2003
filozofia
Uniwersytet Zielonogórski Zielona Góra
Teza o niezdeterminowaniu przekładu z punktu widzenia uhistorycznionej
filozofii nauki
promotor: prof. dr hab. Wojciech Sady
Doktorat 2006
nauki humanistyczne
Uniwersytet Zielonogórski Zielona Góra
The Method of Socratic Proofs for Normal Modal Propositional Logics
promotor: prof. dr hab. Andrzej Wiśniewski
recenzenci: prof. dr hab. Jerzy Pogonowski, prof. dr hab. Tomasz Skura
Projekty badawcze i współpraca ze środowiskiem
2013-2017
Logika erotetyczna w modelowaniu liniowego i
dystrybutywnego przetwarzania pytań. Podstawy teoretyczne i zastosowania /
wykonawca grantu
2003-2006
Inferencyjna logika pytań a scenariusze
rozwiązywania problemów badawczych / uczestnik projektu
2001-2004
A formal study of topics from the philosophy of
science, especially in terms of adaptive and erotetic logic and their combination
/ uczestnik projektu
Staże zagraniczne i wizyty studyjne
2003
Centre for Logic and Philosophy of Science, Ghent
University, Ghent, Belgium
Historia zatrudnienia
2006 – do chwili obecnej
adiunkt, Uniwersytet im. Adama Mickiewicza
Funkcje uniwersyteckie
2013
sekretarz Komisji Rekrutacyjnej na kierunek
kognitywistyka, Instytut Psychologii, Wydział Nauk Społecznych
Wrzesień 2008 – luty 2009
Instytucie Psychologii
koordynator ds. programu LLP-Erasmus w
2008
psychologia niestacjonarna
członek Komisji Rekrutacyjnej na kierunek
2008
kierunek kognitywistyka
sekretarz Wydziałowej Komisji Rekrutacyjnej na
2007
kierunek kognitywistyka
członek Wydziałowej Komisji Rekrutacyjnej na
Nagrody i wyróżnienia
2013
Polskiej
Stypendium START, Fundacja na rzecz Nauki
2008
Indywidualna Nagroda trzeciego stopnia Rektora
UAM za osiągnięcia naukowe
Ważniejsze publikacje i monografie
2004
„Socratic proofs for some normal modal
propositional logics”, Logique & Analyse, Vol. 47, No. 185-188, pp. 259-285
2005
Leon Koj, Dorota Leszczyńska, Tomasz
Wiziński, „Początki problemu zmiany: Parmenides”, Kwartalnik Filozoficzny, t.
XXXIII, z. 1, ss.5-35
2005
Andrzej Wiśniewski, Guido Vanackere, Dorota
Leszczyńska, „Socratic proofs and paraconsistency: a case study”, Studia
Logica, Vol. 80, No. 2-3, pp. 433-468
2007
„The method of Socratic proofs for normal modal
propositional logics”, Wydawnictwo Naukowe UAM, seria: Filozofia i logika, nr
101, Poznań
2008
„The method of Socratic proofs for modal
propositional logics: K5, S4.2, S4.3, S4M, S4F, S4R and G”, Studia Logica, Vol.
89, No. 3, pp. 371-405
2009
„A loop-free decision procedure for modal logics
K4, S4 and S5”, Journal of Philosophical Logic, Vol. 38, No. 2, pp. 151-177
2013
Dorota Leszczyńska-Jasion, Mariusz Urbański,
Andrzej Wiśniewski, „Socratic trees”, Studia Logica, Vol. 101, Issue 5, pp.
959-986
Prowadzone zajęcia
Logika
Logika pragmatyczna z elementami semiotyki
Logika formalna
Semiotyka ogólna
Filozofia z elementami logiki i metodologii nauk
Epistemologia z elementami filozofii nauki
Logika w zastosowaniach kognitywistycznych
Metody dowodzenia twierdzeń i automatyzacja rozumowań
Matematyczne podstawy kognitywistyki