• Studies in Logic, Grammar
  and Rhetoric
• Mathesis Universalis
• Forum
• Formalized Mathematics
• Lectorium
• LogBank
• Nasze konferencje
• Nasze granty

• Dr hab. Kazimierz TRZĘSICKI, prof. Uniwersytetu w Białymstoku - kierownik Katedry
• Dr Andrzej MALEC, adiunkt
• Dr Dariusz SUROWIK, adiunkt
• Mgr Mariusz GIERO, asystent
• Mgr Marcin KOSZOWY, asystent
• Mgr Katarzyna ZBIEĆ, asystent

   OSOBY SYSTEMATYCZNIE WSPÓŁPRACUJĄCE Z KATEDRĄ

• Prof. Witold MARCISZEWSKI
• Dr hab. Halina ŚWIĘCZKOWSKA, prof. Uniwersytetu w Białymstoku
• Dr Roman MATUSZEWSKI, Wydział Filologiczny, Uniwersytet w Białymstoku
• Dr Anna ZALEWSKA, Instytut Informatyki, Uniwersytet w Białymstoku
• Mgr Radosław ORYSZCZYSZYN, Instytut Socjologii, Uniwersytet w Białymstoku

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.

Projekty badawcze inicjowane i kierowane przez Katedrę:

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-2006:

Wydawanie serii wydawniczej Studia z metodologii nauk społecznych:

Andrzej Malec Zarys teorii definicji prawniczej Philomath, Warszawa 2000 seria: Studia z metodologii nauk społecznych ISBN 83-915069-0-8

Anna Zalewska Program verification with algorithmic logic Philomath, Warsaw 2001 seria: Studies in the methodology of the social sciences ISBN 83-915069-2-4

Podręczniki z logiki:

Kazimierz Trzęsicki Logika. Nauka i sztuka Wydawnictwo Wyższej Szkoły Finansów i Zarządzania w Białymstoku, Białystok 2000 ISBN 83-86137-35-5

Kazimierz Trzęsicki Elementy logiki i teorii mnogości Wydawnictwo Wyższej Szkoły Finansów i Zarządzania w Białymstoku, Białystok 2004 ISBN 83-87256-61-7

Wybrane teksty prof. Kazimierza Trzęsickiego:

• Wkład logików polskich w światową informatykę
• Leibnizjańskie inspiracje informatyki
• Sąsiedzi, których już nie ma - Chaim Zelig Słonimski

Ponadto:

wydawanie kwartalnika Formalized Mathematics: A Computer-Assisted Approach. (ISSN 1426-2630)

Strony internetowe w domenie www.calculemus.org zarządzanej przez prof. Witolda Marciszewskiego:

• Mathesis Universalis, kwartalnik po angielsku i niemiecku dot. logiki, w szczególności mechanizacji rozumowań i SI. (ISSN 1426-3513)
• Forum Logiki, Informatyki i Filozofii Nauki, rocznik sukcesywny, tzn. uzupełniany o teksty napływające w przedziale roku.
• KNF PAN, Komitet Nauk Filozoficznych Polskiej Akademii Nauk, serwis informacyjny i forum dyskusyjne.
• LogBank, bank danych nt. logiki.
• Aera Informatica, strony wielojęzyczne dot. społeczeństwa informatycznego.

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.