Cibernetia > Tesis doctorales
Búsqueda personalizada

Índice > HISTORIA > HISTORIAS ESPECIALIZADAS >

HISTORIA DE LA LOGICA



5 tesis en 1 páginas: 1
  • CONCEPCION DE LA POLIVALENCIA LOGICA EN LA ESCUELA DE VARSOVIA.
    Autor: DOMINGUEZ PRIETO PABLO.
    Año: 1993.
    Universidad: COMPLUTENSE DE MADRID.
    Centro de lectura: FILOSOFIA.
    Resumen: LUKASIEWILZ -DESTACADO MIEMBRO DE LA ESCUELA DE LUOV VARSOVIA ES CONSIDERADO EL FUNDADOR DE LA LOGICA POLIVALENTE. SE ANALIZA EN ESTE TRABAJO LA RELACION EXISTENTE ENTRE LA DOCTRINA DE ESTE LOGICO POLACO CON LA DE OTROS MIEMBROS DE SU MISMA ESCUELA: TWARDOWSKI (FUNDADOR DE ELLA Y MAESTRO DE LUKASIERVILZ), KOTARBINSKI, ASDUKIEWIERZ LESMIENSKI (COMPAÑEROS SUYOS). Y POR ULTIMO, JASKOWSKI Y ZAWIRSKI (MIEMBROS DE LA SEGUNDA GENERACION DE LA ESCUELA DE LUOVVARSOVIA). EN TODOS ELLOS, SI BIEN NO ABUNDAN DOCTRINAS EXPLICITAS ACERCA DE LA POLIVALENCIA LOGICA, SI SON TRATADAS CUESTIONES DE LOGICA, DE FILOSOFIA DEL LENGUAJE O DE FILOSOFIA DE LA CIENCIA FRONTERIZAS A LA LOGICA POLIVALENTE.
  • "EL PUESTO DE CARAMUEL EN LA HISTORIA DE LA LOGICA".
    Autor: BORREGO HERNANDEZ NICOLAS.
    Año: 1991.
    Universidad: SALAMANCA .
    Centro de lectura: FILOSOFIA Y CIENCIAS DE LA EDUCACION.
    Centro de realización: DEPARTAMENTO: FILOSOFIA Y LOGICA Y FILOSOFIA DE LA CIENCIA PROGRAMA DE DOCTORADO:.
    Resumen: CON ESTE TRABAJO SE PRETENDE PONER DE MANIFIESTO LA IMPORTANCIA LOGICA DEL GENIO Y POLIGRAFO ESPAÑOL JUAN CARAMUEL LOBKOWITZ. JUAN CARAMUEL (1606-1682) NO FUE UN PROFESIONAL DE LA LOGICA, PERO SI FUE UN TRATADISTA EMINENTE DE ESTA TEMATICA, TANTO DE LA LOGICA "TEORICA" COMO DE LA APLICACION DE LA LOGICA AL CAMPO PROFESIONAL Y A LA ACTIVIDAD VITAL EN GENERAL. COMO PRUEBAS OSTENSIBLES DE SU TALLA LOGICA PODEMOS DESTACAR: -EL CONOCIMIENTO EXHAUSTIVO DE LA TRADICION, ATESTIGUADO POR LAS CITAS FIDEDIGNAS Y OPORTUNOS COMENTARIOS CRITICOS DE TODOS LOS GRANDES LOGICOS DESDE ARISTOTELES. - LOS AVANCES LOGRADOS RESPECTO A LOS ESTUDIOS CLASICOS, COMO SE CONSTATA INCESANTEMENTE EN LA NOTABLE AMPLIACION DE LA LOGICA SIGUIENDO LOS DERROTEROS DE LO YA HECHO, FUNDAMENTADA, SOBRE TODO, EN UNA CONSIDERACION INTENSIONAL (FRENTE A LA EXTENSIONAL CLASICA). -LA ANTICIPACION DE LA LOGICA DEL FUTURO, QUE SE ECHA DE VER EN APORTACIONES COMO LA SUPRESION DE LAS PROPOSICIONES NEGATIVAS; EL PROYECTO DE UNA LOGICA SIMBOLICA; EL DESARROLLO DE LA LOGICA "OBLIQUA" (TRATADO INCIPIENTE DE LOGICA DE RELACIONES); EL NUEVO ENFOQUE DE LOGICA MODAL; ETC, ETC. TODO ELLO NOS DA PIE A LLAMAR LA ATENCION SOBRE EL OLCISO (A NUESTRO JUICIO IMPROCEDENTE) EN QUE SE ENCUENTRA HASTA LA FECHA. OBRAS (DE LOGICA "TEORICA") DESTACABLES DE J. CARAMUEL: - HERCULIS LOGICI LABORES TRES - GRAMMATICA AUDAX - LOGICAL VOCALIS, SCRIPTA, MENTALIS, OGLIQUA - METALOGICA - DE SEVERA ARGUMENTANDI METHODO N.B.= TODAS ELLAS PUBLICAS BAJO EL TITULO ENCICLOPEDICO "THEOLOGIA RATIONALIS" (FRANKFURT 1654-55).
  • EL TEOREMA DE LOWENHEIM EN EL MARCO DE LA TEORIA DE RELATIVOS .
    Autor: BADESA CORTES CALIXTO.
    Año: 1990.
    Universidad: BARCELONA.
    Centro de lectura: FILOSOFIA.
    Centro de realización: DEPARTAMENTO: LOGICA, HISTORIA Y FILOSOFIA DE LA CIENCIA PROGRAMA DE DOCTORADO:.
    Resumen: EL PROPOSITO DE ESTA TESIS ES ANALIZAR EN DETALLE LA PRUEBA QUE HIZO LOWENHEIM DEL TEOREMA QUE HOY LLEVA SU NOMBRE, DESCRIBIR EL MARCO TEORICO EN EL QUE SE EFECTUA LA PRUEBA (LA TEORIA DE RELATIVOS DESARROLLADA POR PEIRCE Y SCHRODER) Y EXPLICAR POR QUE ESTE MARCO TEORICO HACE POSIBLE QUE LOWENHEIM SE PREGUNTE (POR PRIMERA VEZ EN LA HISTORIA DE LA LOGICA) POR LA RELACION QUE EXISTE ENTRE LAS FORMULAS DE UN LENGUAJE FORMAL Y SUS INTERPRETACIONES O MODELOS. DESPUES DE ANALIZAR LA PRUEBA DE LOWENHEIM, LA CONCLUSION A LA QUE SE LLEGA ES QUE ESTA NO HA SIDO INTERPRETADA CORRECTAMENTE POR LOS HISTORIADORES Y QUE, EN CONTRA DE LO QUE TRADICIONALMENTE SE AFIRMA, LOWENHEIM NO PROBO LA VERSION MAS DEBIL DEL TEOREMA (SI UNA FORMULA DE PRIMER ORDEN TIENE UN MODELO, TIENE UN MODELO NUMERABLE), SINO LA VERSION DEL SUBMODELO (SI UNA FORMULA DE PRIMER ORDEN TIENE UN MODELO M, ENTONCES TIENE UN MODELO NUMERABLE M, QUE ES UN SUBMODELO DE M).
  • VARIANTES DEL ROMANCERO VIEJO: ANALISIS FORMAL.
    Autor: BARROSO MARCOS ANTONIO.
    Año: 1985.
    Universidad: EXTREMADURA .
    Centro de lectura: FILOSOFIA Y LETRAS.
    Centro de realización: FACULTAD DE FILOSOFIA Y LETRAS DE LA UNIVERSIDAD DE EXTREMADURA.
    Resumen: TENIENDO EN CUENTA LOS ESTUDIOS FUNCIONALES REALIZADOS SOBRE CUENTOS SE ANALIZAN FORMALMENTE DOS CUENTOS CINCO ROMANCES TRADICIONALES DESDE LA PERSPECTIVA DE SIETE HIPOTESIS DE TRABAJO: ORIGENES DE LOS MATERIALES TEMATICOS DEL ROMANCERO. TENDENCIAS DE LA CREACION TRADICIONAL DE LOS ROMANCES. DETERMINACION FUNCIONAL DE LOS ROMANCES: SU DEFINICION. COMO VIVE UN ROMANCE: TENDENCIA A LA VARIACION. VERSIONES Y VARIANTES. CLASIFICACION FUNCIONAL DE LOS ROMANCES. VALORACION DEL METODO. EL ANALISIS VA PRECEDIDO DE UNA INTRODUCCION Y DOS CAPITULOS EN LOS QUE SE ESTUDIAN RESPECTIVAMENTE SEIS CUESTIONES BASICAS REFERIDAS A LA TEMATICA GENERAL DE LA CREACION TRADICIONAL Y A LA ESPECIFICA DEL ROMANCERO Y SEGUIDO DE UNAS CONCLUSIONES Y TRES INDICES.
  • LOGICA PROPOSICIONAL SUMULISTA. BASES HISTORICO-TEXTUALES.
    Autor: IZQUIERDO ARROYO JOSE M..
    Año: 1980.
    Universidad: COMPLUTENSE DE MADRID.
    Centro de lectura: FILOSOFIA Y CIENCIAS DE LA EDUCACION .
    Centro de realización: COLEGIO UNIVERSITARIO ADSCRITO DE BURGOS..
    Resumen: SE PRESENTA EN SUS BASES TEXTUALES E HISTORICAS LA LOGICA PROPOSICIONAL TEORIZADA EN LAS UNIVERSIDADES EUROPEAS ENTRE 1230 Y 1650. EN UN CORPUS DE TEXTOS SISTEMATICA Y DIACRONICAMENTE ORGANIZADOS SE MUESTRA COMO LA RIQUEZA DE ESA LOGICA PROPOSICINAL EXCEDE EN PROFUNDIDAD SISTEMATISMO Y AMPLITUD DE CONSIDERACIONES A LO QUE LOS ESTUDIOS ESPECIALIZADOS VENIAN PREVIENDO. EL CORPUS CON BASE EN UN CUERPO DE BIBLIOGRAFIA BAJO-MEDIEVAL AMPLIO Y FIJADO SE REMITE A SU CONTEXTO SOCI-ACADEMICO E HISTORICO QUE ASIMISMO SON ESTUDIADOS CON DETENCION MEDIANTE UNA PERIODIZACION INTERNA DE LA LOGICA SUMULISTA Y EL TRAZADO DE VARIOS SISTEMAS RESCRITURALES SEMICHOMSKIANOS. CON ELLO QUEDA DEFINITIVAMENTE GANADA PARA LA HISTORIA DE LA LOGICA LA EXISTENCIA DE UNA LOGICA PROPOSICIONAL EN ESE PERIODO INTERNAMENTE SISTEMATIZADA CON ESPECIAL ATENIMIENTO AL DIALOGO DEDUCTIVO Y AL LENGUAJE NATURAL LATINO. ESTE TRABAJO FORMA PARTE DE UN PROGRAMA MAS AMPLIO EN QUE SE PRETENDE SISTEMATIZAR SIMBOLICAMENTE LO AQUI FIJADO Y DE CUYO PROCEDIMIENTO METODOLOGICO SE SIENTAN TAMBIEN AQUI LAS BASES.
5 tesis en 1 páginas: 1
Búsqueda personalizada
Manuales | Tesis: Ordenadores, Circuitos integrados...
english
Cibernetia