Logic category: 1296 books
by Stephen Cole Kleene
Language: English
Release Date: April 22, 2013
Language: English
Release Date: April 22, 2013
Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text. It begins with an elementary but thorough overview of mathematical logic of first order. The treatment extends beyond a single method of formulating logic to offer instruction...
by
Language: English
Release Date: November 28, 2012
Language: English
Release Date: November 28, 2012
This compelling reevaluation of the relationship between logic and knowledge affirms the key role that the notion of judgement must play in such a review. The commentary repatriates the concept of judgement in the discussion, banished in recent times by the logical positivism of Wittgenstein, Hilbert...
by Torben Braüner
Language: English
Release Date: November 17, 2010
Language: English
Release Date: November 17, 2010
This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (where the points represent times, possible worlds, states in a computer, or something else). This is useful...
Logic, Language, Information, and Computation
24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings
Language: English
Release Date: July 10, 2017
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 24th Workshop on Logic, Language, Information and Communication, WoLLIC 2017, held in London, UK, in August 2017.
The 28 contributed papers were carefully...
The Search for Mathematical Roots, 1870-1940
Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to Gödel
Language: English
Release Date: February 11, 2011
While many books have been written about Bertrand Russell's philosophy and some on his logic, I. Grattan-Guinness has written the first comprehensive history of the mathematical background, content, and impact of the mathematical logic and philosophy of mathematics that Russell developed with A. N....
The Force of Argument
Essays in Honor of Timothy Smiley
Language: English
Release Date: February 13, 2010
Timothy Smiley has made ground-breaking contributions to modal logic, free logic, multiple-conclusion logic, and plural logic; he has illuminated Aristotle’s syllogistic, the ideas of logical form and consequence, and the distinction between assertion and rejection; and his debunking work on the...
by Ermanno Bencivenga
Language: English
Release Date: August 10, 2017
Language: English
Release Date: August 10, 2017
This book offers insight into the nature of meaningful discourse. It presents an argument of great intellectual scope written by an author with more than four decades of experience. Readers will gain a deeper understanding into three theories of the logos: analytic, dialectical, and oceanic. The author...
by J.K. Feibleman
Language: English
Release Date: December 6, 2012
Language: English
Release Date: December 6, 2012
A system of philosophy of the sort presented in this and the following volumes begins with logic. Philosophy properly speaking is characterized by the kind oflogic it employs, for what it employs it assumes, however silently; and what it assumes it presupposes. The logic stands behind the ontology...
by Shashi Mohan Srivastava
Language: English
Release Date: January 16, 2013
Language: English
Release Date: January 16, 2013
This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in getting acquainted with logic and would like to learn Gödel’s incompleteness theorems should...
New Directions in Paraconsistent Logic
5th WCP, Kolkata, India, February 2014
Language: English
Release Date: February 8, 2016
The present book discusses all aspects of paraconsistent logic, including the latest findings, and its various systems. It includes papers by leading international researchers, which address the subject in many different ways: development of abstract paraconsistent systems and new theorems about them;...
Inductive Logic Programming
27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers
Language: English
Release Date: March 19, 2018
This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Conference on Inductive Logic Programming, ILP 2017, held in Orléans, France, in September 2017.
The 12 full papers presented were carefully reviewed and selected from numerous submissions.
Inductive...
by John Stuart Mill
Language: English
Release Date: August 15, 2016
Language: English
Release Date: August 15, 2016
A System of Logic, Ratiocinative and Inductive: being a connected view of the principles of evidence and the methods of scientific investigation Mill's Logic, first published in 1843, firmly established Mill as the leader of the empirical school of logic. A System of Logic is the first major installment...
by Aden Evens
Language: English
Release Date: September 24, 2015
Language: English
Release Date: September 24, 2015
Building a foundational understanding of the digital, Logic of the Digital reveals a unique digital ontology. Beginning from formal and technical characteristics, especially the binary code at the core of all digital technologies, Aden Evens traces the pathways along which the digital domain of abstract...
by Nik Weaver
Language: English
Release Date: April 22, 2015
Language: English
Release Date: April 22, 2015
The book is a research monograph on the notions of truth and assertibility as they relate to the foundations of mathematics. It is aimed at a general mathematical and philosophical audience. The central novelty is an axiomatic treatment of the concept of assertibility. This provides us with a device...