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
|
Efekty uczenia się: |
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 then 5 pages) , as the material for the oral exam. Text should be presented to the teacher before exam,
4. oral exam
|
Zakres tematów: |
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 - 8. An example of a formal background - LPC with identity
9. Inferences in LPC
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 formalizm (1/2)
16. Salamucha's formalizm (2/2)
17. Theory of the most perfect being by G.W Leibniz
18. Towards Leibniz formalization
19 - 20. Modern ontological argument by K. Gödel
|