Logic category: 1296 books

Cover of The Birth of Model Theory

The Birth of Model Theory

Löwenheim's Theorem in the Frame of the Theory of Relatives

by Calixto Badesa
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...
Cover of The Logic of Chance
by John Venn
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...
Cover of Approaches to Legal Rationality
by
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...
Cover of Structural Analysis of Non-Classical Logics

Structural Analysis of Non-Classical Logics

The Proceedings of the Second Taiwan Philosophical Logic Colloquium

by
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...
Cover of Québec Studies in the Philosophy of Science

Québec Studies in the Philosophy of Science

Part I: Logic, Mathematics, Physics and History of Science

by
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...
Cover of Cultures of Mathematics and Logic

Cultures of Mathematics and Logic

Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012

by
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...
Cover of Aspects of Modern Logic
by E.W. Beth
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...
Cover of The Logic of Time

The Logic of Time

A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse

by Johan van Benthem
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...
Cover of Feferman on Foundations

Feferman on Foundations

Logic, Mathematics, Philosophy

by
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...
Cover of The Life and Work of Leon Henkin

The Life and Work of Leon Henkin

Essays on His Contributions

by
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...
Cover of Logical Foundations of Mathematics and Computational Complexity
by Pavel Pudlák
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,...
Cover of Revival: A Modern Introduction to Logic (1950)
by Lizzie Susan Stebbing
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...
Cover of Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics
by
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...
Cover of Logic and Metaphysics
by J.L. Shaw, D.L. Oxtoby
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...
First 11 12 13 14 15 16 1718 19 20 21 22 23 Last
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy