NOTY O AUTORACH
WITOLD MARCISZEWSKI.
Ukończył studia filozoficzne w KUL.
Habilitacja 1971 na Wydziale Filozofii UW - rozprawa Podstawy logicznej
teorii przekonań, 1972, PWN. Kierownik Katedry Logiki, Informatyki i
Filozofii Nauki Uniwersytetu w Białymstoku, gdzie wykłada metodologię
socjologii i logikę. Wykłada ponadto w WSAP w Białymstoku (Problemy
cywilizacji globalnej) i w Collegium Civitas w Warszawie (metodologia badań
społecznych i logika).
Inicjowane i kierowane PROJEKTY badawcze.
Systemy logiczne i algorytmy do testowania przez komputer poprawności
dowodów, 1986-1990, MEN.
Elektroniczny system informacyjny w zakresie filozofii w Polsce,
1992-94, KBN, Zespół Humanistyczny.
Badania nad naturalną i sztuczną inteligencją za pomocą automatyzacji
rozumowań, 1997-99, KBN, Zespół Automatyki, Elektroniki, Informatyki i
Telekomunikacji.
Ważniejsze KSIĄŻKI.
Logic as Applied in the Study of Language; Concepts, Methods,
Teories (autorstwo połowy i red.całości), Nijhoff 1981, Haga.
Logika formalna - Zarys encyklopedyczny z zastosowaniem do
informatyki i lingwistyki (polska wersja w/w pozycji), PWN 1987.
Categorial Grammar (współaut. i red. z J. van Benthemem i
W.Buszkowskim), Benjamins 1988, Amsterdam.
Logic from a Rhetorical Point of View (główny wątek - porównanie
rozumowań intuicyjnych, których polem doświadczalnym jest retoryka, z
rozumowaniami poddawanymi formalizacji i mechanizacji wg reguł logiki),
de Gruyter 1994, Berlin.
Mechanization of Reasoning in a Historical Perspective (wspólnie
z R.Murawskim), Rodopi 1995, Amsterdam.
Sztuczna Inteligencja, Znak 1998.
MICHAŁ TEMPCZYK
Ukończył w UW fizykę i
filozofię. Habilitacja 1978 na Wydziale Filozofii UW - rozprawa
Strukturalizm w fizyce współczesnej. Pracuje w IFiS PAN i na Wydziale
Filozofii UMK w Toruniu.
KSIĄŻKI związane z tematem odczytów.
--- Świat harmonii i chaosu, PIW 1995, seria "plus minus";
--- Teoria chaosu a filozofia, CiS 1978, seria "Nauka na progu
trzeciego tysiąclecia";
--- Teoria chaosu dla odważnych, Wyd.Nauk. PWN 2002.