Lógica. Presentación

TL;DR

Introducción a la lógica formal y clásica.

Transcript

[Música] Hola Mi nombre es Alejandro y os doy la bienvenida a esta asignatura de lógica en la que seré vuestro profesor junto a Alonso Muñoz esta disciplina cuyos orígenes se remontan a la Grecia clásica se puede dividir fácilmente en dos bloques que derivan de su propia historia por un lado la lógica clásica en realidad como dialéctica estudia las... Read More

Key Insights

• La lógica se divide en lógica clásica y lógica formal.
• Lógica clásica estudia inferencias y teoría de la argumentación.
• Lógica formal se centra en cálculos y fundamentos matemáticos.
• La lógica proposicional caracteriza un álgebra de Boole.
• El cálculo de cuantificadores predicados permite demostraciones.
• Se introduce la teoría de conjuntos desde un enfoque axiomático.
• La evaluación incluye ejercicios y un examen final presencial.
• Se ofrece apoyo mediante tutorías y reuniones semanales.

Questions & Answers

Q: ¿Cuáles son las dos principales divisiones de la lógica según el video?

El video explica que la lógica se divide en dos bloques principales: la lógica clásica y la lógica formal. La lógica clásica se centra en el estudio de las inferencias en el lenguaje natural y la teoría de la argumentación, mientras que la lógica formal se enfoca en cálculos matemáticos y fundamentos de la computación moderna. Ambas partes tienen un enfoque distinto pero complementario en el estudio de la lógica.

Q: ¿Qué temas se abordan en la parte de lógica formal de la asignatura?

En la parte de lógica formal, se abordan varios temas esenciales. Primero, se estudia la lógica proposicional o de orden cero, que ayuda a caracterizar un álgebra de Boole. Luego, se introduce el cálculo de cuantificadores predicados, también conocido como primer orden, que permite realizar demostraciones matemáticas correctas. Finalmente, se estudia la teoría de conjuntos desde una perspectiva axiomática estándar, que es crucial tanto en ámbitos computacionales como matemáticos.

Q: ¿Cómo se evalúa la asignatura de lógica?

La evaluación de la asignatura de lógica se realiza a través de ejercicios y un examen final. Cada una de las dos partes de la asignatura, lógica clásica y lógica formal, tiene una serie de ejercicios cuya resolución representa el 20% de la nota total (10% por cada tema). Además, hay un examen final presencial convocado por la universidad, que representa el 30% de la nota de cada parte. En total, la evaluación se divide en 40% ejercicios y 60% examen final.

Q: ¿Qué recursos se ofrecen para apoyar el aprendizaje en esta asignatura?

Para apoyar el aprendizaje en esta asignatura, se ofrecen diversos recursos. Se proporcionan materiales que sintetizan el contenido de diferentes manuales, y se realizan reuniones online semanales que quedan grabadas, donde se avanza en la explicación del temario. Además, los estudiantes tienen la opción de solicitar tutorías tanto individuales como colectivas para resolver dudas. Estos recursos están diseñados para ayudar a los estudiantes a entender mejor los conceptos y mantenerse al día con el contenido del curso.

Summary & Key Takeaways

• La asignatura de lógica se divide en dos partes: lógica clásica y lógica formal. La lógica clásica, impartida por el profesor Alonso, se enfoca en la teoría de la argumentación, los sofismas, las falacias y los sesgos cognitivos. La lógica formal, a cargo de Alejandro, abarca cálculos básicos como la lógica proposicional y el cálculo de cuantificadores, además de la teoría de conjuntos.

• La lógica formal es fundamental para la computación moderna y las estructuras matemáticas. Se estudiará la lógica proposicional para entender el álgebra de Boole y el cálculo de cuantificadores para realizar demostraciones matemáticas. La asignatura también incluye la teoría de conjuntos desde una perspectiva axiomática.

• La evaluación de la asignatura se compone de ejercicios y un examen final, con un 20% basado en ejercicios de cada sección y un 30% en el examen final. Se ofrecen materiales de estudio, reuniones semanales grabadas y tutorías para resolver dudas. Se recomienda no dejar el estudio para el último momento debido al nivel de abstracción.