Starting at the very beginning with Aristotle's founding contributions, logic has been graced by several periods in which the subject has flourished, attaining standards of rigour and conceptual sophistication underpinning a large and deserved reputation as a leading expression of human intellectual effort.
The present volume of the Handbook of the History of Logic is designed to establish 19th century Britain as a substantial force in logic, developing new ideas, some of which would be overtaken by, and other that would anticipate, the century's later capitulation to the mathematization of logic.
This Handbook documents the main trends in current research between logic and language, including its broader influence in computer science, linguistic theory and cognitive science.
This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category.
Relation theory originates with Hausdorff (Mengenlehre 1914) and Sierpinski (Nombres transfinis, 1928) with the study of order types, specially among chains = total orders = linear orders.
A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course.
The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory.
Logic and the Modalities in the Twentieth Century is an indispensable research tool for anyone interested in the development of logic, including researchers, graduate and senior undergraduate students in logic, history of logic, mathematics, history of mathematics, computer science and artificial intelligence, linguistics, cognitive science, argumentation theory, philosophy, and the history of ideas.
