•  1
    Church's Thesis After Seventy Years (edited book)
    with J. Wole'nski and R. Janusz
    Ontos Verlag. 2006.
  •  1
    Church’s Thesis as Formulated by Church — An Interpretation
    In Adam Olszewski, Jan Wolenski & Robert Janusz (eds.), Church's Thesis After 70 Years, Ontos Verlag. pp. 383-392. 2006.
  •  9
    Church's Thesis After 70 Years (edited book)
    Ontos Verlag. 2006.
    Church's Thesis (CT) was first published by Alonzo Church in 1935. CT is a proposition that identifies two notions: an intuitive notion of an effectively computable function defined in natural numbers with the notion of a recursive function. Despite the many efforts of prominent scientists, Church's Thesis has never been disproven. There exists a vast literature concerning the thesis. The aim of this book is to provide a one volume summary of the state of research on Church's Thesis. These inclu…Read more
  •  13
    Logics of Order and Related Notions
    Studia Logica 110 (6): 1417-1464. 2022.
    The aim of the paper is twofold. First, we want to recapture the genesis of the logics of order. The origin of this notion is traced back to the work of Jerzy Kotas, Roman Suszko, Richard Routley and Robert K. Meyer. A further development of the theory of logics of order is presented in the papers of Jacek K. Kabziński. Quite contemporarily, this notion gained in significance in the papers of Carles Noguera and Petr Cintula. Logics of order are named there _logics of weak implications_. They pla…Read more
  •  7
    Will a human always outsmart a computer?
    Zagadnienia Filozoficzne W Nauce 73 259-280. 2022.
    The title question of the paper has its empirical origin in the form of an individual’s existential experience arising from the personal use of a computer, which we attempt to describe in the first section. The rest of the entire paper can be understood as a philosophical essay answering the question posed. First the connection between the main problem of the article and its “premonition” by mankind, which was expressed in the form of ancient myths and legends, is briefly suggested. After shortl…Read more
  •  4
    Logic in theology (edited book)
    with Bartosz Brożek and Mateusz Hohol
    Copernicus Center Press. 2013.
    This collection of essays - written by philosophers, logicians, and theologians - is devoted to the problem of the utilization of logic in theological discourse. Viewed from the perspective of logic, the issues covered include such topics as the logic of miracles, the problem of God's omniscience, the application of non-classical logics to theology, and the relationships between science and theology.
  • Miracles : a logical perspective
    with Bartosz Brożek
    In Bartosz Brożek, Adam Olszewski & Mateusz Hohol (eds.), Logic in theology, Copernicus Center Press. 2013.
  •  2
    Negation: various insights (edited book)
    with Kazimierz Trzęsicki
    University of Białystok. 2018.
  •  12
    Is Church’s Thesis Still Relevant?
    Studies in Logic, Grammar and Rhetoric 63 (1): 31-51. 2020.
    The article analyses the role of Church’s Thesis (hereinafter CT) in the context of the development of hypercomputation research. The text begins by presenting various views on the essence of computer science and the limitations of its methods. Then CT and its importance in determining the limits of methods used by computer science is presented. Basing on the above explanations, the work goes on to characterize various proposals of hypercomputation showing their relative power in relation to the…Read more
  •  7
    Negation in the language of theology – some issues
    Philosophical Problems in Science 65 87-107. 2018.
    The paper consists of two parts. In the first one I present some general remarks regarding the history of negation and attempt to answer the philosophical question concerning the essence of negation. In the second part I resume the theological teaching on the degrees of certainty and point to five forms of negation – known from other areas of research -- as applied in the framework of theological investigations.
  •  13
    Comments on the acceptance and rejection of sentences in theology
    Studies in Logic, Grammar and Rhetoric 54 (1): 99-113. 2018.
    This work is interdisciplinary as it lies at the crossroads of three disciplines: philosophy, theology, and logic. The article attempts to discuss the way in which sentences (judgements) are accepted and rejected within theology. First, the role of the argument of authority in theology is discussed. Subsequently, the most important types of theorems with certain degrees of theological certainty were identified. Finally, censorship was presented as a means of rejecting theorems in theology. Final…Read more
  •  12
    Introduction with remarks on the history of negation
    with Kazimierz Trzęsicki
    Studies in Logic, Grammar and Rhetoric 54 (1): 7-13. 2018.
    In the introduction to the volume on negation, first the source ways of understanding it from antiquity to modern times are presented, as well as the basic points of contention connected with it. Subsequently, the works contained in this volume are briefly presented in the order in which they appeared.
  •  9
    About a Mature Theory of Fregean Sense (review)
    Logic and Logical Philosophy 26 (3): 417-428. 2017.
    Marie Duží, Bjørn Jespersen, and Pavel Materna: Procedural Semantics for Hyperintensional Logic. Foundations and Applications of Transparent Intentional Logic, vol. 17 of series “Logic, Epistemology, and the Unity of Science”, Springer, Dordrecht, Heidelberg, London, New York, 2010; xiii+552 pages, ISBN 978-90-481-8811-6, e-ISBN 978-90-481-8812-3. DOI: 10.1007/978-90-481-8812-3.
  •  38
    Teza Churcha a twierdzenie Gödla
    Zagadnienia Filozoficzne W Nauce 26. 2000.
  • Kilka uwag o kryterium Quine'a
    Filozofia Nauki 18 (1). 2010.
    The aim of the paper is to evaluate the usefulness of W.V.O. Quine's criterion for establishing the ontological commitments of a theory. At the outset, Quine's conception is reconstructed. It is argued that Quine does not provide a particularly clear exposition of the procedure of establishing ontological commitments. It is further maintained that - on a persuasive interpretation - one should distinguish several concepts associated with Quine's conception. These are: ontology, domain tolerated b…Read more
  •  27
    O roli tezy Churcha w dowodzie pewnego twierdzenia
    Zagadnienia Filozoficzne W Nauce 25. 1999.
  •  13
    Church's Thesis as Formulated by Church—An Interpretation
    In A. Olszewski, J. Wole'nski & R. Janusz (eds.), Church's Thesis After Seventy Years, Ontos Verlag. pp. 1--383. 2006.
  •  37
    Turing [recenzja] A. Hodges, Turing, 1997
    Zagadnienia Filozoficzne W Nauce 25. 1999.
  •  45
    Kilka uwag o tezie Churcha i aksjomacie Hilberta
    Zagadnienia Filozoficzne W Nauce 38. 2006.
  •  42
    O znaczeniu okresu warunkowego
    Zagadnienia Filozoficzne W Nauce 22. 1998.
  •  25
    Inne myślenie [recenzja] Paul Lorenzen, Myślenie metodyczne, 1997
    Zagadnienia Filozoficzne W Nauce 23. 1998.
  •  20
    Umysłowe modele [recenzja]
    Zagadnienia Filozoficzne W Nauce 27. 2000.
  • Matematyka czy teologia? Hilbert, Gordan i początki formalizmu
    Zagadnienia Filozoficzne W Nauce (51). 2012.
  •  23
    Apologia Hardy'ego [recenzja] G.H. Hardy, Apologia matematyka, 1997
    Zagadnienia Filozoficzne W Nauce 26. 2000.
  •  32
    Jak uczyć logiki? [dyskusja]
    Zagadnienia Filozoficzne W Nauce 26. 2000.
  • Uwagi o dowodzie tezy Churcha
    Filozofia Nauki 4. 2005.
    The aim of the article is to answer the four following questions concerning a proof of Church's Thesis (CT). (1) Can CT be treated as a synthetic definition? (2) How should CT not be understood? (3) How can one understand the expression proof by CT? (4) Is any proof of CT possible at all?
  • O nieusuwalności podmiotu matematycznego
    Zagadnienia Filozoficzne W Nauce 46. 2010.
  •  25
    Benedykta Bornsteina logika treści
    Zagadnienia Filozoficzne W Nauce 23. 1998.