 |
Wybrane publikacje
ARTYKUŁY
- "O znaczeniu okresu warunkowego", Zagadnienia Filozoficzne w Nauce (ZFN), XXII,1998.
- "Benedykta Bornsteina logika treści", ZFN, XXIII, 1999.
- "Teza Churcha a Platonizm", ZFN, XXIV, 1999.
- "O roli Tezy Churcha w dowodzie pewnego twierdzenia", ZFN, XXV, 1999.
- "Manifest OBI" - praca wspólna, ZFN, XXV, 1999.
- "Kilka uwag na temat demokracji", Logos i Ethos, 1(7)1999.
- "Elementy historii powstania Tezy Churcha", Tarnowskie Studia Teologiczne (TST), XIX/1, 2000.
- "Teza Churcha a twierdzenie Gödla", ZFN, XXVI, 2000.
- "Jak uczyć logiki?", ZFN, XXVI, 2000.
- "Maszyna Posta", TST, XX/1, 2001.
- "Gödel a Teza Churcha", Sosnowieckie Studia Teologiczne, V, 2001.
- "Teza Churcha a definicja prawdy Tarskiego", Analecta Cracoviensia., 2002.
- "Uwagi filozoficzno-logiczne na temat kłósakowskich implikacji ontologicznych typu redukcyjnego", [w:] 'Filozofia a Nauka', OBI, Biblos, Tarnów 2004, ss. 97-116.
- "Uwagi o Tezie Churcha i Aksjomacie Hilberta", złożone do druku do ZFN
- "Uwagi o dowodzie Tezy Churcha", przyjęte do druku do 'Filozofia Nauki' .
- "Church's Thesis as an Empirical Hypothesis", Annales Universitatis
Mariae Curie-Skłodowska, Informatica, 3(2005), ss. 119-130.
- "Church's Thesis as Formulated by Church - an Interpretation", w:
"Church's Thesis after 70 years" (eds. A. Olszewski, J. Woleński, R.
Janusz), ss. 383-392.
- "Teza Churcha a geneza pojęć obliczalności. Zarys problemu", w:
"Wyzwania racjonalność. Księdzu Michałowi Hellerowi współpracownicy i
uczniowie" (red. S. Wszołek, R. Janusz), WAM i OBI, 2006, ss. 171-178.
RECENZJE
- "Inne myślenie", ZFN, XXIII, 1999.
- "Smutna filozofia Quine'a", ZFN, XXIV, 1999.
- "Turing", ZFN, XXV, 1999.
- "Filozofia ewolucyjna według Lorenza", Logos i Ethos, 1(7)1999.
- "Apologia Hardy'ego", ZFN, XXVI, 2000.
- "Umysł jako model świata", ZFN, 2000
KSIĄŻKI
- "O rozumieniu implikacji w klasie logik porządku i jego znaczeniu w dążeniu do pewności językowej", PAT, Kraków 1997, ISBN 83-85245-70-7.
- Skrypt z logiki dla studentow filozofiii - opublikowany na stronie internetowej http://www.cyf-kr.edu.pl/~atolszad/
REDAKCJE
- "Semina Scientiarum" - numer czasopisma PAT poświęcony Gödlowi i niezupełności arytmetyki.
- "Church's Thesis after 70 years", Ontos Verlag 2006, wraz z J. Woleńskim
i R. Januszem.
REFERATY
- "O Tezie Churcha i Twierdzeniu Tarskiego" wygłoszony na: V Konferencji "Zastosowania Logiki w Filozofii i Podstawach Matematyki", Karpacz, 2000.
- "Kilka uwag o Tezie Churcha i pewnym aksjomacie Hilberta" wygłoszony na: IX Konferencji "Zastosowania Logiki w Filozofii i Podstawach Matematyki", Karpacz, 2004.
- "Uwagi o możliwości dowodu Tezy Churcha" wygłoszony na: VII Zjeździe Filozofii Polskiej, Szczecin 2004.
- "Teza Churcha jako hipoteza empiryczna", wygłoszony na: Konferencja Informatyka - Badania i Zastosowania, Kazmierz Dolny, 2005.
- 'Teza Churcha - interpretacja oryginalnego sformulowania', wygłoszony na: 51 Konferencji Historii Logiki, Kraków 2005
- 'Wkład S. Kleene'ego w sformułowanie Tezy Churcha', wygłoszony na: zebranie Towarzystwa Filozoficznego Ignatianum, 2005
- 'O Tezie Churcha', wygłoszony na: zebranie naukowe Zakładu Epistemologii UJ, kierownik Prof. J. Woleński, 2002
- "Teza Churcha i pojęcia według Pavla Tichego", wygłoszony na:
Konferencji "Zastosowania Logiki w Filozofii i Podstawach Matematyki",
Szklarska Poręba, 2006.
|
 |