The information age owes its existence to a little-known but crucial development, the theoretical study of logic and the foundations of mathematics. The Great Formal Machinery Works draws on original sources and rare archival materials to trace the history of the theories of ded…
This book explores formal approaches to the study of philosophical texts to present new methods for the analysis of pre-modern thought in China. Attempts made by Chinese thinkers to generate literary forms of philosophical reasoning have gone unrecognised within scholarship in C…
'You shouldn't drink too much. The Earth is round. Milk is good for your bones.' Are any of these claims true? How can you tell? Can you ever be certain you are right? For anyone tackling philosophical logic and critical thinking for the first time, Critical Thinking: An Introdu…
"Despite quite some variation in its numerous manifestations, three core features of deductive reasoning seem to stand out. They are aptly captured in the following definition of a mathematical proof, taken from the 1989 guideline of the National Council of Teachers of Mathemati…
Declarative programs consist of mathematical functions and relations and are amenable to formal specification and verification, since the methods of logic and proof can be applied to the programs in a well-defined manner. Here Dr Padawitz emphasizes verification based on logical…
