Publicación: Lógica intuicionista y construcción de pruebas para proposiciones necesarias y proposiciones contingentes
Archivos
Fecha
2013-06-01
Autores
Editor/a
Director/a
Tutor/a
Coordinador/a
Prologuista
Revisor/a
Ilustrador/a
Derechos de acceso
Atribución-NoComercial-SinDerivadas 4.0 Internacional
info:eu-repo/semantics/openAccess
info:eu-repo/semantics/openAccess
Título de la revista
ISSN de la revista
Título del volumen
Editor
Universidad Nacional de Educación a Distancia (España). Facultad de Filosofía
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
Descripción
Categorías UNESCO
Palabras 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
Citación
Centro
Facultades y escuelas::Facultad de Filosofía
Departamento
Lógica, Historia y Filosofía de la Ciencia