Przeglądaj wg Autor "Olszewski, Adam"

Teraz wyświetlane 1 - 7 z 7
  • Miniatura
    Pozycja
    A consequence of the notional existence of an effectively calculable yet non-recursive function
    (Uniwersytet Papieski Jana Pawła II w Krakowie, 2021) Olszewski, Adam
    The present paper is devoted to a discussion of the role of Church’s thesis in setting limits to the cognitive possibilities of mathematics. The specific aim is to analyse the formalized theory of arithmetic as a fundamental mathematical structure related to the theory of computation. By introducing notional non-standard computational abilities into this theory, a non-trivial enlargement of the set of theorems is obtained. The paper also indicates the connection between the inclusion of new functions through the development of axioms and the potential modification of inference rules. In addition, the paper provides an explanation of the role of inclusion of a certain interpretation of the meaning of the axioms of the theory in that theory.
  • Miniatura
    Pozycja
    Byt maksymalny
    (Uniwersytet Papieski Jana Pawła II w Krakowie, 2023-12-05) Olszewski, Adam
    Zadaniem artykułu jest pobudzenie teologów i filozofów do badań nad pewnymi aspektami dowodu ontologicznego (OA). Po przyjęciu ustaleń terminologicznych i prezentacji ogólnych uwag dotyczących argumentu ontologicznego cytuję argument św. Anzelma z Proslogionu II w łacińskiej wersji oryginalnej oraz przekładzie polskim. Następnie, co jest „sercem” pracy, próbuję szkicowo zrekonstruować Tischnerowską wersję tego argumentu św. Anzelma i poddaję ją wstępnej krytycznej analizie. W dalszej kolejności podaję dwa ogólne rozumienia dowodu na istnienie Boga. Ostatnia sekcja pracy poświęcona jest interesującym, a nawet intrygującym spostrzeżeniom na temat pojęcia tytułowego – bytu maksymalnego.
  • Miniatura
    Pozycja
    Czy Brouwer był solipsystą?
    (Uniwersytet Papieski Jana Pawła II w Krakowie Wydawnictwo Naukowe, 2020) Olszewski, Adam
    Głównym celem niniejszej pracy jest rozważenie sprawy dotyczącej osoby Luitzena Egbertusa Jana Brouwera (27.02.1881 Overschie – 2.12.1966 Blari‑ cum (Holandia)), zwykle charakteryzowanego jako matematyka i filozofa, tej mianowicie, czy przysługuje mu dodatkowa charakterystyka jako so- lipsysty. Pytanie takie nie jest bezpodstawne, gdyż oparte jest na pewnych spostrzeżeniach obecnych w stosownej literaturze przedmiotu. Z samej struktury tytułowego pytania wiemy, że odpowiedź powinna brzmieć: tak lub nie. Jednak ze względu na niejasny termin solipsyzm sprawa jest złożona. Szkicowo zdradzić możemy, że będziemy się starali uzasadnić, iż Brouwer nie był solipsystą, i w jakim to sensie.
  • Miniatura
    Pozycja
    Note on Probability of Logical Sentencesand the Linda Problem
    (Uniwersytet Papieski Jana Pawła II w Krakowie, 2023-06-30) Olszewski, Adam
    This paper presents a logical concept of probability which seems to be obvious, as it is, but the author is not aware of any elaboration of a developed studies on the issue or of any special philosophical application of it. Such a probability of the formula A, of the language of the propositional logic, is the quotient of the number of Boolean valuations of formula A of the classical propositional calculus, which takes the logical value 1, to the number of all Boolean valuations of such a formula A. An application of this concept of logical probability to the solution of the Linda problem is given.
  • Miniatura
    Pozycja
    Preface
    (Uniwersytet Papieski Jana Pawła II w Krakowie Wydawnictwo Naukowe, 2020) Olszewski, Adam; Dadaczyński, Jerzy; Wolak, Zbigniew
  • Miniatura
    Pozycja
    Solipsyzm i różne sprawy
    (Uniwersytet Papieski Jana Pawła II w Krakowie Wydawnictwo Naukowe, 2020) Olszewski, Adam
    Zamierzeniem niniejszej pracy jest pobudzenie zainteresowania solipsy‑zmem jako nieco zapomnianym fenomenem filozoficznym. Dlatego najpierw przedstawiamy garść ogólnodostępnych faktów historycznych i filozoficz‑nych dotyczących solipsyzmu. W dalszej części pracy próbujemy uporząd‑kować rozumienia solipsyzmów. Na koniec formułujemy kilka własnych wątków dotyczących badań nad solipsyzmem, w szczególności formułujemy dwa argumenty, jeden za, a drugi przeciwko solipsyzmowi.
  • Miniatura
    Pozycja
    Wstęp
    (Uniwersytet Papieski Jana Pawła II w Krakowie Wydawnictwo Naukowe, 2020) Olszewski, Adam; Dadaczyński, Jerzy; Wolak, Zbigniew