The aim of this book is to present and analyze philosophical conceptions concerning mathematics and logic as formulated by Polish logicians, mathematicians and philosophers in the 1920s and 1930s.
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 theory of oppositions based on Aristotelian foundations of logic has been pictured in a striking square diagram which can be understood and applied in many different ways having repercussions in various fields: epistemology, linguistics, mathematics, sociology, physics.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 28th Workshop on Logic, Language, Information and Computation, WoLLIC 2022, Iasi, Romania, in September 2022.
Using both Father Kevin Wall's eidetic matrix of "e;the relational unity of being"e; and Edith Stein's remarkable synoptic view of intentionality in both Aquinas and Husserl, this book uncovers purely logical ground for a subalternate eidetic science called "e;convergent phenomenology,"e; itself located at the inmost depths of Husserlian phenomenology.
This book constitutes the proceedings of the 16th International Conference on Tests and Proofs, TAP 2022, which was held as part of Software Technologies: Applications and Foundations, STAF 2022, and took place in Nantes, France in July 2022.
This book discusses the changing conceptions about the relationship between geometry and arithmetic within the Euclidean tradition that developed in the British context of the sixteenth and seventeenth century.
This book focuses on the problem of responsibility voids: these are cases where responsibility for a morally undesirable outcome cannot be attributed to any of the involved agents.
This book defines a logical system called the Protocol-theoretic Logic of Epistemic Norms (PLEN), it develops PLEN into a formal framework for representing and reasoning about epistemic norms, and it shows that PLEN is theoretically interesting and useful with regard to the aims of such a framework.
This volume offers English translations of three early works by Ernst Schroder (1841-1902), a mathematician and logician whose philosophical ruminations and pathbreaking contributions to algebraic logic attracted the admiration and ire of figures such as Dedekind, Frege, Husserl, and C.
This monograph shows that, through a recourse to the concepts and methods of abstract algebraic logic, the algebraic theory of regular varieties and the concept of analyticity in formal logic can profitably interact.
The first book-length study to address issues in modal logic at the eve of the Renaissance, this monograph provides important new insights into the way the debates on modal logic during the post-medieval period tied in with the so-called Wegestreit, the divide between the via antiqua and via moderna that dominated the discourse on logic during the 15th and early 16th centuries.
This wide-ranging book introduces information as a key concept not only in physics, from quantum mechanics to thermodynamics, but also in the neighboring sciences and in the humanities.
This book focuses on the problem of responsibility voids: these are cases where responsibility for a morally undesirable outcome cannot be attributed to any of the involved agents.
The theory of the square of opposition has been studied for over 2,000 years and has seen a resurgence in new theories and research since the second half of the twentieth century.
The book contains a collection of chapters written by experts from the fields of philosophy, law, logic, computer science and artificial intelligence who pay tribute to Professor Risto Hilpinen's impressive work on the logic of induction, on deontic logic and epistemology, and on philosophy of science.
This book provides an epistemological study of the great Islamic scholar of Banjarese origin, Syeikh Muhammad Arsyad al-Banjari (1710-1812) who contributed to the development of Islam in Indonesia and, in general, Southeast Asia.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 27th Workshop on Logic, Language, Information and Communication, WoLLIC 2021, Virtual Event, in October 2021.
This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 8th International Workshop on Logic, Rationality, and Interaction, LORI 2021, held in Xi`an, China, in October 2021.
Paris of the year 1900 left two landmarks: the Tour Eiffel, and David Hilbert's celebrated list of twenty-four mathematical problems presented at a conference opening the new century.
This monograph offers a new foundation for information theory that is based on the notion of information-as-distinctions, being directly measured by logical entropy, and on the re-quantification as Shannon entropy, which is the fundamental concept for the theory of coding and communications.
This volume contains 21 new and original contributions to the study of formal semantics, written by distinguished experts in response to landmark papers in the field.
This monograph presents a general theory of weakly implicative logics, a family covering a vast number of non-classical logics studied in the literature, concentrating mainly on the abstract study of the relationship between logics and their algebraic semantics.
This book collects a renowned scholar's essays from the past five decades and reflects two main concerns: an approach to logic that stresses argumentation, reasoning, and critical thinking and that is informal, empirical, naturalistic, practical, applied, concrete, and historical; and an interest in Galileo's life and thought-his scientific achievements, Inquisition trial, and methodological lessons in light of his iconic status as "e;father of modern science.
