| |
This book investigates the foundations of probability theory and logic, intertwining historical insights with modern interpretations. It explores the evolution of probability theory from Boole’s seminal question on the very object of probability, through de...
Editeur :
Springer
Parution :
2026-04-12
PDF, ePub
|
This book presents established and new research on the close connections between graph games and systems of logic, particularly existing and newly designed modal logics. The volume utilizes two graph games – the sabotage game and the hide-and-seek game – to...
Editeur :
Springer
Parution :
2026-04-08
PDF, ePub
|
This book brings together contributions from philosophers interested in logic and logicians with a philosophical orientation to address a variety of logical and philosophical topics of current interest, including modal logic, intuitionistic logic, relevant logic,...
Editeur :
Springer
Parution :
2026-03-31
PDF, ePub
|
This volume presents a collection of newly commissioned essays on the work of Susan Stebbing (1885–1943). Stebbing was an important figure in the development of analytic philosophy in the first half of the twentieth century, and a pioneer of the social utility of...
Editeur :
Palgrave Macmillan
Parution :
2026-02-16
PDF, ePub
|
"Deflationary" theories are views about truth that are often, but not always, characterized as accounts that accept the utility of the truth predicate without granting the metaphysical or epistemological assumptions that usually go along with it. The Deflationary...
Editeur :
Oxford University Press
Parution :
2025-08-19
PDF, ePub
|
This book contains a systematic and formal attempt to model solutions to problems such as: Is it possible to prove a question? Is it possible to prove something by the use of questions? Do the existing paradigms in the logic of questions allow one to combine questions...
Editeur :
Springer
Parution :
2025-06-13
PDF, ePub
|
The received view of identity takes it to be a binary relation between objects like many others: specifically, identity is thought to be the binary relation every object bears to itself and to no others. As such, it is supposed to play a fundamental role in our...
Editeur :
OUP Oxford
Parution :
2025-05-01
PDF
|
The received view of identity takes it to be a binary relation between objects like many others: specifically, identity is thought to be the binary relation every object bears to itself and to no others. As such, it is supposed to play a fundamental role in our...
Editeur :
OUP Oxford
Parution :
2025-04-04
ePub
|
This book presents a comprehensive picture of when the premises of an argument are adequately connected to its conclusion. The author draws upon the familiar Toulmin model, Rescher’s discussion of presumption and burden of proof, and L. Jonathan Cohen’s presentation of...
Editeur :
Springer
Parution :
2025-03-25
PDF, ePub
|
A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provides a precise general mathematical formulation for the intuitive...
Editeur :
Birkhäuser
Parution :
2025-03-05
PDF
|
This book provides deep insights into current research in the rapidly developing field of connexive logic and includes contributions from leading scholars in the field. Unlike the most well known systems of non-classical logic, systems of connexive logic are...
Editeur :
Springer
Parution :
2025-02-01
PDF
|
This book brings together contemporary work on relevant logics to showcase the recent progress of the field and set the stage for future research. The papers in the volume contribute to the formal and philosophical development of the field....
Editeur :
Springer
Parution :
2025-01-30
PDF, ePub
|
This is the first book focused on the logico-philosophical aspects of the lambda-calculus since the inception of the field in 1932 in the pioneering work of Alonzo Church. The book starts a new field called “lambda-philosophy”: a branch of logic-based analytic...
Editeur :
Palgrave Macmillan
Parution :
2025-01-06
Collection :
History of Analytic Philosophy
PDF, ePub
|
This book explores a cluster of philosophical, historical, and logical problems concerning the foundations of the theory of plane area in elementary geometry. The motivation of this study is a notable geometrical proposition known as De Zolt’s postulate, which asserts...
Editeur :
Springer
Parution :
2025-01-02
PDF, ePub
|
This is an open access title available under the terms of a CC BY-NC-ND 4.0 International licence. It is free to read on the Oxford Academic platform and offered as a free PDF download from OUP and selected open access locations.
One of the central aims of science is...
Editeur :
Oxford University Press
Parution :
2024-10-21
PDF, ePub
|
This edited volume brings together papers by both eminent and rising scholars to celebrate Saul Kripke’s singular contributions to modal logic. Kripke’s work on modal logic helped usher in a new semantic epoch for the field and made facility with modal logic...
Editeur :
Springer
Parution :
2024-10-02
PDF, ePub
|
This book provides an in-depth analysis of the nature and role of hypothetical reasoning about impossibilities. The interest in this subject stems from the simple observation that wondering is an inherent aspect of our experience. Whether one regrets choosing a taxicab...
Editeur :
Springer
Parution :
2024-07-26
PDF, ePub
|
This book is dedicated to Dick de Jongh’s contributions to the theory of intuitionistic and provability logics. Consisting of 13 chapters, written by leading experts, this book discusses de Jongh’s original contributions and consequent developments that have...
Editeur :
Springer
Parution :
2024-07-25
PDF, ePub
|
The Genesis of Logic addresses the principles of common-sense reasoning, which are employed in everyday decision-making processes and extend beyond deductive reasoning alone. Linked to language, logic inherits its flexibility. These are a few laws, the 'formal skeleton...
Editeur :
Springer
Parution :
2024-05-23
PDF, ePub
|
This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops a conception of proof-theoretic semantics as primarily concerned with the relationship between proofs (understood as abstract entities) and...
Editeur :
Springer
Parution :
2024-04-18
PDF, ePub
|