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 *
Plazo de solicitud
Solicitar 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.
Galería
Estudiantes ideales
Nuestro público objetivo son estudiantes de cualquier origen que tengan cierta exposición al razonamiento matemático, madurez académica e intereses interdisciplinarios. No presuponemos ningún conocimiento de la materia. En concreto, nos dirigimos a estudiantes avanzados de Grado y Máster de campos como matemáticas, informática, economía, filosofía, finanzas, contabilidad y lingüística.
Además de los estudiantes de licenciatura y maestría, también damos la bienvenida a candidatos de doctorado y profesionales para postularse al curso.
Admisiones
Becas y Financiamiento
Beca de igualdad de acceso
Procedimiento de solicitud
El plazo de solicitud ha expirado. Ya no es posible solicitar la Beca de Igualdad de Acceso.
Genial que esté interesado en solicitar la Beca de Igualdad de Acceso. Puedes solicitar a través de este enlace (caducado) la beca del 1 de febrero y el 1 de abril . Tenga en cuenta que sólo es posible seleccionar un curso.
Los resultados de la selección de becas se anunciarán a mediados de mayo. Dado que tenemos un número limitado de becas disponibles para una gran cantidad de solicitantes, sugerimos, ¡si es posible! - completar su pago en el momento de su solicitud de curso para garantizar su lugar en el curso. Sin embargo, si no puedes venir sin la beca, puedes esperar hasta el anuncio. Si deseas venir, independientemente de si se te concederá la beca, lo mejor es asegurar tu plaza en el curso completando el pago a través de nuestro formulario de solicitud habitual. Si se le concede la beca, se le reembolsarán los gastos de matrícula y alojamiento.
Fecha límite para enviar su solicitud de Beca de Igualdad de Acceso: 31 de marzo (23:59 CET).
Beca de fotógrafo
¿Te encanta capturar momentos, personas y entornos en tu teléfono inteligente/cámara? ¿Tienes buenas habilidades de edición y pasión por las redes sociales? ¡Conviértete en nuestro fotógrafo de la escuela de verano! Esta beca de fotógrafo solo se ofrece a quienes participan en un curso de 2 semanas o en caso de que te unas a nosotros en ambas sesiones.
Qué ofrecemos:
- 500€ de descuento en la matrícula
- Varias actividades sociales gratuitas (asignadas por el equipo de verano, requisito: tomar fotografías)
Qué esperamos de usted:
- Fotos de su estancia en la VU Amsterdam Summer School (fotos de compañeros de estudios, Ámsterdam, excursiones y programa social)
- Creación de contenido/adquisición de historias en la cuenta de Instagram de VU Amsterdam
- Participación en el programa social (gratuito y sujeto a disponibilidad)
- Asistir a la reunión inicial de fotógrafos
Procedimiento de solicitud*
Envíe un vídeo corto en el que se presente (aproximadamente 30 segundos a 1 minuto) y algunos ejemplos de su trabajo fotográfico a [email protected]; utilice "Beca para fotógrafos" como asunto. Es importante utilizar su propio teléfono inteligente o cámara. Fecha límite de presentación de solicitudes: 14 de mayo a las 23:59 horas (CET).
Como la fecha límite de solicitud de fotógrafo es posterior a la fecha límite de inscripción al curso, es importante que presente su solicitud y pague el curso que le interesa antes de la fecha límite de solicitud del 1 de mayo. Si acabas ganando la beca, entonces se te reembolsarán los 500€ que otorga la beca. Si no se te concede la beca y no puedes unirte al curso sin la subvención parcial, aún puedes recibir un reembolso completo hasta el 16 de mayo. Si no puede unirse sin la subvención, también puede decidir esperar hasta que se anuncien los ganadores y, por lo tanto, no solicitar el curso de antemano; sin embargo, esto podría significar que el curso que le interesa ya no esté disponible. Nosotros por lo tanto. Recomendamos encarecidamente, si es posible, presentar su solicitud a través de nuestra página de solicitud antes de la fecha límite oficial de inscripción al curso.
*Si eres un estudiante de intercambio de verano o un socio universitario nominado (la tarifa del curso y/o el alojamiento son financiados por tu universidad), desafortunadamente, no eres elegible para esta beca.
Plan de estudios
Las clases tendrán lugar desde el lunes 4 de julio hasta el viernes 15 de julio. En general, las clases serán entre semana entre las 9 y las 17 horas (por favor tener en cuenta las excepciones). Los miércoles por la tarde y los fines de semana estarán libres para actividades sociales opcionales o tiempo personal. Es bueno tener en cuenta que será necesario estudiar por su cuenta en su tiempo privado (noches y fines de semana). El sábado 2 de julio y el sábado 16 de julio son días de llegada y salida (en caso de contratar alojamiento a través de nuestro servicio de alojamiento). Se compartirán más detalles en el programa del curso que se compartirá con los participantes en junio.
Resultado del programa
Al final de este curso, los estudiantes podrán:
- Comprender lo que se entiende por estudio de la lógica, resumir cómo surgen los diferentes sistemas de razonamiento (lógica) y describir cómo se pueden estudiar.
- Explicar la relación entre la teoría de la prueba y la lógica.
- Enumere y compare varias lógicas diferentes e ilustre en qué se diferencian de la lógica clásica.
- Muestre cómo se puede utilizar la lógica para modelar diversos fenómenos.
- Distinguir el doble papel de la lógica como forma idealizada de razonamiento y herramienta de modelado.
- Desarrollar una madurez en el modelado y la argumentación abstractos.