| Center |
| Faculty of Philosophy and Educational Sciences |
| Departament |
| Logic and Philosophy of Science |
| Lecturers in charge |
| Sin datos cargados |
| Met. Docent |
| Lectures, practical workshops and tutorials. Weekly workshops for each group studying Logic. These groups can be split up if recommended. |
| Met. Avaluació |
| Final examination and project work |
| Bibliografia |
| - FALGUERA, J.L y MARTÍNEZ, C. ôLógica clásica de primer ordenö. Madrid, Ed. Trotta, 1999. - GARRIDO, M. ôLógica simbólicaö. Madrid: Tecnos, (edicions continuades desde 1974). - GENTZEN, G. (ed. Szabo). ôThe collected Papers of Gerhard Gentzenö. Amsterdam, 1969. - MOSTERIN, J. ôLógica de primer ordenö. Barcelona: Ariel, 1970. - QUINE, W.V.O. ôLos métodos de la Lógicaö. Barcelona: Ariel, 1969. |
| Continguts |
| Presentation of logic, by means of formal language, as basic theory. Acquisition of formal techniques of natural deduction for which argumentation and justification of strictly logical theorems will derive. Techniques to enable display of theories with specific content, such as theory of sets or to justify reasoning in mathematics. Fundamental philosophical aspects (ontological and epistemological) of formal science. 1. Logic and argumentation. 2. Natural deduction. Logic through rules. 3. Universes and quantification. Continuation of natural deduction. 4. Formal treatment of identity and descriptions. 5. Axiomatic presentation of logic (an alternative to the "natural" presentation of logic). 6. Models of logical statements: semantic tables and semantic trees. 7. Formalization of fundamental concepts of the theory of groups. 8. Logic beyond its own theory. Language of logic: language of the theory of sets and of formal sciences. 9. Systematic aspects of formal theories: consistency, soundness, completeness etc. |