Bemærk: Kan ikke leveres før jul.
This book argues that it is not obvious what we means by saying our beliefs and assertions are 'truth-directed'. Do we weaken our notion of a belief if we deal with radical scepticism... Læs mere
Bemærk: Kan ikke leveres før jul.
The book presents the state of the art of research into the legacy of interwar Polish analytic philosophy and exemplifies... Læs mere
Bemærk: Kan ikke leveres før jul.
The book offers a novel approach to the idea of divinity in guise of a philosophical doctrine called 'Logical Pantheism', according to which the only way to establish the existence of God undeniably is by equating God with Logical Space.
Bemærk: Kan ikke leveres før jul.
This systematic and historical treatment of Russell's contributions to analytic philosophy, from his embrace of analysis in 1898 to his landmark theory... Læs mere
Bemærk: Kan ikke leveres før jul.
Moral philosophy is no longer being pursued from arm-chairs. Instead, ethical questions are dissected in the experimental lab. This volume... Læs mere
Bemærk: Kan ikke leveres før jul.
Der vorliegende Band enthält zum einen die im Zuge dieser Arbeit entstandenen Manuskripte und zum anderen ältere Manuskripte, die zum Teil bis vor der ersten Veröffentlichung der Logischen Untersuchungen im Jahre 1900/1901 zurückreichen.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book provides an original and progressive introduction to the main questions of the theory of classification. It makes connections between previously separate domains of classification theory in applied mathematics, computer science and pure mathematics.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
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.
Bemærk: Kan ikke leveres før jul.
The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas.