Results 1 to 10 of about 32,147 (174)
Lógica deôntica básica e filtros
Argumentos, 2019 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
Modal Logic in Sixteenth-Century Mexico
Crítica, 2018 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
Logic TK: Algebraic Notions from Tarski’s Consequence Operator
Principia: An International Journal of Epistemology, 2010 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
Crítica, 2018 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
La enfermería como apertura a la interdisciplina
Revista Latinoamericana de Bioética, 2018 Este artículo reexamina los conceptos interdisciplinario, complejo, el cuidado y enfermería. Lo que busca es argumentar que la noción de enfermería y el cuidado, como propiedad esencial de esta, siempre lleva a ser una interdisciplina.
José Enrique Gómez Álvarez
doaj +1 more source
A crítica da razão lógica a partir do problema modal em Husserl: hipóteses e perspectivas
Princípios, 2016 Ao propor a crítica da razão lógica em Lógica Formal e Transcendental, Edmund Husserl ampliou sua concepção de lógica e constatou uma lacuna dos Prolegômenos à Lógica Pura: a ausência da consideração da noção de modalidade.
Carlos Eduardo de Carvalho Vargas +1 more
doaj +2 more sources
A LÓGICA DOS OPERADORES DE CONSEQUÊNCIA ACRESCIDA DO AXIOMA MODAL 5
Kínesis, 2016 Damos a definição de espaço quase topológico e apresentamos alguns exemplos e propriedades. Em seguida, apresentamos as álgebras TK e a lógica TK que foram motivadas pelos espaços de Tarski.
Hércules de Araújo Feitosa +1 more
doaj +1 more source
Hybrid type theory: a quartet in four movements [PDF]
This paper sings a song -a song created by bringing together the work of four great names in the history of logic: Hans Reichenbach, Arthur Prior, Richard Montague, and Leon Henkin.
Areces, Carlos +3 more
core +1 more source
Ingeniería y Ciencia, 2012 Se presenta como extensión del cálculo proposicional clásico, el sistema deductivo LT: lógica de las tautologías. En el sistema LT, se formalizan las nociones meta-lógicas de tautología, contradicción, satisfacible, refutable y contingencia.
Manuel Sierra A.
doaj +1 more source
LÓGICA MODAL DO OPERADOR DE CONSEQUÊNCIA: HISTÓRICO, REPRESENTAÇÃO POLINOMIAL E DECIDIBILIDADE
Kínesis, 2014 Este texto apresenta um breve histórico da lógica TK, originalmente motivada pelo conceito de operador de consequência de Tarski, a sua adequação segundo os Espaços de Tarski e uma caracterização como uma lógica modal não normal.
Hércules de Araújo Feitosa +1 more
doaj +1 more source