Witold Marciszewski: Różnice pomiędzy wersjami

|doktorat uczelnia = [[Katolicki Uniwersytet Lubelski Jana Pawła II|Katolicki Uniwersytet Lubelski]]

* 19561959: magisteriumdoktorat na Wydziale Filozofii [[Katolicki Uniwersytet Lubelski Jana Pawła II| Katolickiego Uniwersytetu Lubelskiego]], na podstawie pracyrozprawy dotyczącej logikiporównującej [[Duns Szkot|Dunsa Szkotaarystoteles]]owską koncepcję konieczności logicznej z poglądami współczesnymi.

* 1972-19791972–1979 docent, od 1979 profesor.

* Od 1975 kierownik Zakładu Logiki, obecnie Katedry Logiki, Informatyki i Filozofii Nauki [[Uniwersytet w Białymstoku | Uniwersytetu w Białymstoku]].

* Druga połowa lat 60-tych.: logiczna teorii przekonań.

* Lata 70-te.: gramatyki formalne [[Kazimierz Ajdukiewicz|Ajdukiewicza]], formalna teoria tekstu, systemy informacji naukowej.

* Lata 80-te.: logika [[Gottfried Wilhelm Leibniz|Leibniza]] i wieku 17-goXVII, nurt prowadzący do formalizacji, algebraizacji i komputeryzacji rozumowań (z uwzględnieniem antycypacji średniowiecznych).

* lata 90-te. przynoszą prace w dziedzinach związanych z zastosowaniem komputerów: (a) wkład komputeryzacji rozumowań w teorię inteligencji, rola systemów pojęciowych w funkcjonowaniu inteligencji; (b) metody i techniki konstruowania hipertekstów dla celów komunikacji naukowej w Internecie.

* 1987-19901987–1990: zorganizowanie i kierownictwo resortowego (z udziałem 12 uczelni) programu MEN Systemy logiczne i algorytmy do komputerowego testowania poprawności dowodów. Jego głównym wynikiem jest system [[System Mizar|Mizar]] (autorstwa [[Andrzej Trybulec|Andrzeja Trybulca]], Instytut Matematyki UwB); zyskał on do dziś wybitną pozycję międzynarodową.

* 1992-19941992–1994: zorganizowanie i kierownictwo wspieranego przez KBN projektu Elektroniczny system informacyjny w zakresie filozofii w Polsce.

* 1996: inicjatywa i objęcie funkcji pierwszego głównego wykonawcy wspieranego grantem KBN (Zespół Automatyki, Elektroniki etc.) projektu (1997-991997–1999) Badania nad naturalną i sztuczną inteligencją za pomocą automatyzacji rozumowań.

* 1997-20031997–2003: organizacja i kierownictwo corocznych "Warsztatów„Warsztatów Logiki, Informatyki i Filozofii Nauki"Nauki” poświęconych zagadnieniom rozstrzygalności, w szczególności pod kątem zastosowań w naukach społecznych.

* 2003-20062003–2006: Kierownictwo projektu badawczego Nierozstrzygalność i algorytmiczna niedostępność w naukach społecznych.

* 2010-20112010–2011: Utworzenie i prowadzenie blogów akademickich {{Cytuj stronę | url = http://marciszewski.eu | tytuł = "Cafe Aleph"}} prowadzony wspólnie z [[Paweł Stacewicz|Pawłem Stacewiczem]] oraz {{Cytuj stronę | url = http://blog.calculemus.org | tytuł = "Our Pub – European Rationalism"}}).

# ''Podstawy logicznej teorii przekonań.'', PWN, 1972.

# ''Metody analizy tekstu naukowego.'', PWN, 1977, 1981.

# ''Logika z retorycznego punktu widzenia.'', UW, 1991.

# ''Logic from a Rhetorical Point of View'' (tytuł podobny do pozycji 3, treść nowa). Walter de Gryuter (Berlin etc.) 1994, s. 312 (B5). Rozprawa o tym, co logika uprawiana w łączności z informatyką wnosi do teorii komunikacji.

# ''Mechanization of Reasoning in a Historical Perspective'' (wspólnie z [[Roman Murawski|Romanem Murawskim)]]. Rodopi (Amsterdam etc.) 1995, s. 267 (B5). Rozprawa o drodze, jaką przeszła logika od średniowiecznych projektów formalizacji do współczesnej algebraizacji i komputeryzacji.

# ''Umysł – komputer – świat. O zagadce umysłu z informatycznego punktu widzenia'' (wspólnie z [[Paweł Stacewicz|Pawłem Stacewiczem]]), Exit – Akademicka Oficyna Wydawnicza, 2011. Jest to próba sformułowania naukowych podstaw stanowiska określanego przez autorów mianem światopoglądu informatycznego.

# ''Zarys logiki dla bibliotekoznawców'', cz. 2 (cz. 1 napisana przez [[Barbara Stanosz|Barbarę Stanosz]])., Wyd. UW, 1972.

# ''Sztuka rozumowania w świetle logiki.'', Aleph, 1994.

# ''[[Mała encyklopedia logiki]].'', [[Zakład Narodowy im. Ossolińskich|Ossolineum]] 1970, 1988 (wyd. rozszerzone).

# ''Studies in Formal Linguistics'' (redakcja zeszytu tematycznego Studia Logica, vol. 37, no. 1) 1978.

# ''Dictionary of Logic as Applied in the Study of Language: Concepts, Methods, Theories.'', Nijhoff (Haga etc.) 1981, s. 436 (B5).

# ''Logika formalna:. zarysZarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki'' (polska adaptacja pozycji 2)., PWN, 1987.

# ''Categorial Grammar'' (red. wspólnie z [[Wojciech Buszkowski|Wojciechem Buszkowskim]] i J. van Benthemem, antologia)., Benjamins (Amsterdam etc.) 1988.

# Inicjatywa wydawnicza, opracowanie redakcyjne i opatrzenie wstępem książki Petera Simonsa ''Philosophy and Logic in Central Europe from Bolzano to Tarski.'', [[Kluwer]] (Dordrecht etc.) 1992.

# Inicjatywa wydawnicza, opracowanie redakcyjne i opatrzenie posłowiem polskiego przekładu książki [[Alfred Tarski|Alfreda Tarskego]] pod (polskim) tytułem ''Wprowadzenie do logiki i do metodologii nauk dedukcyjnych.'', Wydanewydane przez Filię UW w Białymstoku i Fundację Informatyki (zob. IV.7), 1995, 1996.

# Tłumaczenie i poprzedzenie wstępem książki G.Ryle'e Ryle’e ''The Concept of Mind'' pod polskim tytułem ''Czym jest umysł?.'', PWN 1970.

# ''Sztuka dyskutowania.'', Iskry 1969, 1971; Aleph 1994, 1996 (wyd. rozszerzone).

# ''Poradnik dla niezdecydowanych (elementy teorii decyzji i prakseologii).'', [[Zakład Narodowy im. Ossolińskich|Ossolineum]] 1974.

# ''Rola dyskusji w nauczaniu i wychowaniu.'', [[Książka i Wiedza]] 1976.

# ''Tajniki Internetu.'', Aleph, 1994.

# ''Sztuczna Inteligencja.'', Znak, 1998.