29 found
Order:
See also
  1.  15
    Church's Thesis After 70 Years.Adam Olszewski, Jan Wolenski & Robert Janusz (eds.) - 2006 - Ontos Verlag.
    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 include (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  2. Church's Thesis after 70 Years.Adam Olszewski, Jan Wolenski & Robert Janusz - 2008 - Erkenntnis 69 (3):421-425.
    No categories
     
    Export citation  
     
    Bookmark   4 citations  
  3.  7
    Negation in the language of theology – some issues.Adam Olszewski - 2018 - Philosophical Problems in Science 65:87-107.
    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.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  5
    Logic in theology.Bartosz Brożek, Adam Olszewski & Mateusz Hohol (eds.) - 2013 - Kraków: Copernicus Center Press.
    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.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  5. Miracles : a logical perspective.Bartosz Brożek & Adam Olszewski - 2013 - In Bartosz Brożek, Adam Olszewski & Mateusz Hohol (eds.), Logic in theology. Kraków: Copernicus Center Press.
    No categories
     
    Export citation  
     
    Bookmark  
  6.  14
    Logics of Order and Related Notions.Janusz Czelakowski & Adam Olszewski - 2022 - Studia Logica 110 (6):1417-1464.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  17
    Is Church’s Thesis Still Relevant?Jerzy Mycka & Adam Olszewski - 2020 - Studies in Logic, Grammar and Rhetoric 63 (1):31-51.
    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 arithmetic hierarchy. The (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  23
    Apologia Hardy'ego [recenzja] G.H. Hardy, Apologia matematyka, 1997.Adam Olszewski - 2000 - Zagadnienia Filozoficzne W Nauce 26.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  25
    Benedykta Bornsteina logika treści.Adam Olszewski - 1998 - Zagadnienia Filozoficzne W Nauce 23.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  16
    Comments on the acceptance and rejection of sentences in theology.Adam Olszewski - 2018 - Studies in Logic, Grammar and Rhetoric 54 (1):99-113.
    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. Finally, censorship was indicated as a model for (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  11.  14
    Church's Thesis as Formulated by Church—An Interpretation.Adam Olszewski - 2006 - In A. Olszewski, J. Wole'nski & R. Janusz (eds.), Church's Thesis After Seventy Years. Ontos Verlag. pp. 1--383.
  12.  2
    Church’s Thesis as Formulated by Church — An Interpretation.Adam Olszewski - 2006 - In Adam Olszewski, Jan Wolenski & Robert Janusz (eds.), Church's Thesis After 70 Years. Ontos Verlag. pp. 383-392.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  25
    Inne myślenie [recenzja] Paul Lorenzen, Myślenie metodyczne, 1997.Adam Olszewski - 1998 - Zagadnienia Filozoficzne W Nauce 23.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  14
    Introduction with remarks on the history of negation.Adam Olszewski & Kazimierz Trzęsicki - 2018 - Studies in Logic, Grammar and Rhetoric 54 (1):7-13.
    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.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  32
    Jak uczyć logiki? [dyskusja].Adam Olszewski - 2000 - Zagadnienia Filozoficzne W Nauce 26.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  16. Kilka uwag o kryterium Quine'a.Adam Olszewski - 2010 - Filozofia Nauki 18 (1).
    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 by an ontology, ontological commitments type 1 (categorical), (...)
     
    Export citation  
     
    Bookmark  
  17.  45
    Kilka uwag o tezie Churcha i aksjomacie Hilberta.Adam Olszewski - 2006 - Zagadnienia Filozoficzne W Nauce 38.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  18. Matematyka czy teologia? Hilbert, Gordan i początki formalizmu.Adam Olszewski - 2012 - Zagadnienia Filozoficzne W Nauce (51).
    No categories
     
    Export citation  
     
    Bookmark  
  19.  5
    Negation: various insights.Adam Olszewski & Kazimierz Trzęsicki (eds.) - 2018 - Białystok: University of Białystok.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20. O nieusuwalności podmiotu matematycznego.Adam Olszewski - 2010 - Zagadnienia Filozoficzne W Nauce 46.
    No categories
     
    Export citation  
     
    Bookmark  
  21.  27
    O roli tezy Churcha w dowodzie pewnego twierdzenia.Adam Olszewski - 1999 - Zagadnienia Filozoficzne W Nauce 25.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  43
    O znaczeniu okresu warunkowego.Adam Olszewski - 1998 - Zagadnienia Filozoficzne W Nauce 22.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  28
    Smutna filozofia Quine'a [recenzja] Willard Van Orman Quine, Od bodźca do nauki, 1998.Adam Olszewski - 1999 - Zagadnienia Filozoficzne W Nauce 24.
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  38
    Teza Churcha a twierdzenie Gödla.Adam Olszewski - 2000 - Zagadnienia Filozoficzne W Nauce 26.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  38
    Turing [recenzja] A. Hodges, Turing, 1997.Adam Olszewski - 1999 - Zagadnienia Filozoficzne W Nauce 25.
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  20
    Umysłowe modele [recenzja].Adam Olszewski - 2000 - Zagadnienia Filozoficzne W Nauce 27.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  27. Uwagi o dowodzie tezy Churcha.Adam Olszewski - 2005 - Filozofia Nauki 4.
    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?
    No categories
     
    Export citation  
     
    Bookmark  
  28.  10
    Will a human always outsmart a computer?Adam Olszewski - 2022 - Zagadnienia Filozoficzne W Nauce 73:259-280.
    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. (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  10
    About a Mature Theory of Fregean Sense. [REVIEW]Adam Olszewski - 2017 - Logic and Logical Philosophy 26 (3):417-428.
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark