Cibernetia > Tesis doctorales
Búsqueda personalizada

Índice > LOGICA >

LOGICA DEDUCTIVA



5 tesis en 1 páginas: 1
  • LA VAGUEDAD: HACIA UN ESTUDIO CRITICO DE ALGUNOS ASPECTOS FORMALES Y DE GESTION.
    Autor: SOBRINO CERDEIRIÑA ALEJANDRO.
    Año: 1989.
    Universidad: SANTIAGO DE COMPOSTELA.
    Centro de lectura: FILOSOFIA Y CIENCIAS DE LA EDUCACION.
    Centro de realización: DEPARTAMENTO DE LOGICA Y FILOSOFIA DE LA CIENCIA; FILOSOFIA DEL DERECHO; MORAL Y POLITICA. FACULTAD DE FILOSOFIA Y CIENCIAS DE LA EDUCACION..
    Resumen: EN ESTE TRABAJO SE ESTUDIAN DISTINTAS APORTACIONES QUE SOBRE LA VAGUEDAD SE HICIERON A PRINCIPIOS DE SIGLO Y SE DISTINGUEN, PARADIGMATICAMENTE, TRES TIPOS DE ONTOLOGIAS SUBYACENTES A SU CONSIDERACION: UNA ONTOLOGIA A LA FREGE CONSIDERA A LA VAGUEDAD COMO UNA PROPIEDAD ACCIDENTAL DE LOS PREDICADOS VAGOS, UNA ONTOLOGIA A LA BLACK CONSIDERA A LA VAGUEDAD COMO UN ASPECTO PRAGMATICO DEL LENGUAJE, SUSCEPTIBLE DE CUANTIFICACION; POR ULTIMO, UNA ONTOLOGIA A LA RUSSELL CONSIDERA A LA VAGUEDAD COMO UNA CARACTERISTICA ESENCIAL E IRREDUCTIBLE DE LOS TERMINOS VAGOS. DOS SON LAS CARACTERISTICAS MAS RESEÑABLES DE UNA ONTOLOGIA A LA FREGE: EL PRINCIPIO DE BIVALENCIA, QUE SEGUN EL TIENE UN CARACTER UNIVERSAL Y, EN CONSECUENCIA CON ESTO, UN PRINCIPIO DE COMPLETITUD. SE ESTUDIA A CONTINUACION EL PRINCIPIO DE BIVALENCIA Y SE RECUSA SU CARACTER UNIVERSAL PUESTO QUE FALLA PARA REPRESENTAR ADECUADAMENTE PROPOSICIONES VAGAS. SE ESTUDIAN DISTINTAS APROXIMACIONES FORMALES A LA VAGUEDAD QUE INTENTAN RESOLVER ESTE CONFLICTO. LAS LOGICAS BORROSAS SE MUESTRAN COMO LAS LOGICAS MAS ADECUADAS PARA RECOGER LA INFORMACION SEMANTICA PRESENTE EN LOS PREDICADOS VAGOS. NO OBSTANTE, LOS PARTIDARIOS DE UNA ONTOLOGIA FREGEANA CONSIDERAN QUE SE PUEDE DAR UNA EXPLICACION DE LA VAGUEDAD MANTENIENDO EL PRINCIPIO DE BIVALENCIA. PARA ELLO SE HACE A LA VAGUEDAD DEPENDIENTE DE ALGO EXTERNO A ELLA: DEPENDIENTE DE CONTEXTO. SE ESTUDIAN DISTINTAS TEORIAS GENERALES DE CONTEXTOS Y SUS SOLUCIONES PARA LA PRECISIFICACION DE LOS PREDICADOS VAGOS. UNA ONTOLOGIA A LA BLACK ANIMA A BUSCAR FORMALISMOS QUE REPRESENTEN A LA VAGUEDAD COMO LA INFORMACION INMEDIATAMENTE DISPONIBLE EN LOS PREDICADOS VAGOS. ESTA TAREA PARECE SER ASUMIDA DE UNA MANERA RAZONABLE POR LAS LOGICAS BORROSAS. NO OBSTANTE, UN ESTUDIO DETENIDO DE LAS MISMAS REVELA QUE PARTICIPAN TAMBIEN DE UNA ONTOLOGIA A LA RUSSELL.
  • MAQUINAS DE TURING BORROSAS Y MODELOS DE W-CALCULABILIDAD.
    Autor: CLARES RODRIGUEZ BUENAVENTURA.
    Año: 1982.
    Universidad: GRANADA.
    Centro de lectura: CIENCIAS.
    Resumen: EL OBJETO DE LA PRESENTE MEMORIA ES CONSTRUIR Y ANALIZAR UN MODELO TEORICO PARA LA CALCULABILIDAD DE PROBLEMAS EN AMBIENTE BORROSO (DIFUSO). EN EL CAPITULO 1 DE LA MEMORIA SE INTRODUCE EL CONCEPTO DE MAQUINA DE TURING BORROSA (W-MAQUINA DE TURING) Y SE ANALIZAN SUS PROPIEDADES MAS SOBRESALIENTES. EN EL CAPITULO 2 SE ESTABLECE LA CARACTERIZACION DE LAS FUNCIONES CALCULABLES MEDIANTE UNA W-MAQUINA Y SE ANALIZAN LAS PROPIEDADES DE LAS FUNCIONES CALCULABLES CON DOMINIO EN LOS NUMEROS ENTEROS POSITIVOS TANTO EN EL CASO CLASICO COMO EN AMBIENTE BORROSO (FUNCIONES CON DOMINIO EN EL CONJUNTO DE LOS NUMEROS ENTEROS POSITIVOS BORROSO W-CALCULABLES). EN EL CAPITULO 3 SE INTRODUCE LOS PREDICADOS W-CALCULABLES.
  • LA LOGICA DE NORMAS DE G. KALINOWSKI Y LAS SEMANTICAS DE MUNDOS POSIBLES .
    Autor: SANCHEZ GARCIA ADORACION.
    Año: 1982.
    Universidad: VALENCIA.
    Centro de lectura: FILOSOFIA Y CIENCIAS DE LA EDUCACION .
    Centro de realización: FACULTAD DE FILOSOFIA Y CIENCIAS DE LA EDUCACION DE LA UNIVERSIDAD LITERARIA DE VALENCIA.
    Resumen: LA TESIS CONSTITUYE UN ESTUDIO DE LAS APORTACIONES DE KALINOWSKI A LA LOGICA DE NORMAS MATERIA DE LA QUE ES UNO DE SUS CREADORES. EL ESTUDIO SE HA REALIZADO DESDE LA PERSPECTIVA DE LAS SEMANTICAS DE MUNDOS POSIBLES QUE REPRESENTAN A NIVEL FORMAL EL TEMA QUE ACOJERA LA MAYOR ATENCION DURANTE LA ULTIMA DECADA.
  • CONTRIBUCIO A L'ESTUDI DELS MODELS MATEMATICS PER A LOGIQUES MULTIVALENTS.
    Autor: VALVERDE GARCIA LORENZO.
    Año: 1981.
    Universidad: POLITECNICA DE CATALUÑA.
    Centro de lectura: INFORMATICA.
    Centro de realización: FACULTAT D INFORMATICA.
  • UNA TEORIA DE TIPOS ESTRUCTURADOS DE DATOS.
    Autor: OREJAS VALDES FERNANDO.
    Año: 1979.
    Universidad: COMPLUTENSE DE MADRID.
    Centro de lectura: MATEMATICAS.
    Centro de realización: FACULTAD DE MATEMATICAS UNIVERSIDAD COMPLUTENSE.
    Resumen: PRESENTACION DE UN NUEVO METODO PARA LA ESPECIFICACION DE TIPOS ESTRUCTURADOS DE DATOS BASADO EN SU DEFINICION COMO ESPACIOS DE FUNCIONES. SIENDO SUS PRINCIPALES CARACTERISTICAS LA CONSTRUCTIVIDAD Y LA INDEPENDENCIA DE MODELOS PREVIOS. SE ESTUDIA. ADEMAS LA APLICACION DEL METODO DE ESPECIFICACION A LA SEMANTICA DENOTACIONAL DE LENGUAJES DE PROGRAMACION Y A LA ESPECIFICACION ALGEBRAICA DE TIPOS DE DATOS.
5 tesis en 1 páginas: 1
Búsqueda personalizada
Manuales | Tesis: Ordenadores, Circuitos integrados...
english
Cibernetia