Results 1 to 10 of about 1,057,947 (82)
UNA LÓGICA MODAL PARA LA GEOMETRÍA PLANA DE LOBACHEVSKI
En este trabajo, presentamos una estructura monosurtida denominada "marco de Lobachevski" como base semántica para considerar en el lenguaje modal las geometrías de incidencia, que típicamente se basan en estructuras bisurtidas de puntos y rectas ...
Alfonso Rider Moyano +1 more
semanticscholar +1 more source
lógica modal como herramienta metodológica en epistemología
En el presente trabajo pretendemos ofrecer una primera aproximación a la incorporación de ciertas herramientas formales en la dilucidación de algunas cuestiones discutidas en contextos epistemológicos.
José Alejandro Fernández Cuesta
semanticscholar +1 more source
En este artículo presentamos una posible vía para interpretar las nociones de posibilidad y necesidad desarrolladas en el seno de la lógica megárico-estoica como operadores modales aléticos.
José A. Cuesta
semanticscholar +1 more source
Resumo A temática da modalidade das proposições científicas ocupa um espaço de considerável relevância no contexto da lógica terminística de fins do medievo e se estende até a escolástica do novo mundo, em particular até a Nueva España durante os séculos
M. Boeira
semanticscholar +1 more source
Lógica deôntica básica e filtros
A lógica deôntica é um ramo da lógica simbólica interessada em noções como obrigatório, permitido, proibido e outras similares. Uma apresentação da Lógica Deôntica Padrão, conhecida como a lógica modal KD, tem uma aparência que lembra a estrutura ...
Cristiane A. Lázaro +2 more
doaj +3 more sources
UN PROBLEMA EN LA LÓGICA MODAL DE KRIPKE
El presente artículo tiene por objeto exponer cómo la lógica modal de Saúl Kripke, abordada principalmente en su libro Naming and Necessity, trata el concepto de propiedad esencial y las falencias o inconsistencias que esto acarrea.
Martín Rosenberg G.
semanticscholar +2 more sources
Modal Logic in Sixteenth-Century Mexico
En este artículo el autor examina varios puntos de la lógica modal de Alonso de la Vera Cruz (1504-1584). Lo hace utilizando el instrumental de la lógica matemática, tal como ya lo ha hecho en otros trabajos.
Walter Redmond
doaj +1 more source
Un método de árboles para la lógica de términos modal
En esta contribución ofrecemos un método de árboles para la lógica de términos modal de Englebretsen. El resultado es un método arborescente capaz de modelar inferencia en lógica proposicional, silogística básica, silogística relacional y silogística ...
J. L. M. Manzano
semanticscholar +1 more source
Logic TK: Algebraic Notions from Tarski’s Consequence Operator
Tarski apresentou sua definição de operador de consequência com a intenção de expor as concepções fundamentais da consequência lógica. Um espaço de Tarski é um par ordenado determinado por um conjunto não vazio e um operador de consequência sobre este ...
Hércules A. Feitosa +2 more
doaj +1 more source
Mario Gómez-Torrente, Forma y modalidad. Una introducción al concepto de consecuencia lógica
En nuestro concepto cotidiano de consecuencia, al que apelamos cada vez que decimos que algo se sigue de otra cosa, se confunden una multiplicidad de relaciones: consecuencia analítica, consecuencia metafísica, etc.
Axel Barceló Aspeitia
doaj +1 more source

