La lógica como herramienta de modelado
Vrije University - Summer & Winter graduate programs
Información clave
Ubicación del campus
Amsterdam, Países Bajos
Idiomas
Inglés
Formato de estudio
En el campus
Duración
2 semanas
Ritmo
Tiempo completo
Tasas de matrícula
EUR 735 *
Fecha límite de inscripción
Solicita información
Fecha de inicio más temprana
21 Jul 2024
* estudiantes de la UV
Introducción
A lo largo del curso animaremos a los participantes a pensar en cómo se puede aplicar la lógica a sus campos de interés.
La lógica es el estudio de diferentes tipos de razonamiento. La lógica es también una tecnología, una herramienta para modelar elegantemente diversos fenómenos. El objetivo del curso es presentarle esta herramienta y explicarle cómo se puede utilizar. El curso se divide en 3 partes.
Introduciremos la lógica clásica como punto de partida y mostraremos cuántos sistemas diferentes de razonamiento (lógica) surgen como variaciones. Introduciremos dos formas fundamentales de estudiar una lógica, a través de la semántica y la sintaxis. Este último se adapta naturalmente al modelado y al razonamiento automatizado. También discutiremos las aplicaciones en las ciencias sociales centrándonos en la agencia y el flujo de información. Introduciremos formalismos lógicos que nos permitan modelar situaciones en las que la verdad se construye socialmente y desarrollar nociones como conocimiento y conocimiento grupal y común.
El tema general en el manejo de solicitudes es la noción de categorías y categorización. La categorización es la actividad de colocar cosas como objetos o ideas en categorías basadas en sus similitudes o criterios comunes. Introduciremos formalmente la teoría de la categorización, comenzando desde la teoría clásica de Aristóteles hasta la teoría del prototipo y del ejemplar. Formalizaremos estas nociones y explicaremos cómo se podrían usar las herramientas de la lógica para incorporar la vaguedad en esta teoría.
La tercera parte del curso utiliza el desarrollo fundamental de la Parte 1 y las intuiciones de modelado de la Parte 2. Introduciremos el estudio de la lingüística formal donde las palabras se clasifican en términos del papel que desempeñan en la formación de oraciones. Una palabra puede categorizarse como un sintagma nominal, un verbo transitivo, etc. Luego, las categorías sintácticas se combinan, de acuerdo con las reglas de formación, para construir expresiones complejas. Veremos cómo una oración gramaticalmente correcta puede ser capturada por una prueba formal o un proceso de computación y cómo diferentes lecturas corresponden a diferentes pruebas.