In this critical notice, I argue that the semantic view championed by Thompson no logical advantage over the syntactic view of theories, especially in the area of interpretation. Each weakness of the syntactic view has a corresponding weakness in the semantic view. In principle the two are not different in power, but it is sometimes better to adopt one rather than the other, for practical reasons. I agree with Thompson that many issues in the philosophy of biology can be illuminated (...) by the semantic view, but that other things, especially deriving specific prediction, are best understood with the syntactic view. (shrink)

Although Kripke’s skepticism leads to the conclusion that meaning does not exist, his argument relies upon the supposition that more than one interpretation of words is consistent with linguistic evidence. Relying solely on metaphors, he assumes that there is a multiplicity of possible interpretations without providing any strict proof. In his book The Taming of the True, Neil Tennant pointed out that there are serious obstacles to this thesis and concluded that the skeptic’s nonstandard interpretations are “will o’ wisps.” In (...) this paper, contra Tennant, I demonstrate how to construct alternative interpretations of the language of algebra. These constructed interpretations avoid Tennant’s objections and are shown to be interdefinable with the standard interpretation. Kripke’s skepticism is, as it were, an incarnate demon. In contrast, it is currently uncertain whether the same technique is generally applicable to the construction of an alternative interpretation of natural language. However, the reinterpretation of those aspects of natural language that directly relate to numbers seems to be a promising candidate for the development of nonstandard interpretations of natural language. (shrink)

I discuss Skolem's own ideas on his ‘paradox’, some classical disputes between Skolemites and Antiskolemites, and the underlying notion of ‘informal mathematics’, from a point of view which I hope to be rather unusual. I argue that the Skolemite cannot maintain that from an absolute point of view everything is in fact denumerable; on the other hand, the Antiskolemite is left with the onus of explaining the notion of informal mathematical knowledge of the intended model of set theory. 1 conclude (...) that one must take seriously the embodiment of the uncountable into countable languages, as a symptom of some specific features which characterize mathematical languages with respect to other languages. (shrink)

This article indicates some ways in which the fantasy of the brain in the vat has been used in thought experiments to discuss important philosophical problems. The first has to do with scepticism about the external world. The second has to do with Hilary Putnam’s arguments for the indeterminacy of reference and his rejection of metaphysical realism. The third issue to which the brain in the vat is relevant has to do with the difference between broad and narrow content of (...) beliefs and Putnam’s challenging assertion that reference is not ‘in the head’. Though there are brief suggestions for dealing with these problems and saving metaphysical realism, the main purpose is to indicate the relevance of the fantasy of the brain in the vat to discussion of these issues. (shrink)

This article discusses the argument we cannot have knowledge of abstract entities because they are not part of the causal order. The claim of this article is that the argument fails because of equivocation. Assume that the “causal order” is concerned with contingent facts involving time and space. Even if the existence of abstract entities is not contingent and does not involve time or space it does not follow that no truths about abstract entities are contingent or involve time or (...) space. I argue that it is the latter which is required to obtain the desired conclusion. (shrink)

This paper is concerned with the use of logic to solve philosophical problems. Such use of logic goes counter to the prevailing empiricist tradition in analytic circles. Specifically, model-theoretic tools are applied to three fundamental issues in the philosophy of logic and mathematics, namely, to the issue of the existence of mathematical entities, to the dispute between first- and second-order logic and to the definition of analyticity.

The replacement, under totalitarian regimes, of multiple sources of information with a single information monopoly confers an indeterminacy on the concepts of truth, fact, objectivity, and reality. From a pragmatist perspective, these words can then no longer mean exactly what they mean to speakers accustomed to freedom of discussion and inquiry. This corruption of discourse is detailed, e.g., in Arthur Koestler's Darkness at Noon, where criteria for belief?formation are ultimately completely divorced from the objects of belief. Like George Orwell, Koestler (...) postulates a coherent totalitarian perspective, in which the objects of belief are no longer relevant to belief?formation. The present article argues that, once the connection between belief?formation and the object of belief is severed, one can no longer have a coherent body of belief. There is also no evidence that this connection was ever severed in the mind of Koestler's historical protagonist Bukharin, who thus differs from his counterpart Rubashov in Koestler's novel. On the other hand, Koestler's critics are at fault for exaggerating the contrast between Rubashov and the historical Bukharin. The latter's confession at the Moscow Trials can be best understood as a testimony to the epistemically and linguistically corruptive process detailed in Koestler's novel. (shrink)

The doctrines of scientific realism have enjoyed a close and enduring, if not always harmonious, association with Tarski's semantic conception of truth and theories of formal semantics generally. From its inception Tarski's theory received unqualified support from some realists, like Karl Popper, who saw it as legitimizing the use of semantic notions in epistemology and the philosophy of science.

I argue here for a number of ways that modern computational science requires a change in the way we represent the relationship between theory and applications. It requires a switch away from logical reconstruction of theories in order to take surface mathematical syntax seriously. In addition, syntactically different versions of the same theory have important differences for applications, and this shows that the semantic account of theories is inappropriate for some purposes. I also argue against formalist approaches in the philosophy (...) of science and for a greater role for perceptual knowledge rather than propositional knowledge in scientific empiricism. (shrink)

In a recent article G. H. Merrill has defended realism against an argument devised by Hilary Putnam. My first aim is to show that Merrill's defence is inadequate. I shall also argue that the proper conclusion of Putnam's argument is somewhat different from the conclusion Putnam himself offers.