This book presents novel formalizations of three of the most important medieval logical theories: supposition, consequence and obligations. In an additional fourth part, an in-depth analysis of the concept of formalization is presented – a crucial concept in the current logical panorama, which as such receives surprisingly little attention.
For westlife, may you live long and prosper!

The work is the presentation of a logical theory – Logic in Reality (LIR) - and of applications of that theory in natural science and philosophy, including cognitive science and the philosophy of mind. The thesis is that the fundamental physics of the world defines a non-classical logical structure for the interactive aspects of complex phenomena. LIR can thus be construed as a meta-theory that allows an alternative formal treatment of processes and systems.

Truth, etc. is a wide-ranging study of ancient logic based upon the John Locke lectures given by the eminent philosopher Jonathan Barnes in Oxford. The book presupposes no knowledge of logic and no skill in ancient languages: all ancient texts are cited in English translation; and logical symbols and logical jargon are avoided so far as possible. Anyone interested in ancient philosophy, or in logic and its history, will find much to learn and enjoy here.

In Rationality and Logic, Robert Hanna argues that logic is intrinsically psychological and that human psychology is intrinsically logical. He claims that logic is cognitively constructed by rational animals (including humans) and that rational animals are essentially logical animals. In order to do so, he defends the broadly Kantian thesis that all (and only) rational animals possess an innate cognitive 'logic faculty.' Hanna's claims challenge the conventional philosophical wisdom that sees logic as a fully formal or 'topic-neutral' science irreconcilably separate from the species- or individual-specific focus of empirical psychology.