La silogística de Aristóteles como un sistema deductivo contemporáneo: una reconstrucción desde los métodos de la lógica algebraica abstracta con una semántica intensional
| dc.contributor.advisor | Cubillas, José Milián | es |
| dc.contributor.advisor | Ponce Pérez, José Oscar | es |
| dc.contributor.author | Bautista Sánchez, Eduardo Antonio | es |
| dc.date.accessioned | 2024-01-29T16:56:15Z | |
| dc.date.available | 2024-01-29T16:56:15Z | |
| dc.date.issued | 2023-04-01 | |
| dc.description.abstract | Este texto propone una reconstrucción innovadora del sistema lógico de Aristóteles dentro de la linea reinterpretativa de Smiley y Corcoran basada en lógicas algebraicas, pero escapando al canon boeciano al integrar otras herramientas conceptuales de las fuentes, en particular, por el lado de la sintaxis, se propone el uso de términos ≪negativos≫ (aqui infinitos) junto a la incorporación del concepto de ≪ἐπαγογή≫ presente en los Analíticos Posteriores como contexto heurístico del sistema expuesto en los Analíticos Primeros donde se establecen relaciones explicitas entre dos universos de terminos representando las esferas intensionales y extensionales, para generar un marco que permita introducir organicamente el metodo ectetico de prueba, en cuya formalizacion computable resulta un lenguaje logico mas fidedigno a la inferencia silogistica, mientras que semanticamente se complementa con una extension de la interpretacion s-σ propuesta por Corcoran (siguiendo a Leibniz) que incorpora la capacidad de denotacion de entidades ostensivas, produciendo modelos mas organicamente interrelacionados para representar con mayor precision y dinamismo las redes de genero y especie. | es |
| dc.identifier.uri | https://hdl.handle.net/20.500.14492/13255 | |
| dc.language.iso | es_SV | |
| dc.subject | Silogistica | |
| dc.subject | logica algebraica | |
| dc.subject | teoría de la prueba | |
| dc.subject | filosofía de la lógica | |
| dc.subject | inferencia | |
| dc.subject.ddc | 190 | |
| dc.title | La silogística de Aristóteles como un sistema deductivo contemporáneo: una reconstrucción desde los métodos de la lógica algebraica abstracta con una semántica intensional | es |
| dc.type | Thesis |
Files
Original bundle
1 - 1 of 1