Acerca de este curso
La capacidad de razonar es fundamental para los seres humanos. Cualquiera que sea la disciplina o el discurso, es importante ser capaz de distinguir el razonamiento correcto del incorrecto. Las consecuencias de un razonamiento incorrecto pueden ser menores, como perderse de camino a una fiesta de cumpleaños, o más significativas, por ejemplo, lanzar misiles nucleares a una bandada de patos, o perder permanentemente el contacto con una nave espacial.
La cuestión fundamental que abordaremos en este curso es «cuándo una declaración se deriva necesariamente de otra» — o en la terminología del curso, «cuándo una declaración es una consecuencia lógica de otra». Este es un tema de cierta importancia, ya que una respuesta a la pregunta nos permitiría examinar un argumento presentado en un blog, por ejemplo, y decidir si realmente demuestra la verdad de la conclusión del argumento. Nuestro propio razonamiento también podría mejorar, ya que también podríamos analizar nuestros propios argumentos para ver si realmente demuestran sus conclusiones.
En este curso se le introducirán los conceptos y técnicas utilizadas en la lógica. Comenzaremos desde el principio, asumiendo que no hay una exposición previa a este material u otro similar, y avanzaremos a través de discusiones sobre las teorías de prueba y modelo de la lógica proposicional y de primer orden.
Procederemos dando una teoría de la verdad, y de consecuencia lógica, basada en un lenguaje formal llamado FOL (el lenguaje de la Lógica del Primer Orden). Adoptamos un lenguaje formal para hacer declaraciones, ya que los lenguajes naturales (como el inglés, por ejemplo) son demasiado vagos y ambiguos para que los analicemos suficientemente. Armados con el lenguaje formal, seremos capaces de modelar las nociones de verdad, prueba y consecuencia, entre otras.
Aunque la lógica es de naturaleza técnica, los conceptos clave del curso se desarrollarán teniendo en cuenta las declaraciones naturales en inglés, y nos centraremos en las relaciones entre dichas declaraciones y sus homólogas FOL. El objetivo del curso es mostrar cómo se pueden formalizar y analizar las declaraciones y argumentos del inglés natural.
Requisitos previos
Este curso no tiene ningún requisito previo, excepto el interés en la forma en que usamos el lenguaje para construir argumentos y justificar conclusiones. Si eso le interesa, entonces está todo listo. Ve a inscribirte.
Libro de texto
Necesitarás comprar la edición MOOC del paquete de cursos de Lenguaje, Prueba y Lógica . El paquete contiene las aplicaciones de software que utilizará para realizar los ejercicios durante el curso. También tendrá acceso al Grade Grinder, un servicio de evaluación basado en Internet para estos ejercicios.
La edición MOOC del curso se ofrece a 10 dólares, un costo significativamente reducido con respecto a la edición regular, pero sólo puede ser usado en conjunto con este curso. Puede obtenerlo en la tienda online de Lenguaje, Prueba y Lógica. Garantizamos el reembolso del costo de la edición MOOC del libro de texto hasta el final de la cuarta semana del curso (1 de octubre de 2014), para que pueda probar el curso sin riesgo alguno.
Si la compra del libro de texto causaría dificultades financieras, por favor escriba una nota al equipo de Lenguaje, Prueba y Lógica , para solicitar una copia gratuita del programa de estudios.
Instructores
Profesor de Filosofía y Sistemas Simbólicos
John Etchemendy ha formado parte del cuerpo docente de la Universidad de Princeton y de la Universidad de Stanford, donde fue presidente del Departamento de Filosofía y actualmente es el rector. También ha sido director del Centro para el Estudio del Lenguaje y la Información.
Científico investigador superior
Soy Dave Barker-Plummer. Desde 1995 he dirigido el trabajo del proyecto Openproof sobre software educativo para la enseñanza de la lógica en la Universidad de Stanford. Tengo experiencia en Inteligencia Artificial, y he enseñado informática y lógica en Stanford, Swarthmore College y la Universidad de Duke. En mi tiempo libre me dedico a mis fantasías de estrella de rock con PAN!C, una banda de reggae/pop/jazz de San Francisco.