Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "Olszewski, Adam" wg kryterium: Autor

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 32
Tytuł:
Pewna krytyka teologii naturalnej
Autorzy:
Olszewski, Adam
Powiązania:
https://bibliotekanauki.pl/articles/669699.pdf
Data publikacji:
2014
Wydawca:
Uniwersytet Papieski Jana Pawła II w Krakowie
Tematy:
natural theology, negative theology, God, negation, revelation
objawienie, teologia naturalna, teologia apofatyczna, negacja, poznanie Boga
Opis:
In this paper the Author critically discusses the ways of understanding negative and natural theology. Subsequently, he makes an attempt to construct an argument against natural theology as insufficient mean to formulate a nontrivial statement about God.
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ć.
Źródło:
Analecta Cracoviensia; 2014, 46
2391-6842
0209-0864
Pojawia się w:
Analecta Cracoviensia
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Negacja w języku teologii
Autorzy:
Olszewski, Adam
Powiązania:
https://bibliotekanauki.pl/articles/669768.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Papieski Jana Pawła II w Krakowie
Tematy:
negation
theology
logic
negacja
teologia
logika
Opis:
In the first part of the paper I present the brief overview of what negation is in philosophy and logic. In the second part I present examples of five kinds of negation that are used in the language of the catholic theology. This surprisingly results from the complex structure of the theology.
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.
Źródło:
Analecta Cracoviensia; 2016, 48
2391-6842
0209-0864
Pojawia się w:
Analecta Cracoviensia
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Uwagi o dowodzie tezy Churcha
Some Remarks Concerning a Proof of Churchs Thesis
Autorzy:
Olszewski, Adam
Powiązania:
https://bibliotekanauki.pl/articles/967789.pdf
Data publikacji:
2005-12-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Opis:
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?
Źródło:
Filozofia Nauki; 2005, 13, 4; 113-128
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
O nieusuwalności podmiotu matematycznego
On the irremovability of mathematical subject
Autorzy:
Olszewski, Adam
Powiązania:
https://bibliotekanauki.pl/articles/690732.pdf
Data publikacji:
2010
Wydawca:
Copernicus Center Press
Tematy:
Church's thesis
fan theorem
Koenig's lemma
mathematical subject
Opis:
In the paper the author attempts to show that the Mathematical Subject is irremovable from the Philosophy of Mathematics. In doing so he wants to argue, first, that Church's Thesis should be seen as a statement about the Mathematical Subject. Second, he wants to show that philosophical relations between some problems such as Koenig's lemma vs Fan theorem, or Goedel's theorem on incompleteness vs. Halting problem, could be better grasped within the framework of the Mathematical Subject.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2010, 46; 100-117
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Will a human always outsmart a computer? An essay
Autorzy:
Olszewski, Adam
Powiązania:
https://bibliotekanauki.pl/articles/28763389.pdf
Data publikacji:
2022
Wydawca:
Copernicus Center Press
Tematy:
existential experience
myth
computer
machine
Banach-Mazur games
winning strategy
Opis:
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 shortly discussing the problems that early considerations of AI focused on, i.e. whether machines can think at all, we move on to reformulate our title question, about the possibility of outsmarting AI. This outsmarting will be understood by us in a rather limited way as to prevent a machine from completing its implemented task. To achieve this objective, after softly clarifying the basic terms, an analogy is built between the “outsmarting” of a machine by a human (the target domain) and the playing of a mathematical game between two players (the base domain), where this outsmarting is assigned a “winning strategy” in the certain game. This mathematical model is formed by games similar to Banach-Mazur games. The strict theorems of such games are then proved and applied to the target of the analogy. We then draw conclusions and look for counter-examples to our findings. The answer to the title question posed is negative, and it is not clear how far it should be taken seriously.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2022, 73; 259-280
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Prawda a teza Churcha – wyzwanie rzucone tomistom
Truth and Church’s Thesis – The Challenge to the Tomists
Autorzy:
Olszewski, Adam
Powiązania:
https://bibliotekanauki.pl/articles/29432372.pdf
Data publikacji:
2020
Wydawca:
Uniwersytet Papieski Jana Pawła II w Krakowie
Tematy:
prawda
definicja
św. Tomasz z Akwinu
teza Churcha
pojęcie
truth
definition
St. Thomas Aquinas
Church’s thesis
concept
Opis:
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.
The paper aims, by using the richness of the conceptual system of St. Thomas' philosophy and using his type of concepts, to formulate an important issue of contemporary philosophy of mathematics - Church's thesis [CT]. The above-mentioned goal was first attempted to be achieved through a deeper analysis of Thomas's definition of truth as "adaequatio rei et intellectus". This analysis revealed a great wealth of underlying philosophical content and showed its nontriviality. The final result is an attempt to formulate Church’s thesis as a specific instance of Thomas’ definition of truth. The result of the work is ambiguous and therefore it constitutes a specific challenge for the supporters of Thomism to discuss this topic.
Źródło:
Analecta Cracoviensia; 2020, 52; 195-212
2391-6842
0209-0864
Pojawia się w:
Analecta Cracoviensia
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A consequence of the notional existence of an effectively calculable yet non-recursive function
Autorzy:
Olszewski, Adam
Powiązania:
https://bibliotekanauki.pl/articles/29552071.pdf
Data publikacji:
2021
Wydawca:
Uniwersytet Papieski Jana Pawła II w Krakowie
Opis:
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.
Źródło:
Analecta Cracoviensia; 2021, 53; 111-139
2391-6842
0209-0864
Pojawia się w:
Analecta Cracoviensia
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Byt maksymalny
The maximal being
Autorzy:
Olszewski, Adam
Powiązania:
https://bibliotekanauki.pl/articles/30149482.pdf
Data publikacji:
2023
Wydawca:
Uniwersytet Papieski Jana Pawła II w Krakowie
Tematy:
Bóg
dowód ontologiczny
św. Anzelm
Józef Tischner
element największy
God
ontological proof
St Anselm
the greatest element
Opis:
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.
The purpose of this article is to stimulate theologians and philosophers to study certain aspects of the ontological argument (OA). After adopting terminological arrangements, and presenting general remarks on the ontological argument, I quote St Anselm's argument from Proslogion II in the original Latin version and the Polish translation. Then, which is the heart of the paper, I attempt to sketchily reconstruct Tischner’s version of this argument of St Anselm and subject it to a preliminary critical analysis. I then give two quite general understandings of the proof for the existence of God in general. The final section of the paper is devoted to interesting and even intriguing insights into the notion of the titular concept – the maximal being.
Źródło:
Analecta Cracoviensia; 2023, 55; 67-84
2391-6842
0209-0864
Pojawia się w:
Analecta Cracoviensia
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
O rozstrzygalności teologii
About the Decidability of Theology
Autorzy:
Olszewski, Adam
Powiązania:
https://bibliotekanauki.pl/articles/1050484.pdf
Data publikacji:
2021-02-02
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II
Tematy:
teologia
logika
rozstrzygalność
konsekwencja
reguła inferencji
theology
logic
decidability
consequence
inference rule
Opis:
W pracy przedstawiono syntetyczne, a nie analityczne, ujęcie tytułowego zagadnienia. Od strony metodologicznej jest próbą aplikacji pojęć logicznych jak konsekwencja, dowód, rozstrzygalność do teologii jako całości. W pierwszej części (do pkt 3.1) rozważa się teologię jako teorię logiczną i wskazuje na wady takiego ujęcia, w tym na niemożliwość sensownego rozważania rozstrzygalności tak rozumianej teologii. W drugiej części zostało osłabione logiczne pojęcie rozstrzygalności oraz zawężone pojęcie teologii, dla którego osłabiona rozstrzygalność daje się zastosować. W rozważaniach postawiono mnóstwo problemów dotyczących teologii, które chyba teologowie powinni rozwiązać. Praca jest dość kontrowersyjna dla obu stron, czyli teologów i logików. Aby ułatwić teologom lekturę pracy, dodano słowniczek luźno sformułowanych określeń terminów logicznych.
The paper takes a synthetic, not an analytical approach to the title issue. From the methodological point of view, it is an attempt to apply logical notions such as consequence, proof, rule and decidability to theology as a whole. In the first part (to the paragraph 3.1) the theology is considered as a logical theory and the drawbacks of such an approach are pointed out, including the impossibility of a sensible consideration of the decidability of such a theology. The second part weakens the logical notion of decidability and narrows down the notion of theology for which the weakened decidability can be applied. The whole discussion poses a lot of problems concerning theology, which probably theologians should solve. The work is quite controversial for both sides: theologians andlogicians. To make it easier for theologians to read the paper, a glossary of loosely worded terms of logical terms has been added.
Źródło:
Teologia w Polsce; 2020, 14, 2; 77-102
1732-4572
Pojawia się w:
Teologia w Polsce
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Note on Probability of Logical Sentences and the Linda Problem
Autorzy:
Olszewski, Adam
Powiązania:
https://bibliotekanauki.pl/articles/30148795.pdf
Data publikacji:
2022
Wydawca:
Uniwersytet Papieski Jana Pawła II w Krakowie
Tematy:
probability
logic
Boolean valuation
Linda problem
logika
prawdopodobieństwo
problem Lindy
wartościowania boolowskie
Opis:
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.
Niniejsza praca prezentuje koncepcję prawdopodobieństwa logicznego, która choć wydaje się oczywista, to autor nie znalazł nigdzie ani jej opracowania ani tym bardziej zastosowania do rozwiązania problemów filozoficznych. To prawdopodobieństwo formuły A, języka klasycznej logiki zdaniowej, jest ilorazem liczby wartościowań boolowskich, dla których formuła A przyjmuje wartość logiczną prawdy, do liczby wszystkich wartościowań boolowskich formuły A. To nowe pojęcie prawdopodobieństwa zostało zastosowane do podania alternatywnego rozwiązania problemu Lindy.
Źródło:
Analecta Cracoviensia; 2022, 54; 135-146
2391-6842
0209-0864
Pojawia się w:
Analecta Cracoviensia
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Linda problem – the tame solution in question
Problem Lindy – zakwestionowanie oswojonego rozwiązania
Autorzy:
Olszewski, Adam
Powiązania:
https://bibliotekanauki.pl/articles/28695152.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Papieski Jana Pawła II w Krakowie
Tematy:
eksperyment Kahnemana-Tversky’ego
heurystyki
interpretacje
problem Lindy
prawdopodobieństwo
conjunction
heuristics
interpretations
Kahneman&Tversky experiment
Linda problem
probability
Opis:
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 N0.1. and N0.2. Then the reasoning supporting the result of surveys is presented and finally critical conclusions will be derived.
Po krótkim przypomnieniu, na czym polega tzw. problem Lindy oraz jego rozwiązania przez Kahnemana i Tversky’ego (KT), wskazuję na implikacje ich rozwiązania tego problemu. Pośród tych implikacji podkreślam znaczenie relacji pomiędzy prawdopodobieństwami przypisanymi zdaniom: „Linda is active in a feminist movement” (F) oraz „Linda is a bank teller and active in a feminist movement” (T∧F); Kahneman i Tversky kładli główny nacisk na relację pomiędzy prawdopodobieństwami przypisanymi zdaniom: „Linda is a bank teller” (T) and „Linda is a bank teller and active in a feminist movement” (T∧F). Idąc po tej linii, formułuję hipotezę badawczą H0 o postaci: „co najmniej 85% respondentów wybierze zdanie F, jako bardziej prawdopodobne niż zdanie (T∧F), a możliwość przeciwna zostanie, konsekwentnie, wybrana jedynie przez co najwyżej 15% respondentów”, którą to hipotezę zerową formułuję na podstawie wyników badań samych Kahnemana i Tversky’ego. Następnie przytaczam wyniki badań sondażowych wykonanych wśród studentów (N0.1. i N0.2.), które częściowo odrzucają sformułowaną hipotezę, zgodnie z metodologią badań statystycznych. Na koniec prezentuję pewne rozumowanie wspierające osiągnięte rezultaty i formułuję krytyczne uwagi względem koncepcji heurystyk KT.
Źródło:
Analecta Cracoviensia; 2019, 51; 209-217
2391-6842
0209-0864
Pojawia się w:
Analecta Cracoviensia
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Churchs thesis as an empirical hypothesis
Autorzy:
Olszewski, Adam
Powiązania:
https://bibliotekanauki.pl/articles/764387.pdf
Data publikacji:
2005
Wydawca:
Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
Źródło:
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica; 2005, 3, 1
1732-1360
2083-3628
Pojawia się w:
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Kilka uwag o Tezie Churcha i Aksjomacie Hilberta
Some remarks concerning Church's Thesis and Hilbert's Axiom
Autorzy:
Olszewski, Adam
Powiązania:
https://bibliotekanauki.pl/articles/690900.pdf
Data publikacji:
2006
Wydawca:
Copernicus Center Press
Tematy:
Church's Thesis
Hilbert's Axiom
philosophy of mathematics
Opis:
Some facts concerning Church's Thesis are first reminded, then Hilbert's Axiom of Thought is formulated. Hilbert proposed this axiom in 1905. He believed that it belongs to a domain of knowledge that is prior with respect to mathematics. An attempt is made to apply this axiom to some considerations concerning Church's Thesis
Źródło:
Zagadnienia Filozoficzne w Nauce; 2006, 38; 114-126
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Matematyka czy teologia? Hilbert, Gordan i początki formalizmu
Mathematics or Theology? Hilbert, Gordan and the Beginning of the Formalism
Autorzy:
Olszewski, Adam
Powiązania:
https://bibliotekanauki.pl/articles/690964.pdf
Data publikacji:
2012
Wydawca:
Copernicus Center Press
Tematy:
philosophy of mathematics
theology
David Hilbert
Paul Gordan
formalism
Opis:
The aim of the article is two-fold: first, to analyse the impact Gordan’s problem had on Hilbert’s Programme and, secondly, to discuss, mainly from the theological standpoint, Gordan’s phrase: ”This is not Mathematics, this is Theology”.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2012, 51; 131-149
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 32

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies