Buscar
Mostrando ítems 11-20 de 1611
Lógica condicional
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em FilosofiaMetafísica, 2009-12-15)
The main goal of this work is to clarify the central concepts involved in the study of formalization of conditional sentences. More specifically, it has been done a comparative analysis of the two greater and more traditional ...
Topics in logical anti-exceptionalism and paraconsistent logics
(Universidade Federal do Rio Grande do NorteBrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM FILOSOFIA, 2021-05-03)
The rivalry between classical logic and its non-classical contenders occupies
the centre stage in contemporary philosophical logic. The central issue is to know
how to choose a logical system (or theory thereof) among the ...
Conceitos essenciais da lógica
(Universidade Estadual Paulista (Unesp), 2020-12-10)
O presente trabalho foi realizado com apoio da Coordenação de Aperfeiçoamento de Pessoal de Nível Superior – Brasil (CAPES) – Código de financiamento 001. O objeto central da lógica é investigado através de um estudo ...
Paul Hertz’s Systems of Propositions As a Proof-theoretical Conception of Logic
(Springer, 2014)
Paul Hertz was an outstanding German physicist, who also devoted himself to mathematical logic and wrote a series of papers that remained rather unnoticed, even if they influenced the development of proof theory and ...
Pure Variable Inclusion Logics
(Uniwersytet Mikołaja Kopernika, 2021-11-28)
The aim of this article is to discuss pure variable inclusion logics, that is, logical systems where valid entailments require that the propositional variables occurring in the conclusion are included among those appearing ...
The Logics of Strict-Tolerant Logic
(Springer, 2014-12)
Adding a transparent truth predicate to a language completely governed by classical logic is not possible. The trouble, as is well-known, comes from paradoxes such as the Liar and Curry. Recently, Cobreros, Egre, Ripley ...