Recently a number of philosophers have maintained that the meanings of terms in a scientific language are “theory-laden” or determined by the theory in which they occur, and thus that if the same term occurs in different theories, it will take on different meanings in the different theories; so the theories are incommensurable. An often-stated corollary to this doctrine is the claim that possessors of different theories cannot express or possess the same facts since they attach different meanings to the (...) terms used to give expression to the facts. Various attacks against this extreme doctrine on the relativity of facts have been mounted. Some of them consist in showing defective the argument advanced in support of this doctrine; but such criticisms at best show that the defenses offered for the doctrine are defective, not that the doctrine itself is defective. (shrink)

As philosophers speak, they think that there are things whicht they can see and speak about as philosophers. But what are these things? And what is the general character of the philosopher's statements? How can we find out whether they are true? If, as is widely agreed, the philosopher does not rely on empirical research, in which direction ought we to look for the evidence to support philosophical statements? Husserl's transcendental-phenomenological reduction, we propose to show, can best be understood as (...) an attempt to indicate the nature and direction of the specifically philosophical concern. The reduction, as he understood it, determines the domain of philosophical research, the character of philosophical statements, and the direction in which we can look for evidence to support such statements. In this paper we shall concentrate on the Ideas, the work which Husserl published in 1913 as a general introduction to phenomenology. (shrink)

Gottlob Frege (1848-1925) was a German logician, mathematician and philosopher who played a crucial role in the emergence of modern logic and analytic philosophy. Frege's logical works were revolutionary, and are often taken to represent the fundamental break between contemporary approaches and the older, Aristotelian tradition. He invented modern quantificational logic, and created the first fully axiomatic system for logic, which was complete in its treatment of propositional and first-order logic, and also represented the first treatment of higher-order logic. In (...) the philosophy of mathematics, he was one of the most ardent proponents of logicism, the thesis that mathematical truths are logical truths, and presented influential criticisms of rival views such as psychologism and formalism. His theory of meaning, especially his distinction between the sense and reference of linguistic expressions, was groundbreaking in semantics and the philosophy of language. He had a profound and direct influence on such thinkers as Russell, Carnap and Wittgenstein. Frege is often called the founder of modern logic, and he is sometimes even heralded as the founder of analytic philosophy. (shrink)

There are two principles which bear the name Frege''sprinciple: the principle of compositionality, and the contextprinciple. The aim of this contribution is to investigate whether thisis justified: did Frege accept both principles at the same time, did hehold the one principle but not the other, or did he, at some moment,change his opinion? The conclusion is as follows. There is a developmentin Frege''s position. In the period of Grundlagen he followed to a strict form of contextuality. He repeatedcontextuality in later (...) writings, but became less strict. From 1914 on,pushed by the needs of research, he comes close to compositionality. Buthe could never make the final step toward compositionality forprincipled reasons, therefore he always would reject compositionality. (shrink)

By any reasonable reckoning, Gottlob Frege's ‘On Sense and Reference’ is one of the more important philosophical papers of all time. Although Frege briefly discusses the sense-reference distinction in an earlier work, it is through ‘Sense and Reference’ that most philosophers have become familiar with it. And the distinction so thoroughly permeates contemporary philosophy of language and mind that it is almost impossible to imagine these subjects without it.The distinction between the sense and the referent of a name is introduced (...) in the second paragraph of ‘Sense and Reference.’. (shrink)

In this paper I examine Quine''s indispensability argument, with particular emphasis on what is meant by ''indispensable''. I show that confirmation theory plays a crucial role in answering this question and that once indispensability is understood in this light, Quine''s argument is seen to be a serious stumbling block for any scientific realist wishing to maintain an anti-realist position with regard to mathematical entities.

Recently Saul Kripke has drawn attention to a puzzle about belief and proper names, a puzzle of which philosophers have been aware for a long time, but which has never been completely resolved. Kripke gives a new, bilingual illustration of the puzzle:1 Pierre, while living in his native France, learns much about the city of London, which he calls ‘Londres,’ and comes to believe something which he would express in French with the words, ‘Londres est jolie.’ Using standard principle of (...) translation, it seems correct for us to say, ‘Pierre believes that London is pretty.’ Suppose however that Pierre learns English, travels to London, learns that the name of the city he is in is ‘London,’ and sincerely and comprehendingly asserts, ‘London is not pretty.’ On the basis of his assertion, it seems correct for us to say, ‘Pierre believes that London is not pretty.’ But suppose he does not realize that ‘Londres’ is also a name for the city he is in, so he retains the belief which he would express with the French words, ‘Londres est jolie.’ Then, by the same principles of translation as before, it seems that we are still justified in saying, ‘Pierre believes that London is pretty.’ But now we have attributed to Pierre contradictory beliefs, and that does not seem acceptable, since Pierre has committed no logical oversight.Kripke believes that this is the same puzzle as one that arises in older, monolingual examples, such as that used by Quine: suppose Tom believes that Cicero denounced Cataline. Since ‘Tully’ is another name for Cicero, it seems acceptable to paraphrase his belief and say, ‘Tom believes that Tully denounced Cataline.’ But suppose Tom does not realize that Cicero and Tully are the same person, and suppose, in fact, that he sincerely and comprehendingly asserts, ‘Tully did not denounce Cataline.’ Then it also seems acceptable to say, on the basis of Tom’s assertion, ‘Tom believes that Tully did not denounce Cataline.’ But now we have attributed to Tom contradictory beliefs, and, as in the Pierre example, that does not seem acceptable. (shrink)

In recent papers Fred Sommers and Michael Lockwood have independently argued that the distinction between the ‘is’ of predication and the ‘is’ of identity is not well-founded. This claim is somewhat obscure since, on the theories they advocate, it is not only still possible to distinguish between the ‘is’ of predication and the ‘is’ of identity, but important to do so on pain of turning good arguments bad. Sommers' way of putting it, namely that we don't need identity, is no (...) better. Of course we don't need identity since, in second-order quantification logic, identity is definable in terms of predication. Perhaps the best way of putting their point is by means of Sommers' claim that identity statements can be formalized by monadic relations. We can therefore mark the IP-distinction by the essentially polyadic nature of identity. (shrink)