The purpose of the study (of which this is the concluding part) is to show that the distinctions made by Wilhelm Dilthey and Max Weber between the natural sciences and the ?Geistesvrissenschaften? are sound in principle, pace the arguments to the contrary within classical logical empiricism. It is held that intentional contexts are characteristic of social science. Intentional contexts are held to be more important in psychology than mental states, like toothache. If logical behaviourism is to have any plausibility, it (...) has to be shown how intentional contexts can bs dealt with. Carnap's programme was to reconstruct scientific discourse within a truth?functional language. It is argued that his reduction of belief?sentences was not successful. It is further argued that in the logical empiricist's discussions of the problem of Verstehen, only motivational understanding is taken account of, what Max Weber calls observational understanding is ignored, as we try to show through a discussion of Theodore Abel's well?known explication of ?the operation called Verstehen?. From this it is concluded that the foundational problems of social science are different from those of natural science, and this conclusion is further elaborated through an exposition of views held by authors in the German tradition, which, in the fifties, many philosophers held to be obsolete. (shrink)

The article analyses the relation of E. V. Ilyenkov to the phenomenon of language. His approach, it is shown, had its roots in his explication of notion of ideal which led him to assign priority to work with respect to language at a general level as well as at the level ontogenesis of human infants. Two additional factors shaped his approach to the phenomenon of language. The first was his negative approach to disciplines investigating the structure of language: mathematical logic, (...) logical semantics, and philosophy of language. The second was his treatment of Hegel’s philosophy from which he took over only those features that were appropriated and further developed by Marx. The article gives an analysis of Ilyenkov’s view on the educational process of deafblind children and it shows that this view contradicted the views on that process presented in the works of Meshcheryakov and Sirotkin. Finally, the article provides a characterization of work, language and of their relation. (shrink)

There is a widespread assumption that ordinary language philosophy was killed off sometime in the 1960s or 70s by a combination of Gricean pragmatics and the rapid development of systematic semantic theory. Contrary to that widespread assumption, however, contemporary versions of ordinary language philosophy are alive and flourishing, but going by various aliases—in particular (some versions of) "contextualism" and (some versions of) "experimental philosophy". And a growing group of contemporary philosophers are explicitly embracing the methods as well as the title (...) of ordinary language philosophy and arguing that it has been unfairly maligned and was never decisively refuted. In this overview, I will outline the main projects and arguments employed by contemporary ordinary language philosophers, and make the case that updated versions of the arguments made by ordinary language philosophers in the middle of the twentieth century are attracting renewed attention. (shrink)

The problem of the source of necessity is the problem of explaining what makes necessary truths necessarily true. Simon Blackburn has presented a dilemma intended to show that any reductive, realist account of the source of necessity is bound to fail. Although Blackburn's dilemma faces serious problems, reflection on the form of explanations of necessities reveals that a revised dilemma succeeds in defeating any reductive account of the source of necessity. The lesson is that necessity is metaphysically primitive and irreducible.

Crosslinguistically, the same modal words can be used to express a wide range of interpretations. This crosslinguistic trend supports a Kratzerian analysis, where each modal has a core lexical entry and where the difference between an epistemic and a root interpretation is contextually determined. A long-standing problem for such a unified account is the equally robust crosslinguistic correlation between a modal’s interpretation and its syntactic behavior: epistemics scope high (in particular higher than tense and aspect) and roots low, a fact (...) which has led to proposals that hardwire different syntactic positions for epistemics and roots (cf. Cinque’s hierarchy). This paper argues that the range of interpretations a modal receives is even more restricted: a modal must be keyed to certain time-individual pairs, but not others. I show that this can be captured straightforwardly by minimally modifying the Kratzerian account: modals are relative to an event—rather than a world—of evaluation, which readily provides a time (the event’s running time) and (an) individual(s) (the event’s participants). I propose that this event relativity of modals can in turn explain the correlation between type of interpretation and syntactic position, without stipulation of an interpretation-specific height for modals. (shrink)

Recently O’Grady argued that Quine’s “Two Dogmas” misses its mark when Carnap’s use of the analyticity distinction is understood in the light of his deflationism. While in substantial agreement with the stress on Carnap’s deflationism, I argue that O’Grady is not sufficiently sensitive to the difference between using the analyticity distinction to support deflationism, and taking a deflationary attitude towards the distinction itself; the latter being much more controversial. Being sensitive to this difference, and viewing Quine as having reason to (...) insist on a non-arbitrary analyticity distinction, we see that “Two Dogmas” makes direct contact with Carnap’s deflationism. We must look beyond “Two Dogmas” to Quine’s other critiques of analyticity to understand why the arbitrariness of the distinction threatens to undermine or overextend Carnap’s deflationism, collapsing it into a view much like Quine’s. Quine is then seen to achieve many of Carnap’s ends, with the important exception of deflationism. (shrink)

This paper examines Russell's substitutional theory of classes and relations, and its influence on the development of the theory of logical types between the years 1906 and the publication of Principia Mathematica (volume I) in 1910. The substitutional theory proves to have been much more influential on Russell's writings than has been hitherto thought. After a brief introduction, the paper traces Russell's published works on type-theory up to Principia. Each is interpreted as presenting a version or modification of the substitutional (...) theory. New motivations for Russell's 1908 axiom of infinity and axiom of reducibility are revealed. (shrink)

Recently O'Grady argued that Quine's "Two Dogmas" misses its mark when Carnap's use of the analyticity distinction is understood in the light of his deflationism. While in substantial agreement with the stress on Carnap's deflationism, I argue that O'Grady is not sufficiently sensitive to the difference between using the analyticity distinction to support deflationism, and taking a deflationary attitude towards the distinction itself; the latter being much more controversial. Being sensitive to this difference, and viewing Quine as having reason to (...) insist on a nonarbitrary analyticity distinction, we see that "Two Dogmas" makes direct contact with Carnap's deflationism. We must look beyond "Two Dogmas" to Quine's other critiques of analyticity to understand why the arbitrariness of the distinction threatens to undermine or overextend Carnap's deflationism. (edited). (shrink)

We investigate incomplete symbols, i.e. definite descriptions with scope-operators. Russell famously introduced definite descriptions by contextual definitions; in this article definite descriptions are introduced by rules in a specific calculus that is very well suited for proof-theoretic investigations. That is to say, the phrase ‘incomplete symbols’ is formally interpreted as to the existence of an elimination procedure. The last section offers semantical tools for interpreting the phrase ‘no meaning in isolation’ in a formal way.

We show that, contrary to conventional wisdom, Frege’s distinction between sense and reference does not reconcile a classical logic of identity with apparent counterexamples to it involving proper names embedded under propositional attitude verbs.

This paper argues that relativity of truth to a world plays no significant role in empirical semantic theory, even as it is done in the model-theoretic tradition relying on intensional type theory. Some philosophical views of content provide an important notion of truth at a world, but they do not constrain the empirical domain of semantic theory in a way that makes this notion empirically significant. As an application of this conclusion, this paper shows that a potential motivation for relativism (...) based on the relativity of truth to a world fails. (shrink)

Among the philosophical accounts of reference, Quine’s The Roots of Reference stands out in offering an integrated account of the acquisition of linguistic reference and object individuation. Based on a non-referential ability to distinguish bodies, the acquisition of sortals and quantification are crucial steps in learning to refer to objects. In this article, we critically re-assess Quine’s account of reference. Our critique will proceed in three steps with the aim of showing that Quine effectively presupposes what he sets out to (...) explain, namely, reference to objects. We are going to argue that sortals do not individuate, that bodies are already objects, and that the acquisition of variables presupposes a notion of identity. The result is diagnostic of a central desideratum for any theory of reference: an explanation of spatiotemporal object individuation. (shrink)

This paper presents an approach to truth and the Liar paradox which combines elements of context dependence and hierarchy. This approach is developed formally, using the techniques of model theory in admissible sets. Special attention is paid to showing how starting with some ideas about context drawn from linguistics and philosophy of language, we can see the Liar sentence to be context dependent. Once this context dependence is properly understood, it is argued, a hierarchical structure emerges which is neither ad (...) hoc nor unnatural. (shrink)

The paper surveys different notions of implicit definition. In particular, we offer an examination of a kind of definition commonly used in formal axiomatics, which in general terms is understood as providing a definition of the primitive terminology of an axiomatic theory. We argue that such “structural definitions” can be semantically understood in two different ways, namely as specifications of the meaning of the primitive terms of a theory and as definitions of higher-order mathematical concepts or structures. We analyze these (...) two conceptions of structural definition both in the history of modern axiomatics and in contemporary philosophical debates. Based on that, we give a systematic assessment of the underlying semantics of these two ways of understanding the definiens of such definitions, by considering alternative model-theoretic and inferential accounts of meaning. (shrink)

Fregeans follow Frege in accepting informativeness and substitution failure as reliable criteria for the existence of senses as objects of thought. In this paper I show that if we accept this, we must also accept the existence of an infinite hierarchy of senses as objects of thought. This is a bad result since it turns Fregeanism into a doctrine according to which object-related thoughts either have an infinite number of objects as contents or none at all. This shows, against the (...) Fregean, that senses cannot themselves be constituents of thought. Los fregeanos aceptan, siguiendo a Frege, que los criterios de informatividad y falla de sustitución son guías confiables de la existencia de sentidos como objetos del pensamiento. En este artículo muestro que si aceptamos esta tesis también debemos aceptar la existencia de una jerarquía infinita de sentidos como objetos del pensamiento. Esta es una mala consecuencia pues convierte al fregeanismo en una doctrina según la cual los pensamientos dirigidos a objetos o bien tienen un número infinito de objetos como contenido o ninguno. Esto muestra, contra los fregeanos, que los sentidos no pueden ellos mismos ser objeto del pensamiento. (shrink)

This article is an attempt to present Gödel's discussion on concepts, from 1944 to the late 1970s, in particular relation to the thought of Frege and Russell. The discussion takes its point of departure from Gödel's claim in notes on Bernay's review of ?Russell's mathematical logic?. It then retraces the historical background of the notion of intension which both Russell and Gödel use, and offers some grounds for claiming that Gödel consistently considered logic as a free-type theory of concepts, called (...) intensions, considered as the denotations of predicate names. (shrink)

It has been a vexing question in recent years whether concepts are fuzzy. In this paper several views on the fuzziness of concepts are pointed out to have stemmed from dubious concepts of fuzziness. The underlying notions of the roles feasibly played byprototype, set, andprobability in modeling concepts strongly suggest that the controversy originates from a vague relation between intuitive and mathematical ideas in the cognitive sciences. It is argued that the application of fuzzy sets cannot resolve this vagueness since (...) they are one sided,viz., defined on sets. An alternative definition based on classes (in the sense of axiomatic set theory) is proposed. (shrink)

The logic of singular terms that refer to nothing, such as ‘Santa Claus,’ has been studied extensively under the heading of free logic. The present essay examines expressions whose reference is defective in a different way: they signify more than one entity. The bulk of the effort aims to develop an acceptable formal semantics based upon an intuitive idea introduced informally by Hartry Field and discussed by Joseph Camp; the basic strategy is to use supervaluations. This idea, as it stands, (...) encounters difficulties, but with suitable refinements it can be salvaged. Two other options for a formal semantics of multiply signifying terms are also presented, and I discuss the relative merits of the three semantics briefly. Finally, possible modifications to the standard logical regimentation of the notion of existence are considered. (shrink)

Confused terms appear to signify more than one entity. Carnap maintained that any putative name that is associated with more than one object in a relevant universe of discourse fails to be a genuine name. Although many philosophers have agreed with Carnap, they have not always agreed among themselves about the truth-values of atomic sentences containing such terms. Some hold that such atomic sentences are always false, and others claim they are always truth-valueless. Field maintained that confused terms can still (...) refer, albeit partially, and offered a supervaluational account of their semantic properties on which some atomic sentences with confused terms can be true. After outlining many of the most important theoretical considerations for and against various semantic theories for such terms, we report the results of a study designed to investigate which of these accounts best accords with the truth-value judgments of ordinary language users about sentences containing these terms. We found that naïve participants view confused names as capable of successfully referring to one or more objects. Thus, semantic theories that judge them to involve total reference failure do not comport well with patterns of ordinary usage. (shrink)

Carl Hempel introduced what he called "Craig's theorem" into the philosophy of science in a famous discussion of the "problem of theoretical terms." Beginning with Hempel's use of 'Craig's theorem," I shall bring out some of the key differences between Hempel's treatment of the "problem of theoretical terms" and Carnap's in order to illuminate the peculiar function of Wissenschaftslogik in Carnap's mature philosophy. Carnap's treatment, in particular, is fundamentally antimetaphysical—he aims to use the tools of mathematical logic to dissolve rather (...) solve traditional philosophical problems—and it is precisely this point that is missed by his logically-minded contemporaries such as Hempel and Quine. (shrink)

We formulate a Curry-typed logic with fine-grained intensionality within Turner’s typed predicate logic. This allows for an elegant presentation of a theory that corresponds to Fox and Lappin’s property theory with curry typing, but without the need for a federation of languages. We then consider how the fine-grained intensionality of this theory can be given an operational interpretation. This interpretation suggests itself as expressions in the theory can be viewed as terms in the untyped lambda-calculus, which provides a model of (...) computation. (shrink)

Near the end of the last century, some legal philosophers adapted the so called causal theories of reference to solve internal problems in legal theory. Among those philosophers, Nicos Stavropoulos adjusted Hilary Putnam’s semantic externalism claiming it as a better philosophical view than legal positivism defended by Herbert Hart. According to him, what determines the correct application of a legal rule must be determined by the objects themselves. In that case, what determines the reference of legal terms is an issue (...) to be solved by the best theory developed. However, this is not the case necessarily: Hart’s model can reach to the same conclusions as an externalist adjustment of law. Furthermore, the epistemic criteria required by Putnam to deal with value judgements are also acceptable in a positivist model. This paper presents the central thesis of Putnam’s semantic externalism, with Stavropoulos adaptations to law, and defends that Hart’s approach to deal with legal rules and Putnam’s approach to deal with language rules can converge. (shrink)

It is acknowledged by proponents of the Artifactual Theory of Fiction that literary works sometimes involve real or immigrant characters. However, their conception of cross-fictional identity faces serious difficulties. In this paper, we set the problem in the context of a modal framework, in relation to quantification across a plurality of possible worlds. Quantification is explained in terms of Hintikka’s notion of world lines; i.e. the possible values of bound variables are individuals that are not reduced to their manifestations. We (...) finally offer another understanding of identity across weakly impermeable domains, in a way compatible with the Artifactual Theory of Fiction. (shrink)

In comparing classical and non-classical solutions to the semantic paradoxes arguments relying on strength have been influential. In this paper I argue that non-classical solutions should preserve the proof-theoretic strength of classical solutions. Leitgeb’s logic of HYPE is then presented as an interesting possibility to strengthen FDE with a suitable conditional. It is shown that HYPE allows for a non-classical Kripkean theory of truth, called KFL, that is strong enough for the relevant purposes and has additional attractive properties.

There is a well-known argument from Leibniz's Law for the view that coincident material things may be distinct. For given that they differ in their properties, then how can they be the same? However, many philosophers have suggested that this apparent difference in properties is the product of a linguistic illusion; there is just one thing out there, but different sorts or guises under which it may be described. I attempt to show that this ‘opacity’ defence has intolerable consequences for (...) the functioning of our language and that the original argument should therefore be allowed to stand. (shrink)

According to sententialism, ‘Otto said that I am a fool’ expresses the holding of a relation between Otto and the sentence ‘I am a fool’. Sententialism is generally considered doomed, but I will show that a suitably developed sententialist account can surmount the many objections that have been raised. I will also show how important it is to have a fairer attitude towards sententialism. For if sententialist accounts are recognised as real options, it should also be recognised that the conclusion, (...) drawn by many, that sentences such as the report above force us to introduce Kaplanian monsters is unwarranted. (shrink)

Propositional attitude sentences, such as (1) Pierre believes that snow is white, have proved to be formidably difficult to account for in a semantic theory. It is generally agreed that the that-clause ‘that snow is white’ purports to refer to the proposition that snow is white, but no agreement has been reached on what this proposition is. Sententialism is a semantic theory which tries to undermine the very enterprise of understanding what proposition is referred to in (1): according to sententialists, (...) in (1) reference is made to the sentence “Snow is white”. Sententialism is generally considered doomed. The two main reasons why are the famous translation argument, firstly suggested by Alonzo Church, and a problem raised by Stephen Schiffer. The purpose of this paper is to provide a unified solution to both criticisms. What I take to be the key ingredient sententialists may exploit is an observation that concerns the nature of languages and quotations: since quotation marks display the quoted material, if you are a speaker of the language the quoted material belongs to, you usually cannot but understand what is quoted. Moreover, I show that sententialists may appeal to that very observation also in order to answer another problem, pointed out by Kent Bach. I conclude that there are good reasons for resisting the temptation of introducing propositions in order to account for propositional attitude sentences. (shrink)

Mathematicians and physical scientists depend heavily on the formal symbolism of mathematics in order to express and develop their theories. For this and other reasons the last hundred years has seen a growing interest in the nature of formal language and the way it expresses meaning; particularly the objective, shared aspect of meaning as opposed to subjective, personal aspects. This dichotomy suggests the question: do the objective philosophical theories of meaning offer concepts which can be applied in psychological theories of (...) meaning? In recent years cognitive scientists such as Chomsky [1980], Fodor [1981] and MacNamara [1982] have used philosophical approaches to the meaning of formal language expressions as the basis for their psychological theories. Following this lead it seems appropriate to review some of the main treatments of meaning with a view to their transferability. (shrink)

Vernacularism is the view that logical forms are fundamentally assigned to natural language expressions, and are only derivatively assigned to anything else, e.g., propositions, mental representations, expressions of symbolic logic, etc. In this paper, we argue that Vernacularism is not as plausible as it first appears because of non-sentential speech. More specifically, there are argument-premises, meant by speakers of non-sentences, for which no natural language paraphrase is readily available in the language used by the speaker and the hearer. The speaker (...) can intend this proposition and the hearer can recover it (and its logical form). Since they cannot, by hypothesis, be doing this by using a sentence of their shared language, the proposition-meant has its logical form non-derivatively, which falsifies Vernacularism. We conclude the paper with a brief review of the debate on incomplete definite descriptions in which Vernacularism is assumed as a suppressed premise. (shrink)

Rudolf Carnap's 1930s philosophy of logic, including his adherence to the principle of tolerance, is discussed. What theses did Carnap commit himself to, exactly? I argue that while Carnap did commit himself to a certain multitude thesis—there are different logics of different languages, and the choice between these languages is merely a matter of expediency—there is no evidence that he rejected a language-transcendent notion of fact, contrary to what Warren Goldfarb and Thomas Ricketts have prominently argued. (In fact, it is (...) obscure just what Goldfarb and Ricketts claim about Carnap). Toward the end I critically discuss Michael Friedman's suggestion that Carnap believed in a relative a priori. (shrink)

Much contemporary ontological inquiry takes place within the so-called ‘Quinean tradition’ but, given that some aspects of Quine’s project have been widely abandoned even by those who consider themselves Quineans, it is unclear what this amounts to. Fortunately recent work in metaontology has produced two relevant results here: a clearer characterisation of the metaontology uniting the aforementioned Quineans, most notably undertaken by Peter van Inwagen, and a raft of criticisms of that metaontology. In this paper I critique van Inwagen’s Quinean (...) metaontology, finding that certain challenges, supplemented by pressure to reflect more closely Quine’s work, should drive Quineans to adopt a stronger metaontology incorporating more of Quine’s radical views. I conclude that while van Inwagen’s Quineanism is problematic there are prospects for a viable, more wholeheartedly Quinean, metaontology. (shrink)

Several recent discussions of metaphysics disavow existence-questions, claiming that they are metaphysically uninteresting because trivially settled in the affirmative by Moorean facts. This is often given as a reason to focus metaphysical debate instead on questions of grounding. I argue that the strategy employed to undermine existence-questions fails against its usual target: Quineanism. The Quinean can protest that the formulation given of their position is a straw man: properly understood, as a project of explication, Quinean metaphysics does not counsel us (...) to choose between obvious ordinary-language claims and absurd revisionist claims, even if appeal to Moorean facts is permitted. (shrink)

This paper deals with two issues. First, it identifies structured propositions with logical procedures. Second, it considers various rigorous definitions of the granularity of procedures, hence also of structured propositions, and comes out in favour of one of them. As for the first point, structured propositions are explicated as algorithmically structured procedures. I show that these procedures are structured wholes that are assigned to expressions as their meanings, and their constituents are sub-procedures occurring in executed mode. Moreover, procedures are not (...) mere aggregates of their parts; rather, procedural constituents mutually interact. As for the second point, there is no universal criterion of the structural isomorphism of meanings, hence of co-hyperintensionality, hence of synonymy for every kind of language. The positive result I present is an ordered set of rigorously defined criteria of fine-grained individuation in terms of the structure of procedures. Hence procedural semantics provides a solution to the problem of the granularity of co-hyperintensionality. (shrink)