• Studies in Logic, Grammar
  and Rhetoric
• Polskie Towarzystwo Logiki i Filozofii Nauki
• Formalized Mathematics
• Nasze konferencje
• Nasze granty
• Studia filozoficzne na UwB od roku 2011/12

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.

• Prof. dr hab. Kazimierz TRZĘSICKI - kierownik Katedry, e-mail: kasimir@uwb.edu.pl
• Dr Dariusz SUROWIK, adiunkt, e-mail: surowik@uwb.edu.pl
• Dr Marcin KOSZOWY, adiunkt, e-mail: koszowy@uwb.edu.pl

   OSOBY WSPÓŁPRACUJĄCE Z KATEDRĄ

• Prof. zw. dr hab. Witold MARCISZEWSKI
• Prof. dr hab. Halina ŚWIĘCZKOWSKA
• Dr Mariusz GIERO, e-mail: giero@uwb.edu.pl
• Dr Andrzej MALEC
• Dr Roman MATUSZEWSKI, Wydział Filologiczny, Uniwersytet w Białymstoku
• Dr Robert Milewski, Uniwersytet Medyczny w Białymstoku
• Dr Anna ZALEWSKA, Instytut Informatyki, Uniwersytet w Białymstoku
• Mgr Katarzyna ZBIEĆ
• Mgr Radosław ORYSZCZYSZYN, Instytut Socjologii, Uniwersytet w Białymstoku

Księga pamiątkowa prof. Andrzeja Grzegorczyka

UJ 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 argumentacji

Stanford Encyclopedia of Philosophy wymienia SLGR jako wiodące pismo w zakresie teorii argumentacji powołując się na numer i publikację dr. M. Koszowego.

Projekty badawcze realizowane przez Katedrę:

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:

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 Wydawnictwo UwB, Białystok 2012 ISBN 978-83-7431-340-7
	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:

• Kazimierz Trzęsicki, Logic in Formal Verification of Computer Systems (4.5 Mb)
• Kazimierz Trzęsicki, Miejsce Logiki w Ekonomii
• Kazimierz Trzęsicki, Wkład logików polskich w światową informatykę
• Kazimierz Trzęsicki, Leibnizjańskie inspiracje informatyki
• Kazimierz Trzęsicki, 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.
• Lectorium, czyli biblioteka wykładów prof. 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.