Logic category: 1296 books
The Birth of Model Theory
Löwenheim's Theorem in the Frame of the Theory of Relatives
Language: English
Release Date: January 10, 2009
Löwenheim's theorem reflects a critical point in the history of mathematical logic, for it marks the birth of model theory--that is, the part of logic that concerns the relationship between formal theories and their models. However, while the original proofs of other, comparably significant theorems...
by John Venn
Language: English
Release Date: May 23, 2013
Language: English
Release Date: May 23, 2013
No mathematical background is necessary to appreciate this classic of probability theory, which remains unsurpassed in its clarity, readability, and sheer charm. Its author, British logician John Venn (1834-1923), popularized the famous Venn Diagrams that are commonly used for teaching elementary...
by
Language: English
Release Date: October 4, 2010
Language: English
Release Date: October 4, 2010
Legal theory, political sciences, sociology, philosophy, logic, artificial intelligence: there are many approaches to legal argumentation. Each of them provides specific insights into highly complex phenomena. Different disciplines, but also different traditions in disciplines (e.g. analytical and...
Structural Analysis of Non-Classical Logics
The Proceedings of the Second Taiwan Philosophical Logic Colloquium
Language: English
Release Date: October 16, 2015
This volume brings together a group of logic-minded philosophers and philosophically oriented logicians to address a diversity of topics on the structural analysis of non-classical logics. It mainly focuses on the construction of different types of models for various non-classical logics of current...
Québec Studies in the Philosophy of Science
Part I: Logic, Mathematics, Physics and History of Science
Language: English
Release Date: December 6, 2012
By North-American standards, philosophy is not new in Quebec: the first men tion of philosophy lectures given by a Jesuit in the College de Quebec (founded 1635) dates from 1665, and the oldest logic manuscript dates from 1679. In English-speaking universities such as McGill (founded 1829), philosophy...
Cultures of Mathematics and Logic
Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012
Language: English
Release Date: August 10, 2016
This book gathers the proceedings of the conference "Cultures of Mathematics and Logic," held in Guangzhou, China. The event was the third in a series of interdisciplinary, international conferences emphasizing the cultural components of philosophy of mathematics and logic. It brought together...
by E.W. Beth
Language: English
Release Date: December 6, 2012
Language: English
Release Date: December 6, 2012
It is common to consider an area of science as a system of real or sup posed truths which not only continuously extends itself, but also needs periodical revision and therefore tests the inventive capacity of each generation of scholars anew. It sounds highly implausible that a science at one time...
The Logic of Time
A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse
Language: English
Release Date: December 6, 2012
That philosophical themes could be studied in an exact manner by logical meanS was a delightful discovery to make. Until then, the only outlet for a philosophical interest known to me was the production of poetry or essays. These means of expression remain inconclusive, however, with a tendency towards...
Feferman on Foundations
Logic, Mathematics, Philosophy
Language: English
Release Date: April 4, 2018
This volume honours the life and work of Solomon Feferman, one of the most prominent mathematical logicians of the latter half of the 20th century. In the collection of essays presented here, researchers examine Feferman’s work on mathematical as well as specific methodological and philosophical...
The Life and Work of Leon Henkin
Essays on His Contributions
Language: English
Release Date: October 23, 2014
This is a comprehensive book on the life and works of Leon Henkin (1921–2006), an extraordinary scientist and excellent teacher whose writings became influential right from the beginning of his career with his doctoral thesis on “The completeness of formal systems” under the direction of Alonzo...
Logical Foundations of Mathematics and Computational Complexity
A Gentle Introduction
Language: English
Release Date: April 22, 2013
The two main themes of this book, logic and complexity, are both essential for understanding the main problems about the foundations of mathematics. Logical Foundations of Mathematics and Computational Complexity covers a broad spectrum of results in logic and set theory that are relevant to the foundations,...
by Lizzie Susan Stebbing
Language: English
Release Date: May 8, 2018
Language: English
Release Date: May 8, 2018
As the author of this volume states, "the science of logic does not stand still." This book was intended to cover the advances made in the study of logic in the first half of the nineteenth century, during which time the author felt there to have been greater advances made than in the whole...
Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics
Dialogue, Rationality, and Formalism
Language: English
Release Date: June 30, 2014
This book presents comparisons of recent accounts in the formalization of natural language (dynamic logics and formal semantics) with informal conceptions of interaction (dialogue, natural logic and attribution of rationality) that have been developed in both psychology and epistemology. There are...
by J.L. Shaw, D.L. Oxtoby
Language: English
Release Date: September 14, 2014
Language: English
Release Date: September 14, 2014
This volume of the collected works of J.L. Shaw contains twelve papers that fall in the intersection of logic, metaphysics, and the philosophy of language. Professor Shaw's methodology in these papers is that of comparative philosophy. With an emphasis on classical Indian analytical philosophy and...