The Genesis of Logic addresses the principles of common-sense reasoning, which are employed in everyday decision-making processes and extend beyond deductive reasoning alone. Linked to language, logic inherits its flexibility. These are a few laws, the 'formal skeleton of reasoning,' based on the relationship of linguistic inference that, while needing to be represented in each context, allow for the consideration of non-comparable, orthogonal statements. By facilitating deduction and abduction, speculation emerges as a fundamental intellectual operation. As a whole, this work offers a new genetic-evolutionary perspective to reconsider Logic, a panoramic outlook that examines laws outside the skeleton as local laws, necessary for the validity of specialized reasoning. It moves away from the rigid reticular structure of sets of statements and views induction as the search for speculations, non-monotonic reasoning as speculative, and conjecture, only proven in finite Boolean algebras,that reasoning involves following paths of inference in a zigzag pattern, alternating between deduction and abduction.

Reveals the origins of common-sense reasoning, language, and deduction in this panoramic outlook Flexibly transcends deductive reasoning Explores the dynamic interplay between deduction and abduction, reshaping traditional notions of reasoning

Autorentext
Enric Trillas is a Spanish scientist specializing in fuzzy logic and artificial intelligence. He has held various academic positions, including professorships at the Polytechnic University of Catalonia and the Polytechnic University of Madrid. Trillas has contributed over 200 research articles to specialized journals and served as a member of the editorial board for Journal on Intelligent Systems. He has authored several notable works on fuzzy logic, such as "Conjuntos borrosos" (1980) and "Introducción a la lógica borrosa" (1995). Trillas is a member of prestigious scientific societies and has received awards for his contributions, including the European Pioneer Award in 1999. About the Translator: Edy Portmann is the Swiss Post Professor of Computer Science at the University of Fribourg, Switzerland. His professorship aims to advance cognitive computing research by utilizing soft computing methods and applying them in variousfields, supported by network industries like Swiss Post. The focus is on enhancing user experiences, particularly in the context of smart and cognitive cities, through improved interaction, learning, and integration of computing with words and perceptions. Additional areas of interest include knowledge aggregation, automation, representation, reasoning using fuzzy cognitive maps and ontologies, as well as big data analytics and management utilizing fuzzy methods and systems.

Inhalt

1. Introduction.- Part I: The Skeleton of Reason.- 2. A formal skeleton of reason.- 3. Reason in light of the skeleton.- Part II: The Model of Precise Reasoning.- 4. Boolean algebras come with lots of laws.- 5. With fewer laws: ortho-lattices and De Morgan algebras.- 6. Conjectures on ortho-lattices and De Morgan algebras.- Part III: Models of Imprecise Reasoning.- 7. Meanings and calculations using imprecise concepts.- 8. Fuzzy basic algebras, with fewer and more laws.- 9. On truth and its relationship with inference.- Part iv: Reasoning and Meaning.- 10. The effective possibility of reasoning.- 11. Last comments and conclusion.