The chapters in this timely volume aim to answer the growing interest in Arthur Schopenhauer's logic, mathematics, and philosophy of language by comprehensively exploring his work on mathematical evidence, logic diagrams, and problems of semantics.
"e;Tell me,"e; Wittgenstein once asked a friend, "e;why do people always say, it was natural for man to assume that the sun went round the earth rather than that the earth was rotating?
This monograph explores the logical systems of early logicians in the Arabic tradition from a theoretical perspective, providing a complete panorama of early Arabic logic and centering it within an expansive historical context.
This second volume continues Richard Routley's explorations of an improved Meinongian account of non-referring and intensional discourse (including joint work with Val Routley, later Val Plumwood).
This book explores and highlights the fertile interaction between logic and operator algebras, which in recent years has led to the resolution of several long-standing open problems on C*-algebras.
The book offers a collection of essays on various aspects of Leibniz's scientific thought, written by historians of science and world-leading experts on Leibniz.
The book provides a historical (with an outline of the history of the concept of truth from antiquity to our time) and systematic exposition of the semantic theory of truth formulated by Alfred Tarski in the 1930s.
This edited book brings together research work in the field of constructive semantics with scholarship on the phenomenological foundations of logic and mathematics.
The book has two parts: In the first, after a review of some seminal classical accounts of laws and explanations, a new account is proposed for distinguishing between laws and accidental generalizations (LAG).
The goal of this monograph is to give an accessible introduction to nonstandard methods and their applications, with an emphasis on combinatorics and Ramsey theory.
This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations.
This edited book focuses on concepts and their applications using the theory of conceptual spaces, one of today's most central tracks of cognitive science discourse.
This book presents eleven peer-reviewed papers from the 3rd International Conference on Applications of Mathematics and Informatics in Natural Sciences and Engineering (AMINSE2017) held in Tbilisi, Georgia in December 2017.
This book provides a general survey of the main concepts, questions and results that have been developed in the recent interactions between quantum information, quantum computation and logic.
This book was written to serve as an introduction to logic, with in each chapter - if applicable - special emphasis on the interplay between logic and philosophy, mathematics, language and (theoretical) computer science.
The expanded and updated 2nd edition of this classic text offers the reader a comprehensive introduction to the concepts of logic functions and equations and their applications across computer science.
This is a textbook for an undergraduate mathematics major transition course from technique-based mathematics (such as Algebra and Calculus) to proof-based mathematics.
This book provides a general survey of the main concepts, questions and results that have been developed in the recent interactions between quantum information, quantum computation and logic.
The book offers a collection of essays on various aspects of Leibniz's scientific thought, written by historians of science and world-leading experts on Leibniz.
This is the first book focused on the logico-philosophical aspects of the lambda-calculus since the inception of the field in 1932 in the pioneering work of Alonzo Church.
This is the first book focused on the logico-philosophical aspects of the lambda-calculus since the inception of the field in 1932 in the pioneering work of Alonzo Church.
This easy-to-understand textbook introduces the mathematical language and problem-solving tools essential to anyone wishing to enter the world of computer and information sciences.
This book celebrates and explores some philosophical issues raised by the work of Alan Weir, who is Professor Emeritus at the University of Glasgow, having previously held positions at the Universities of Oxford, Edinburgh and Queen's, Belfast.
The Quantum Cellular Automaton (QCA) concept represents an attempt to break away from the traditional three-terminal device paradigm that has dominated digital computation.
This book presents several recent advances in natural language semantics and explores the boundaries between syntax and semantics over the last two decades.
This book gathers invited, peer-reviewed works presented at the 2021 edition of the Classical and Constructive Nonassociative Algebraic Structures: Foundations and Applications-CaCNAS: FA 2021, virtually held from June 30 to July 2, 2021, in dedication to the memory of Professor Nebojsa Stevanovic (1962-2009).
This book gathers invited, peer-reviewed works presented at the 2021 edition of the Classical and Constructive Nonassociative Algebraic Structures: Foundations and Applications-CaCNAS: FA 2021, virtually held from June 30 to July 2, 2021, in dedication to the memory of Professor Nebojsa Stevanovic (1962-2009).
'An invaluable companion for anyone who wants a deep understanding of what s under the hood of often inscrutable machines' Melanie Mitchell A rich, narrative explanation of the mathematics that has brought us machine learning and the ongoing explosion of artificial intelligenceMachine-learning systems are making life-altering decisions for us: approving mortgage loans, determining whether a tumour is cancerous, or deciding whether someone gets bail.
This volume consists of papers delivered at the International Mathematica Symposium 2003 - an interdisciplinary meeting bringing together users of Mathematica in research and education.
