Much is said in Marxist literature about Marxist methodology which is supposed to be entirely original - differing a great deal from all other trends in the modern philosophy of science. On the other hand, however, it is unfallacious to state that there are no people outside Marxism who would like to deny this statement. This has to put those who really believe that Marxism has something important to say in philosophy of science on guard: if someone says something important others usually are inclined to protest. But who is inclined to protest when it is stated that Marx em ployed both...

This book grew out of a graduate student paper 261] in which I set down some criticisms of J. R. Lucas' attempt to refute mechanism by means of G6del's theorem. I had made several such abortive attempts myself and had become familiar with their pitfalls, and especially with the double edged nature of incompleteness arguments. My original idea was to model the refutation of mechanism on the almost universally accepted G6delian refutation of Hilbert's formalism, but I kept getting stuck on questions of mathematical philosophy which I found myself having to beg. A thorough study of the...

The two volumes to which this is apreface consist of the Proceedings of the Second International Conference on History and Philosophy of Science. The Conference was organized by the Joint Commission of the International Union of History and Philosophy of Science (IUHPS) under the auspices of the IUHPS, the Italian Society for Logic and Philosophy of Science, and the Domus Galilaeana of Pisa, headed by Professor Vincenzo Cappelletti. Domus Galilaeana also served as the host institution, with some help from the University of Pisa. The Conference took place in Pisa, Italy, on September 4-8,...

From the point of view of non-classical logics, Heyting's implication is the smallest implication for which the deduction theorem holds. This book studies properties of logical systems having some of the classical connectives and implication in the neighbourhood of Heyt- ing's implication. I have not included anything on entailment, al- though it belongs to this neighbourhood, mainly because of the appearance of the Anderson-Belnap book on entailment. In the later chapters of this book, I have included material that might be of interest to the intuitionist mathematician. Originally, I...

The Royal Institute of Philosophy has been sponsoring conferences in alternate years since 1969. These have from the start been intended to be of interest to persons who are not philosophers by profession. They have mainly focused on interdisciplinary areas such as the philosophies of psychology, education and the social sciences. The volumes arising from these conferences have in cluded discussions between philosophers and distinguished prac titioners of other disciplines relevant to the chosen topic. Beginning with the 1979 conference on 'Law, Morality and Rights' and the 1981 conference on...

"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 have invented. The ones we consider are: 1) tableau systems, 2) Gentzen sequent calculi, 3) natural deduction systems, and 4) axiom systems. We present proof procedures of each of these types for the most common normal modal logics: S5, S4, B, T, D, K, K4, D4, KB, DB, and also G, the logic that has become important in applications of modal logic to the proof theory of Peano arithmetic. Further, we present a similar variety of proof...

THIS ESSAY was begun a long time ago, in 1962, when I spent a year in Rome on a Guggenheim Fellowship. That twenty one years were required to complete it is owing both to the character of the theory presented and to my peculiar habits of mind. The theory presented is a coherence theory of knowledge: the con ception of coherence is here dominant and pervasive. But considera tions of coherence dictate an attention to details. The fact of the matter is that I get hung up on details: everything must fit, and if it does not, I do not want to proceed. A second difficulty was that all the...

Although various sections of this work have been published separately in various journals and volumes their separate publication is wholly attributable to the exigencies of life in academia: the work was devised as and is supposed to constitute something of an organic unity. Part II of 'The Cow with the Subtile Nose' was published under the title 'A Creative Use of Language' in New Literary History (Autumn, 1972), pp. 108-18. 'The Cow on the Roof' appeared in The Journal oj Philosophy LXX, No. 19 (November 8, 1973), pp. 713-23. 'A Fine Forehand' appeared in the Journal oj the Philosophy oj...

This collection brings together several essays which have been written between the years 197 5 and 1983. During that period I have been occupied with the attempt to find a satisfactory explicate for the notion of tnithlike ness or verisimilitude. The technical results of this search have partly appeared elsewhere, and I am also working on a systematic presentation of them in a companion volume to this book: Truthlikeness (forthcoming hopefully in 1985). The essays collected in this book are less formal and more philos ophical: they all explore various aspects of the idea that progress in...

Hilbert's Program was founded on a concern for the phenomenon of paradox in mathematics. To Hilbert, the paradoxes, which are at once both absurd and irresistible, revealed a deep philosophical truth: namely, that there is a discrepancy between the laws accord ing to which the mind of homo mathematicus works, and the laws governing objective mathematical fact. Mathematical epistemology is, therefore, to be seen as a struggle between a mind that naturally works in one way and a reality that works in another. Knowledge occurs when the two cooperate. Conceived in this way, there are two basic...