Lógica intuicionista y construcción de pruebas para proposiciones necesarias y proposiciones contingentes

Amat Genís, Albert. (2013). Lógica intuicionista y construcción de pruebas para proposiciones necesarias y proposiciones contingentes Master Thesis, Universidad Nacional de Educación a Distancia (España). Facultad de Filosofía

Ficheros (Some files may be inaccessible until you login with your e-spacio credentials)
Nombre Descripción Tipo MIME Size
Documento.pdf Pdf del documento application/pdf

Título Lógica intuicionista y construcción de pruebas para proposiciones necesarias y proposiciones contingentes
Autor(es) Amat Genís, Albert
Resumen Trabajo Fin de Máster. Máster Universitario en Filosofía Teórica y Práctica. Especialidad de Lógica, Historia y Filosofía de la Ciencia
Abstract
Este trabajo considera el problema de la atribución de valores de verdad a cierto tipo de proposiciones, cuestionando la ley del tercio excluido. La lógica intuicionista, aquí presentada a partir de la semántica de mundos posibles de Kripke, considera verdadera una proposición cuando se ha construido de ella una prueba. Dado que la lógica intuicionista estudia tan sólo proposiciones necesarias lógico-matemáticas, proponemos extender el método constructivo de pruebas proposicionales a las proposiciones universales como son las leyes científicas, lo cual es de interés en Filosofía de la Ciencia, y a las proposiciones contingentes, con el fin de desarrollar un método constructivo universal de análisis proposicional.

This study considers the problem of attributing values of truth to certain kinds of propositions, challenging the law of excluded middle. Intuitionistic logic, presented here following Kripke’s semantics of possible worlds, considers a proposition to be true when a proof for it has been constructed. Given that intuitionistic logic only studies necessary logical-mathematical propositions, we propose to extend the constructive method of propositional proofs to universal propositions such as scientific laws – an approach which is of interest in the Philosophy of Science – as well as to contingent propositions, with the aim of developing a universal constructive method of propositional analysis.
Materia(s) http://udcdata.info/015164
Filosofía
Palabra clave lógica intuicionista
semántica de mundos posibles de Kripke
construcción de pruebas proposicionales
proposiciones lógico-matemáticas
proposiciones necesarias
proposiciones contingentes
leyes científicas
Filosofía de la Ciencia
denotación
descripciones definidas
intuitionistic logic
Kripke’s semantics of possible worlds
construction of propositional proofs
logical-mathematical propositions
necessary propositions
contingent propositions
scientific laws
Philosophy of Science
denotation
definite descriptions
Editor(es) Universidad Nacional de Educación a Distancia (España). Facultad de Filosofía
Director/Tutor Díez Martínez, Amparo (Tutora)
Fecha 2013-06-01
Formato application/pdf
Identificador http://e-spacio.uned.es/fez/view/bibliuned:masterFilosofiaLogica-Aamat
bibliuned:masterFilosofiaLogica-Aamat
Idioma spa
Versión de la publicación publishedVersion
Nivel de acceso y licencia info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-nd/4.0
Tipo de recurso master Thesis
Tipo de acceso Acceso abierto

 
Versiones
Versión Tipo de filtro
Contador de citas: Google Scholar Search Google Scholar
Estadísticas de acceso: 311 Visitas, 199 Descargas  -  Estadísticas en detalle
Creado: Wed, 28 Aug 2013, 10:25:17 CET