Results 11 to 20 of about 1,058,013 (147)
Lógica da Dedutibilidade: o axioma modal B e adjunções
, 2020 A lógica da dedutibilidade, ou lógica TK, formaliza no ambiente proposicional a definição do operador de consequência de Tarski. Neste processo de formalização da noção de dedutibilidade, o sistema lógico gerado, a lógica TK, tem um caráter modal para o ...
Cristiane Alexandra Lázaro +2 more
semanticscholar +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 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
, 2018 Hacia el final de su vida el gran logico polaco J. Łukasiewicz desarrollaria el sistema modal tetravaluado conocido como Ł. Este sistema verificaba tesis como (MA∧MB)→M(A∧B) o L(A∨B)→(LA∨LB), enclavadas dentro de las paradojas modales fuertes tipo ...
Blanco Sánchez, J. Miguel.
semanticscholar +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
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
Tópicos, 2013 In this paper I examine McFetridge’s (1990) argument for the necessity of the belief in necessity. The argument purports to establish a fatal dilemma for the modal “nihilist”, he who does not believe that at least some proposition is necessary.
José Edgar González Varela
doaj +1 more source
Lógica modal do operador de consequência: histórico, representação polinomial e decidibilidade
, 2015 This paper presents a short history of logic TK, which was originally mot i vated by the concept of Tarski’s consequence operator, its adequacy relative to Tarski Spaces and a characterization of TK as a non - normal modal logic.
Hércules de Araujo Feitosa +1 more
semanticscholar +1 more source
Princípios: Revista de Filosofia (UFRN), 2019 Buscando interpretar certas sentenças modalizadas em ciências histórias, este artigo estabelece diferentes sentidos de “necessidade” e “possibilidade” e, dentro de lógicas temporais ramificadas para o passado, visa especialmente distinguir logicamente ...
V. M. Costa
semanticscholar +1 more source