dr hab. Joanna Golińska-Pilarek profesor uczelni

Wydział Filozofii i Socjologii


Dyscyplina naukowa:

filozofia, matematyka

Zainteresowania badawcze:

Logika i jej zastosowania w różnych dziedzinach wiedzy, w tym w filozofii, matematyce, kognitywistyce. Tematyka badawcza z ostatnich lat: formalizacja wnioskowań w logikach nieklasycznych, teoria dowodu, teoria modeli. Wybrane publikacje:


  1. J. GOLIŃSKA-PILAREK, T. Huuskonen, „Non-Fregean propositional logic with quantifiers”, Notre Dame Journal of Formal Logic 57(2), 2016, 249–279

  2. J. GOLIŃSKA-PILAREK, T. Huuskonen, E. Muñoz-Velasco, „Relational dual tableau decision procedures and their applications to modal and intuitionistic logics”, Annals of Pure and Applied Logic 165(2), 2014, 409-427

  3. E. Orłowska, J. GOLIŃSKA-PILAREK, Dual Tableaux: Foundations, Methodology, Case Studies, Springer Science 2011, pp. 562

  4. J. GOLIŃSKA-PILAREK, T. Huuskonen, „Number of extensions of non-Fregean logics”, Journal of Philosophical Logic 34(2), 2005, 193–206

description of research interests:

Logic and its applications in various areas in particular in philosophy, mathematics, cognitive and computer sciences. The most recent research: formalization of reasoning in nonclassical logic, proof theory, model theory. Selected publications:


  1. J. GOLIŃSKA-PILAREK, T. Huuskonen, „Non-Fregean propositional logic with quantifiers”, Notre Dame Journal of Formal Logic 57(2), 2016, 249–279

  2. J. GOLIŃSKA-PILAREK, T. Huuskonen, E. Muñoz-Velasco, „Relational dual tableau decision procedures and their applications to modal and intuitionistic logics”, Annals of Pure and Applied Logic 165(2), 2014, 409-427

  3. E. Orłowska, J. GOLIŃSKA-PILAREK, Dual Tableaux: Foundations, Methodology, Case Studies, Springer Science 2011, pp. 562

  4. J. GOLIŃSKA-PILAREK, T. Huuskonen, „Number of extensions of non-Fregean logics”, Journal of Philosophical Logic 34(2), 2005, 193–206

Realizowane projekty:

Kierowanie projektami


  1. Tytuł: Logiki sytuacji; środki finansowe: 582 400 PLN; okres realizacji: 36 miesięcy; data rozpoczęcia: 25.01.2018; instytucja finansująca: Narodowe Centrum Nauki; nazwa programu: OPUS 13; numer: UMO-2017/25/B/HS1/00503

  2. Tytuł: Logiki dla wnioskowań jakościowych; środki finansowe: 1 013 320 PLN;okres realizacji: 29.05.2012-29.05.2017; instytucja finansująca: Narodowe Centrum Nauki; nazwa programu: MAESTRO 1; strona internetowa: www.logicsforqr.uw.edu.pl; numer: UMO-2011/02/A/HS1/00395

  3. Tytuł: Teoria modeli i zastosowania logik niefregowskich; środki finansowe: 141 200 PLN; okres realizacji: 01.02.2012-30.09.2012; instytucja finansująca: MNiSW; nazwa programu: MOBILNOŚĆ Plus; numer: 610/MOB/2011/0

  4. Tytuł: Relacyjne procedury decyzyjne; środki finansowe: 70 000 PLN;okres realizacji: 23.12.2010-31.12.2011; instytucja finansująca: MNiSW; nazwa programu: IUVENTUS Plus; numer: IP 2010 010170

research projects implemented:

Grants received:


  1. Title: Logics of situations (UMO-2017/25/B/HS1/00503): project volume: 582 400 PLN; project duration: 25.01.2018–25.01.2021; funding institution: Polish National Science Centre; project type: OPUS 13

  2. Title: Logics for Qualitative Reasoning (UMO-2011/02/A/HS1/00395); project volume: 1 013 320 PLN; project duration: 29.05.2012–29.05.2017; funding institution: Polish National Science Centre; project type: MAESTRO 1; webpage: www.logicsforqr.uw.edu.pl

  3. Title: The Model Theory and Applications of Non-Fregean Logics (nr 610/MOB/2011/0); project volume: 141 200 PLN; project duration: 01.02.2012–30.09.2012; funding institution: Polish Ministry of Science and Higher Education; project type: MOBILITY Plus

  4. Title: Relational Decision Procedures (IP 2010 010170); project volume: 70 000 PLN; project duration: 23.12.2010–31.12.2011; funding institution: Polish Ministry of Science and Higher Education; project type: IUVENTUS Plus

USOSweb

Słowa kluczowe:

logiki nieklasyczne, teoria dowodu, teoria modeli

Słowa kluczowe:

nonclassical logics, proof theory, model theory

Kontakt:

pokaż


« Wstecz