This book traces the development of formal logic from its origins inancient Greece to the present day. The authors first discuss the work oflogicians from Aristotle to Frege, showing how they were influenced by thephilosophical or mathematical ideas of their time. They then examinedevelopments in the present century.

A respected Harvard logician and philosopher gathers together twenty-nine writings dealing with the foundations of mathematics, Rudolf Carnap, lin-guistics, ...

It has been maintained that we need not tolerate such entities as pains, events, tasks, and obligations. They are indeed not required in connection with sentences like ‘Jones has a pain’, ‘the event of the sun’s rising occurred at eight’, ‘Jones performed at eight the task of lifting a stone’, or ‘Jones has the obligation to give Smith a horse’, which can be paraphrased without reference to the entities in question—for instance, in the case of the second example, as ‘the (...) sun rose at eight’. (shrink)

Now the thesis that the universal redness is the linguistic type ⋅red⋅ has the ring of absurdity. There are several ways in which this discomfort can be expressed I shall open my argument by formulating an objection which, by cutting deeper than most, leads to a firm foundation for a restatement and defense of the thesis.