According to Boole it is possible to deduce the principle of contradiction from what he calls the fundamental law of thought and expresses as \. We examine in which framework this makes sense and up to which point it depends on notation. This leads us to make various comments on the history and philosophy of modern logic.

I discuss the origin and development of logic prizes around the world. In a first section I describe how I started this project by creating the Newton da Costa Logic Prize in Brazil in 2014. In a second section I explain how this idea was extended into the world through the manifesto A Logic Prize in Every Country! and how was organized the Logic Prizes Contest at the 6th UNILOG in Vichy in June 2018 with the participation of 9 logic (...) prizes winners from 9 countries. In a third section I discuss how this project will develop in the future with the creation of more logic prizes, an Encyclopædia of Logic, the book series Logic PhDs, as well as the creation of a World Logic Day, January 14, day of birth of Alfred Tarski and of death of Kurt Gödel. (shrink)

Modern science has qualified human beings as homo sapiens. Is there a serious scientific theory backing this nomenclature? And can we proclaim ourselves as wise? The classical rational animals characterization has apparently the same syntactic form but it is not working exactly in the same way. Moreover the semantics behind is more appropriate, encompassing a pivotal ambiguity. In the second part of the paper, we further delve into this ambiguity, relating rationality with three fundamental features of these creatures: ability to (...) laugh, sexuality and transformation. (shrink)

Colors can be understood in a logical way through the theory of opposition. This approach was recently developed by Dany Jaspers, giving a new and fresh approach to the theory of colors, in particular with a hexagon of colors close to Goethe’s intuitions. On the other hand colors can also be used at a metalogical level to understand and characterize the relations of opposition, including the relations of opposition between colors themselves. In this paper we furthermore develop a theory of (...) psychic dispositions, using the hexagon of opposition of colors. We present a hexagon of psychic dispositions based on colors that we compare in particular with Plutchick’s wheel of emotions. (shrink)

Speaking of relations between logic and religion in Islamic world may refer to logic in two respects: logic in religious texts, from doctrinal sacred texts such as Qur’ān and sayings of the Prophet to the Qur’ānic commentaries and the texts related to the principles and fundamentals of jurisprudence, all of which make use of some reasoning to persuade the audiences or to infer the rules and prescripts for religious behavior of the members of religious community; and logic as a discipline (...) that is studied and applied both independently and as a tool for reasoning in schools of Islamic theology, systems of Islamic philosophy, and other types of knowledge in medieval Islamic world, all being strongly influenced by religious doctrines of Islam. Accordingly, this paper speaks of the different manifestations of using logical reasoning, particularly analogy, in Qur’ānic arguments, e.g. for the existence of God and resurrection after death; some contradictions or paradoxes reported by different opponents in the verses of Qur’ān; the place of logic in the classification of disciplines and the courses taught at the schools and seminaries; the influence of the attitudes of different religious sects on logic; the instrumental role of logic for both religious and secular reasonings; the relation between reason and dogmatic religious doctrines, and, finally, the reflection of this relation on progress or recession of logic in medieval Islamic world. (shrink)

Self-taught mathematician and father of Boolean algebra, George Boole (1815-1864) published An Investigation of the Laws of Thought in 1854. In this highly original investigation of the fundamental laws of human reasoning, a sequel to ideas he had explored in earlier writings, Boole uses the symbolic language of mathematics to establish a method to examine the nature of the human mind using logic and the theory of probabilities. Boole considers language not just as a mode of expression, but as a (...) system one can use to understand the human mind. In the first 12 chapters, he sets down the rules necessary to represent logic in this unique way. Then he analyses a variety of arguments and propositions of various writers from Aristotle to Spinoza. One of history's most insightful mathematicians, Boole is compelling reading for today's student of intellectual history and the science of the mind. (shrink)

This essay takes logic and ethics in broad senses: logic as the science of evidence; ethics as the science justice. One of its main conclusions is that neither science can be fruitfully pursued without the virtues fostered by the other: logic is pointless without fairness and compassion; ethics is pointless without rigor and objectivity. The logician urging us to be dispassionate is in resonance and harmony with the ethicist urging us to be compassionate.

Logic, the discipline that explores valid reasoning, does not need to be limited to a specific form of representation but should include any form as long as it allows us to draw sound conclusions from given information. The use of diagrams has a long but unequal history in logic: The golden age of diagrammatic logic of the 19th century thanks to Euler and Venn diagrams was followed by the early 20th century's symbolization of modern logic by Frege and Russell. Recently, (...) we have been witnessing a revival of interest in diagrams from various disciplines - mathematics, logic, philosophy, cognitive science, and computer science. This book aims to provide a space for this newly debated topic - the logical status of diagrams - in order to advance the goal of universal logic by exploring common and/or unique features of visual reasoning. (shrink)

Chords are not pure sets of tones or notes. They are mainly characterized by their matrices. A chord matrix is the pattern of all the lengths of intervals given without further context. Chords are well-structured invariants. They show their inner logical form. This opens up the possibility to develop a molecular logic of chords. Chords are our primitive, but, nevertheless, already interrelated expressions. The logical space of internal harmony is our well-known chromatic scale represented by an infinite line of integers. (...) Internal harmony is nothing more than the pure interrelatedness of two or more chords. We consider three cases: chords inferentially related to subchords, pairs of chords in the space of major–minor tonality and arbitrary chords as arguments of unary chord operators in relation to their outputs. One interesting result is that chord negation transforms any pure major chord into its pure minor chord and vice versa. Another one is the fact that the negation of chords with symmetric matrices does not change anything. A molecular logic of chords is mainly characterized by combining general rules for chord operators with the inner logical form of their arguments. (shrink)

In this paper evidence will be provided that Wittgenstein’s intuition about the logic of colour relations is to be taken near-literally. Starting from the Aristotelian oppositions between propositions as represented in the logical square of oppositions on the one hand and oppositions between primary and secondary colors as represented in an octahedron on the other, it will be shown algebraically how definitions for the former carry over to the realm of colour categories and describe very precisely the relations obtaining between (...) the known primary and secondary colours. Linguistic evidence for the reality of the resulting isomorphism will be provided. For example, the vertices that resist natural single-item lexicalization in logic (such as the O-corner, for which there is no natural lexicalization *nall (=not all)) are not naturally lexicalized in the realm of colour terms either. From the perspective of the architecture of cognition, the isomorphism suggests that the foundations of logical oppositions and negation may well be much more deeply rooted in the physiological structure of human cognition than is standardly assumed. (shrink)

At the turn of the century, there appeared two comprehensive mathematical systems, which were indeed so vast that it was taken for granted that all mathematics could be decided on the basis of them. However, in 1931, Kurt Gödel surprised the entire mathematical world with his epoch‐making paper which begins with the following startling words: The development of mathematics in the direction of greater precision has led to large areas of it being formalized, so that proofs can be carried out (...) according to a few mechanical rules. The most comprehensive formal systems to date are, on the one hand, the Principia Mathematica of Whitehead and Russell, and, on the other hand the Zermelo‐Fraenkel system of axiomatic set theory. Both systems are so extensive that all methods of proof used in mathematics today can be formalized in them‐i.e., can be reduced to a few axioms and rules of inference. It would seem reasonable, therefore, to surmise that these axioms and rules of inference are sufficient to decide all mathematical questions which can be formulated in the system concerned. In what follows it will be shown that this is not the case, but rather that, in both of the cited systems, there exist relatively simple problems of the theory of ordinary whole numbers which cannot be decided on the basis of the axioms. (shrink)