Philosophy: logic books

Today the notion of the algorithm is familiar not only to mathematicians. this article is called ""Mathematical...  Read More >>

This book deals with a basic problem arising within the Bayesian approach 1 to scientific methodology, namely the...  Read More >>

The author of this book has, over many years, made significant contributions to the detailed analysis of practical...  Read More >>

Collingwood saw one of the main tasks of philosophers and of historians of human thought in uncovering what he called...  Read More >>

Temporal Logic: From Ancient Ideas to Artificial Intelligence deals with the history of temporal logic as well...  Read More >>

He also shows that certain moral theories cannot be reformulated as consequentialist theories. The relevant...  Read More >>

New in this study is the leitmotif of relevance: is-ought inferences indeed exist, but they are all irrelevant...  Read More >>

Abelard is one of the foremost protagonists of the ""twelfth-century Renaissance"". Among the merits of the volume...  Read More >>

A comprehensive survey of Martin-Löf's constructive type theory, considerable parts of which have only been presented...  Read More >>

This is the first of two volumes comprising the papers submitted for publication by the invited participants to...  Read More >>

Since their appearance in the late 19th century, the Cantor--Dedekind theory of real numbers and philosophy of...  Read More >>

Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory  Read More >>

"This book addresses the primary form of energy in Creation and the need for its right recognition and usage for...  Read More >>

In 1907 Luitzen Egbertus Jan Brouwer defended his doctoral dissertation on the foundations of mathematics and with...  Read More >>

Evolution and Constitution for the first time brings together case law and law based on norms.  Read More >>

The notion of complexity is an important contribution of logic to theoretical computer science and mathematics....  Read More >>

Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using...  Read More >>

BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of...  Read More >>

Identifies important developments in intensional logic, a branch of logic with applications in linguistics, cognitive...  Read More >>

Model theory for nonclassical logics is also set out so as to be able to show that the inconsistency of inconsistent...  Read More >>

Quantifiers: Logics, Models and Computation is the first concentrated effort to give a systematic presentation...  Read More >>

Hard as it is to believe, what is possibly Galileo's most important Latin manuscript was not transcribed for the...  Read More >>

At first glance, Robinson's original form of nonstandard analysis appears nonconstructive in essence, because it...  Read More >>

Axiomatic Formal Ontology is a fairly comprehensive systematic treatise on general metaphysics. Its main theme...  Read More >>

Willard VanOrman Quine has probably been the most influential th American philosopher of the 20 century. He has...  Read More >>