Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie - Centralny System UwierzytelnianiaNie jesteś zalogowany | zaloguj się
katalog przedmiotów - pomoc

Logical Philosophy of God. Selected approaches

Informacje ogólne

Kod przedmiotu: WF-FI-SWIELOG-PCECE Kod Erasmus / ISCED: 08.1 / (brak danych)
Nazwa przedmiotu: Logical Philosophy of God. Selected approaches
Jednostka: Instytut Filozofii
Grupy: PCE-CE - obligatory subjects for 1st year
Punkty ECTS i inne: 6.00
Język prowadzenia: angielski
Poziom przedmiotu:

zaawansowany

Symbol/Symbole efektów kształcenia:

FI2_W09

FI2_W10

FI2_U03

FI2_U06

FI2_U13

Skrócony opis:

Modern logical philosophy still undertakes traditional philosophical issues and one of such is a question of the existence of an absolute being. In different approaches the absolute is identified as the first mover, the first cause, the sufficient reason, the most perfect being. Any chosen way of defining an absolute gives frames for a construction of different arguments for the existence of such a being. Modern way of formulating them uses contemporary philosophical logic. We are going to present this modern way of philosophizing. In frame of the seminar we describe the very idea of formalizing and we show its application to three arguments: (1) for the existence of the most perfect being by Anselm, (2) for the existence of the first mover by Thomas Aquinas and (3) for the existence of the subject of all positive properties by Gödel. The main aim of the seminar is to show possibilities of using scientific formal methods to consider classical questions put in philosophy.

Pełny opis:

1. God of philosophers and theologians. Proof, justification, argument.

2 - 3. Topography of arguments for the existence of God

4. Few original formulations: Anselm, Descartes, Leibniz, Thomas Aquinas

5 - 6. Logical concept of proof, deduction, deductive theory

7 - 9. An example of a formal background - LPC with identity

9. Inferences in KRP

10. Structure of Anselm's argument

11 - 12. Formalisation based on LPC and Hartshorn's proof

13. Classical theory of the first mover by Thomas Aquinas

14 - 15. Salamucha's formalism (1/2)

16. Salamucha's formalism (2/2)

17. Theory of the most perfect being by G.W Leibniz

18. Towards Leibniz formalisation

19 - 20. Modern ontological argument by K. Gödel

Literatura:

1. J. H. Sobel, Logic and Theism, Cambridge Univ. Press, 2004

2. E. Nieznański, A. Burakowska, “Formalized Proofs of the Existence of God”, Collectanea Theologica 64, 109-122

3. Gödel’s Ontological Argument. History. Mododifications, and Controversies. ed. by K. Świętorzecka, Semper 2015

4. E. Nieznański, Towards a Formalization of Thomistic Theodicy. Formalized Attempts to Set Formal Logical Bases to State First Elements of Relations Considered in the Thomistic Theodicy, Peter Lang 2013

5. K. Świętorzecka, „Natura Absolutu w kosmologicznych dowodach na Jego istnienie”, Zagadnienia Naukoznawstwa, 3(181-182), 2009, 128-140 (optional)

6. E. Nieznański, “Modal sense of the classical concepts of reason for the existence of beings”, Bulletin of the Section of Logic Volume 43:1/2 (2014), 73–97

Efekty kształcenia:

Student knows the variety of standpoints about the possibilities and limits of argumentations for the existence of God, he also knows the main representatives of them. He is able to use the material in formulating his own opinion concerning the metaphysical problem of theism. He understands the modern notion of argumentation and distinguishes it from justification, he is able to follow the elements of application of logic to the considered classical philosophical problems.

Metody i kryteria oceniania:

1. attending classes (max absence: 3 hours),

2. taking part in a discussions,

3. preparing the text on a chosen topic (not more that 5 pages) , as the material for the oral exam. Text should be presented to the teacher before exam,

4. oral exam

Zajęcia w cyklu "Semestr zimowy 2017/18" (w trakcie)

Okres: 2017-10-01 - 2018-01-31
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Wykład monograficzny, 30 godzin, 15 miejsc więcej informacji
Koordynatorzy: Adam Świeżyński, Kordula Świętorzecka, Andrzej Waleszczyński
Prowadzący grup: Adam Świeżyński, Kordula Świętorzecka, Andrzej Waleszczyński
Lista studentów: (nie masz dostępu)
Zaliczenie: Egzaminacyjny
E-Learning:

E-Learning (pełny kurs) z podziałem na grupy

Typ przedmiotu:

obowiązkowy

Skrócony opis:

Modern logical philosophy still undertakes traditional philosophical issues and one of such is a question of the existence of an absolute being. In different approaches the absolute is identified as the first mover, the first cause, the sufficient reason, the most perfect being. Any chosen way of defining an absolute gives frames for a construction of different arguments for the existence of such a being. Modern way of formulating them uses contemporary philosophical logic. We are going to present this modern way of philosophizing. In frame of the seminar we describe the very idea of formalizing and we show its application to three arguments: (1) for the existence of the most perfect being by Anselm, (2) for the existence of the first mover by Thomas Aquinas and (3) for the existence of the subject of all positive properties by Gödel. The main aim of the seminar is to show possibilities of using scientific formal methods to consider classical questions put in philosophy.

Pełny opis:

1. God of philosophers and theologians. Proof, justification, argument.

2 - 3. Topography of arguments for the existence of God

4. Few original formulations: Anselm, Descartes, Leibniz, Thomas Aquinas

5 - 6. Logical concept of proof, deduction, deductive theory

7 - 9. An example of a formal background - LPC with identity

9. Inferences in KRP

10. Structure of Anselm's argument

11 - 12. Formalisation based on LPC and Hartshorn's proof

13. Classical theory of the first mover by Thomas Aquinas

14 - 15. Salamucha's formalism (1/2)

16. Salamucha's formalism (2/2)

17. Theory of the most perfect being by G.W Leibniz

18. Towards Leibniz formalisation

19 - 20. Modern ontological argument by K. Gödel

Literatura:

1. J. H. Sobel, Logic and Theism, Cambridge Univ. Press, 2004

2. E. Nieznański, A. Burakowska, “Formalized Proofs of the Existence of God”, Collectanea Theologica 64, 109-122

3. Gödel’s Ontological Argument. History. Modifications, and Controversies. ed. by K. Świętorzecka, Semper 2015

4. E. Nieznański, Towards a Formalization of Thomistic Theodicy. Formalized Attempts to Set Formal Logical Bases to State First Elements of Relations Considered in the Thomistic Theodicy, Peter Lang 2013

5. K. Świętorzecka, „Natura Absolutu w kosmologicznych dowodach na Jego istnienie”, Zagadnienia Naukoznawstwa, 3(181-182), 2009, 128-140 (optional)

6. E. Nieznański, “Modal sense of the classical concepts of reason for the existence of beings”, Bulletin of the Section of Logic Volume 43:1/2 (2014), 73–97

Uwagi:

Students should have finished course of logic I and II. They should be familiar with the philosophical systems of chosen philosophers, especially with philosophy of God by Tomas Aquinas and G.W. Leibniz.

Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie.