|
Grupos de Investigación
Consolidados (DURSI)
|
||
|---|---|---|
| Grupo: | Grupo de Investigación de Lógica (DURSI, 2005SGR-00738) | |
| Renovación: | 2008 | |
| Investigador principal: | Enrique Casanovas | |
| Temas: | Álgebras de Boole; teoría de modelos: estabilidad y teorías simples, teoría de modelos aplicada al álgebra y grupos de automorfismos; teoría axiomática de conjuntos: teoría descriptiva de conjuntos, forcing, combinatoria infinita y aplicaciones al análisis; fundamentos de las matemáticas; filosofía de la lógica y de la matemática. | |
|
| ||
| Grupo: | Grupo de Investigación en Lógicas no clásicas (DURSI, 2005SGR-00083) | |
| Renovación: | 2008 | |
| Investigador principal: | Ramon Jansana | |
| Temas: | Lógica modal, Lógica intuicionista,
Lógicas subestructurales. Lógicas multivaloradas, Lógica algebraica, Lógica algebraica abstracta. |
|
|
| ||
| Grupo: | LOGOS. Grupo de Investigación en Lógica, Lenguaje y Cognición. (DURSI, 2005 SGR00734) | |
| Renovación: | 2008 | |
| Coordinador: | Genoveva Martí | |
| Temas: | (Versión en inglés) | |
|
Proyectos Europeos de Investigación
|
||
| Proyecto: | Mindreading and the emergence of communication: the case of reference (European Science Foundation, BFF2002-10164-E) | |
| Duración: | 2003-2006 | |
| Investigador principal: | Manuel García-Carpintero | |
| Objetivos: | El objetivo general del proyecto global es contribuir a articular un marco ontológico que apele a las nociones de conferidor de verdad y dependencia ontológica. La hipótesis general del proyecto es que un marco tal, y no el heredado de Quine ("Acerca de lo que Hay"), es el adecuado para dirimir los debates contemporáneos sobre las relaciones de constitución e identidad de objetos materiales, las propiedades dependientes de la respuesta, las actitudes proposicionales, la realización de las propiedades mentales y las perspectivas del naturalismo, los tratamientos fictivo/figurativos de diversos discursos.El proyecto se desarrollará estudiando directamente las nociones centrales implicadas, sus raíces históricas en la fenomenología, y su aplicación a algunos de los debates ontológicos más prominentes en la discusión contemporánea, como los mencionados. | |
|
| ||
| Proyecto: | MODNET. FP6
Marie Curie Training Network in Model Theory and its Applications. (MRTN-CT-2004-512234). |
|
| Duración: | 2005-2008 | |
| MODNET
(Barcelona) Investigador principal: |
Enrique Casanovas | |
| Objetivos: | El proyecto está dedicado a promover la formación y la investigación en teoría de modelos, una parte de la lógica matemática que versa sobre estructuras abstractas (modelos) y que está tradicionalmente en conexión con otras áreas de las matemáticas. El proyecto fomentará la investigación en un amplio abnico de problemas centrales a la teoría de modelos y proporcionará abundantes oportunidades para la intercción entre especialistas en teoría de modelos y los que trabjan en otras áreas de las matemáticas y de la informática. Los objetivos de investigación consisten en producir avances importantes en los siguientes temas: teoría pura de modelos, teoría de modelos de cuerpos y aplicaciones, o-minimalidad y aplicaciones, cuerpos henselianos, grupos simples de rango de Morley finito, teoría de modelos de grupos y módulos, cuestiones de decidibilidad y relaciones con la teoría de la complejidad, teoría de modelos finitos y relaciones con la informática. | |
|
| ||
| Proyecto: | Bounded forcing axioms and their applications. Acciones Integradas España-Francia (HF 2005-0044). | |
| Duración: | 2006-2007 | |
|
Investigador Principal en España: |
Joan Bagaria | |
| Temas: | (Versión en inglés) | |
|
| ||
| Proyecto: | Ontology and Language..Acciones Integradas España-Alemania (HA 2005-0020). | |
| Duración: | 2006-2007 | |
|
Investigador Principal en España: |
Manuel Pérez Otero | |
| Temas: | (Versión en inglés) | |
|
| ||
|
Proyectos de Investigación
de I+D (MEC)
|
||
| Proyecto: | La constitución del contenido representacional. Aspectos semánticos y epistemológicos. ( MEDU, HUM2005-07539-C02-01/FISO) | |
| Duración: | 2005-2008 | |
| Investigador principal: | Manuel Pérez Otero | |
| Temas: | Compatibilismo entre tesis externistas e intuiciones racional-internistas (sobre el significado, el saber, la justificación epistémica). Transparencia del contenido representacional. Irreducibilidad de la función semántica referencial. Capacidades discriminatorias requeridas por el conocimiento y la individuación singular. Desarrollo y aplicación de la teoría de Peacocke sobre los conceptos y lo a priori. Condiciones necesarias para el uso de nombres propios y su transmisión, relevantes para la adquisición de conocimiento por testimonio. Relaciones entre las representaciones mentales y las representaciones lingüísticas. | |
|
| ||
| Proyecto: | Verdad en contextos especiales (BFF2003-08335-C03-03 (DGI)) | |
| Duración: | 2003-2006 | |
| Investigador principal: | Josep Macià | |
| Temas: | Este proyecto intentará mostrar que no hay nada genuinamente especial en los llamados 'contextos especiales', como son por ejemplo el discurso moral o estético, o incluso la ficción. Argumentaremos a favor de la postura según la cual las características que la noción de verdad y otras nociones emparentadas con ella tienen en contextos discursivos 'normales' (contextos descriptivos o teóricos), sirven también para explicar el uso de estas nociones en los llamados contextos especiales. | |
|
| ||
| Proyecto: | Fundamentos de la Semantica: aspectos no factuales y no respresentacionales del significado. (HUM 2005-00761) | |
| Duración: | 2005-2008 | |
| Investigador principal: | Genoveva Martí | |
| Temas: | (Versión en inglés) | |
|
| ||
| Proyecto: | Teoría de Modelos (MTM 2005-00203) | |
| Duración: | 2005-2008 | |
| Investigador de contacto: | Enrique Casanovas | |
| Temas: | Álgebras de Boole; teoría de modelos topológicos; grupos de Galois abstractos; estabilidad y teorías simples; lógica de primer orden sin identidad; teoría de modelos aplicada al álgebra; grupos abelianos ordenados; cuerpos separablemente cerrados; teoría de conjuntos; combinatoria infinita;funciones de cardinalidad. | |
|
| ||
| Proyecto: | Fundamentos y aplicaciones de la Teoría de Conjuntos (MTM 2005-01025) | |
| Duración: | 2005-2008 | |
| Investigador Principal: | Joan Bagaria | |
| Temas: | Uno de los objetivos de la teoría de conjuntos es el descubrimiento, estudio y clasificación de nuevos axiomas. Un enunciado matemático que no pueda ser decidido, es decir, ni demostrado ni refutado, sobre la base de los axiomas de la teoría estándar de Zermelo-Fraenkel con el Axioma de Elección (ZFC), debe ser decidido extendiendo ZFC con nuevos axiomas. Los axiomas fuertes de infinitud, o axiomas de grandes cardinales, permiten evaluar la potencia de los axiomas conjuntistas midiendo su grado de consistencia. No obstante, importantes problemas matemáticos, como la Hipótesis del Continuo, no pueden resolverse directamente mediante axiomas de grandes cardinales. Afortunadamente, existen otras clases de axiomas que permiten responder a muchas de las cuestiones que los axiomas de grandes cardinales no pueden resolver. Los más importantes son los axiomas de forcing, que afirman que ciertos enunciados que valen en ciertas extensiones ideales del universo de todos los conjuntos, las llamadas extensiones genéricas o de forcing, son verdaderos. Recientemente, una gran variedad de resultados han mostrado que muchos axiomas, aparentemente muy distintos, pueden reformularse de manera parecida, eso es, como principios de absolutidad genérica. Nuestro proyecto tiene como objetivo principal la reformulación y clasificación de los axiomas conjuntistas en términos de absolutidad genérica, estableciendo así un marco uniforme para su estudio, tanto a nivel de su grado de consistencia como de sus mutuas relaciones, al tiempo que los convierte en una herramienta más eficiente y específica para sus aplicaciones a otras áreas de la matemática. | |
|
Otros Grupos de Investigación
|
||
| Proyecto: | Prometheus 21. Tecnografía y política de ciencia, tecnología y sociedad de la información | |
| Investigador principal: | Manuel Medina | |
| Temas: |
Ciencia, tecnología y ciudadanía en la sociedad del conocimiento y de la información digital. Interpretación y política del desarrollo tecnocientífico. Modelos de valoración e intervención |
|
| 30-06-2006 |
