Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie - Centralny System UwierzytelnianiaNie jesteś zalogowany | zaloguj się
AKTUALNOŚCI KATALOG MÓJ USOSWEB DLA STUDENTÓW DLA PRACOWNIKÓW DLA WSZYSTKICH
Logical Philosophy of God. Selected approaches
katalog przedmiotów - pomoc

Logical Philosophy of God. Selected approaches

Informacje ogólne

Kod przedmiotu: WF-FI-SWIELOG-ER Kod Erasmus / ISCED: 08.1 / (brak danych)
Nazwa przedmiotu: Logical Philosophy of God. Selected approaches
Jednostka: Instytut Filozofii
Grupy: Grupa przedmiotów - oferta Erasmus
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
FI2_U19
FI2_K01
Skrócony opis: (tylko po angielsku)

The concept of absoluteness is understood according to the given ontological (or metaphysical) background and is conceived in philosophical (not theological) way. 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: the argument for the existence of the first mover (Thomas Aquinas), the second – for the existence of a sufficient reason (Leibniz) and the third – for the existence of the most perfect being (Anselm, Descartes, Gödel).

Pełny opis: (tylko po angielsku)

1 - 2. The concept of proof and argument in philosophy of God.

3. Topography of arguments for the existence of God

4 - 5. Logical concept of proof. (Logical laws, the concept of logical and pragmatical inference.)

6. Concepts of a formal system and a deductive theory

7 - 8. Example of logic (later used as a formal background) – classical first order predicate logic with identity

9. Inferences in KRP

10 - 11. Classical theory of the fist mover. Original argument of Thomas Aquinas

12. The argument for the existence of the first mover in Salamucha’s formalization (1/2)

13 - 14. The argument for the existence of the first mover in Salamucha’s formalization (2/2)

15 - 16. Original theory of the most perfective being by Leibniz

17 - 18. Leibnizian proof formalized

19 - 20. An example of modern argument - Gödel’s formalism

Literatura: (tylko po angielsku)

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, 3140 (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

Metody i kryteria oceniania: (tylko po angielsku)

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,

4. Oral exam.

Zajęcia w cyklu "Semestr zimowy 2017/18" (jeszcze nie rozpoczęty)

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


powiększ
zobacz plan zajęć
Typ zajęć: Wykład monograficzny, 30 godzin, 20 miejsc więcej informacji
Koordynatorzy: Agnieszka Szymańska, Adam Świeżyński, Kordula Świętorzecka, Andrzej Waleszczyński
Prowadzący grup: Agnieszka Szymańska, 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: fakultatywny dowolnego wyboru
Skrócony opis:

The concept of absoluteness is understood according to the given ontological (or metaphysical) background and is conceived in philosophical (not theological) way. 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: the argument for the existence of the first mover (Thomas Aquinas), the second – for the existence of a sufficient reason (Leibniz) and the third – for the existence of the most perfect being (Anselm, Descartes, Gödel).

Pełny opis:

1 - 2. The concept of proof and argument in philosophy of God.

3. Topography of arguments for the existence of God

4 - 5. Logical concept of proof. (Logical laws, the concept of logical and pragmatical inference.)

6. Concepts of a formal system and a deductive theory

7 - 8. Example of logic (later used as a formal background) – classical first order predicate logic with identity

9. Inferences in KRP

10 - 11. Classical theory of the fist mover. Original argument of Thomas Aquinas

12. The argument for the existence of the first mover in Salamucha’s formalization (1/2)

13 - 14. The argument for the existence of the first mover in Salamucha’s formalization (2/2)

15 - 16. Original theory of the most perfective being by Leibniz

17 - 18. Leibnizian proof formalized

19 - 20. An example of modern argument - Gödel’s formalism

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

Uwagi:

Students should have finished the course of logic I and II. Tehy should be familiar with the philosophical system of chosen philosophers, especially with philosophy of God by Thomas Aquinas and by 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.