Logic category: 1296 books

Cover of Notes on Forcing Axioms
by Stevo Todorcevic, Chitat Chong, Qi Feng;Theodore A Slaman;W Hugh Woodin;Yue Yang
Language: English
Release Date: December 26, 2013

In the mathematical practice, the Baire category method is a tool for establishing the existence of a rich array of generic structures. However, in mathematics, the Baire category method is also behind a number of fundamental results such as the Open Mapping Theorem or the Banach–Steinhaus Boundedness...
Cover of Vagueness: A Guide
by
Language: English
Release Date: March 3, 2011

This volume explores how vagueness matters as a specific problem in the context of theories that are primarily about something else. After an introductory chapter on the Sorites paradox, which exposes the various forms the paradox can take and some of the responses that have been pursued, the book...
Cover of Uncertain Computation-Based Decision Theory
by Rafik Aliev
Language: English
Release Date: December 6, 2017

Uncertain computation is a system of computation and reasoning in which the objects of computation are not values of variables but restrictions on values of variables. This compendium includes uncertain computation examples based on interval arithmetic, probabilistic arithmetic, fuzzy arithmetic,...
Cover of The Randomness: A Pseudo-Biographical Comprehension of a Man With Inconceivable Thoughts
by Alexander Van Elsacker
Language: English
Release Date: April 16, 2012

This is a book that truly attempts to comprehend the vastness of humankind's reasoning, logic, and lack thereof through engaging examples that are understood only subconsciously. Written in spare time, it has been called "The most amazing book ever," "ADHD in a book," and everything in between.
Cover of Turing’s Revolution

Turing’s Revolution

The Impact of His Ideas about Computability

by
Language: English
Release Date: January 21, 2016

This book provides an overview of the confluence of ideas in Turing’s era and work and examines the impact of his work on mathematical logic and theoretical computer science. It combines contributions by well-known scientists on the history and philosophy of computability theory as well as on generalised...
Cover of Reasoning about Preference Dynamics
by Fenrong Liu
Language: English
Release Date: May 30, 2011

Our preferences determine how we act and think, but exactly what the mechanics are and how they work is a central cause of concern in many disciplines. This book uses techniques from modern logics of information flow and action to develop a unified new theory of what preference is and how it changes....
Cover of Romanian Studies in Philosophy of Science
by
Language: English
Release Date: May 29, 2015

This book presents a collection of studies by Romanian philosophers, addressing foundational issues currently debated in contemporary philosophy of science. It offers a historical survey of the tradition of scientific philosophy in Romania. It examines some problems in the foundations of logic, mathematics,...
Cover of Epistemology versus Ontology

Epistemology versus Ontology

Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf

by
Language: English
Release Date: July 10, 2012

This book brings together philosophers, mathematicians and logicians to penetrate important problems in the philosophy and foundations of mathematics. In philosophy, one has been concerned with the opposition between constructivism and classical mathematics and the different ontological and epistemological...
Cover of Formal Grammar

Formal Grammar

20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings

by
Language: English
Release Date: August 5, 2016

This book constitutes the refereed proceedings of the 20th and 21st International Conference on Formal Grammar 2015 and 2016, collocated with the European Summer School in Logic, Language and Information in August 2015/2016. The 19 revised full papers presented together with 2 invited talks were carefully...
Cover of On Interpretation
by Aristotle
Language: English
Release Date: October 12, 2014

De Interpretatione or On Interpretation (Greek Περὶ Ἑρμηνείας or Peri Hermeneias) is the second text from Aristotle's Organon and is among the earliest surviving philosophical works in the Western tradition to deal with the relationship between language and logic in a comprehensive, explicit, and formal way. The work is usually known by its Latin title.
Cover of Dialogical Rhetoric

Dialogical Rhetoric

An Essay on Truth and Normativity After Postmodernism

by W. Slob
Language: English
Release Date: November 11, 2013

Contemporary developments in philosophy have declared truth as such troublesome, and not merely gaining access to it. In a systematic survey this study investigates what is at stake when truth is given up. A historical overview shows how the current problem of truth came about, and suggests ways to...
Cover of Vagueness and Degrees of Truth
by Nicholas J. J. Smith
Language: English
Release Date: November 6, 2008

In Vagueness and Degrees of Truth, Nicholas Smith develops a new theory of vagueness: fuzzy plurivaluationism. A predicate is said to be vague if there is no sharply defined boundary between the things to which it applies and the things to which it does not apply. For example, 'heavy' is vague in...
Cover of Bertrand Russell's Theory of Knowledge
by Elizabeth Ramsden Eames
Language: English
Release Date: January 3, 2013

When future generations come to analyze and survey twentieth-century philosophy as a whole, Bertrand Russell’s logic and theory of knowledge is assured a place of prime importance. Yet until this book was first published in 1969 no comprehensive treatment of his epistemology had appeared. Commentators...
Cover of Abductive Reasoning
by Douglas Walton
Language: English
Release Date: May 31, 2014

This book examines three areas in which abductive reasoning is especially important: medicine, science, and law. The reader is introduced to abduction and shown how it has evolved historically into the framework of conventional wisdom in logic. Discussions draw upon recent techniques used in artificial...
First 30 31 32 33 34 35 3637 38 39 40 41 42 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