ks. dr Marek Porwolik

Instytut Filozofii

Katedra Logiki i Metodologii Nauk
 

 

stanowisko:

adiunkt

 

E-mail:   m.porwolik@uksw.edu.pl   

 Dydaktyka i konsultacje (link USOS) 

___________________________________________________________________________________________

 

WYKSZTAŁCENIE

Studia

  • 1990-1995 - Uniwersytet Śląski, Wydział Matematyki, Fizyki i Chemii, matematyka
  • 1995-2000 - Papieska Akademia Teologiczna, Wydział Teologiczny, teologia
  • 2001-2003 - Uniwersytet Śląski, Wydział Teologiczny, teologia pastoralna
  • 2003-2005 - Uniwersytet Kardynała Stefana Wyszyńskiego, Wydział Filozofii Chrześcijańskiej, filozofia

Magisterium

  • 1995 - matematyka, Twierdzenie Sierpińskiego - Erdösa, Uniwersytet Śląski, Wydział Matematyki, Fizyki i Chemii
  • 2000 - teologia, Zbiory rozmyte a nazwy nieostre, Papieska Akademia Teologiczna, Wydział Teologiczny

Licencjat kanoniczny

  • 2003 - teologia,. Zbiory rozmyte a nazwy nieostre (odniesienie do języka filozoficzno-teologicznego), Uniwersytet Śląski, Wydział Teologiczny

Doktorat

  • 2008 - filozofia, Ojca Bocheńskiego formalizacje koncepcji Boga jako pierwszej przyczyny sprawczej, Uniwersytet Kardynała Stefana Wyszyńskiego, Wydział Filozofii Chrześcijańskiej

 

KARIERA ZAWODOWA 

Praca zawodowa

  • 2000-2003 - nauczyciel religii i matematyki, Zespół Szkół Handlowych w Jastrzębiu Zdroju
  • 2005-2008 - asystent, Katedra Metodologii Nauk na Wydziale Filozofii Chrześcijańskiej Uniwersytetu Kardynała Stefana Wyszyńskiego
  • od 2008 - adiunkt, Katedra Metodologii Nauk na Wydziale Filozofii Chrześcijańskiej Uniwersytetu Kardynała Stefana Wyszyńskiego

Pełnione funkcje

  • 2005-2013 - opiekun studentów I roku filozofii UKSW
  • 2006-2009 i od 2013 - sekretarz Rady Wydziału
  • 2007-2010 - członek Wydziałowej Komisji Rekrutacyjnej
  • 2009-2012 - członek Senatu UKSW
  • od 2012 - członek Rady Wydziału
  • od 2013 - opiekun studentów I i II roku filozofii UKSW (II stopień)
  • od 2014 – pełniący obowiązki kierownika Katedry Metodologii Nauk

Członkostwo w organizacjach i gremiach naukowych

  • 2008-2009 - Komitet Organizacyjno-Programowego Cyklu Konferencyjnego ArgDiaP 2008/9 (Argumentacja: krytyczne myślenie, dialog, perswazja)

Udział w programach badawczych

  • uczestnictwo od 2011r. w projekcie badawczym ”Sztuczna inteligencja i abstrakcyjna struktura bytu” w ramach współpracy Politechniki Warszawskiej, Uczelni Łazarskiego i Uniwersytetu Kardynała Stefana Wyszyńskiego w Warszawie
  • uczestnictwo od 2013 r., jako członek komitetu naukowego, w projekcie badawczym "CCFT Working Group - Dialogues between Scientific Culture, Philosophy and Theology" którego inicjatorem jest Centre for Logic, Epistemology and the History of Logic, State Univercity of Campinas, Brazil

 

PRACA NAUKOWA I DOROBEK NAUKOWO-BADAWCZY

Kierunki badań

  • zagadnienie formalizacji
  • podstawy matematyki
  • ogólna metodologia nauk
  • metodologia nauk teologicznych
  • sztuczna inteligencja

Publikacje

Artykuły

  • (wraz z M. Gizdoń) Analiza logiczna pojęcia śmierci w naukach medycznych, w: Filozofia a śmierć, red. M. Wójtowicz, W. Kania, FHU Kopalnia Skarbów, Katowice 2007, 264-275
  • Operacja konsekwencji a operacja domknięcia zbioru - przerzucane mosty, Studia Philosophiae Christianae 42(2007)1, 152-159
  • Ojca Bocheńskiego próba aksjomatyzacji teorii pierwszej przyczyny sprawczej, w: W kierunku filozofii klasycznej. Inspiracje i kontynuacje, red. J. Krokos, K. Świętorzecka, R. Tomanek, Wydawnictwo UKSW, Warszawa 2008, 163-182
  • Propozycja aksjomatyzacji koncepcji Absolutu jako pierwszej przyczyny sprawczej inspirowana formalizacjami O. Bocheńskiego, Studia Philosophiae Christianae 44(2008)1, 13-30
  • Formalizacje argumentu ex causa efficientis w wykonaniu o. Bocheńskiego, w: Logika i teologia, red. J. Piechowicz, Księgarnia św. Jacka, Katowice 2011, 26-39
  • (wraz z  J. Mulawka), Considerations on conceptual knowledge representation, Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2011, edited by Ryszard S. Romaniuk, Proc. of SPIE Vol. 8008, 800804
  • Ojca Bocheńskiego formalizacje czwartej drogi św. Tomasza z Akwinu, Logos i Ethos, 31(2011)2, 109-130
  • The philosophical backgrounds of Formal Concept Analysis, Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2012, edited by Ryszard S. Romaniuk, Proc. of SPIE Vol. 8454, 845428
  • Formalisation of the Argument Ex Causa Efficientis Presented by Fr. Bocheński, in: Logic in Theology, edited by B. Brożek, A. Olszewski, M. Hohol, Copernicus Center Press, Kraków 2013, 159-177
  • Józef Maria Bocheński’s logical analyses of Question I of St. Thomas Aquinas’ Summa Theologiae, Studies in East European Thought, 65(2013)1, 75–99
  • „Piąta droga” św. Tomasza z Akwinu w formalizacjach J.M. Bocheńskiego i  P. Weingartnera, Roczniki Filozoficzne 61(2013)3, 77-99
  • Józefa Marii Bocheńskiego analizy logiczne pierwszej kwestii Sumy teologicznej św. Tomasza z Akwinu, w: Poza logiką jest tylko absurd. Filozofia Józefa Marii Bocheńskiego OP, red. D. Łukasiewicz, R. Mordarski, Fundacja „Dominikańskie Studium Filozofii I Teologii”, Kraków 2014, s. 107-143

Recenzje

  • François Rivenc, Gabriel Sandu, Entre logique et langage, Studia Philosophiae Christianae, 49(2009)2, 300-303
  • Theodore Sider, Logic for Philosophy, Studia Philosophiae Christianae, 46(2010)2, 246-249
  • Jean-Pierre Declés, Brahim Djioua, Florence Le Priol, Logiqe et Langage: déduction naturelle, Studia Philosophiae Christianae, 46(2010)2, 243-246
  • Michał Piekarski, Logika-Gramatyka-Pragmatyka. Ewolucja wittgensteinowskiej koncepcji związku języka ze światem, Studia Philosophiae Christianae, 51(2015)1, 165-171

Inne

  • Sprawozdanie z dyskusji do wykładu ks. dra hab. J. Dadaczyńskiego, w: VIII Kongres Teologów Polskich, Między sensem a bezsensem ludzkiej egzystencji, Uniwersytet im. Adama Mickiewicza, Wydział Teologiczny, Poznań 2012, 343-346

Kongresy, sympozja, konferencje – wygłoszone referaty

  • 23.03.2007, UŚ w Katowicach, Filozofia a śmierć, Analiza logiczna pojęcia śmierci w naukach medycznych, (wraz z M. Gizdoń)
  • 24-28.11.2009, UPJPII w Krakowie, Logika w teologii, Formalizacja dowodu ex causa efficientis w wykonaniu o. Bocheńskiego
  • 3.12.2010, UPJPII w Krakowie, Istnienie Boga. Teizm. Agnostycyzm. Ateizm, Ojca Bocheńskiego formalizacje czwartej drogi św. Tomasza z Akwinu
  • 23-29.05.2011, Politechnika Warszawska, IEEE-SPIE-PSP WILGA 2011 Symposium, Considerations on conceptual knowledge representation, (wraz z J. Mulawka)
  • 25-26.10.2011, UJ , 57 Konferencja Historii Logiki, Ojca Bocheńskiego formalizacje trzeciej drogi św. Tomasza z Akwinu
  • 28.05.-02.06.2012, Politechnika Warszawska, IEEE-SPIE-PSP WILGA 2012 Symposium, The philosophical backgrounds of Formal Concept Analysis
  • 17-21.09.2012, Gliwice-Katowice-Wisła, IX Polski Zjazd Filozoficzny, Propozycja sformalizowanego opisu ciągłości istnienia
  • 18-20.10.2012, UKW w Bydgoszczy, Józef Maria Bocheński - między logiką a mądrością, Ojca Bocheńskiego formalizacje pierwszej kwestii Sumy Teologicznej św. Tomasza z Akwinu
  • 20.11.2012, Katolicki Uniwersytet Lubelski Jana Pawła II, IV Jesienna Konferencja Logiki: Logika w teologii, Piąta droga św. Tomasza z Akwinu w formalizacjach J. M. Bocheńskiego i P. Weingartnera
  • 21-23.03.2013, State University of Campinas, Brazil, 1st CLE Colloquium for Philosophy and History of Formal Sciences, J. M. Bocheński’s analysis of quinque viae (origin, role, continuations)
  • 24-27.03.2013, State University of Campinas, Brazil, X Seminário Nacional de História da Matemática (X SNHM – 10th Brazilian History of Mathematics Conference, The axiomatization of the conception of the Absolute according to Fr. Bocheński
  • 26.05.-02.06. 2013, Politechnika Warszawska, XXXII-th IEEE-SPIE Joint Symposium Wilga 2013, An Examination of Classical Theodicy Using Formal Concept Analysis, (wraz z P. Orzeszek)
  • 22-23.10.2013, UJ, 59 Konferencja Historii Logiki, J. M. Bocheńskiego analizy formalne quinque viae z roku 1953
  • 14-15.02.2014, UKSW, Seminar. Relational Extensions of Gödel’s  Argument, On Some Formal Descriptions of Genidentity. Remarks to  theories of Zdzisław Augustynek
  • 21-22.10.2014, UJ, 60 Konferencja Historii Logiki, Zdzisława Augustynka aksjomatyczne ujęcia genidentyczności -– porównanie systemów
  • 31.01.2015, Politechnika Warszawska, XXXVI-th IEEE-SPIE Joint Symposium Wilga 2015, On the auxiliary role of the computer implementation of the components of a set in the axiomatization of some theories, (wraz z J. Mulawka, P. Bogdan)
  • 26-28.03.2015, Inter-University Centre, Dubrovnik, Croatia, Formal Methods and Science in Philosophy, Laurent Larouche’s and Eugeniusz Żabski’s Axiomatic Definitions of Genidentity
  • 03-08.08.2015, University of Helsinki, Finland, 15th Congress on Logic, Methodology, and Philosophy of Science ,On some unknown ideas by Sobocinski: comments on philosophical applications of Lesniewski’s systems (wraz z K. Świętorzecka)
  • 15-19.09.2015, UAM, Poznań, X Polski Zjazd Filozoficzny, Z filozoficznych zastosowań mereologii. B. Sobocińskiego szkic koncepcji totum reale (wraz z K. Świętorzecka)