dr Mariusz Urbański (cv) (publikacje)
Imię i nazwisko: Mariusz Urbański
Data i miejsce urodzenia: 30 czerwca 1972, Środa Wielkopolska
Praca: 60-568 Poznań,
ul. Szamarzewskiego 89a,
Instytut Psychologii UAM,
Zakład Logiki i Kognitywistyki
e-mail: Mariusz.Urbanski@amu.edu.pl
tel. / fax : (0 61) 829 21 07 (sekretariat Instytutu Psychologii)
Kwalifikacje naukowe:
2001: dr nauk humanistycznych (z wyróżnieniem) w zakresie filozofii na podstawie rozprawy Tabele syntetyczne a logika pytań
Promotor: prof. dr hab. Andrzej Wiśniewski
Recenzenci: prof. dr hab. Jacek Paśniczek (UMCS), prof. dr hab. Jerzy Pogonowski (UAM).
Miejsce obrony: Instytut Filozofii, Wyższa Szkoła Pedagogiczna im. T. Kotarbińskiego w Zielonej Górze
1991 - 1995: studia w Instytucie Filozofii UAM
mgr filozofii na podstawie pracy: Logika temporalna z kwantyfikatorem możliwego istnienia
Promotor: prof. dr hab. Andrzej Wiśniewski
Zainteresowania naukowe:
Logika filozoficzna (logika pytań, logiki temporalne). Teoria dowodu. Teoria rozumowań. Formalna analiza procesów poznawczych i jej zastosowania w naukach kognitywnych i informatyce.
Przebieg pracy zawodowej:
1.02.2005 Instytut Psychologii, Uniwersytet im. Adama Mickiewicza (adiunkt)
1.08.2001--31.01.2005 Instytut Filozofii, Uniwersytet Zielonogórski (do 31.08.2001, WSP TK) (adiunkt)
1.10.1995--31.07.2001 Instytut Filozofii, Wyższa Szkoła Pedagogiczna im. T. Kotarbińskiego w Zielonej Górze (asystent)
Działalność organizacyjna:
2006-- Kierownik studiów na kierunku kognitywistyka w Instytucie Psychologii UAM
2005--2006 Pełnomocnik Dyrektora Instytutu Psychologii ds. Studiów kognitywistycznych UAM
2003--2005 Pełnomocnik ds. Programowych Dyrektora Instytutu Filozofii UZ
2003--2005 Koordynator programów wymiany studentów w Instytucie Filozofii UZ (Socrates/Erasmus, MOST)
2001--2002 Uniwersytet Zielonogórski, Sekretariat Prorektora ds. Szkoły Nauk Humanistycznych i Społecznych (główny specjalista)
1999--2001 Wyższa Szkoła Pedagogiczna im. T. Kotarbińskiego w Zielonej Górze
sekretarz JM Rektora
Funkcje poza uczelnią:
2006-- Członek Zarządu Polskiego Towarzystwa Kognitywistycznego
Doświadczenie dydaktyczne:
Zajęcia prowadzone w języku polskim:
- Wprowadzenie do logiki (wykłady i konwersatoria; przedmiot obligatoryjny dla studentów kognitywistyki, UAM),
- Elementy logiki i metodologii nauk (konwersatoria; przedmiot obligatoryjny dla studentów psychologii, tryb niestacjonarny, UAM),
- Logika I i II (konwersatoria; przedmiot obligatoryjny dla studentów kognitywistyki, UAM),
- Metody dowodzenia twierdzeń i automatyzacja rozumowań (wykłady i konwersatoria; przedmiot obligatoryjny dla studentów kognitywistyki, UAM),
- Kognitywistyka: tworzenie pojęć i rozumowanie (wykłady; przedmiot obligatoryjny dla studentów kognitywistyki, UAM),
- Seminarium magisterskie (dla studentów kognitywistyki, UAM),
- Logika - semiotyka ogólna (wykłady i konwersatoria; przedmiot obligatoryjny dla studentów filozofii, UZ),
- Logika formalna I, II (wykłady i konwersatoria; przedmioty obligatoryjny dla studentów filozofii, UZ),
- Logika pragmatyczna (wykłady i konwersatoria; przedmiot obligatoryjny dla studentów filozofii, UZ),
- Metody dowodowe (wykłady; przedmiot fakultatywny dla studentów filozofii, UZ),
- Logiki temporalne (wykłady; przedmiot fakultatywny dla studentów filozofii, UZ),
- Logika (wykłady i konwersatoria; przedmiot obligatoryjny dla studentów filologii polskiej, historii, pedagogiki, UZ),
- Filozofia (konwersatoria; przedmiot obligatoryjny dla studentów pedagogiki, UZ),
- Etyka (Akademickie Liceum Ogólnokształcące, Zielona Góra).
Zajęcia prowadzone w języku angielskim:
- Logic Based Representations for Software Agents (wykłady i ćwiczenia; MSc Intelligent and Multiagent Systems, University of Westminster, Londyn),
- Classical and Non-classical Logics (wykłady i ćwiczenia; BSc Artificial Intelligence, University of Westminster, Londyn),
- Theory of Knowledge (Akademickie Liceum Ogólnokształcące, Zielona Góra),
- Philosophy: Rhetoric, Eristics, Argumentation (Akademickie Liceum Ogólnokształcące, Zielona Góra).
Działalność naukowa:
Wykłady gościnne
Theory expansion and theory revision. Computing abduction with synthetic tableaux, Harrow School of Computer Science, University of Westminster, listopad 2004.
Synthetic tableaux for paraconsistent logic CLuN, Centrum Logiki i Filozofii Nauki, Ghent University, wrzesień 2001.
Staże zagraniczne
Harrow School of Computer Science, University of Westminster, Wlk. Brytania, wrzesień-grudzień 2004.
Centre for Logic and Philosophy of Science, Ghent University, Belgia, czerwiec-lipiec 2004.
Centre for Logic and Philosophy of Science, Ghent University, Belgia, wrzesień 2003.
Section of Theoretical Philosophy of the Faculty of Philosophy, University of Groningen, Holandia, styczeń-luty 2002.
Centre for Logic and Philosophy of Science, Ghent University, Belgia, wrzesień 2001.
Stypendia
Stypendium Fundacji na rzecz Nauki Polskiej (w ramach Subsydium Profesorskiego prof. A. Wiśniewskiego), wrzesień 2002 -- sierpień 2005
Udział w programach badawczych
Search for Explanation. An Erotetic Approach to Abduction. Projekt realizowany w ramach stażu w Harrow School of Computer Science, University of Westminster, Wlk. Brytania;
Inferencyjna logika pytań a scenariusze rozwišzywania problemów badawczych. Program realizowany w ramach Subsydium Profesorskiego prof. dra hab. Andrzeja Wiśniewskiego, finansowany przez Fundację na rzecz Nauki Polskiej;
A formal study of topics from the philosophy of science, especially in terms of adaptive and erotetic logic and of their combination. Program finansowany przez Ministerstwo Wspólnoty Flamandzkiej (Belgia) i Komitet Badań Naukowych; kierownicy programu: prof. dr Erik Weber, prof. dr hab. Adam Grobler;
Referaty na kongresach i konferencjach naukowych
MIĘDZYNARODOWYCH
Mariusz Urbański In search for the perfect syllabus: teaching
introductory course in logic. Third International Congress on Toos for
Teaching Logic, Salamanca, 1-4 czerwca 2011.
Paweł Łupkowski, Mariusz Urbański SemCAPTCHA: positive semantic priming and
web security, ESPP 2010 (Meeting of the European Society for Philosophy
and Psychology), Essen--Bochum, 25-28 sierpnia 2010.
Mariusz Urbański Paraconsistent Negation and the Square of Opposition, 2nd
World Congress on the Square of Opposition, Corte, 17-20 czerwca 2010.
Paweł Łupkowski, Mariusz Urbański Erotetic Search Scenarios: Revealing
Interrogator's Hidden Agenda, SemDial 2010, Poznań, 16-18 czerwca 2010.
Mariusz Urbański Logic and Cognition: the Faces of Psychologism, Logic in
Cognitive Science, Toruń, 1315 maja 2010.
Paweł Łupkowski, Mariusz Urbański, 2008, SemCAPTCHA -- user-friendly alternative for OCR-based CAPTCHA systems, Computational Linguistics - Applications (CLA'08), Wisła, 20-22 października 2008.
Paweł Łupkowski, Mariusz Urbański, SemCAPTCHA. Telling Computers and Humans Apart by Means of Linguistic Competence and Positive Semantic Priming, 9th International Conference on Artificial Intelligence and Soft Computing, Zakopane, 22-26 czerwca 2008.
Alessandro Basso, Alexander Bolotov, Artie Basukoski,
Vladimir Getov, Ludovic Henrio and Mariusz Urbanski, Specifcation and Verifcation of Reconfguration Protocols in Grid Component Systems; 3rd IEEE Conference On Intelligent Systems, University of Westminster, London, 4-6 września 2006.
Alexander Bolotov, Paweł Łupkowski, Mariusz Urbański, Search and Check. Problem Solving by Problem Reduction, International Conference on Artificial Intelligence and Soft Computing, Zakopane, 25-29 czerwca 2006.
On abductive reasoning; Poznań Linguistic Meeting, 20-23 kwietnia 2006.
Methodological and Theoretical Background for Temporal Modelling of Intelligent Grids; (A.Basukoski, A. Bolotov, V. Getov, L. Henrio, M. Urbanski) 1st CoreGRID Workshop on GRID and P2P Systems Architecture, Heraklion, 17 stycznia 2005.
First-order synthetic tableaux; International Workshop; "Patterns of Scientific Reasoning: Adaptive and Interrogative Perspectives", Gandawa, 6-8 maja 2004.
Abduction via Synthetic Tableaux; 12th International Congress of Logic, Methodology and Philosophy of Sciences, Oviedo, 7-13 sierpnia 2003
Computing Abduction with Socratic Proofs; International Workshop "Problem Solving in the Sciences: Adaptive and Interrogative Perspectives", Bruksela, 8-10 maja 2003
CLuN-based Erotetic Search Scenarios;International Workshop "The Dynamics of Reasoning in the Sciences: Adaptive and Interrogative Perspectives", Gandawa, 17-19 października 2002
Synthetic tableaux and erotetic search scenarios; 1st Flemish-Polish Workshop on Adaptive and Erotetic Logics and their Applications to the Philosophy of Science, Zielona Góra, 15-17 listopada 2001
Regular synthetic tableaux; Logic Colloqium 2001, Wiedeń, 6-11 sierpnia 2001
Synthetic tableaux for Łukasiewicz's calculus Ł3; 4th Flemish-Polish Workshop on the Ontological Foundations of Paraconsistency, Gandawa, 9-11 kwietnia 2001
Synthetic tableaux; 11th International Congress of Logic, Methodology and Philosophy of Sciences, Kraków, 20-26 sierpnia 1999
Some Remarks concerning Modal Propositional Logic of Questions; Second German-Polish Workshop on Logic and Logical Philosophy, Żagań, 30 marca -- 2 kwietnia 1998
Relation of Epistemic Alternativeness in the Logic of Questions; "Rationalität, Realismus, Revision", 3 Kongress der Gesellschaft für Analytische Philosophie, Monachium, wrzesień 1997
KRAJOWYCH
Urbański, M. Łupkowski, P. Konstruowanie pojęć w teoriach formalnych: przypadek abdukcji, konferencja "Pojęcia. Od konceptualizacji do reprezentacji", Kraków, 9-10 września 2010 r.
Modele rozumowań abdukcyjnych, VII Warsztaty Filozoficzne, Pobierowo, 28-30 października 2009.
Abdukcyjny mechanizm powstawania pogłosek eksplanacyjnych, 3. Poznańskie Kolokwia Kognitywistyczne Poznań, 18-19 kwietnia 2008.
Inferencyjna logika pytań a scenariusze rozwiązywania problemów badawczych, Konferencja podsumowująca edycję subsydiów profesorskich FNP Nauki humanistyczne i społeczne 2002-2006 , Kraków, 27-28 kwietnia 2007 r.
Logiki temporalne i logika pytań w zarządzaniu zasobami rozproszonymi, 2. Poznańskie Forum Kognitywistyczne, Poznań, 3 grudnia 2006.
O wyjaśnieniach abdukcyjnych, I Poznańskie Kolokwia Kognitywistyczne, Będlewo, 17-19 listopada 2005
Tabele syntetyczne jako metoda dowodowa dla Klasycznego Rachunku Zdań, Zastosowania Logiki w Filozofii i Podstawach Matematyki, Karpacz, 22-27 kwietnia 1999
Sylogistyczny model wnioskowania abdukcyjnego; Umysł w świecie -- świat w umyśle, Poznań 1-2 grudnia 2006.
Logiki temporalne i logika pytań w zarządzaniu zasobami rozproszonymi; 2-gie Poznańskie Forum Kognitywistyczne, Poznań 3 grudnia 2006.
INNE
Struktura programu studiów kognitywistycznych w IP UAM, Kognitywistyka: studia w Instytucie Psychologii UAM, Obrzycko, 15-16 stycznia 2009.
Błądzić i być skutecznym: o wnioskowaniu w niedoskonałym świecie, XI Poznański Festiwal Nauki i Sztuki, 15-17 października 2008.
Organizacja konferencji
SemDial 2010. 14th Workshop on the Semantics and Pragmatics of Dialogue, Poznań 16-18 czerwca 2010; członek lokalnego komitetu organizacyjnego.
Sposoby działania umysłu i metody ich badania: 3. Poznańskie Kolokwia Kognitywistyczne Poznań, 18-19 kwietnia 2008; członek lokalnego komitetu organizacyjnego.
2. Poznańskie Forum Kognitywistyczne, Poznań, 3 grudnia 2006; członek lokalnego komitetu organizacyjnego.
Umysł w świecie - świat w umyśle. V Zjazd Polskiego Towarzystwa Kognitywistycznego, Poznań, 1-2 grudnia 2006; członek lokalnego komitetu organizacyjnego.
I Poznańskie Kolokwia Kognitywistyczne, Będlewo, 17-19 listopada 2005; członek lokalnego komitetu organizacyjnego.
8th Flemish-Polish Workshop on Adaptive and Erotetic Logics and their Applications to the Philosophy of Sciences, Zielona Góra, 20-22 listopada 2003; kierownik lokalnego komitetu organizacyjnego.
5st Flemish-Polish Workshop on Adaptive and Erotetic Logics and their Applications to the Philosophy of Sciences, Zielona Góra, 15-17 listopada 2001; kierownik lokalnego komitetu organizacyjnego.
Second German-Polish Workshop on Logic and Logical Philosophy, Żagań, 30 marca -- 2 kwietnia 1998; członek lokalnego komitetu organizacyjnego.
Umysł w świecie -- świat w umyśle. V Zjazd Polskiego Towarzystwa Kognitywistycznego, Poznań, 1-2 grudnia 2006; członek lokalnego komitetu organizacyjnego.
2-gie Poznańskie Forum Kognitywistyczne, Poznań, 3 grudnia 2006; członek lokalnego komitetu organizacyjnego.
Nagrody
- Nagroda indywidualna I stopnia Rektora UAM, 2010
- nagroda dydaktyczna Dyrektora Instytutu Psychologii UAM, 2008
- nagroda indywidualna Rektora UZ za rozprawę doktorską, 2002
- nagroda Rektora WSP TK za działalność organizacyjną, 2001
- nagroda Rektora WSP TK za działalność organizacyjną, 2000
|