DESCRIPCIONES DEFINIDAS Y LÓGICA MODAL DE PRIMER ORDEN

Abstract

PARTIMOS DE LA FILOSOFÍA DEL LENGUAJE DE FINALES DEL SIGLO XIX DE LA MANO DE GOTTLOB FREGE. ATENDIENDO A LAS DELIMITACIONES CONCEPTUALES DEL SIGNIFICADO, LOS NOMBRES PROPIOS, EL SENTIDO Y LA REFERENCIA, VEREMOS CÓMO BERTRAND RUSSELL RECOGE LA FILOSOFÍA DEL LENGUAJE DE FREGE PARA DEFINIR SU TEORÍA DE LAS DESCRIPCIONES DEFINIDAS, CUYA PRINCIPAL CRÍTICA ES LA PROPUESTA POR PETER STRAWSON Y QUE ANALIZAREMOS. FINALMENTE, ABORDAREMOS ESTE PROBLEMA DESDE LA LÓGICA MODAL DE PRIMER ORDEN (FOML), DE LA MANO DE INDRZEJCZAK Y EL AXIOMA DE HINTIKKA BUSCANDO OFRECER UNA RESPUESTA A LA PREGUNTA ACERCA DE SI LAS DESCRIPCIONES DEFINIDAS PUEDEN FORMALIZARSE EN UNA SEMÁNTICA DE ORDEN SUPERIOR Y SI LAS CRÍTICAS DE STRAWSON TAMBIÉN RIGEN PARA DICHA APROXIMACIÓN.