Amat Genís, Albert2024-05-202024-05-202013-06-01https://hdl.handle.net/20.500.14468/14355Trabajo 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 Cienciaesinfo:eu-repo/semantics/openAccessLógica intuicionista y construcción de pruebas para proposiciones necesarias y proposiciones contingentestesis de maestríalógica intuicionistasemántica de mundos posibles de Kripkeconstrucción de pruebas proposicionalesproposiciones lógico-matemáticasproposiciones necesariasproposiciones contingentesleyes científicasFilosofía de la Cienciadenotacióndescripciones definidasintuitionistic logicKripke’s semantics of possible worldsconstruction of propositional proofslogical-mathematical propositionsnecessary propositionscontingent propositionsscientific lawsPhilosophy of Sciencedenotationdefinite descriptions