Análisis semántico del Cálculo C<SUB>1</SUB> y su extensión a C<SUB>n</SUB>

Béziau desataca que la Lógica Paraconsistente no es sólo una contribución importante a la teoría de la negación sino también a la Lógica en general. La Lógica Moderna ha contribuido a dilucidar muchas de las nociones tradicionales, en particular haciendo distinción entre propiedades lógicas y metaló...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Guzmán Mattje, Elena Beatriz
Otros Autores: Galli, Adriana Claudia
Formato: Tesis Tesis de grado
Lenguaje:Español
Publicado: 2003
Materias:
Matemática
Lógica
Semántica
Cálculo
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/177940
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-177940
record_format dspace
spelling I19-R120-10915-1779402025-04-03T20:11:56Z http://sedici.unlp.edu.ar/handle/10915/177940 Análisis semántico del Cálculo C<SUB>1</SUB> y su extensión a C<SUB>n</SUB> Guzmán Mattje, Elena Beatriz 2003 2003 2025-04-03T17:05:56Z Galli, Adriana Claudia es Matemática Lógica Semántica Cálculo Béziau desataca que la Lógica Paraconsistente no es sólo una contribución importante a la teoría de la negación sino también a la Lógica en general. La Lógica Moderna ha contribuido a dilucidar muchas de las nociones tradicionales, en particular haciendo distinción entre propiedades lógicas y metalógicas, tales como implicación e inferencia. La distinción entre trivialidad e inconsistencia es también una distinción entre estos dos niveles y si bien ya era conocida antes de la Lógica Paraconsistente, el desarrollo de ésta última ha contribuido fuertemente a su mejor entendimiento. Durante el siglo diecinueve fueron desarrolladas una cantidad de estructuras algebraicas “anormales”, y ésto condujo a nuevas herramientas algebraicas y métodos y finalmente a una teoría general abstracta de álgebras, llamada Algebra Universal. De forma similar, la proliferación de lógicas no-clásicas durante el siglo veinte conduce naturalmente a una teoría general abstracta de lógicas, llamada por analogía Lógica Universal. La vida diaria presenta situaciones a resolver “lógicamente” donde las decisiones no siempre se corresponden a una bivaluación clásica. Los sistemas estudiados pueden modelizar con más precisión situaciones reales. El presente trabajo de Iniciación a la Investigación está basado en el trabajo de Newton da Costa y Elias Alves “A semantical analysis of the Calculi Cn”. Tesis digitalizada en SEDICI en colaboración con la Biblioteca del Departamento de Matemática (FCEx-UNLP). Licenciado en Matemática Universidad Nacional de La Plata Facultad de Ciencias Exactas Tesis Tesis de grado http://creativecommons.org/licenses/by-nc-sa/4.0/ Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) application/pdf
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Matemática
Lógica
Semántica
Cálculo
spellingShingle Matemática
Lógica
Semántica
Cálculo
Guzmán Mattje, Elena Beatriz
Análisis semántico del Cálculo C<SUB>1</SUB> y su extensión a C<SUB>n</SUB>
topic_facet Matemática
Lógica
Semántica
Cálculo
description Béziau desataca que la Lógica Paraconsistente no es sólo una contribución importante a la teoría de la negación sino también a la Lógica en general. La Lógica Moderna ha contribuido a dilucidar muchas de las nociones tradicionales, en particular haciendo distinción entre propiedades lógicas y metalógicas, tales como implicación e inferencia. La distinción entre trivialidad e inconsistencia es también una distinción entre estos dos niveles y si bien ya era conocida antes de la Lógica Paraconsistente, el desarrollo de ésta última ha contribuido fuertemente a su mejor entendimiento. Durante el siglo diecinueve fueron desarrolladas una cantidad de estructuras algebraicas “anormales”, y ésto condujo a nuevas herramientas algebraicas y métodos y finalmente a una teoría general abstracta de álgebras, llamada Algebra Universal. De forma similar, la proliferación de lógicas no-clásicas durante el siglo veinte conduce naturalmente a una teoría general abstracta de lógicas, llamada por analogía Lógica Universal. La vida diaria presenta situaciones a resolver “lógicamente” donde las decisiones no siempre se corresponden a una bivaluación clásica. Los sistemas estudiados pueden modelizar con más precisión situaciones reales. El presente trabajo de Iniciación a la Investigación está basado en el trabajo de Newton da Costa y Elias Alves “A semantical analysis of the Calculi Cn”.
author2 Galli, Adriana Claudia
author_facet Galli, Adriana Claudia
Guzmán Mattje, Elena Beatriz
format Tesis
Tesis de grado
author Guzmán Mattje, Elena Beatriz
author_sort Guzmán Mattje, Elena Beatriz
title Análisis semántico del Cálculo C<SUB>1</SUB> y su extensión a C<SUB>n</SUB>
title_short Análisis semántico del Cálculo C<SUB>1</SUB> y su extensión a C<SUB>n</SUB>
title_full Análisis semántico del Cálculo C<SUB>1</SUB> y su extensión a C<SUB>n</SUB>
title_fullStr Análisis semántico del Cálculo C<SUB>1</SUB> y su extensión a C<SUB>n</SUB>
title_full_unstemmed Análisis semántico del Cálculo C<SUB>1</SUB> y su extensión a C<SUB>n</SUB>
title_sort análisis semántico del cálculo c<sub>1</sub> y su extensión a c<sub>n</sub>
publishDate 2003
url http://sedici.unlp.edu.ar/handle/10915/177940
work_keys_str_mv AT guzmanmattjeelenabeatriz analisissemanticodelcalculocsub1subysuextensionacsubnsub
_version_ 1852545705138192384

Ejemplares similares