CONECTIVOS INTUICIONISTAS SOBRE ESPACIOS TOPOLOGICOS
Revista de la Academia Colombiana de Ciencias Exactas, Físicas y NaturalesEl clasificador de subobjetos de un topos constituye su "objeto de valores de verdad" y sus morfismos determinan los conectivos proposicionales de su lógica interna.
Xavier Caicedo
doaj +1 more source
Los problemas de la filosofía kripkeana: la crítica a la autoidentificación de los objetos
Revista Colombiana de Filosofía de la Ciencia, 2012 El presente artículo pretende criticar las tesis fuertes de la ontología kripkeana, derivada de la semántica que Kripke desarrolló a partir de la lógica modal, por ser poco claras y precisas y por contener un grave error de fondo: la adopción de las ...
Juan José Colomina Almiñana +1 more
doaj +1 more source
States of Uncertainty, Risk-Benefit Assessment and Early Clinical Research: A Conceptual Investigation. [PDF]
Sci Eng Ethics, 2022 Schnarr A, Mertz M.
europepmc +1 more source
Contingentism about Individuals and Higher-Order Necessitism [PDF]
, 2013 Necessitism about individuals claims that necessarily every individual necessarily exists. An analogous necessitist thesis attributes necessary existence to properties and relations. Both theses have been defended by Williamson. Furthermore, Williamson
Pérez Otero, Manuel +1 more
core +1 more source
TIEMPO, VERDAD Y POSIBILIDAD AN ARISTÓTELES Y LA FILOSOFÍA HELENÍSTICA
Daimon, 1994 En este artículo se examinan tres argumentos en los que las nociones de tiempo, verdad y posibilidad desempeñan un importante papel. Se deben, respectivamente, a Aristóteles, a Alejandro de Afrodisía ya Diodoro Crono.
Hermann Weidemann
doaj
Laparoscopic versus Open Total Gastrectomy for Locally Advanced Gastric Cancer: Short and Long-Term Results. [PDF]
Curr Oncol, 2022 Di Carlo S +10 more
europepmc +1 more source
Teoría de la utilidad neoclásica: un juego semántico de interacción estratégica
Revista de Economía Institucional, 2005 Este artículo muestra que la fuerza metodológica de la teoría neoclásica, TUNC, se deriva de la relación entre los juegos de salón, propios de la lógica formal, y los juegos de buscar y encontrar, fundamentados en la lógica modal.
Cendales , Andrés, Salazar , Boris
doaj +2 more sources
Veritas, 2020 Formulações da validade dedutiva clássica costumam recorrer explicitamente a modalidades: por exemplo, um argumento é classicamente dedutivamente válido se, e somente se, necessariamente se as premissas forem verdadeiras, a conclusão também é verdadeira.
Sautter, Frank Thomas
doaj
Modelos topológicos para la lógica modal [PDF]
La lógica modal es una rama de la lógica que permite efectuar distinciones entre diferentes "modalidades" de la verdad o falsedad de un enunciado, siendo así posible hablar de fórmulas que pueden ciertas pero no demostrables, demostrablemente ciertas ...
Ronderos Valle, David
core
Bone Cement Implantation Syndrome: A Rare Disaster Following Cemented Hip Arthroplasties-Clinical Considerations Supported by Case Studies. [PDF]
J Pers Med, 2023 Moldovan F.
europepmc +1 more source