Logic: The Basics is a hands-on introduction to the philosophically alive field of logical inquiry. Covering both classical and non-classical theories, it presents some of the core notions of logic such as validity, basic connectives, identity, ?free logic? and more. This book: introduces some basic ideas of logic from a semantic and philosophical... more...

Martin Heidegger's 1925?26 lectures on truth and time provided much of the basis for his momentous work, Being and Time. Not published until 1976 as volume 21 of the Complete Works, three months before Heidegger's death, this work is central to Heidegger's overall project of reinterpreting Western thought in terms of time and truth. The text shows... more...

The work gives a survey of major contemporary, western and Indian views on the problem of induction and offers a solution to the classical problem of induction and the Grue paradox following the Nyaya perspective. The main focus is on Gangesa, the founder of Navya Nyaya, but other views including those of Buddhists, Jains, Vedantins, Carvaka, Hume,... more...

Identity, existence, predication, necessity, and truth are fundamental philosophical concerns. Colin McGinn treats them both philosophically and logically, aiming for maximum clarity and minimum pointless formalism. He contends that there are real logical properties that challenge naturalistic metaphysical outlooks. These concepts are not definable,... more...

Is there a fundamental difference between practical and theoretical knowledge? The thesis, going back to Gilbert Ryle, that ?knowing-how? is an independent form of knowledge manifesting itself in practical abilities that cannot be reduced to ?knowing-that? (propositional knowledge) is a heated topic of debate in contemporary philosophy.... more...

Opening with the insights of Swedish philosopher Per Martin-Löf, the father of constructive type theory, this exploration of the relationship between logic and knowledge re-affirms the key role that the notion of judgement must play in such a review. more...

Over the past few years, the tree model of time has been widely employed to deal with issues concerning the semantics of tensed discourse. This book examines this model and its alternatives, both from a semantic and from a metaphysical point of view. ? more...