Buscar
Mostrando ítems 1-10 de 2479
The Algebra of Logic Tradition
(Metaphysics Research Lab - Center for the Study of Language and Information, 2015-01)
The algebra of logic, as an explicit algebraic system showing the underlying mathematical structure of logic, was introduced by George Boole (1815-1864) in his book The Mathematical Analysis of Logic (1847). The methodology ...
On universality and formality in 19th century symbolic logic: The case of Schröder’s “Absolute Algebra”
(Birkhäuser, 2015)
This paper deals with conceptions of formality underlying 19th Century symbolic logic, where notations and manipulation of signs played an important role. It is devoted specifically to the case of Ernst Schröder’s “formal ...
Many-Valued logics and translations
(1999-12-01)
This work presents the concepts of translation and conservative translation between logics. By using algebraic semantics we introduce several conservative translations involving the classical propositional calculus and 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 ...
Platón y el silogismo
(2010)
El pensamiento
(2014-11-07)
Saber en que nos ayuda el pensamiento para entender y comprender la lógica. It helps us to know the thinking to understand and comprehend the logic
Pensar razonar
(2015-07-01)
Falacias
(2015-07-01)