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ę "existence proofs" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    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