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.

The paper discusses the similarity between geometry, arithmetic, and logic, specifically with respect to the question of whether applied theories of each may be revised. It argues that they can - even when the revised logic is a paraconsistent one, or the revised arithmetic is an inconsistent one. Indeed, in the case of logic, it argues that logic is not only revisable, but, during its history, it has been revised. The paper also discusses Quine's well known argument against the possibility (...) of logical deviancy. (shrink)

In Metaphysics III, Chapter 4, Aristotle sets out and defends the Law of Non-Contradiction. The arguments are, however, rather less satisfactory than one might have expected, given the enormous historical influence the text has had. His major argument is a particularly tangled one, and the others are often little more than throw-away remarks. This essay is a commentary on the chapter, but its aim is less to interpret the text , than to see whether there is anything that Aristotle could (...) have meant that would have served his purpose. Whilst other commentators have sometimes attempted this, they have always taken his conclusion to be correct, even if his arguments were not; I do not. The commentary is therefore a confrontation between Aristotle and modern dialetheism. (shrink)