Grups de Recerca Consolidats (DURSI)
Grup:  Grup de Recerca de Lògica (DURSI, 2005SGR-00738)
Renovació:   2008
Investigador principal:  Enrique Casanovas
Temes:  Àlgebres de Boole; teoria de models: estabilitat i teories simples, teoria de models aplicada a l'àlgebra i grups d'automorfismes; teoria axiomàtica de conjunts: teoria descriptiva de conjunts, forcing, combinatòria infinita i aplicacions a l'anàlisi; fonaments de les matemàtiques; filosofia de la lògica i de la matemàtica.
Grup:  Grup de Recerca en lògiques no clàssiques (DURSI, 2005SGR-00083)
Renovació:   2008
Investigador principal:  Ramon Jansana
Temes:  Lògica modal, Lògica intuicionista, Lògiques subestrcuturals, Lòguiques multi valorades, Lògica algebraica, Lògica algebraica abstracta.
Grup:  LOGOS. Grup de Recerca en Lògica, Llenguatge i Cognició. (DURSI, 2005 SGR00734)
Renovació:   2008
Coordinador:  Genoveva Martí
Temes:  (Versió anglesa)
 
Projectes Europeus de Recerca
Projecte:   Mindreading and the emergence of communication: the case of reference (European Science Foundation, BFF2002-10164-E).
Durada:   2003-2006
Investigador principal:  Manuel García-Carpintero
Objetius:  (Versió anglesa) (Versió castellana)
Projecte:   MODNET. FP6 Marie Curie Training Network in Model Theory and
its Applications. (MRTN-CT-2004-512234).
Durada:   2005-2008
MODNET (Barcelona)  
Investigador principal:  		Enrique Casanovas
Objetius:  (Versió anglesa) (Versió castellana)
Projecte:   Bounded forcing axioms and their applications. Accions integrades Espanya-França (HF 2005-0044).
Durada:   2006-2007
Investigador principal    
a Espanya:  		Joan Bagaria
Objetius:  (Versió anglesa)
Projecte:   Ontology and Language. Accions integrades Espanya-Alemanya (HA2005-0020).
Durada:   2006-2007
Investigador principal    
a Espanya:  		Manuel Pérez Otero
Objetius:  (Versió anglesa)

 

Projectes de Recerca d'I+D (MEC)
Projecte:   La constitució del contingut representacional. Aspectes semàntics i epistemològics. ( MEDU, HUM2005-07539-C02-01/FISO)
Durada:   2005-2008
Investigador principal:  Manuel Pérez Otero
Temes:  Compatibilisme entre tesis externistes i intuicions racional-internistes (sobre el significat, el saber, la justificació epistèmica). Transparència del contingut representacional. Irreducibilitat de la funció semàntica referencial. Capacitats discriminatòries requerides pel coneixement i la individuació singular. Desenvolupament de la teoria de Peacocke sobre els conceptes i allò a priori. Condicions necessàries per a l’ús de noms propis i la seva transmissió, relevants per a l’adquisició de coneixement per testimoni. Relacions entre les representacions mentals i les representacions lingüístiques.
Projecte:   Veritat en contextos especials (BFF2003-08335-C03-03 (DGI))
Durada:   2003-2006
Investigador principal:  Josep Macià
Temes:  Aquest projecte intentarà mostrar que no hi ha res de genuïnament especial en els anomenats 'contextos especials', com són ara el discurs moral o estètic, o fins i tot la ficció. Argumentarem a favor de la postura segons la qual les característiques que la noció de veritat i les altres nocions que s’hi relacionen tenen en els contextos discursius 'normals' (és a dir, en contextos descriptius o teòrics) són suficients per explicar l’ús d’aquestes nocions en els anomenats contextos especials.
Projecte:   Fonaments de la semántica: aspectes no factuals i no representacionals del significat. (HUM 2005-00761)
Durada:   2005-2008
Investigador principal:  Genoveva Martí
Temes:  (Versió anglesa)
Projecte:   Teoria de Models (MTM 2005-00203)
Durada:   2005-2008
Investigador de contacte:  Enrique Casanovas
Temes:  Àlgebres de Boole; teoria de models topològics; grups de Galois abstractes; estabilitat i teories simples; lògica de primer ordre sense identitat; teoria de models aplicada a l'àlgebra; grups abelians ordenats; cossos separablement tancats; teoria de conjunts; funcions de cardinalitat; combinatòria infinita.
Projecte:   Fonaments i Aplicacions de la Teoria de Conjunts (MTM 2005-01025)
Durada:   2005-2008
Investigador Principal:  Joan Bagaria
Temes:  Un dels objectius de la teoria de conjunts és el descobriment, estudi i classificació de nous axiomes. Un enunciat matemàtic que no pugui ser decidit, és a dir, ni demostrat ni refutat, sobre la base dels axiomes de la teoria estàndard de Zermelo-Fraenkel amb l’Axioma d’Elecció (ZFC), s’ha de decidir estenent ZFC amb nous axiomes. Els axiomes forts d’infinitud, o axiomes de grans cardinals, permeten avaluar la potència dels axiomes conjuntistes mesurant el seu grau de consistència. Hi ha però problemes matemàtics importants, como la Hipòtesi del Continu, que no es poden resoldre directament mitjançant axiomes de grans cardinals. Afortunadament, existeixen altres classes d’axiomes que permeten respondre a moltes de les qüestions que els axiomes de grans cardinals no poden resoldre. Els més importants són els axiomes de forcing, que afirmen que certs enunciats que valen en extensions ideals de l’univers de tots els conjunts, les anomenades extensions genèriques o de forcing, són verdaderes. Recentment, una gran varietat de resultats han mostrat que molts axiomes, aparentment molt diversos, es poden reformular de manera semblant com principis d’absolutesa genèrica. Aquest projecte té coma objectiu principal la reformulació i classificació dels axiomes conjuntistes en termes d’absolutesa genèrica, establint així un marc uniforme per al seu estudi, tant a nivell del seu grau de consistència com de les seves mútues relacions, al mateix temps que els converteix en una eina més eficient i específica per a les seves aplicacions a altres àrees de la matemàtica.
 
Altres Grups de Recerca
Projecte:   Prometheus 21. Tecnografía i política de ciència, tecnologia i societat de la informació
Investigador principal:  Manuel Medina
Temes: 

Ciència, tecnologia i ciutadania en la societad del coneixement i de la informació digital. Interpretació i política del desenvolupament tecnocientífic. Models de valoració i intervenció.

 

 
30-06-2006