Informacja

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

Wyszukujesz frazę "existence proofs" wg kryterium: Temat


Wyświetlanie 1-4 z 4
Tytuł:
Czy konceptualizm jest wystarczającą podstawą dla odrzucenia niekonstruktywnych dowodów istnienia w matematyce?
Is Conceptualism a Sufficient Reason for the Rejection of Non-Constructive Existence Proofs in Mathematics?
Autorzy:
Chlastawa, Daniel
Powiązania:
https://bibliotekanauki.pl/articles/690974.pdf
Data publikacji:
2012
Wydawca:
Copernicus Center Press
Tematy:
mathematical constructivism
non-constructive proofs
existence proofs
conceptualism
Opis:
Non-constructive existence proofs (which prove the existence of mathematical objects of a certain kind without giving any particular examples of such objects) are rejected by constructivists, who hold a conceptualist view that mathematical objects exist only if they are constructed. In the paper it is argued that this conceptualist argument against non-constructive proofs is fallacious, because those proofs establish the existence of objects belonging to certain kinds rather than the existence of those objects per se. Moreover, to engage in proving existence theorems in a given mathematical theory one has to define all of the objects of this theory at the very beginning, which can be interpreted as establishing the existence of these objects before any theorem about them is proven. It is also argued that the constructivist may escape these objections by adopting the actualistic view, according to which a mathematical sentence is true if and only if it is established as true, but this view is very implausible, as it seems unable to explain the strictness and objectiveness of mathematics and the fact that it differs so fundamentally from, for example, fictional discourse.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2012, 51; 116-130
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Metropolitan Platon on natural theology
Autorzy:
Drozdek, Adam
Powiązania:
https://bibliotekanauki.pl/articles/607118.pdf
Data publikacji:
2014
Wydawca:
Uniwersytet im. Adama Mickiewicza w Poznaniu
Tematy:
Platon
natural theology
theodicy
proofs of the existence of God
Enlightenment
Opis:
Platon pozostawił po sobie 20 tomów Pouczających wypowiedzi, z których 17 to kazania i okolicznościowe przemówienia. Kazania są raczej proste i nawołują do przestrzegania podstawowych obowiązków chrześcijańskich, które winny być spełnione przez każdego, bez względu na pozycję społeczną. W naukach katechetycznych proponował pewne racjonalne argumenty teologii naturalnej przy wprowadzaniu podstawowych prawd religii chrześcijańskiej. Aby udowodnić istnienie Boga, odwoływał się do samowiedzy, do konieczności istnienia pierwszej przyczyny, do harmonii świata, do powszechnej zgody, do głosu sumienia, a także do wrodzonego pragnienia doskonałego szczęścia. Próbował również racjonalnie wyprowadzić monoteizm, określić atrybuty Boga i wyjaśnić istnienie zła. Ponadto Platon próbował uzasadnić boskie pochodzenie Biblii jako słowa Bożego. Platon był jednym z niewielu duchownych prawosławnych, którzy używali teologii naturalnej jako dopuszczalnego narzędzia do prezentacji i obrony chrześcijaństwa. Jednak jego teologiczna prezentacja jest często niepełna i nie zawsze przekonująca.
Platon pozostawi? po sobie 20 tomów Pouczaj?cych wypowiedzi, z których 17 to kazania i okoliczno?ciowe przemówienia. Kazania s? raczej proste i nawo?uj? do przestrzegania podstawowych obowi?zków chrze?cija?skich, które winny by? spe?nione przez ka?dego, bez wzgl?du na pozycj? spo?eczn?. W naukach katechetycznych proponowa? pewne racjonalne argumenty teologii naturalnej przy wprowadzaniu podstawowych prawd religii chrze?cija?skiej. Aby udowodni? istnienie Boga, odwo?ywa? si? do samowiedzy, do konieczno?ci istnienia pierwszej przyczyny, do harmonii ?wiata, do powszechnej zgody, do g?osu sumienia, a tak?e do wrodzonego pragnienia doskona?ego szcz??cia. Próbowa? równie? racjonalnie wyprowadzi? monoteizm, okre?li? atrybuty Boga i wyja?ni? istnienie z?a. Ponadto Platon próbowa? uzasadni? boskie pochodzenie Biblii jako s?owa Bo?ego. Platon by? jednym z niewielu duchownych prawos?awnych, którzy u?ywali teologii naturalnej jako dopuszczalnego narz?dzia do prezentacji i obrony chrze?cija?stwa. Jednak jego teologiczna prezentacja jest cz?sto niepe?na i nie zawsze przekonuj?ca.
Źródło:
Poznańskie Studia Teologiczne; 2014, 28; 33-46
0209-3472
Pojawia się w:
Poznańskie Studia Teologiczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Koncepcja Boga na przykładzie pięciu dróg Tomasza z Akwinu
The concept of God on the example of the five ways of Thomas Aquinas
Autorzy:
Picewicz, Joanna
Powiązania:
https://bibliotekanauki.pl/articles/1047101.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet im. Adama Mickiewicza w Poznaniu
Tematy:
proofs of the existence of God
Thomas Aquinas
dowody na istnienie Boga
Tomasz z Akwinu
Opis:
Celem niniejszego artykułu jest analiza zasadniczych argumentów na rzecz istnienia Boga na przykładzie pięciu dróg (dowodów) Tomasza z Akwinu, które w swej formule zawierają koncepcję Boga. W pięciu drogach Tomasza z Akwinu, Bóg występuje jako: pierwsza siła poruszająca (sama nie poruszona), pierwsza przyczyna sprawcza, byt konieczny, byt najdoskonalszy oraz jako umysł porządkujący świat przyrodniczy i prowadzący wszystko do celu. Dowody na rzecz istnienia Boga w ujęciu myśliciela, wychodzą z różnych zjawisk rzeczywistości. Punkt wyjścia jest różny: zjawisko ruchu, relacje przyczynowe, przygodność istnienia, stopniowanie doskonałości, celowość. Mimo określonych cech charakteryzujących drogi, mają jednolitą strukturę. Drogi Akwinaty dowodzą istnienia tego samego przedmiotu - Boga, lecz poszczególne argumenty ujmują transcendencję w różnym aspekcie. Wspólne składniki argumentów na rzecz istnienia Boga nie przekreślają jednak ich odrębności. Cel do którego średniowieczny myśliciel dążył, został osiągnięty, ponieważ każda z pięciu dróg odkrywa określony atrybut, który w rzeczywistości jest atrybutem Boga.
The purpose of this article is to analyse the basic arguments for the existence of God on the example of the five ways (proofs) of Thomas Aquinas, which in their formula contain the concept of God. In the five ways of Thomas Aquinas, God appears as the First Mover (unmoved himself), the First Cause, the necessary being, the most perfect being, and as the mind ordering the tendencies of the natural world and leading everything towards a goal. The proofs of the existence of God from the thinker’s perspective come from various phenomena of the reality. The starting point is different: the phenomenon of movement, causal relations, contingency of existence, gradation of perfection, purposefulness. Despite the specific characteristics of the ways, they have a uniform structure. The ways of Aquinas prove the existence of the same object – God, but individual arguments capture the transcendence in different aspects. Common components of the arguments in favour of God's existence do not, however, mean that they are not separate. The goal that the medieval thinker pursued was achieved because each of the five ways reveals a specific attribute, which in fact is an attribute of God.
Źródło:
Teologia i moralność; 2019, 14, 2(26); 235-247
1898-2964
2450-4602
Pojawia się w:
Teologia i moralność
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
World models in formalized systems of theodicy
Modele świata w sformalizowanych systemach teodycei
Autorzy:
Nieznański, Edward
Powiązania:
https://bibliotekanauki.pl/articles/431381.pdf
Data publikacji:
2011
Wydawca:
Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
Tematy:
formal theodicy
proofs of God's existence
concepts of God
teodycea formalna
dowody istnienia Boga
koncepcje Boga
Opis:
The article illustrates various images of the world described by selected formalized systems of theodicy. The first of the formalizations discussed reconstruct the argument ‘ex motu’ and present reality as a finite chain of the relation of moving. They also indicate the existence of ‘primum movens’ or ‘movens immobile’. The idea of a chain was questioned by Francesca Rivetti-Barbo, who regarded the coherence axiom in the relation of moving as false. Peter Geach suggested, however, that the relation of becoming of the later material world from the previous ones was total. This relation is a chain. Korneliusz Policki advocated the view that the world is a partial order of the relation of moving. Also, he used the Kuratowski-Zorn lemma in proving the existence of ‘primum movens immobile’. Rivetti-Barbo and Ivo Thomas viewed the world as a multiplicative quasi half–lattice. Kurt Gödel assumed that the world is Boolean algebra, in which the generator of the ultrafilter of positive attributes is ‘summum bonum’. Finally, there were formalizations presenting Leibniz’ world which is governed by the principle of the sufficient reason of being.
W artykule prezentuje się różne wizje świata opisywane przez wybrane sformalizowane systemy teodycei. Pierwsze z omawianych formalizacji rekonstruują argument "ex motu" i prezentują rzeczywistość jako łańcuchową relację poruszania. Dowodzi się w tym przypadku "primum movens" lub "movens immobile". Idę łańcucha zakwestionowała Francesca Rivetti-Barbò w związku z fałszywym postulatem o spójności relacji poruszania. Peter Geach zasugerował jednak, że postulat ten da się utrzymać w przypadku relacji stawania się światów materialnych. Korneliusz Policki wyznaczył z kolei wizję świata, którą generuje częściowy porządek relacji poruszania. W swoim dowodzie istnienia "primum movens immobile" wykorzystał lemat Kuratowskiego-Zorna. Rivetti-Barbò i Ivo Thomas zaproponowali wizję świata opartą na quasipółstrukturze multiplikatywnej. Kurt Gödel założył natomiast, że świat jest algebrą Boole’a, w której generatorem ultrafiltru własności pozytywnych jest "summum bonum". Na koniec charakteryzuje się formalizacje prezentujące Leibniza koncepcję świata, w której kluczową rolę pełni zasada dostatecznej racji istnienia.
Źródło:
Studia Philosophiae Christianae; 2011, 47, 1; 89-96
0585-5470
Pojawia się w:
Studia Philosophiae Christianae
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-4 z 4

    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