| Descripción: | El curso versara sobre la teoria de las proposiciones categoricas: sus elementos, sus propiedades sintacticas, sus propiedades semanticas y sus relaciones de consecuencia logica, definidas en la logica de Aristoteles y su larga tradicion de comentarios (conversion, contraposicion, obversion, subalternacion). Ademas se trataran los metodos no-silogisticos para demostrar si una proposicion es consecuencia logica de otra, la teoria del silogismo categorico (sus figuras y modos, directos e indirectos), e igualmente las extensiones silogisticas: tradicionales, modernas y contemporaneas y argumentos silogisticos. Tambien se abordara la validez formal, la validez cientifica y la demostracion por absurdo, ademas de la teoria del calculo proposicional y por ultimo, la logica de predicados de primer orden. |
