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ę "dowód," wg kryterium: Wszystkie pola


Wyświetlanie 1-3 z 3
Tytuł:
Logika modalna a dowód ontologiczny
Modal Logic vs. Ontological Argument
Autorzy:
Biłat, Andrzej
Powiązania:
https://bibliotekanauki.pl/articles/967109.pdf
Data publikacji:
2012-03-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Opis:
The contemporary versions of the ontological argument originated from Charles Hartshorne are formalized proofs (in the metalogical sense of the word) based on unique modal theories. The simplest well-known theory of this kind arises from the system B of modal logic by adding two extra-logical axioms: (AA) “If the perfect being exists, then it necessarily exists” (Anselm’s Axiom) and (AL) “It is possible that the perfect being exists” (Leibniz’s Axiom). In the paper a similar argument is presented, however none of the systems of modal logic is relevant to it. Its only premises are the axiom (AA) and, instead of (AL), the new axiom (AN): “If the perfect being doesn’t exist, it necessarily doesn’t”. The main goal of the work is to prove that (AN) is no more controversial than (AA) and - in consequence - the whole strength of the modal ontological argument lays in the set of its extra-logical premises. In order to do that, three arguments are formulated: ontological, “cosmological” and metalogical.
Źródło:
Filozofia Nauki; 2012, 20, 1; 103-108
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Dowód w matematyce - dziś i jutro
Proof in Mathematics: Today and Tomorrow
Autorzy:
Murawski, Roman
Powiązania:
https://bibliotekanauki.pl/articles/964003.pdf
Data publikacji:
2013-06-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Opis:
The paper is a review of the book by Krzysztof Wójtowicz, O pojęciu dowodu w matematyce [On the Concept of Proof in Mathematics]. It presents the main theses of the book and evaluates them.
Źródło:
Filozofia Nauki; 2013, 21, 2; 201-203
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
O modalnej naturze argumentu w. Anzelma. Uwagi do artykułu „Logika modalna a dowód ontologiczny” Andrzeja Biłata
On the Modal Nature of St. Anselm's Argument. Remarks on Andrzej Biłat's Paper Modal Logic vs Ontological Argument
Autorzy:
Świętorzecka, Kordula
Powiązania:
https://bibliotekanauki.pl/articles/968577.pdf
Data publikacji:
2014-03-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Opis:
The paper examines the justification of two theses put forward in the article Modal Logic vs Ontological Argument by Andrzej Biłat: (1) the Anselmian ontological argument does not essentially engage modalities, and its force is not dependent on any specific logical modal laws (but only on classical logic); (2) the only source of modal force of the ontological proof is the Leibnizian theory of perfections. Biłat considers Hartshorne's version of the ontological proof and proposes his own formalization based on classical logic alone. We compare the presented theories and their formal background. We follow the proposed justification of Biłat's main opinion, point out its problematic (and not valid) fragments, and discuss its formal and material correctness. In conclusion, we consider the known possibilities of nontrivial application of modal logics to the analysis of St. Anselm's argument and some of its modern versions.
Źródło:
Filozofia Nauki; 2014, 22, 1; 131-137
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-3 z 3

    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