UNIWERSYTET KARDYNAŁA
STEFANA WYSZYŃSKIEGO W WARSZAWIE
WYDZIAŁ FILOZOFII
CHRZEŚCIJAŃSKIEJ
INSTYTUT FILOZOFII
Prof. zw. dr hab. Edward NIEZNAŃSKI
kierownik sekcji
Logiki i Metodologii Nauk
11 października 1938
r.
ul. Capri 5 m. 42. 02-762 Warszawa
W Y K S Z T A Ł C
E N I E
Praca magisterska
prof. dr hab.
Józef Iwonicki, ATK, 27. 11. 1962, mgr
Rozprawa doktorska Próba eliminowania
założeń egzystencjalnych z logistycznych modeli tradycyjnej teorii
sylogizmu kategorycznego, prof. dr hab. Józef Iwanicki, ATK, 24. 06.
1969
Rozprawa habilitacyjna Formalizacyjne
próby ustalania logiko-formalnych podstaw stwierdzania pierwszych
elementów relacji rozważanych w tomistycznej teodycei,
Recenzenci:
prof. dr hab. J. Iwanicki (ATK Warszawa), prof. dr hab. L. Borkowski,
prof. dr hab. S. Kamiński (obaj z KUL Lublin), ATK, 2. 06. 1977, dr hab.
Tytuł naukowy Data uzyskania: 29. 07.
1991, Recenzenci dorobku naukowego: prof. dr hab. Witold Marciszewski (UW
Warszawa), prof. dr hab. Leon Koj (UMCS Lublin), prof. dr hab. Ludwik
Borkowski (KUL Lublin), prof. dr hab. Paul Weingartner (Universität
Salzburg)
K A R I E R
A Z A W O D
O W A
Od 1. 10. 1982 kierownik Katedry Logiki w Akademii Teologii
Katolickiej (ATK), przekształconej następnie w Uniwersytet Kardynała
Stefana Wyszyńskiego (UKSW) w Warszawie. Tytuł naukowy profesora nauk
humanistycznych uzyskał 29. 07. 1991. Mianowany na stanowisko profesora
zwyczajnego w ATK 1. 07. 1994. Profesor zwyczajny i kierownik Katedry
Logiki Prawniczej w Wyższej Szkole Handlu i Prawa im. Ryszarda Łazarskiego
w Warszawie od 1. 02. 1998. Forschungsassistent am Institut für
Wissenschaftstheorie des Internationalen Forschungszentrums für Grundlagen
der Wissenschaften w Salzburgu (1980-1981), Gastprofessor des
Philosophischen Institutes der Geisteswissenschaftlichen Fakultät an der
Salzburger Universität (1994-1995), auberordentlicher Professor der
Gustav-Siewerth-Akademie in Weilheim RFN (od 1998).
Kierunki badań Specjalizacja logika i
metodologia nauk
Pełnione funkcje zawodowe Od 1. 12. 1990 do
31. 08. 1993. prorektor ATK ds. dydaktyki, od 1. 09. 1993 do 31. 08. 1996.
prorektor ATK ds. współpracy naukowej, od 15. 06. 2000 prorektor ds.
naukowo-dydaktycznych Wyższej Szkoły Handlu i Prawa im. Ryszarda
Łazarskiego w Warszawie. Od 1978 jest redaktorem serii Miscellanea
Logica, od 1973 jest członkiem komitetu redakcyjnego półrocznika
Studia Philosophiae Christianae, od 1992 jest członkiem rady
redakcyjnej Przeglądu Filozoficznego Nowej Serii, od 2000 jest
członkiem rady naukowej Roczników Filozoficznych.
Członkostwo w organizacjach
naukowych
Członek der Gesellschaft der Analytischen
Philosophie i Polskiego Towarzystwa Filozoficznego. Członek
Stowarzyszenia na Rzecz Zrównoważonego Rozwoju Polski
D O R O B E
K N A U K O W Y
W dorobku naukowym E. Nieznańskiego dominują dwie główne dziedziny
badań: semiotyka logiczna i procedury formalizacyjne. Prof. Nieznański
przeprowadził interpretacje teorii sylogizmu kategorycznego w językach
współczesnych rachunków logicznych. Podejmował problematykę teorii
definicji, form uzasadniania, pojęcia prawdy i podstaw formalizacji. W
analizach logicznych posługuje się językami klasycznej logiki formalnej,
systemów modalnych i teorii mnogości. Rozbudował aparat pojęciowy
filozofii klasycznej o nowe koncepcje i teorie wyrastające ze składni,
semantyki i pragmatyki logicznej. Równolegle do badań z zakresu logiki
stosowanej prowadzi prace nad problemami metalogiki, w jej rozszerzeniu
stosownym do potrzeb formalizacji języków naturalnych, a także nad budową
ontologii formalnej. Jest również autorem wielu opracowań z historii
logiki i z metodologii nauk. Logice prawniczej poświęcił: wykład
Boolesche Algebra für deontische Modalitäten, wygłoszony 7. XII.
1999 w Institut für Philosophie der Universität Salzburg, podręczniki:
Logika. Podstawy - język - uzasadnianie, seria Podręczniki
Prawnicze, Wydawnictwo: C. H. Becka Warszawa 2000, ss. 179
(jako autor); i Elementy logiki prawniczej: definicje, podziały i typy
argumentacji, (jako redaktor naukowy i współautor), Polskie
Wydawnictwo Prawnicze Juris Warszawa-Poznań 2000, ss. 248; oraz
artykuł System modalności deontycznych jako algebra Boole'a, Zeszyty
Naukowe WSHiP , Seria Prawo, zeszyt 5; Warszawa 2001, s. 128-146.
Książki, podręczniki, skrypty:
Próba eliminowania założeń egzystencjalnych z
logistycznych modeli tradycyjnej teorii sylogizmu kategorycznego,
Warszawa ATK 1969, ss. 147+XIII, fotokopie. Wstęp do teorii
modelowania, Warszawa ATK 1970, ss. 107, fotokopie. W
kierunku formalizacji tomistycznej teodycei, Nieznański E.
(redaktor, współautor i tłumacz), Miscellanea Logica 1(1980),
Warszawa ATK, ss. 452. Logik der Gottesbeweise, Salzburg
1980, ss. 121+11, kserokopie. Eine logische Theorie der
Relationen, Salzburg 1980, ss. 60, kserokopie.
Formalisierung des Gottesbeweises 'ex motu', Salzburg 1981,
ss. 25, kserokopie. Rachunki logiczne i teoriomnogościowe,
Warszawa ATK 1992, ss. 41, kserokopie. Wprowadzenie do
filozofii, Warszawa WSDG 1998, ss. 130, kserokopie. Logika.
Podstawy - język - uzasadnianie, seria Podręczniki Prawnicze,
Wydawnictwo: C. H. Becka Warszawa 2000, ss. 179. Elementy
logiki prawniczej: definicje, podziały i typy argumentacji, E. Nieznański (redaktor
naukowy i współautor), Polskie Wydawnictwo Prawnicze Juris
Warszawa-Poznań, ss. 248. About God and soul In the Polish
analytical Thomism, Editions Rodopi B. V. (w przygotowaniu).
Artykuły:
Próba wyprowadzenia
sylogistyki arystotelesowej z rachunku zdań, Studia Philosophiae
Christianae 1965, nr 1, s. 199-238.
Z zagadnień logiki i
metodologii nauk: syntaktyka, semantyka, metarachunek zdań, formalizacja
socjologii, Studia Philosophiae Christianae 1965, nr 1, s. 279-284.
Kierunki polskich badań nad tradycyjną asertoryczną logiką
formalną, Studia Philosophiae Christianae 1966, nr 2, s. 121-176.
Bertrand Arthur William Russell, Studia Philosophiae
Christianae 1971, nr 1, s. 318-330.
Elementarna teoria systemów
porządkowych, Studia Philosophiae Christianae 1973, nr 1, s. 207-217.
Definicje i dowód indukcyjny a relacje ancestralne, Studia
Philosophiae Christianae 1973, nr 2, s. 103-121.
Uproszczenie
Jaśkowskiego interpretacji zdań kategorycznych, Studia Philosophiae
Christianae 1974, nr 1, s. 101-113.
Łańcuchy, cykle i
grafy, Studia Philosophiae Christianae 1975, nr 2, s. 121-129.
Curta Christiana logistyczny rachunek pojęć wszechmocy,
wszechwiedzy i Boga, Studia Theologica Varsaviensia 14(1976), s.
301-305.
Logistyczny przyczynek do analizy pojęcia istoty, do
której należy istnienie, Studia Philosophiae Christianae 1977, nr 1,
s. 139-156.
Formalizacja tomistycznych podstaw dowodu na
istnienie koniecznego bytu pierwszego, Studia Philosophiae Christianae
1979, nr 1, s. 163-180.
Formalizacyjne próby ustalenia
logiko-formalnych podstaw stwierdzania pierwszych elementów relacji
rozważanych w tomistycznej teodycei, [w:] E. Nieznański (red.),
Miscellanea Logica 1(1980), s. 7-194.
Logik und
Gottesbeweise, [w:] Heitger M. (red.), Verantwortung, Wissenschaft,
Forschung, Wien 1981, s. 75-82.
Ein formalisierter Beweis
für die Existenz eines ersten notwendigen Seienden, [w:] Morscher E.
(red.), Philosophie als Wissenschaft, Bad Reichenhall 1981, s.
379-389.
O potrzebie formalizacji teodycei, [w:] Bejze B.
(red.), W kierunku Boga, Warszawa 1982, s. 402-404.
Sformalizowany dowód istnienia koniecznego bytu pierwszego,
[w:] Bejze B. (red.), W kierunku Boga, Warszawa 1982, s. 405-409.
Dyskusja z Prof. M. Gogaczem wokół prób formalizowania
argumentów filozoficznych, [w:] Bejze B. (red.), W kierunku
Boga, Warszawa 1982, s. 409-422.
Über die ersten sechs
Sätze der 'Monadologie', Conceptus 16(1982), s. 89-96, praca zespołowa
autorów: Czermak J. , Dorn G. , Kaliba P. , Nieznański E. ,
Pühringer Ch. , Zwickl-Bernard Ch.
W poszukiwaniu pierwszej
przyczyny z pomocą logiki formalnej, Analecta Cracoviensia 14(1982),
s. 51-60.
Nauka, [w:] Pawlak Z. (red.), Katolicyzm
a-z, Poznań 1982, s. 286-287.
Rozumowanie, [w:] Pawlak
Z. (red.), Katolicyzm a-z, Poznań 1982, s. 334-335.
16-elementowa algebra Boole'a jako model klasycznej teorii 'de
modis essendi', Studia Philosophiae Christianae 1983, nr 1, s.
125-132.
A logical analysis of philosophical arguments based on
Leibniz's principle of the sufficient reason of existence, Bulletin of
the Section of Logic 12(1983), s. 188-193.
Jedno- i
wielozakresowa logika klasyczna, Studia Philosophiae Christianae 1984,
nr 1, s. 97-112.
Formalisierung des Gottesbeweises 'ex ratione
causae efficientis', Salzburger Jahrbuch für Philosophie 27/29(1984),
s. 79-84.
Analiza logiczna pewnych argumentów filozoficznych
opartych na Leibniza zasadzie dostatecznej racji bytu, Studia
Filozoficzne 11-12(1984), s. 11-19.
O definiowaniu w semantyce
logicznej klasycznego rozumienia prawdy, Roczniki Filozoficzne
32(1984), s. 31-44.
Ogólne uwagi o rodzajach rozumowań
uzasadniających, Miscellanea Logica 2(1985), s. 279-311.
Logika przekonań a wiara oświeconych, Studia Philosophiae
Christianae 1985, nr 1, s. 157-162.
Einführung in die
allgemein-polnische Philosophie, [w:] Schmidinger H. (red.),
Christliche Philosophie im katholischen Denken des 19. und 20.
Jahrhunderts, Graz 1988, t. 2, s. 807-812.
Der
Thomismus, [w:] Schmidinger H. (red.), Christliche Philosophie im
katholischen Denken des 19. und 20. Jahrhunderts, Graz 1988, t. 2, s.
812-826.
Logical analysis of Thomism - The Polish programme
that originated in 1930's, [w:] Srzednicki J. (red.), Initiatives
in Logic, Dordrecht 1987, s. 128-155, 233-258.
Logika
przedmiotów, Studia Filozoficzne 6-7(1988), s. 101-115.
Dowód Gödla na istnienie 'summum bonum', Studia
Philosophiae Christianae 1989, nr 2, s. 89-102.
Kurta Gödla
dowód na istnienie Boga, Studia Teologiczne 7(1989), s. 245-246.
Gründe, zureichende Gründe und Gottesbeweise 'ex contingentia
mundi', [w:] Ricken F. (red.), Klassische Gottesbeweise in der
Sicht der gegenwärtigen Logik und Wissenschaftstheorie, Stuttgart
1991, s. 124-139.
Formalizacja filozofii - metoda czy
maniera , Roczniki Filozoficzne 35(1987), s. 59-69.
Methoden- und Methodologiebegriffe in Anwendung auf die
Pastoraltheologie, Pastoraltheologische Informationen 2/1991, s.
189-200.
Axiologische Aspekte der Autoritäten von
Wissenschaftlern und der Wissenschaftler als Autoritäten, [w:] F. M.
Schmölz, P. Weingartner (red.), Werte in den Wissenschaften,
Innsbruck 1991, s. 43-53.
The Beginings of Formalisation in
Theology, [w:] G. Schurz, G. Dorn (red.), Advances in Scientific
Philosophy, Amsterdam 1991, s. 551-559.
Mit o mitach,
[w:] B. Bejze (red.), Studia z Filozofii Boga, O filozoficznym
poznaniu Boga dziś, Warszawa 1992, s. 250-261.
Sformalizované
dôkazy existencie Boha, [w:] Akademické Dni, Zbornik, Univezita Pavla
Jozefa Šafárika, Košice 17-18 marec 1993, s. 1-14.
Stanisław
Kamiński jako logik, Studia Philosophiae Christianae 29(1993) nr 1, s.
166-169.
Rodzaje błędów logicznych w sformalizowanej
teodycei, Streszczenia referatów XXXIX Konferencji Historii Logiki,
Kraków, 9-10 listopada 1993, s. 13.
Jak dzisiejszemu
człowiekowi mówić o Bogu, [w:] Bohdan Bejze (red.), Jak
dzisiejszemu człowiekowi mówić o Bogu, Warszawa 1993, s. 173-174.
Czy wartości chrześcijańskie są rozpoznawalne? , Przegląd
Filozoficzny. Nowa Seria 2(1993) nr 2, s. 188-192.
The Logic of
Objects, [w:] J. Woleński (red.), Philosophical Logic in
Poland, Dordrecht Kluwer Academic Publishers 1994, s. 129-152.
Formalized Proofs of the Existence of God, Collectanea
Theologica 64(1994) fasc. specialis, s. 109-122.
A Myth about
Myths, Collectanea Theologica 64(1994) fasc. specialis, s. 159-170.
Introduzione alla filosofia polacca generale. Il tomismo,
[w] E. Coreth, W. M. Heidl, G. Pfligersdorfer (red.), La filosofia
cristiana nei secoli XIX e XX, vol. II, Roma 1994, s. 900-921.
Sformalizowana droga od racji do absolutu, [w:] J.
Paśniczek (red.), Między Logiką a Etyką, Lublin 1995, s. 29-43.
Udział logiki i dialektyki w przekazie informacji, Rocznik
Naukowy WSSS 1(1993/94), Suwałki 1995, s. 173-179.
Drogi i
bezdroża formalizacji teodycei od Salamuchy do Gödla, [w:] Z. Wolak
(red.), Logika i Metafilozofia, Tarnów-Kraków 1995, s. 99-117.
Próba rozszerzenia ontologicznego argumentu Kurta Gödla na
stosunek racji bytu, [w:] L. Witkowski (red.), VI Polski Zjazd
Filozoficzny, Toruń, 5-9 września 1995, Abstrakty, Toruń 1995, s.
169-170.
Summum bonum jako racja bytu, Studia Philosophiae
Christianae 31(1995)2, s. 35-41.
Czasowe relacje między
bytami, Studia Philosophiae Christianae 32(1996)1, s. 229-235.
Aus der Geschichte der Logik in Polen im 20. Jahrhundert,
[w:] H. Dahm, A. Ignatow (red.), Geschichte der Philosophischen
Traditionen Osteuropas, Darmstadt 1996, s. 273-316.
Existenzgründe und Seinskategorien, [w:] R. Bäumer, J. H.
Benirschke, T. Guz (red.), Im Ringen um die Wahrheit,
Gustav-Siewerth-Akademie, Weilheim-Bierbronnen 1997, s. 175-188.
Kategorie przedmiotów i sposoby istnienia, [w:] P. Mazanka,
M. Mylik (red.), Co daje współczesnemu człowiekowi studium filozofii
klasycznej, Wydawnictwo ATK, Warszawa 1997, s. 99-112.
O
zawieraniu się pojęć i o stosunku "jest" , [w:] P. Mazanka, M. Mylik
(red.), Co daje współczesnemu człowiekowi studium filozofii
klasycznej, Wydawnictwo ATK, Warszawa 1997, s. 113-125.
Entwurf einer formalisierten Theorie der ontologischen
Kategorien, Dritter Internationaler Kongreß der Gesellschaft für
Analytische Philosophie, Sept. 15-18, 1997 München , Rationalität -
Realismus - Revision, Programm, Abstracts, GAP3.
Formalizacja, [w:] J. Herbut (red.), Leksykon filozofii
klasycznej, TN KUL, Lublin 1997, s. 246-248.
Przeciw
sceptykom, Rocznik Naukowy WSSS, 3(1997), s. 150-164.
Czy
warto dziś jeszcze filozofować, Zeszyty Naukowe KUL 40(1997) nr 3-4,
s. 53-55.
Entwurf einer formalisierten Theorie der
Seinskategorien, Studia Philosophiae Christianae 34(1998)1, s. 43-50.
Ankieta na temat Encykliki Fides et ratio, Przegląd
Filozoficzny. Nowa Seria 7(1998) nr 4(28), s. 39-44.
Gründe,
zureichende Gründe und Gottesbeweise ex contingentia mundi, [w:]
Friedo Ricken (Hrsg. ), Klassische Gottesbeweise in der Sicht der
gegenwaertigen Logik und Wissenschaftstheorie, wyd. 2, Stuttgart 1998,
s. 122-137.
Aksjomatyczna teoria absolutu osobowego,
Łódzkie Studia Teologiczne 8(1999) s. 169-180.
Aus der
Geschichte der Logik in Polen im 20. Jahrhundert, [w:] Helmut Dahm
(Hrsg. ), Geschichte der philosophischen Traditionen Osteuropas,
wyd. 2, Darmstadt 1999 s. 273-316.
System modalności
deontycznych jako algebra Boole'a, Zeszyty Naukowe Wyższej Szkoły
Handlu i Prawa Seria Prawo zeszyt 5, s. 128-146.
Boolesche
Algebra für deontische Modalitäten artykuł przygotowany do druku w
księdze pamiątkowej ku czci prof. Paula Weingartnera, w
wydawnictwach Uniwersytetu Salzburskiego w Austrii.
Pojęcie
sensu życia, [w:] Paweł Mazanka (red.) Filozoficzne orientacje w
wyborze sensu życia, UKSW, Warszawa 2000, s. 11-20.
Über
die Rolle des Zufalls in der Welt des allmächtigen Gottes - Studia
Philosophiae Christianae 2(2000), s. 207-219.
Über die Rolle
des Zufalls in der Welt des allmächtigen Gottes, Studia Philosophiae
Christianae 2000 nr 2 s. 207-219.
Glaube, Vernunft und Sinn des
Lebens - oddany do materiałów wydawnictwa Internationales
Forschungszentrum Salzburg.
Hasła do Wielkiej Encyklopedii PWN:
indukcja, notacja logiczna, nazwa, podział logiczny, tautologia
logiczna, reguła wnioskowania, relacja, sylogistyka, tradycyjna logika,
twierdzenie, zbiór, zdanie - w druku.
Józef Iwanicki,
Powszechna Encyklopedia Filozofii, w druku.
Axiome der
theistisch orientierten Axiologie, Vita Philosophica. Festschrift zum
70. Geburtstag von Prof. Dr. phil. et Dr. scient. Karel Macha, red. Alma
von Stockhausen, Gustav-Siewerth-Akademie, 2001 s. 72-81.
(wraz z
Nielsem Öffenbergerem) O konieczności trychotomizacji fałszu,
Studia Philosophiae Christianae 2001 nr 1 s. 109-117.
Klasyczne
wartości w sztuce przekonywania [w:] Wokół psychologii
osobowości, red. A. Grochowska, UKSW, Warszawa 2002 s. 29-35.
Logiczne racje istnienia dostatecznej racji bytu, Studia
Philosophiae Christianae 2002 nr 1, s 19-27.
Ontologiczne
podstawy logiki Arystotelesa, Przegląd Filozoficzny. Nowa Seria 11
(2002) nr 1, s. 35-43.
Gottes Wesen nach Thomas von Aquin In
der Formalisierung von Joseph M. Bocheński, 2002, 22 s. maszynopisu -
w druku.
Zugelassene Übel in der Welt des allmächtigen
Gottes, Salzburg 2003, 11 s. maszynopisu - w druku.
Gottes
Essenz, Existenz und Beziehung zur Welt, Weilheim 2003, 12 s.
maszynopisu - w druku.
Logiczne systemy przedmiotów i
pojęć, Myśl ekonomiczna i prawnicza WSHiP 2003, 20 s. maszynopisu - w
druku.
System pojęć metafizycznych jako algebra
Boole'a, [w:] Michał Heller (red.) Jedność nauki - jedność
świata , Biblos Tarnów 2003, s. 83-103.
Inne
publikacje
RECENZJE
Garaudy R. ,
Contradition et totalité dans la logique de Hegel, rec. , Studia
Philosophiae Christianae 1965, nr 2, s. 253-254.
Roger J. ,
Reflexions sur l'histoire de la biologie (XVII- XVIII siecle) :
problemes de methodés, rec. , Studia Philosophiae Christianae 1965, nr 2,
s. 254-256.
Łukanow A. M. , W tupikie idealisticzeskoj
gnoseologii, rec. , Studia Philosophiae Christianae 1965, nr 2, s.
255-258.
Turowskij M. B. , Dialektika kak metod postrojenija
teorii, Studia Philosophiae Christianae 1965, nr 2, s. 258-260.
Borkowski L. , Logika formalna, Warszawa 1970, rec. ,
Studia Philosophiae Christianae 1972, nr 1, s. 246-253.
Bąk F. M.
, Alfred Jules Ayer's Criterion of Verifiability, Padua 1970, rec.
, Studia Philosophiae Christianae 1972, nr 2, s. 165-168.
Stanosz
B. , Wybrane zagadnienia logiki formalnej, Warszawa 1971, rec. ,
Studia Philosophiae Christianae 1973, nr 2, s. 211-213.
Marciszewski W. , Wybrane zagadnienia metodologii nauk i
logiczna teoria języka, Warszawa 1972, rec. , Studia Philosophiae
Christianae 1973, nr 2, s. 214-216.
Mortimer H. , Elementarne
wiadomości z semantyki i metodologii logicznej, Warszawa 1972 , rec. ,
Studia Philosophiae Christianae 1973, nr 2, s. 216-217.
SPRAWOZDANIA
XVIII International Congress of
Psychology, August 4-11. 1966, Moscow, Studia Philosophiae Christianae
1967, nr 1, s. 363-380.
Wykaz publikacji i zajęć Prof. J.
Iwanickiego, Studia Philosophiae Christianae 1973, nr 1, s. 23-27.
Śp. Ojciec Dr Edward Chalcarz, Studia Philosophiae Christianae
1975, nr 2, s. 5-9.
Akademia im. Gustava Siewertha w
Weilheim-Bierbronnen, Studia Philosophiae Christianae 31(1995)2, s.
274-277.
Ks. Prof. dr hab. Józef Iwanicki, Ocalić od
zapomnienia red. J. Dołęga, J. Mandziuk, Warszawa 2002, s. 66-68.
TŁUMACZENIA
(c. 1) artykułów, [w:] Nieznański E.
(red.), Miscellanea Logica,
Warszawa ATK 1(1980) i
2(1985):
Bocheński I. M. , Compte rendu nr 935, Bulletin
Thomist 12 (1935), s. 601-603.
Bendiek J. , Zur logischen
Struktur der Gottesbeweise, Franziskanische Studien 38(1956), s. 1-38,
296-321.
Thomas I. , Recenzja artykułu J. Bendieka, Journal of
Symbolic Logic 25(1960), s. 347-348.
Rivetti-Barbo F. , La
struttura logica della prima via per provare l'esistenza di Dio.
Applicazioni di logica simbolica e nessi di contenuti, Rivista di
Filosofia Neoscolastica 52(1960), s. 241-320.
Selvaggi F. ,
Recenzja artykułu F. Rivetti Barbo, Gregorianum 43(1962), s. 299-300.
Thomas I. , Recenzja artykułu F. Rivetti Barbo, Journal of
Symbolic Logic 25(1960), s. 348-349.
Rivetti-Barbo F. , Ancora
sulla prima via per provare l'esistenza di Dio, Rivista di Filosofia
Neoscolastica 54(1962), s. 596-616.
Rivetti-Barbo F. , Logica
simbolica e prove dell' esistenza di Dio. Rilievi metodologici [w:]
De Deo in philosophia S. Thomae et in hodierna philosophia, t. 2,
Rom 1966, s. 359-363.
Christian C. , Eine Note zum
Gottesbegriff, Religion, Wissenschaft, Kultur 8(1957), s. 227-228.
Hintikka J. , On the logic of the ontological argument: some
elementary remarks [w:] Hintikka J. , Models for Modalities,
Dordrecht 1969, s. 45-54.
Menne A. , Einführung in die
Methodologie. Elementare allgemeine wissenschaftliche Denkmethoden im
Überblick, Darmstadt 1980, ss. 133.
(c. 2) Tłumaczenia
wykładów:
Fischer N. , Vom Nutzen der Metaphysikkritik. Kants
Stellungnahme zu den 'Einwürfen wider Religion und Sittlichkeit',
Studia Philosophiae Christianae 1986 nr 1, s. 160-167.
Weingartner
P. , Neure Wahrheitstheorien im Anschluß an Tarski, Studia
Philosophiae Christianae 1986 nr 2, s. 216-221.
Zecha G. ,
Überlegungen zum Begriff der wissenschaftlichen Kritik, Studia
Philosophiae Christianae 1987 nr 2, s. 209-214.
Niels Öffenberger
N. , Űber die Notwendigkeit der Trichotomisierung der Falschheit,
Studia Philosophiae Christianae 1(2001), s. 109-117.
BIOGRAMY
Katholisches Hochschulwerk, Vormals
Katholischer Universitätsverein Salzburg, Mitteilungen 1980.
Katholisches Hochschulwerk, Vormals Katholischer
Universitätsverein Salzburg, Mitteilungen 1981.
Doc. dr hab.
Edward Nieznański
w Internationales Forschungszentrum Salzburg, Biuletyn Informacyjny
Akademii Teologii Katolickiej 6(1982), s. 42-43.
Edward Nieznański, Ruch
Filozoficzny 43(1986), s. 354-357.
Interju Paul Weingartner,
Merleg 4(1986) s. 339.
Edward Nieznański,
Informator Filozofii Polskiej Principia, Kraków 12(1995), s. 171-172.
Nieznański Edward,
[w:] G. Polak, Kto jest kim w Kościele, KAI Warszawa 1996, s. 258.
Funkcje redakcyjne:
redaktor serii
Miscellanea Logica.
członek komitetu redakcyjnego Przeglądu
Filozoficznego. Nowa Seria.
członek komitetu redakcyjnego
półrocznika Studia Philosophiae Christianae.
Członek Rady Naukowej
Roczników Filozoficznych.
Współpraca naukowa z ośrodkami
zagranicznymi:
Jako kierownik Katedry Logiki na Wydziale
Filozofii Chrześcijańskiej ATK przygotował szereg posiedzeń naukowych
katedry. Organizował wykłady wielu zagranicznych profesorów (H. Wessel, P.
Geach, W. Waldstein, P. Weingartner, G. Zecha, J. Bocheński, N. Fischer,
H. Czermak, S. Samerski).
Na międzynarodowych kongresach i
sympozjach wygłosił referaty:
A logical analysis of
philosophical arguments based on Leibniz's principle of the sufficient
reason of existence na polsko-bułgarskiej konferencji logicznej w
Jabłonnie 27-31. 10. 1983;
10-12. 06. 1988 Gründe, zureichende
Gründe und Gottesbeweise 'ex contingentia mundi', Philosophische
Fakultät München;
7. 11. 1991 Gottesbeweise des analytischen
Thomismus in Polen, 13. Großer Polentag, Universität Mainz;
8-9. 10. 1992 Princip kauzality a formalizowany dôkazy Boha
w Akademické Dni na Univezita Prešov;
7. 12. 1992
Suszczestwo i suszczestwowanie absoluta s toczki zrenija sowremiennoj
łogiki, Akademia Nauk Federacji Rosyjskiej w Moskwie;
Sformalizované dôkazy existencie Boha w Akademické Dni na
Univezita Pavla Jozefa Šafárika, Košice 17-18 marec 1993;
W
semestrze zimowym 1994/95 jako Gastprofessor des Philosophischen
Institutes der Geisteswissenschaftlichen Fakultät an der Salzburger
Universität prowadził wykłady i seminaria z zakresu: Formalisierte Wege
zum Absoluten, Ideologiekritik i Wissenschaftliche
Begründung
8. 12. 1995 Philosophie im postkommunistischen
Polen Gustav-Siewerth-Akademie Weilheim-Bierbronnen;
15-18.
09. 1997 Entwurf einer formalisierten Theorie der Seinskategorien,
III Internationaler GAP-Kongreß München "Rationalität - Realismus -
Revision";
RFN Weilheim-Bierbronnen Gustav-Siewerth-Akademie
1998 3-7 lipiec udział w imprezach naukowych "Familie und Werte". Tytuł
wygłoszonego referatu: Axiome der theistisch orientierten
Axiologie;
Pojęcie sensu życia, odczyt wygłoszony na
Międzynarodowym Sympozjum pt.: Filozoficzne orientacje w wyborze sensu
życia, w ATK, 20. 04. 1999 r. ;
Boolesche Algebra für
deontische Modalitäten, wykład wygłoszony 7. 12. 1999 w Institut für
Philosophie der Universität Salzburg gemeinsam mit der Philosophischen
Geselschaft in Salzburg.
Vernunft, Glaube und Sinn des
Lebens (zur Enzyklika Fides et ratio, Internationales
Forschungszentrum für Grundfragen der Wissenschaften, Salzburg 1-7. 12.
1999);
Zugelassene Übel in der Welt des allmächtigen Gottes,
Internationales Forschungszentrum für Grundfragen der Wissenschaften,
Salzburg 3-5. 03. 2003 r.
Badania statutowe:
1996 O systemach
alternatywnych
1997 Sformalizowana teoria ontologicznych i
metafizycznych kategorii bytu
1998 Aksjomatyzacja
ontologii
1999 Logika przedmiotów
2000 Rozbiór
pojęcia sensu życia środkami filozofii analitycznej
2001
Logiczne podstawy retoryki i erystyki
2002 Semiotyczna
analiza argumentacji i perswazji
2003 CS i CSn-systemy
sylogistyki Arystotelesowej
Udział w przewodach i kwalifikacjach
naukowych:
recenzja jednego grantu badawczego
KBN;
superrecenzent w CK jednej profesury;
recenzent dorobku
naukowego dwu kandydatów do uzyskania stanowiska prof. zw.
UJ;
recenzent dorobku habilitacyjnego jednego doktora
KUL;
recenzent trzech doktoratów UW;
wypromował pięciu
doktorów ATK (UKSW).
|
9
-html-
