This book examines the role of acts of choice in classical and intuitionistic mathematics. Featuring fifteen papers – both new and previously published – it

Mark Jago offers a new metaphysical account of truth. He argues that to be true is to be made true by the existence of a suitable worldly entity. Truth arises a

Classical logic has been attacked by adherents of rival, anti-realist logical systems: Ian Rumfitt comes to its defence. He considers the nature of logic, and h

"Necessity is the mother of invention. " Part I: What is in this book - details. There are several different types of formal proof procedures that logicians hav

Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs to make the material more