![]() |
![]() |
![]() |
|||||
![]() ![]() |
![]() KATEDRA LOGIKI, INFORMATYKI I FILOZOFII NAUKI |
![]() |
![]() |
||||
![]() Uniwersytet w Białymstoku Plac Uniwersytecki 1, p. 44 15-420 Białystok tel. +48 85 745 75 07, +48 85 745 71 04 fax: +48 85 745 71 04 e-mail: logika@uwb.edu.pl |
![]() ![]() |
||||||
English |
![]() ![]() |
||||||
AKTUALNOŚCI DYŻURY PRACOWNIKÓW ZDJĘCIE HISTORIA |
|||||||
![]() Myśl o doniosłości zagadnień na przecięciu logiki, informatyki i filozofii nauki, która kierowała wyborem nazwy Katedry, pojawiła się na konferencji w Bremie (marzec 1999, coś w rodzaju europejskiego szczytu historyków logiki) w odczycie przedstawiciela Katedry "The Two Origins of Modern Logic: 1879, 1936". Jego teza: rok 1936 jest drugim początkiem logiki współczesnej, ponieważ przyniósł on podwaliny logiczne pod informatykę, a zarazem pod nową filozofię nauki (wyniki w sprawie Entscheidungsproblem). Dyskusja w Bremie nad tą tezą dostarczyła nowej zachęty do takiego sposobu myślenia o logice. PRACOWNICY
OSOBY WSPÓŁPRACUJĄCE Z KATEDRĄ
|
![]() Księga pamiątkowa prof. Andrzeja GrzegorczykaUJ nadał doktora Honoris Causa prof. Andrzejowi Grzegorczykowi. Jednym z recenzentów był prof. Witold Marciszewski a jego recenzja była przyjęta przez senat UwB. Na uroczyste posiedzenie senatu UJ był zaproszony prof. Kazimierz Trzęsicki jako jeden z inicjatorów nadania doktoratu Honoris Causa prof. Grzegorczykowi oraz jako współredaktor Studies in Logic Grammar and Rhetoric (SLGR) jako księgi pamiatkowej prof. Andrzeja Grzegorczyka. Prof. Andrzej Grzegorczyk w Collegium Maius UJ podpisywał numery SLGR. Studies in Logic, Grammar and Rhetoric - wiodące pismo w zakresie teorii argumentacjiStanford Encyclopedia of Philosophy wymienia SLGR jako wiodące pismo w zakresie teorii argumentacji powołując się na numer i publikację dr. M. Koszowego.
2006-2009: Temporalna reprezentacja wiedzy i jej implementacja w informatycznych systemach postępowania medycznego (3 T11F 01130), grant MNiSW. 2003-2006: Nierozstrzygalność i
algorytmiczna niedostępność w naukach społecznych (2 H01A 030 25),
grant Zespołu Nauk Humanistycznych KBN. 1997-1999: Badania nad naturalną i sztuczną
inteligencją za pomocą automatyzacji rozumowań (8 T11C 018 12),
grant Zespołu Automatyki, Elektroniki, Informatyki i Telekomunikacji
KBN. 1992-1994: Elektroniczny system informacyjny
w zakresie filozofii w Polsce (1 1096 91 02) , grant Zespołu
Nauk Humanistycznych KBN.
Wyniki: strony internetowe dla logiki i filozofii nauki, książka Tajniki
Internetu. 1986-1990: Systemy logiczne i algorytmy do komputerowego testowania poprawności dowodów (MEN RPBP.III-24), ogólnopolski program MEN. Wyniki: wdrożenia dydaktyczne komputerowej weryfikacji dowodów; bazy twierdzeń matematyki sprawdzanych komputerowo w systemie Mizar. |
Publikacje książkowe 1972-2010: |
|||||||
|
|||||||
![]() |
|||||||
|
|||||||
![]() |
|||||||
|
|||||||
![]() |
|||||||
|
|||||||
![]() |
|||||||
|
|||||||
![]() |
|||||||
|
|||||||
![]() |
|||||||
|
|||||||
![]() |
|||||||
|
|||||||
![]() |
|||||||
|
|||||||
Wydawanie serii wydawniczej Studia z
metodologii nauk społecznych:
|
|||||||
Wybrane teksty:
|
|||||||
Ponadto:
|
|||||||
Strony internetowe w domenie www.calculemus.org zarządzanej przez prof. Witolda Marciszewskiego:
|
|||||||
Są więc w profilu Katedry poczynania informatyczno-techniczne, jak programy dowodzenia twierdzeń, czy systemy komunikacji w Internecie, a zarazem filozofia umysłu i nauki, logika i filozofia języka, historia logiki. Towarzyszy temu przekonanie, że najważniejsze wyniki naszego stulecia to maszyna Turinga i związana z nią idea Turinga (w sformułowaniu A. Hodgesa), że programy i liczby nie różnią się od siebie. |
|||||||