Equality1 gives rise to challenging questions which are not altogether easy to answer. Is it a relation? A relation between objects, or between names or signs of objects? In my Begriffsschrift I assumed the latter. The reasons which seem to favour this are the following: a = a and a = b are obviously statements of differing cognitive value; a = a holds a priori and, according to Kant, is to be labeled analytic, while statements of the form a = (...) b often contain very valuable extensions of our knowledge and cannot always be established a priori. The discovery that the rising sun is not new every morning, but always the same, was one of the most fertile astronomical discoveries. Even to-day the identification of a small planet or a comet is not always a matter of course. Now if we were to regard equality as a relation between that which the names ‘a’ and ‘b’ designate, it would seem that a = b could not differ from a = a (i.e. provided a = b is true). A relation would thereby be expressed of a thing to itself, and indeed one in which each thing stands to itself but to no other thing. What is intended to be said by a = b seems to be that the signs or names ‘a’ and ‘b’ designate the same thing, so that those signs themselves would be under discussion; a relation between them would be asserted. But this relation would hold between the names or signs only in so far as they named or designated something. It would be mediated by the connexion of each of the two signs with the same designated thing. But this is arbitrary. Nobody can be forbidden to use any arbitrarily producible event or object as a sign for something. In that case the sentence a = b would no longer refer to the subject matter, but only to its mode of designation; we would express no proper knowledge by its means. But in many cases this is just what we want to do. If the sign ‘a’ is distinguished from the sign ‘b’ only as object (here, by means of its shape), not as sign (i.e. not by the manner in which it designates something), the cognitive value of a = a becomes essentially equal to that of a = b, provided a = b is true.. (shrink)

Als eine wesentliche Schwäche des strukturalistischen Theorienkonzepts musste die Vagheit erscheinen, mit der die Unterscheidung zwischen bezüglich einer Theorie theoretischen und nichttheoretischen Funktionen bisher belastet war. In der vorliegenden Untersuchung wird ein formal präzises, pragmatisch nichtrelativiertes Kriterium für T-Theoretizität vorgestellt. Erste Schritte zur Klärung seiner Bedeutung für die holistische Sichtweise erfahrungswissenschaftlicher Theorien werden unternommen.

This highly acclaimed book is a major contribution to the philosophy of language as well as a systematic interpretation of Frege, indisputably the father of ...

Our only channel of information about the world is the impact of external forces on our sensory surfaces. So says science itself. There is no clairvoyance. How, then, can we have parlayed this meager sensory input into a full-blown scientific theory of the world? This is itself a scientific question. The pursuit of it, with free use of scientific theory, is what I call naturalized epistemology. The Roots of Reference falls within that domain. Its more specific concern, within that domain, (...) is reference to concrete and abstract objects: what such reference consists in, and how we achieve it. (shrink)

to that goal, and it is hoped that it will incorporate further works dealing in an exact way with interesting philosophical issues. Zurich, April 1973 Mario Bunge Preface In this book I have investigated the logical and methodological role of the much debated theoretical concepts in scientific theories. The philosophical viewpoint underlying my argumentation is critical scientific realism. My method of exposition has been to express ideas first in general terms and then to develop and elaborate them within a specific (...) formal framework. It is assumed in the book that the reader has a relatively good knowledge of the basic techniques and results of modern symbolic logic, including model theory. Examples from actual science are mostly from the social sciences. I have deliberately omitted a treatment of a number of characteristic features which are particular to theoretical concepts in the more developed sciences, such as modern physics. This book owes very much to Professor Jaakko Hintikka, to whom I wish to express my deep gratitude. Especially at the begin ning of this project in 1968/69 when I was doing research for my doctoral degree at Stanford University I worked with him closely. (shrink)

Reprint of the original, first published in 1919.