This book written by one of philosophy''s pre-eminent logicians argues that many of the basic assumptions common to logic philosophy of mathematics and metaphysics are in need of change. Jaakko Hintikka proposes a new basic first-order logic and uses it to explore the foundations of mathematics. His innovative new logic will appeal to a wide variety of philosophers and mathematicians.