Dr hab. Kordula Świętorzecka

I. Wykształcenie

Studia
1988-1993 – studia filozoficzne na Wydziale Filozofii Chrześcijańskiej ATK.

Magisterium
1993 – magister filozofii na Wydziale Filozofii Chrześcijańskiej ATK na podstawie pracy: Logiczna analiza sformalizowanych przez o. J. M. Bocheńskiego pięciu «dróg» św. Tomasza z Akwinu .
Promotor: prof. dr hab. Edward Nieznański.

Doktorat
1998 – doktor nauk humanistycznych w zakresie filozofii na podstawie pracy: Teoriomodelowa interpretacja ontologicznego argumentu Kurta Gödla.
Promotor: prof. dr hab. Edward Nieznański,
recenzenci: prof. dr hab. Stanisław Kiczuk, prof. dr hab. Mieczysław Omyła.

Habilitacja
7 maja 2009 – doktor habilitowany nauk humanistycznych w zakresie filozofii.
Recenzenci dorobku naukowego: prof. dr. hab. Jacek J. Jadacki, prof. dr hab. Jacek Paśniczek, prof. dr hab. Jerzy Perzanowski, prof. dr hab. Kazimierz Świrydowicz. Rozprawa habilitacyjna pt. Odwzorowane w językach sformalizowanych klasyczne koncepcje zmiany sytuacji i rzeczy, Wydawnictwo Uniwersytetu Kardynała Stefana Wyszyńskiego w Warszawie, 2008, (w wersji angielskiej: Classical Conceptions of the Changeability of Situations and Things Represented in Formalized Languages) zgłoszona przez Radę Wydziału Filozofii Chrześcijańskiej do nagrody Ministra Szkolnictwa Wyższego. Rozprawa przygotowana w ramach habilitacyjnego projektu badawczego nr N 101 002 31/0087, finansowanego przez Ministerstwo Nauki i Szkolnictwa Wyższego, zgłoszona do nagrody Ministra Nauki i Szkolnictwa Wyższego.

II. Kierunki zainteresowań i badań naukowych

- podstawy filozofii teoretycznej – podstawowe pojęcia ontologiczne i ich klasyczne oraz współczesne systemy;
- historia polskiej filozofii analitycznej;
- formalizacje klasycznych systemów filozoficznych;
- logiki modalne – w szczególności: logiki zmiany, logiki epistemiczne, logiki dynamiczne;
- logika prawnicza – w szczególności: logiczne warunki poprawności definicji, rozumowań i klasyfikacji prawnych i prawniczych.

 III. Pełnione funkcje

- od 1998 r. członek Polskiego Towarzystwa Logiki i Filozofii Nauk,
- od 2003 r. sekretarz Redakcji Studia Philosophiae Christianae,
- od 2008 - kierownik Sekcji Logiki i Metodologii Nauk w Instytucie Filozofii UKSW,
- od 2009 r. członek Komitetu Redakcyjnego Studia Philosophiae Christianae,
- od 2009 r. członek Senackiej Komisji Rekrutacyjnej UKSW,
- od 2009 członek Polskiego Towarzystwa Filozoficznego (Oddział Warszawski)

IV. Nagrody i odznaczenia

- 1993 – wyróżnienie Rektora ATK za prace związane z przekształceniem Akademii Teologii Katolickiej w Uniwersytet Kardynała St. Wyszyńskiego w Warszawie;
- 1998 – wyróżnienie Komisji Nauki Wiary KEP rozprawy doktorskiej spośród prac doktorskich z zakresu filozofii przedstawionych w 1998 roku w uczelniach katolickich w Polsce;
- 2004 – Medal Komisji Edukacji Narodowej za zasługi dla oświaty i wychowania.

V. Działalność dydaktyczna w UKSW

Prowadzone zajęcia

- międzywydziałowe zajęcia z podstaw obsługi komputera,
- ćwiczenia i wykłady z logiki ogólnej dla studentów Filozofii i Psychologii,
- ćwiczenia z technik dowodzenia dla studentów Filozofii,
- wykłady z logik modalnych i ich semantyki dla studentów Filozofii UKSW oraz studentów Filozofii Uniwersytetu Warszawskiego (w porozumieniu z Dyrektorem Instytutu Filozofii UW),
- wykłady z logik zmian dla studentów Filozofii,
- proseminarium i seminarium (wspólnie z prof. E. Nieznańskim) z zakresu zastosowań logiki do filozofii.

W latach 1998-2002 – funkcja opiekuna studentów I roku Filozofii UKSW.
Od 2007 roku – funkcja opiekuna Koła Logiki UKSW.

Promocje i recenzje prac magisterskich

Promocje następujących prac magisterskich na kierunku Filozofii UKSW:

1. Marcin Bębas, Modalności de re i de dicto w logice modalnej S5,
recenzent: prof. dr hab. M. Omyła;

2. Agnieszka Galbierczyk, Semiotyczna analiza pojęcia nieostrości, 2002,
recenzent: prof. dr hab. E. Nieznański;

3. Agnieszka Piszczatowska, Analiza pojęcia podziału typologicznego, 2004,
recenzent: prof. dr hab. E. Nieznański,

4. Łukasz Siemiradzki, Próba formalizacji pojęcia sprawcy, 2009,
recenzent: prof. dr hab. E. Nieznański,

5. Ewa Załęska, Wybrane paradoksy identyczności i zmiany, 2009,
recenzent: ks. dr R. Tomanek,

6. Anna Nowicka, Formalne i pozaformalne aspekty pojęcia autorytetu, 2009,
recenzent: prof. dr hab. H. Gasiul,

7. Marta Wolicka, Pragmatyczna koncepcja prawdy według Williama Jamesa, 2009,
recenzent: ks. dr R. Tomanek

Recenzje następujących prac na kierunku Filozofii UKSW:

1. Mariusz Dąbrowski, Analiza logiczna pojęcia wiarygodności źródła informacji, 1999, promotor: prof. dr hab. E. Nieznański;

2. Małgorzata Ożarowska, Systemy logiki deontycznej Zdzisława Ziemby, 1999, promotor: prof. dr hab. E. Nieznański;

3. Renata Sosnowska, Krytyka repliki B. Russella i L. Kołakowskiego na argumenty teodycei klasycznej, 1999, promotor: prof. dr hab. E.Nieznański;

4. Marek Stuba, Analiza logiczna filozoficznych konsekwencji fatalizmu religijnego, 1999, promotor: prof. dr hab. E. Nieznański;

5. Katarzyna Kucińska, Ludwika Borkowskiego nowa koncepcja dedukcji, 2001, promotor: prof. dr hab. E. Nieznański;

6. Robert Krysiak, O zasadzie niesprzeczności u Arystotelesa według Jana Łukasiewicza, 2003, promotor: prof. dr hab. E. Nieznański;

7. Piotr Orzeszek, Jana Sowy koncepcja grafów konceptualnych, 2008,promotor: prof. dr hab. E. Nieznański;

8. Tomasz Czopowicz, Podstawowe pojęcia teorii pytań, 2009, promotor: prof. dr hab. E. Nieznański.

Książki

- współredakcja, współautorstwo i autorstwo:
1. Jan Salamucha, Knowledge and Faith. Collected Works, Wyd. Uniwersytetu im. A. Mickiewicza w Poznaniu, 2003, ss. 419, redakcja wspólnie z J. J. Jadackim;
2. Elementy logiki prawniczej, Wyd. Iuris, Poznań 2000, ss. 248, współautorstwo z E. Nieznańskim (red), A. Wójtowicz, T. Chodkowskim;
3a. Odwzorowane w językach sformalizowanych klasyczne koncepcje zmiany sytuacji i rzeczy, Wydawnictwo Uniwersytetu Kardynała Stefana Wyszyńskiego w Warszawie, 2008, ss. 247 (rozprawa habilitacyjna);
3b. Classical Conceptions of the Changeability of Situations and Things Represented in Formalized Languages, Wydawnictwo Uniwersytetu Kardynała Stefana Wyszyńskiego w Warszawie, 2008, ss. 240;
4. W kierunku formalizacji filozofii klasycznej: inspiracje i kontynuacje, Wydawnictwo Uniwersytetu Kardynała Stefana Wyszyńskiego w Warszawie, 2008, ss. 572, redakcja wspólnie z J. Krokosem i R. Tomankiem;
5. U podstaw analizy filozoficznego dyskursu z wykorzystaniem interpretacji Władysława Tatarkiewicza, Wydawnictwo Uniwersytetu Kardynała Stefana Wyszyńskiego w Warszawie, redakcja wspólnie z E. Nieznańskim i R. Tomankiem. (w druku)

Pozycje 3a-b zostały zrealizowane w ramach prowadzonego w latach 2006/2007 habilitacyjnego projektu badawczego nr N 101 002 31/0087, finansowanego przez Ministerstwo Nauki i Szkolnictwa Wyższego.

    - rozdziały w pozycjach (1) i (2):
6. „On Jan Salamucha Life and Work” – wspólnie z J. J. Jadackim [w:] Jan Salamucha, Knowledge and Faith. Collected Works (pozycja (1)), s. 11-57;
7. „Podziały pojęć i rzeczy” [w:] Elementy logiki prawniczej (pozycja (2)), s. 43-126;

    - rozdziały w pozycji (4):
8. „Wersja analityczna filozofii klasycznej według Profesora Edwarda Nieznańskiego”, s. 23-28;
9. wspólnie z J. Wesserlingiem, „Uwagi o niefregowskiej interpretacji pojęcia zmiany”, s. 65-88.

    - rozdziały w pozycji (5):
10. „Podziały. Podstawy teoretyczne”, s. 83-122;
11. „Zastosowania teorii podziałów”, s. 123-206;

Artykuły i inne

12. „Quinque viae w formalizacji o. J. M. Bocheńskiego z 1989 roku” [w:] Filozofia/Logika. Filozofia logiczna 1994, red. J. Perzanowski, A. Pietruszczak, C. Gorzka, Toruń 1995, s. 233-254;
13. „Formalizacja tomistycznej teodycei w wykonaniu o. J.M. Bocheńskiego”, Studia Philosophiae Christianae, 31(1995) 1, s. 27-35;
14. „O stosowalności niektórych modalnych reguł inferencji w rozumowaniach pozalogicznych”, Filozofia Nauki, UW, nr 1, 2002;
15. „O pewnych formalnych założeniach semantycznych niektórych sformalizowanych argumentów ontologicznych”, Studia Philosophiae Christianae, 38(2002)2, s. 55-87.
16. „Arystotelesa modalny rachunek nazw w ujęciu o. J.M. Bocheńskiego”, Studia Philosophiae Christianae 42(2006)1, s.71-94;
17. „Propozycja formalizacji pojęcia zmiany - rachunek LNC” [w:] Myśli o języku, nauce i wartościach. (Księga ofiarowana Prof. J. Jadackiemu w sześćdziesiątą rocznicę urodzin), Wyd. Naukowe Semper, Warszawa 2006, s. 168-178;
18. „LCG – logika zmian”, Filozofia Nauki, UW, R.XV, nr 1(57), s. 19-46;
19. Jan Salamucha. Biogram. [w:] Tomizm polski od encykliki Aeterni Patris do Soboru Watykańskiego II (1879-1962), Wyd. UKSW – przyjęte do druku;
20. Hasła logiczne do 30 tomowej Wielkiej Encyklopedii PWN (druk ukończony w 2005 r):
    argument (T2, 279),
    L. St. Borkowski (T4, 295),
    desygnat (T7, 115), desygnowanie (T7, 115),
    ekwiwokacja (T8, 147),
    funktor (T9, 447),
    logika deontyczna (T16, 109),
    logika formalna (logika symboliczna) (T16, 109/110),
    logika modalna (T16, 111/112),
    rozumowanie (T23, 574),
    J. Salamucha (T24, 253/254),
    semantyka (T24, 510/511),
    semiotyka (T24, 515),
    wnioskowanie (T29, 457),
    znaczenie (T30, 422), znak (T30, 423);

21. Przekłady prac [w:] Jan Salamucha, Knowledge and Faith. Collected Works, Wyd. Uniwersytetu im. A.Mickiewicza w Poznaniu (2003):
a.Jan Salamucha, „Oblicze miłości”, Walka, nr 49, z. 25.12.1942;
b.Jan Salamucha, „Dowód ex motu na istnienie Boga. Analiza logiczna argumentacji św. Tomasza z Akwinu”, Collectanea Theologica, r.15, t.54, z.1-2, s. 53-92;
22. Rec. Kazimierz Świrydowicz, Logika modalna, Wydawnictwo Naukowe Uniw. im. A. Mickiewicza w Poznaniu, 2004, ss. 335, Studia Philosophiae Christianae, 41(2005)1, s. 215-223.
23. „The formalised Conception of Substantial Change in Terms of Some Modal Sentential Calculus (Logic LCG)” [w:] XXII World Congress of Philosophy. Rethinking Philosophy Today. Abstracts, Seoul National University, Seoul 2008, s. 494-495;
24. „Przyczynek do formalnej charakterystyki pewnego rodzaju zmian epistemicznych” [w:] Księga Streszczeń. VIII Polski Zjazd Filozoficzny, Wyd. Naukowe Semper, Warszawa 2008, s. 193-194;
25. (a) Rec. Edward Nieznański, Sformalizowana ontologia orientacji klasycznej, Wyd. Uniw. Kard. St. Wyszyńskiego, 2007, ss. 125, Studia Philosophiae Christianae, 44(2008)1;
(b) wersja angielska: Rev. Edward Nieznański, Formalized classical ontology, The Publishing Company of the University of Cardinal Stefan Wyszynski, Warsaw, 2007, pp 125, Polish Journal of Philosophy [w druku];
26. Przekład na j. angielski: E. Nieznański, „Elements of modal theodicy”, Bulletin of Section of Logic, 37/3-4, 2008, s. 253-264;
27. „O pewnej koncepcji epistemicznych zmian przekonań. Preliminaria” [w:] Rozważania o filozofii prawdziwej, red.: J. Sytnik-Czetwertyński, Wyd. Uniwersytetu Jagiellońskiego, s. 135-159.
28. „Twierdzenie o pełności logiki zmian LCG”, Wyd. Uniwersytetu Wrocławskiego – przyjęte do druku, [w:] Leibniz. Tradycja i idee nowoczesnej filozofii (red. B.Paź) (w druku);
29. Between the Logic of Parmenides and the Logic of Liar, Bulletin of the Section of Logic (2009) (w druku)
30. Elementy klasycznej teorii zasad bytu, Studia Philosophiae Christianae (2009) (w druku)

Udział w niektórych konferencjach i sympozjach naukowych

1. W roku 1999 – uczestnictwo w seminarium nt. formalizacji teorii prawdy organizowanym przez Instytut Matematyki i Instytut Filozofii Uniwersytetu w Salzburgu w Geras (Austria);
2. Udział w cyklu Warsztatów Logiczno-Filozoficznych zorganizowanym przez Zakład Logiki UMK w Toruniu,
w czasie III Warsztatów (Górzno, 1997) referat „Elementy teoriomodelowej semantyki K. Gödla dowodu ontologicznego na istnienie absolutu”;
3. W 1999 r. – Polskie Towarzystwo Filozoficzne, Oddział w Łodzi;
referat „O paru próbach formalizacyjnych na gruncie klasycznej teodycei”;
4. W 2000 r. – udział w Warsztatach Filozoficznych Kolegium Teologiczno-Filozoficznego oo. Dominikanów w Krakowie,
referat „Blaski i cienie formalizacji filozofii”. (W ramach współpracy z Kolegium promotorstwo pracy Tomasza M. Grabowskiego OP pt. ”Wstęp do analizy sposobów uznawania twierdzeń dyskursu religijnego”.);
5. 10.05.2004 r. – referat "O paralogizmach w niektórych modalnych regułach wnioskowania" w ramach posiedzenia Polskiego Towarzystwa Filozoficznego, Oddział w Łodzi;
6. 18 lutego 2005 r. – udział w Sympozjum „Logiczny fundament filozofii. W dziesiątą rocznicę śmierci o. J. M. Bocheńskiego” (zorganizowanym przez Towarzystwo Naukowe Warszawskie i UKSW) jako członek Komitetu Organizacyjnego Sympozjum, referat pt. „Arystotelesa modalny rachunek nazw w ujęciu o. J.M. Bocheńskiego”;
7. 17 maja 2005 r. – udział w Konferencji „Egzystencjalne, etyczne i prawne aspekty zła w świecie”, Wyższa Szkoła Handlu i Prawa im. R. Łazarskiego w Warszawie;
8. We wrześniu 2005 – udział w seminarium Katedry Logiki Instytutu Nauk Politycznych, Uniwersytet Warmińsko-Mazurski w Olsztynie,
referat „Laurenta Larouche’a teoria zmiany”;
9. 8-11 maja 2006 r. – udział w Konferencji „Zastosowania logiki w filozofii i podstawach matematyki” zorganizowanej przez Uniwersytet Wrocławski, Uniwersytet Opolski i Uniwersytet Śląski w Szklarskiej Porębie,
referat „LCG – logika zmian”;
10. 3-4 lipca 2006 r. – udział w Konferencji „Calculemus. G.W. Leibniz jako filozof i prekursor informatyki zorganizowanej przez Instytut Filozofii Uniwersytetu Wrocławskiego, referat „Twierdzenie o pełności logiki zmian LCG”;
11. 20 października 2006 – udział w Konferencji „Dwie koncepcje języka – Ludwik Wittgenstein (1889-1951) i Martin Heidegger (1889-1976)” – Sekcja Teorii Poznania i Filozofii Języka, Wydz. Fil. UKSW;
12. 21 października 2006 – udział w debacie „Świadkowie i historycy” (W 40-tą rocznicę wystąpienia Leszka Kołakowskiego i Krzysztofa Pomiana na temat kultury polskiej 10 lat po październiku 1956 r.) – Instytut Historyczny, Uniwersytet Warszawski;
13. 23 marca 2007 – udział w Konferencji „Filozofia a śmierć” zorganizowanej przez Uniwersytet Śląski, Wydział Teologiczny, Instytut Filozofii Chrześcijańskiej,
odczyt „Próba formalizacji Arystotelesowskiego pojęcia zmiany substancjalnej”;
14. 8-11 maja 2007 – udział w Konferencji pt. „Zastosowania logiki w filozofii i podstawach matematyki” zorganizowanej przez Uniwersytet Wrocławski, Uniwersytet Opolski i Uniwersytet Śląski w Szklarskiej Porębie;
15. 12 września 2007 – udział w Świętokrzyskich X Polskich Warsztatach Filozoficzno-Logiczno-Kognitywistycznych w św. Krzyżu organizowanych przez Uniwersytet Jagielloński i Akademię Świętokrzyską w Kielcach,
referat „Parę uwag na temat zaproponowanej przez Andrzeja Grzegorczyka epistemicznej intepretacji logiki intuicjonistycznej”.
16. 25-30 lipca 2008 - udział w XXII Word Congress of Philosophy w Seulu (Korea Płd),
referat „The formalised Conception of Substantial Change in Terms of Some Modal Sentential Calculus (Logic LCG)”;
17. 4-6 września 2008 – uczestnictwo w Konferencji „Logiki nieklasyczne. Teoria i zastosowania” zorganizowane przez Katedrę Logiki Uniwersytetu Łódzkiego;
18. 15-20 września 2008 – udział w VIII Polskim Zjeździe Filozoficznym w Warszawie, referat „Przyczynek do formalnej charakterystyki pewnego rodzaju zmian epistemicznych” (17.09.08).
19. 15-16 stycznia 2009 – organizacja (razem z J. Krokosem i R. Tomankiem) i udział w międzynarodowej konferencji „W kierunku filozofii klasycznej inspiracje i kontynuacje", Uniwersytet Kard. St. Wyszyńskiego w Warszawie,
20. 30.04.-3.05. 2009 – udział w sympozjum „Filozofia dla teologów” zorganizowanym przez Instytut Teologiczny im. św. Józefa Bilczewskiego we Lwowie, referat „O niektórych współczesnych ekstensjonalnych pojęciach Absolutu”.
21. 17.09.-19.09. 2009 - udział w konferencji "Logiki nieklasyczne" zorganizowanej przez Katedrę Logiki Uniwersytetu Łódzkiego, referat „Między logiką Parmenidesa i logiką Kłamcy”.

Stypendia zagraniczne
1. W roku 1996 – stypendium Wydziału Matematyki Uniwersytetu w Salzburgu. Udział w seminarium prof. G. Schurza (Instytut Filozofii US) na temat logik modalnych oraz w seminarium poświęconemu formalizacji filozofii, prowadzonym przez prof. J. Czermaka (Instytut Matematyki US);
2. W roku 1998 – stypendium Wydziału Teologicznego Uniwersytetu w Bonn; badania nad systematyką modalności logicznych i filozoficznych;
3. We wrześniu 2000 roku – stypendium Uniwersytetu w Salzburgu, kwerenda naukowa w związku z pracą habilitacyjną.