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 ...

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

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 ...

A recent trend in the philosophy of logic, under the title of “anti-exceptionalism”, proposes that the epistemology of logic should be approximated to that of science: logical theories are not justified by a priori intuitions, ...

We will present all the mixed and impure disjoint three-valued logics based on the Strong Kleene schema. Some, but not all of them, are (inferentially) empty logics, while one of them is trivial. We will compare them ...