Przeglądaj wg Autor "Olszewski, Adam"

Teraz wyświetlane 1 - 10 z 10

A consequence of the notional existence of an effectively calculable yet non-recursive function
Olszewski, Adam (Wydawnictwo Naukowe Papieskiej Akademii Teologicznej w Krakowie, 2021)
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.
Byt maksymalny
Olszewski, Adam (Wydawnictwo Naukowe Papieskiej Akademii Teologicznej w Krakowie, 2023)
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.
Elementy historii powstania „Tezy Churcha”
Olszewski, Adam (Instytut Teologiczny w Tarnowie, 2000)
The main purpose of the article is to give a short but exact and original Alonzo Church's formulation of his thesis. The most important dates and forms of its presentation and publication are reported and briefly discussed to avoid misunderstandings and false formulations which are likely to arose among some philosophers.
Linda problem – the tame solution in question
Olszewski, Adam (Wydawnictwo Naukowe Papieskiej Akademii Teologicznej w Krakowie, 2019)
After a brief reminder of the, so called, Linda problem and its solution by Kahneman & Tversky (KT) (the tame solution), I point out the implications of the solution adopted by the KTs. Among these implications, I emphasize the importance of the relation of probability between the sentences: ‘Linda is active in a feminist movement’ (F) and ‘Linda is a bank teller and active in a feminist movement’ (T∧F); while in KT’s paper the main emphasis was put on considering the relationship between the probability of sentences: ‘Linda is a bank teller’ (T) and ‘Linda is a bank teller and active in a feminist movement’ (T∧F). I offer a critical argument against the zero hypothesis H0 that ‘at least 85% of the respondents will choose the sentence F as more likely than the sentence (T∧F), and the opposite consequently will be selected at most by 15% of the respondents;’ being drawn from the assumptions made by Kahneman and Tversky. This hypothesis will be further partially refuted by means of results from the surveys No.1. and No.2. Then the reasoning supporting the result of surveys is presented and finally critical conclusions will be derived.
Maszyna Posta
Olszewski, Adam (Instytut Teologiczny w Tarnowie, 2001)
The aim of the article is to present the main idea of the so called Post’s Machine. Contrary to Turing’s Machine, Post's Machine is not so widely known. But some find it much simpler than the former. We begin by giving a short history of Post's publication, then we describe the definition of the Machine and give some easy examples of it. And finally we make some general philosophical remarks concerning Church’s Thesis in this context.
Negacja w języku teologii
Olszewski, Adam (Wydawnictwo Naukowe Papieskiej Akademii Teologicznej w Krakowie, 2016)
W pierwszej części artykułu prezentuję krótki przegląd tego, czym jest negacja z punktu widzenia filozofii i logiki. W drugiej części przedstawiam przykłady pięciu rodzajów negacji, które są używane w języku teologii katolickiej. Co zaskakujące, jest to wynik skomplikowanej struktury teologii.
Note on Probability of Logical Sentences and the Linda Problem
Olszewski, Adam (Wydawnictwo Naukowe Papieskiej Akademii Teologicznej w Krakowie, 2022)
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.
Pewna krytyka teologii naturalnej
Olszewski, Adam (Wydawnictwo Naukowe Papieskiej Akademii Teologicznej w Krakowie, 2014)
W artykule sformułowano argument, którego zadaniem było zakwestionowanie teologii naturalnej jako samodzielnej dyscypliny oraz wskazanie, że objawienie Boga jest konieczne, by o Nim mówić i w Niego wierzyć.
Prawda a teza Churcha – wyzwanie rzucone tomistom
Olszewski, Adam (Wydawnictwo Naukowe Papieskiej Akademii Teologicznej w Krakowie, 2020)
Artykuł stawia sobie za cel, poprzez skorzystanie z bogactwa pojęciowego systemu filozofii św. Tomasza i z użyciem jego typu pojęć, sformułowanie ważnego zagadnienia współczesnej filozofii matematyki – tezy Churcha [CT]. Wskazany cel starano się najpierw uzyskać przez pogłębioną analizę Tomaszowego określenia prawdy jako „adaequatio rei et intellectus”. Analiza ta ujawniła wielkie bogactwo treści filozoficznych leżących u podstaw i ukazała jej nietrywialność. Efektem końcowym jest próba sformułowania tezy Churcha jako specyficznej instantacji definicji prawdy Tomasza. Wynik pracy jest niejednoznaczny i dlatego stanowi swoiste wyzwanie dla zwolenników tomizmu do dyskusji na ten temat.
Teza Churcha a definicja prawdy Tarskiego
Olszewski, Adam (Wydawnictwo Naukowe Papieskiej Akademii Teologicznej w Krakowie, 2001)
The aim of the article is to state some sort of the contentual connection between the issues announced in the title. I attempt to show that, if we don’t accept some concequences of Tarski’s Thesis - his Convention T - we have to accept the negation of Church’s Thesis.