Centre |
Facultat de Filosofia i Ciències de l'Educació |
Departament |
Lògica i Filosofia de la Ciència |
Professor responsable |
Sin datos cargados |
Met. Docent |
Classes magistrals i classes pràctiques. En les classes pràctiques els alumnes realitzaran i signaran exercicis de lògica, esglaonats didàcticament, que els hauran de portar al coneixement de la matèria. |
Met. Avaluació |
Constarà de dos examens(un a la meitat del curs i un examen final)que indagaran sobre aspectes teòrics i sobre tècniques simbòliques de demostració d'arguments i teoremes. |
Bibliografia |
- BADESA, S.; JANÉ, I. Y JANSANA, R. Elementos de la lógica formal. Barcelona: Ariel, 1998. - 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).. - HUNTER, G. Metalogica. Paraninfo, 1981. - MATES, B. Lógica matemática elemental. Madrid: Tecnos, 1971. - MOSTERIN, J. Lógica de primer orden.: Ariel, 1969. - Barcelona: Ariel,1970 - QUINE, W.V.O. Los métodos de la Lógica. Barcelona |
Continguts |
Presentació de la lògica mitjançant un llenguatge formal , com a teoria bàsica. Adquisició de les tècniques formals de deducció natural per a la derivació d'arguments i justificació de teoremes estrictament lògics. A més, exportació d'aquestes técniques per a l'exposició de teories amb contingut específic, com és el cas de la teoria de conjunts,base del raonament justificatiu de la matemàtica. Aspectes filosòfics fonamentals (ontològics i epistemològics ) de la ciència formal. La deducció i la inducció. La preparació d'aquesta matèria es fa mes fàcil si es cursa alhora que l'assignatura pràctica quatrimestral "Formalització de llenguatges". 1. Lògica i arguments. 2. Deducció natural. La lògica mitjançant regles. 3. Universos i interpretacions. 4. Tractament formal de la identitat i les descripcions. 5. Presentació axiomàtica de la lògica ( una alternativa equivalent a la presentació "natural" de la lògica) 6. Lògica i teoria de conjunts.Paradoxes. 7. La lògica mes enllà de la seua teoria. El llenguatge natural i el llenguatge de la lògica. Formalització d'enunciats del llenguatge natural i interpretació d'enunciats lògics. Interpretació objectual i substitucional dels quantificadors lògics. 8. Aspectes sistèmics de les teories formals: consistencia, correcció, completitud i decidibilitat. 9. L'àmbit de la lògica. Lògica i lògiques. Lògica i filosofia. 10. Deducció i inducció. Algunes notes històriques sobre el problema de la inducció. |
Objetius |
Assolir un coneixement de la matèria tant en la vessant filosòfica com en la tècnica. Com a resultat l'alumne haurà de saber redactar aspectes importants d'una filosofia de la lògica incipient i demostrar arguments o teoremes relatius a sistemes lògics de primer ordre amb identitat. |
URL de Fitxa |