This essay takes a critical look at Jonathan Berg’s theory of direct belief. Berg’s analysis of the concept of direct belief is considered insightful, but doubts are raised concerning his generalization of the purely extensional truth conditional semantics of direct belief ascription sentences to the truth conditional semantics of all belief ascription sentences. Difficulties are posed that Berg does not discuss, but that are implied by the proposal that the truth conditional semantics of belief ascription sentences generally are those of (...) direct belief ascription sentences, and that once mentioned must enter into an evaluation of the proposition that by implication all beliefs are direct. Another line of objection concerns Berg’s second main thesis that the pragmatics as distinct from the semantics of belief ascription sentences can explain away apparent substitution failure validity breakdowns in belief ascription sentences as inappropriate utterances according to rules of roughly Gricean conversational implicature, rather than correspondence or non-correspondence with the facts about such things as what it is that people actually believe. These two parts of Berg’s argument, that the truth conditional semantics of all belief ascription sentences are those exclusively of direct belief ascription sentences, and that apparent substitution failure is effectively salva propria rather than salva veritate, are explored within the general framework of Berg’s thought experiment, eventually arriving at diametrically opposed conclusions, reflecting on what we believe comic book character Lois Lane believes and does not believe about Superman, and what she believes and does not believe about Clark Kent. (shrink)

Many debates in philosophy of language are driven by examples in which two expressions have the same meaning, in some sense, yet fail of intersubstitutability in some of their occurrences. The usual move in response is to postulate a kind of meaning different from that which is shared by those two expressions. I argue that that the resulting semantic theories nevertheless typically cannot explain such failures: the explaining is not done entirely by the postulation and individuation of the new meanings. (...) It is done partly by accompanying metaphysical and epistemological claims about them. Making this clear requires distinguishing between intersubstitutability salva veritate and intersubstitutability on grounds of logical form, and getting straight on what kinds of facts secure the obtaining of each. (shrink)

This dissertation work is premised upon the observation that semantic information is required in order to group phonetically distinct word-tokens into phonemically equivalent word-types. For philosophers, like W. V. Quine, who have a dim view of meaning, this claim regarding the semantic basis of natural language phonology, if true, is problematic. This is why in a series of publications, Quine has attempted to avoid any appeal to semantics in his efforts to reconstruct phonemic word-type equivalence. Consistent with his rejection of (...) meaning-based analytic equivalence, Quine rejects a meaning-based account of basic phonological equivalence. However, given the empirical failures to "reduce the phoneme" to acoustic, phonetic, and/or distributional data within phonology---combined with the philosophical short-comings of a behavioral reduction---a consistent disavowal of meaning prohibits Quine from acknowledging the legitimacy of basic phonological equivalence anymore than he wishes to acknowledge the legitimacy of analytic equivalence. In this way, a consistent Quinean rejection of meaning entails not only a skeptical dismissal of analytic equivalence, but also a dismissal of basic phonological equivalence. ;Yet the observation that semantic information is required in order to group word-tokens into phonemic word-types also has a Fregean application. This is because the semantic information required to reconstruct basic phonology is not entirely intensional in character. In addition to typing word-tokens of various predicates in terms of properties, word-tokens of names must also be phonologically typed. So whereas Quineans reject synonymous substitutions because they are based upon meaning, Fregeans claim reference is insufficient to guarantee the substitution of co-referring names salva veritate. But if basic phonological substitutions among word-tokens are premised upon co-reference , a consistent rejection of co-naming substitutions within belief contexts also threatens the substitution of allophonically related word-tokens in belief contexts. The semantic basis of natural language phonemic categorization has a number of implications vis-a-vis contemporary philosophy of language. (shrink)

The Substitution Anomaly is the failure of intuitively coreferential expressions of the corresponding forms “that S” and “the proposition that S” to be intersubstitutable salva veritate under certain ‘selective’ attitudinal verbs that grammatically accept both sorts of terms as complements. The Substitution Anomaly poses a direct threat to the basic assumptions of Millianism, which predict the interchangeability of “that S” and “the proposition that S”. Jeffrey King has argued persuasively that the most plausible Millian solution (...) is to treat the selective attitudinal verbs as lexically ambiguous , having distinct meanings associated with the different sorts of complement terms. In opposition this approach, I argue that there are independent reasons for maintaining the univocality of these verbs and that this can be done while accommodating the Substitution Anomaly and without sacrificing the transparency of the relevant attitude ascriptions. In particular, I show how, by employing an extended version of Edward Zalta’s system of intensional logic for abstract objects, one can construct for a regimented fragment ℜ of English containing the relevant vocabulary a semantical theory ℑ which (a) treats ℜ’s selective attitudinal verbs as univocal, (b) regards genuine terms as occurring transparently under such verbs in sentences of ℜ, and yet (c) predicts the occurrence of the Substitution Anomaly in ℜ. (shrink)

This dissertation examines critically the assumptions of extensionalism and the traditional doctrine of substitutivity, according to which codesignativeness or coextensionality of terms should be a sufficient condition to guarantee intersubstitution of expression salva veritate. First, the discussion focuses on the traditional justifications of the extensionalist principles of substitutivity. The following alleged sources of support for extensionalism are examined: the claim that the extensionalist approach to substitutivity relies on fundamental principles outside the domain of semantics, like the Law of (...) Indiscernibility of Identicals and Leibniz's Law of Substitutivity; the assumption that all sentences that exhibit failures of substitutivity have in common a certain structure, that they include explicit or implicit intensional operators, which cause failures of substitutivity; the presumption that the extensionalist principles of substitutivity follow from a thesis of compositionality of meaning,according to which the meaning of a complex expression is determined by the meanings of its components and the mode of composition. Second, the intuitive foundations of a theory about the contributions of terms to the assertions expressed by uses of sentences are explored. I claim that this theory provides strong reasons to reject the extensionalist approach to substitutivity. (shrink)

 (e.g., Quine ), the main symptom of the unintelligibility of de re modal language is said to be the failure of coreferential “singular terms” to interchange salva veritate within the scope of modal operators. From this it is supposed to follow..

There are two major semantic theories of proper names: Semantic Descriptivism and Direct Reference. According to Semantic Descriptivism, the semantic content of a proper name N for a speaker S is identical to the semantic content of a definite description “the F” that the speaker associates with the name. According to Direct Reference, the semantic content of a proper name is identical to its referent. As is well known, Semantic Descriptivism suffers from a number of drawbacks first pointed out by (...) Donnellan (1970) and Kripke (1972).1 The first difficulty is semantic: in many cases, the definite description that S associates with N (if it denotes) denotes an entity other than the referent of N. The second difficulty is epistemic: in many cases, contrary to what Semantic Descriptivism predicts, an utterance of “N=the F” does not semantically express a proposition that is knowable a priori. And the third difficulty is modal: although Semantic Descriptivism entails that the proposition semantically expressed by an utterance of “N=the F” is metaphysically necessary, in many cases the relevant proposition is actually metaphysically contingent. Direct Reference faces three main difficulties of its own. First, there is the problem of cognitive significance (or, as it has come to be known, Frege’s Puzzle): if the content of a proper name is its referent, then different proper names have the same content, and hence utterances of “N=M” and “N=N” semantically express the same proposition; yet these two utterances differ in cognitive significance, and it would seem 1 that utterances semantically expressing the same proposition should not differ in cognitive significance. Second, there is the problem of substitution: if the content of a proper name is its referent, then co-referential proper names should be intersubstitutable in propositional attitude contexts salva veritate; yet linguistic intuitions suggest that substitution of co-referential proper names in such contexts often fails to preserve truthvalue.. (shrink)

An introduction to the "slingshot" argument in philosophy of language and metaphysics.

This paper has three modest aims: to present a puzzle, to show why some obvious solutions aren’t really “easy outs”, and to introduce our own solution. The puzzle is this. When it was small and had waterlogged streets, Toronto carried the moniker ‘Muddy York’. Later, the streets were drained, it grew, and Muddy York officially changed its name to ‘Toronto’. Given this, each premise in the following argument seems true. Yet the conclusion is a contraction. P1: Muddy York = Toronto (...) P2: Muddy York evolved into Toronto P3: The context “__ evolved into Toronto” is transparent, i.e., it allows substitution of co-referring singular terms P4: It’s not the case that Toronto evolved into Toronto C1: Toronto evolved into Toronto [By P1, P2 and P3] C2: Toronto both did and did not evolve into Toronto [By P4 and C1]. (shrink)

Teleological theories of content are thought to suffer from two related difficulties. According to the problem of indeterminacy, biological function is indeterminate in the sense that, in the case of two competing interpretations of the function of an evolved mechanism, there is often no fact of the matter capable of determining which function is the correct one. Therefore, any attempts to construct content out of biological function entail the indeterminacy of content. According to the problem of transparency, statements of biological (...) function are transparent in that a statement of the form 'the function of evolved mechanism M is to represent Fs' can be substituted salva veritate by a statement of the form 'the function of evolved mechanism M is to represent Gs' provided that the statement 'F iff G' is counterfactual supporting. Therefore, any attempt to construct content out of biological function must fail to capture the intensionality of psychological ascriptions. This paper argues that the teleological account is undermined by neither of these problems. Failure to appreciate this point stems from a conflation of two types of proper function - organismic and algorithmic - possessed by an evolved mechanism. These functions underwrite attributions of content to distinct objects. The algorithmic proper function of a mechanism underwrites attributions of content to the mechanism itself, while the organismic proper function of a mechanism underwrites attribution of content to the organism that possesses the mechanism. However the problems of indeterminacy and transparency arise only if the attributions of content attach to the same object. (shrink)

In recent literature on plurals the claim has often been made that the move from singular to plural expressions can be iterated, generating what are occasionally called higher-level plurals or superplurals, often correlated with superplural predicates. I argue that the idea that the singular-to-plural move can be iterated is questionable. I then show that the examples and arguments intended to establish that some expressions of natural language are in some sense higher-level plurals fail. Next, I argue that these and some (...) other expressions should instead be classified as plurals whose reference is articulated, an idea explained and elaborated in the paper. I also show that the related categories of plural and superplural predicates collapse to that of ordinary predicates. In the process we also see that the law of substitutivity salva veritate should be elaborated for cases involving expressions more complex than singular ones. (shrink)

Propositional attitude ascribing sentences seem to give rise to failures of substitution. Is this phenomena best accounted for semantically, by constructing a semantics for propositional attitude ascribing sentences that invalidates the Substitution Principle, or pragmatically? In this paper I argue against semantic accounts of such phenomena. I argue that any semantic theory that respects all our apparent substitution failure intuitions will entail that the noun-phrase position outside the scope of the attitude verb is not open to (...) substitution salva veritate, which is counter-intuitive. (shrink)

The semantic puzzles posed by propositional attitude contexts have, since Frege, been understood primarily in terms of certain substitution puzzles. We will take as paradigmatic of such substitution puzzles cases in which two coreferential proper names cannot be intersubstituted salva veritate in the context of an attitude verb. Thus, for example, the following sentences differ in truth value: (1) Lois Lane believes Superman can fly. (2) Lois Lane believes Clark Kent can fly. despite the fact that (...) "Superman" and "Clark Kent" pick out the same individual.1 Equivalently, the following sentence may be true: (3) Lois Lane believes that Superman can fly, but that Clark Kent cannot fly. despite the coreferentiality of the names. (It will at times be convenient to appeal to this conjunctive attitude report in order to fix a single context of utterance.) Substitution failures such as these create a puzzle when conjoined with the assumptions (a) that attitude reports report a binary relation between an individual and some object of that individual's attitude and (b) that that object of the attitude is determined by the content of the complement sentence in the attitude report. If all of the terms in two complement sentences (e.g., "Superman can fly" and "Clark Kent can fly") have the same semantic content, then, prima facie, they ought to generate the same object of believe and, a fortiori, materially equivalent attitude reports. Frege, famously, attempts to defuse the puzzle by positing a semantic value of sense in addition to that of reference, and thereby distinguishing the semantic contents of the two complement sentences. (shrink)

Fregeans and Russellians defend different conceptions on the truth-conditions of reports of attitude ascriptions. Very often, they appeal to our intuitions and to pragmatic aspects to support their view. In this paper I propose a principle of adequacy of attitude-ascriptions. In the first section, I review the old puzzle concerning the failure of the principle of substitution salva veritate in attitude ascriptions. In the second section, I present my principle, which is based on the claim that (...) by choosing a designator for an attitude-ascription a competent speaker is usually oriented by her supposition of the hearer’s epistemic state concerning the referent. In section 3, I apply my conception to some traditional tricky examples of attitude ascriptions in the literature. In section 4, I argue that even in non-standard situations (e.g. context of irony) a competent speaker must take into account the hearer’s epistemic state. Then, in the fifth section I suggest a consequence of my proposal for the discussion on exportation. Finally, in the concluding remarks I sketch some thoughts about the possibility of extending my pragmatic proposal to a semantic account of the truth-conditions of attitude-ascriptions. Keywords: Attitude ascriptions, exportation, contextualism, pragmatic adequacy. (shrink)

Several attempts have been made by direct reference theorists to accommodate the intuitive datum of referential opacity—the failure of co-referential proper names to substitute salva veritate for one another within the embedded ‘that’-clauses of attitude ascription sentences. The theory advocated by Nathan Salmon in his 1986 book Frege’s Puzzle is probably the best worked out version of what is referred to below as ‘The Implicature Theory’. Salmon claims that referential opacity is an illusion brought about by our (...) failure to distinguish the semantic content of attitude ascriptions from their ‘pragmatic impartations’, as Salmon calls them. Regrettably, his work leaves it entirely mysterious how the relevant pragmatic impartations are routinely conveyed. Salmon vaguely suggests that Gricean conversational implicatures are involved. My central claim in this paper is that Salmon is mistaken, since the pragmatic impartations required by his theory do not satisfy the criterion of cancelability, which is met whenever a genuine conversational implicature occurs. The argument in question is, to the best of my knowledge, original with me. (shrink)

Intensional contexts are typically characterised by an apparent failure of either (A) the principle of the inter-substitution of co-referring terms salva veritate, or (B) existential generalisation. The difficulties which are seen to occur do so in contexts involving either modality or the propositional attitudes. In this paper attempts are made to determine whether or not Scheffler’s inscriptional analysis can provide a viable means of accounting for the problems which are thought to occur in intensional contexts. Somewhat (...) unexpectedly, little effort has been made in the past to address this issue. In this paper it is shown that Scheffler’s theory may be employed to account for the difficulties mentioned above, though further work needs to be done to show precisely how his analysis may be adapted so as to handle modal statements. Popular objections to Scheffler’s inscriptionalism are also addressed, particularly in the light of his theory being used to account for the problems of intensionality. It is found that, with certain qualifications, the aforesaid objections do not show Scheffler’s theory to be an unviable means of accounting for the intensionality problems. (shrink)

One of the many important tasks of semantics is to provide an account of the substitution patterns of a language—that is, to furnish an explanation of the conditions under which semantic values of complexes are preserved when components are replaced. The importance of this issue is plain: we only have to recall the debates regarding substitutivity between proponents of direct reference theories and advocates of some version of Fregeanism, as well as the disagreements among different proponents of direct reference (...) theories as regards substitutivity in belief reports. This is why it is important to articulate an acceptable principle of substitution. A traditional statement of the principle of substitution holds that codesignative singular terms should be intersubtitutable salva veritate. In the past I have argued that such a principle is not connected properly to some pretheoretical data about the function of referring terms. In this chapter I argue that such a principle does not gain support either from other, more fundamental, laws. I end by defending the adequacy of a different principle of substitution. (shrink)

It is shown that typical arguments from intensionality against the Principle of Indiscernibility of Identicals (InI) misconstrue this principle, confusing it with the Principle of Substitution (PS). It has been proposed that Leibniz, in his statements like, "If A is the same as B, then A can be substituted for B, salva veritate, in any proposition", is not applying InI to objects nor PS to signs, but is talking about substitution of concepts in propositions, or applying (...) InI to concepts. It is shown in the paper that since Leibniz holds that there are exceptions to the principle thus stated, either the proposal in question is misguided, or else Leibniz is mistaken in thinking that there are such exceptions. (shrink)

The particular problem which will concern us here is raised by "Leibniz's Rule": Eadem sunt quorum unum in alterius locum substitui potest, salva veritate. The puzzle arises from the following inference.

In lieu of an abstract, here is a brief excerpt of the content:TRANSCENDENT MAN IN THE LIMITED CITY: THE POLITICAL PHILOSOPHY OF CHARLES N. R. McCOY ]AMES v. SCHALL, S.J. Georgetown University Washington, D. C. The history of political philosophy since the time of St. Thomas has been a history of successive failures to relate ethics to politics and of successive attempts to find a substitute for theology, either in politics itself... or in economics.... Men are today oppressed by false (...) theologies erected into political systems, and those who are not so oppressed are in risk of becoming so oppressed by an intellectual and moral inability to defend themselves. St. Thomas's political science will not give us the answers to problems of hydro-electric development or technological unemployment ; but it will give us the answer to the most vital of contemporary problems: how to secure the rational foundations of humane living. -Charles N. R. McCoy," St. Thomas and Political Science." 1 I IN WRITING ABOUT the small but rich corpus in political philosophy by Charles N. R. McCoy, the temptation is almost irresistible to call it, wittily, " The Real McCoy," or, more academically, a theoretic essay on the reasons for our " intellectual and moral inability to defend ourselves." The kind of being we are, no doubt, needs defense, needs an explication that justifies its unique givenness. Charles N. R. McCoy is not generally wellknown, though he has a small and (one hopes) growing number of admirers. The very cultural unlikelihood of his central theme, 1 On the Intelligibility of Political Philosophy: Essays of Charles N. R. McCoy, edited by James V. Schall, S.J. and John J. Schrems (Washington: Catholic University of America Press, 1989), p. 38. 63 64 JAMES V. SCHALL, S.J. which 1s m no sense Hegelian, that there is indeed a coherent philosophical intelligibility-a "structure "-to political philosophy, makes his work both unique, profoundly appealing, and perhaps even prophetic. McCoy was concerned to explain the transcendence of each person, each citizen, beyond the city, indeed beyond this world, without denying his exact political nature and the reasons for its limits. Man was both a political and a philosophical animal to whom more than either politics or philosophy was given. The dignity of the city was essentially revealed in its limits, in what good it could do with its own means while leaving other admitted goods untouched, in what questions it could legitimately bring up because of its experienced life, but still could not answer by itself. On reading him carefully in one's own pursuit of philosophic wisdom in an age replete with sundry mental and moral confusions, it is tempting to affirm that, at last, in political philosophy here is found a body of reflection which is indeed " the real McCoy." Here is a consistent examination of philosophic principle that accounts for the contours of the whole of the discipline in its most radical origins and clearest limits. McCoy's "reality" does not, to be sure, exist for most of the political science profession itself nor for Christian thinkers in the field of political thought. This situation is unfortunate on both counts. Political philosophy, for its part, has pursued in modern times the line of its own autonomy in rejecting the great tradition which affirmed the limited place of politics in the order of being, its position as a practical, not speculative science. Theology-itself seeking relevance in lieu of transcendence-has largely imitated this modern turn in political thought. The crisis in theology is, more than anything else, the result of a crisis in political philosophy, its evolution in modernity. Thus in a discipline in which so many of the ultimate human issues are either not confronted at all or are at best confused, in a theological environment which is itself largely infected with the theoretical deviations McCoy chronicled, this benign neglect of his work may turn out to be an advantage. McCoy's independence of these ideological movements, grounded POLITICAL PHILOSOPHY OF CHARLES N. R. MC COY 65 as it is in the philosophical tradition from which these movements systematically deviated, provides a new and fresh way of coming to terms with the meaning of political philosophy itself. In a spirit of... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 41.3 (2003) 416-417 [Access article in PDF] Jean-Baptiste Rauzy. La Doctrine leibnizienne de la vérité. Aspects logiques et ontologiques. Paris: Vrin, 2001. Pp. vii + 353. Paper, FF 170,55.This important book provides a reappraisal of Leibniz's philosophy of logic and epistemology based on a close scrutiny of the recently edited manuscripts in the Akademie-Ausgabe, and a reconstitution of Leibniz's sequential investigations. The author (...) displays an exceptional knowledge of the Leibnizian corpus, the ancient and medieval sources for the various doctrines he analyzes, and the contemporary issues underpinning Leibniz's investigations. He aims at rectifying misconceptions that stemmed originally in Couturat's La Logique de Leibniz (1901) and have since affected several studies. Three methodological statements set the ground for Rauzy's analysis: (1) Leibniz's notion of truth concerns in unified fashion all the elements of discourse: terms, concepts, and propositions. (2) Leibniz did not restrict his doctrine of truth to consistency relations, but yielded a complex, well-articulated conception of truth as correspondence, as evidenced in New Essays on Human Understanding, IV, v, sect. 11; yet, at the same time, his doctrine focused on conceptual relations which specify an order of reasons deserving to be analyzed for their own sake: "Dans la doctrine leibnizienne de la vérité, l'adaequatio rei constitue encore le cadre général en dehors duquel le prédicat de vérité n'a pas de sens. Mais les concepts et les liaisons conceptuelles donnent désormais la raison pour laquelle telle phrase particulière est vraie..." (47). And (3) one should resist attributing to Leibniz a purely syntactic conception of truth since the semantic dimension of his logical analyses deserves to be reconstituted and due consideration should be given to the evolution of his thoughts on central philosophical issues, which occasioned significant variations in the elements and formulas of his calculus rationis.It is merely possible to render the rich contents of the book by mentioning some of its more striking features. In Chapter 1, the inesse principle (Praedicatum inestsubjecto) is shown to serve grammatical, logical, and conceptual functions. The doctrine of expression is finely analyzed: expression is shown to provide the major translation tool between characters and thoughts and to condition the combinatorial treatment of rational discourse. In Chapter 2, the distinction between concept and object is shown to involve some relativity, even if the understanding of complete notions is supposed to entail real knowledge of the corresponding realities. Leibniz is thus justified to represent the manifold of ontological relations, including the requisites of actual existence, in a tentatively unified logical way: "Que [End Page 416] l'existence soit une propriété relationnelle complexe, conçue tantôt par la relation de compatibilité, tantôt par une relation à l'esprit en général—et éventuellement [...] par un mixte des deux—n'interdit nullement de maintenir que la vérité de toutes les propositions dépend de relations conceptuelles" (124-5). In Chapter 3, the project of a calculus based on concepts is shown to entail a special relation, hardly dealt with in the literature, between intension and extension (cf. for instance New Essays, IV, xvii, sect. 8). Rauzy reassesses in particular Leibniz's critical revision of nominalism and of inductive procedures as these require universal propositions to ground rational presumptions. The extensional notion of class is considered an abstraction: a class presupposes therefore the extension of a concept in order to become an object of thought. The principle of conceptual inherence requires to be interpreted as stating the equipollence between the requisites of subject and predicate; if such an equipollence may be reached a priori in exceptional cases, most of the time it will require various kinds of additions and derivations to yield sufficient congruence between the related terms. Chapter 4 is devoted to substitutions, more precisely to the theory of definition and the context, at once logical and discursive, from which a potential Leibnizian theory of communication might be derived. Rauzy notes that substitutive equivalences... (shrink)

Quantum logic as genuine non-classical logic provides no solution to the "paradoxes" of quantum mechanics. From the minimal condition that synonyms be substitutable salva veritate, it follows that synonymous sentential connectives be alike in point of truth-functionality. It is a fact of pure mathematics that any assignment Φ of (0, 1) to the subspaces of Hilbert space (dim. ≥ 3) which guarantees truth-preservation of the ordering and truth-functionality of QL negation, violates truth-functionality of QL ∨ and $\wedge $ (...) . Thus, from within both the classical framework and that of any QL that preserves elementary set theory, two distinct (nonsynonymous) sets of connectives are discernible. Classical derivations of QM paradoxes are all available unless the language of QM is not classically closed. Maintaining this requires a strong and selfdefeating verification theory of meaning, the philosophical cornerstone of the Copenhagen interpretation to which QL was to provide an alternative. (shrink)

It is natural to assume that knowledge, like belief, creates a hyperintensional context, that is, that knowledge ascriptions do not allow for substitution of necessarily equivalent prejacents salva veritate. There exist a variety of different proposals for modelling the phenomenon. In the last years, the topic-sensitive approach to the hyperintensionality of knowledge has gained considerable traction. It promises to provide a natural account of why knowledge fails to be closed under necessary equivalence in terms of differences in (...) subject matter. Here, we argue that the topic-sensitive approach, as recently put forward by Franz Berto, Peter Hawke, Aybüke Özgün, and others, faces formidable problems. The root of these problems lies in the approach’s prediction that a mere grasp of subject matter may help to provide insights into necessary implications that it would seem to require more substantive epistemic work to gain. (shrink)

Semantics in the Montagovian tradition combines two basic tenets. One tenet is that the semantic value of a sentence is an intension, a function from points of evaluations into truth-values. The other tenet is that the semantic value of a composite expression is the result of applying the function denoted by one component to arguments denoted by the other components. Many philosophers object to intensional semantics on the grounds that intensionally equivalent sentences do not substitute salva veritate into (...) attitude ascriptions. They propose instead that the semantic values of sentences must be structured propositions. In rejecting intensional semantics, philosophers who endorse structured propositions also usually reject functional compositionality, undermining both tenets of the Montagovian programme. I defend a semantic theory that incorporates both structured propositions and functional compositionality. I argue that this semantic theory can preserve many explanatory benefits of Montague semantics. Finally, I show how treating composition functional application can resolve core problems internal to a theory of structured propositions. (shrink)

In the first chapter I have introduced Carnapian intensional logic against the background of Frege's and Quine's puzzles. The main body of the dissertation consists of two parts. In the first part I discussed Carnapian modal logic and arithmetic with descriptions. In the second chapter, I have described three Carnapian theories, CCL, CFL, and CNL. All three theories have three things in common. First, they are formulated in languages containing description terms. Second, they contain a system of modal logic. Third, (...) they do not contain the unrestricted classical substitution principle, but they do contain the classical substitution principle restricted to non-modal formulas and the Carnapian substitution principle, which says that two terms can be substituted salva veritate if they are necessarily coreferential. There are two major differences between the three theories. First, CCL and CFL allow universal instantiation with description terms, whereas CNL does not. Moreover, the quantificational theory of the CCL is classical, whereas the quantificational theory of CFL is a free logic. Another difference is that CCL and CFL contain different description principles. Most importantly, the description principle of CCL ensures that even improper descriptions have a denotation, whereas the description principle of CFL does not guarantee this. CNL does not have a description principle. In the third chapter, I have studied collapse arguments for CCL, CFL, and CNL. A collapse argument is an argument for the following statement: if p is true, then it is necessarily true. A crucial role in the proofs of these collapse results was played by so-called self-predication principles, which say that under certain conditions the predicate that expresses the descriptive condition can be combined by the description term formed out of that predicate with the result being a true sentence. In this chapter I have discussed a collapse argument for the extension of CCL with a self-predication principle, I have given a collapse argument for a similarly extended CFL, and most importantly, I have given a collapse argument for the extension of CNL with a self- predication principle. Finally, I have argued that the relevant self-predication principles are unsound under a Carnapian interpretation. In the fourth chapter, I have studied the extension of Peano Arithmetic with a Carnapian modal logic C, which is a dummy letter standing for either CCL or CFL. One can prove that the principle of the necessity of identity is a theorem of CPA. This implies that one gets a collapse result for CPA. The standard principle of weak induction was crucial for the proof. One can also prove that, if one assumes a particular self-predication principle, and if one assumes the principle of strong induction or, equivalently, the least-number principle, then one gets a partial collapse of de re modal truths in de dicto modal truths. I have argued that, if the box operator is interpreted as a metaphysical necessity operator, then Platonists would not be inimical to the collapse result. But if CPA is extended with a physical theory, then there is a threat that physical truths become physical necessiti es. It was shown that, under a Carnapian interpretation, the standard principle of weak induction is unsound, and that it can be replaced by a Carnapian principle of weak induction that is sound. The problem of logical and mathematical omniscience prevents ordinary Carnapian intensional logic from being taken seriously as a logic adequate for describing the principles of demonstrability. Yet many of the proof-theoretic results of the first part carry over to the part on Carnapian epistemic arithmetic with descriptions, since proof-theoretic results are independent of the informal reading of the operators. In the fifth chapter, I looked at extensions of arithmetic with a modal logic in which the box operator is interpreted as a demonstrability operator. A first extension in that sense is Shapiro s Epistemic Arithmetic. Shapiro himself offered the problem of mathematical omniscience as a reason why it is difficult to find a model theory for EA. Horsten attempted to provide a model theory via the detour of Modal-Epistemic Arithmetic. The attention of the reader was drawn to an incoherence in the model theory of. Two alternative solutions were presented and, after a short discussion of the problem of de re demonstrability one of those alternatives was chosen. The discussion of the problem of de re demonstrability made it clear that it would be interesting to study the epistemic properties of notation systems. Horsten himself provided a framework for this, viz. Carnapian Epistemic Arithmetic, and he started a systematic study of the epistemic properties of notation systems within that framework. However, he did not provide non-trivial but adequate models. To make a start with solving the problem of finding good models for CEA, I introduced Carnapian Modal-Epistemic Arithmetic In constructing CMEA I incorporated the lesson about the principle of weak induction learnt in the fourth chapter. In the sixth chapter, I gave a critical assessment of an argument concerning the limits of de re demonstrability about the natural numbers. The conclusion of the Description Argument is that it is undemonstrable that there is a natural number that has a certain property but of which it is undemonstrable that it has that property. A crucial step in the Description Argument involved a self-predication principle. Making good use of one of the results obtained in the third chapter, I proved a collapse result for the background theory against which the Description Argument was formulated. I concluded that either the either the Description Argument is sound but its conclusion is trivial, o r the Description Argument is unsound, or it is a cheapshot. As an appendix I included an article co-authored by prof. dr. Leon Horsten and me. The topic of the article is indirectly related to some other topics investigated in my dissertation. Also, it backs up one of the addition al theses I might be asked to publicly defend during my doctoral exam. T he topic of the appendix is the set of the so-called paradoxes of strict implication. Jonathan Lowe has argued that a particular variation on C.I. Lewis notion of strict implication avoids the paradoxes of strict implication. Pace Lowe, it is argued that Lowe s notion of implication does not achieve this aim. Moreover, a general argument is offered to the effect that no other variation on Lewis notion of constantly strict implication describes the logical behaviour of natural language conditional s in a satisfactory way. (shrink)

The „Paradox of the Concept Horse" arises on the assumption of the Reference Principle: that co-referential expressions should be cross-substitutable salva veritate in extensional contexts and salva congruitate in all. Accordingly no singular term can co-refer with an unsaturated expression. The paper outlines a number of desiderata for a satisfactory response to the problem and argues that recent treatments by Dummett and Wiggins fall short by their lights. It is then pointed out that a more consistent perception (...) of the requirements of the Reference Principle leads not to the Paradox but to the result that Frege had no business extending the notion of Bedeutung to unsaturated expressions in the first place. Rather the relation between, e.g., predicates and the entities that comprise the range of higher-order logical variables must be logically unlike that between singular terms and their referents; the way is therefore opened for singular terms to refer to entities of the former kind after all. The Concept Horse is a concept (and a Fregean object too.). (shrink)

I defend a metalinguistic account of Mates's puzzle: sentences where synonymous expressions cannot be substituted salva veritate. If Andrea thinks that attorneys are different from lawyers, and she thinks that Fiona is the former but not the latter, we may hesitate to substitute ‘lawyer’ for ‘attorney’ in ‘Andrea believes that Fiona is an attorney’, even though ‘lawyer’ and ‘attorney’ are synonymous. I argue that these sentences report de re beliefs about linguistic expressions, thereby blocking such substitutions, and I (...) offer a compositional derivation of their meaning. (shrink)

Structured propositions are often invoked to explain why intensionally equivalent sentences do not substitute salva veritate into attitude ascriptions. As the semantics is standardly developed—for example, in Salmon, Soames :47–87, 1987) and King :516–535, 1995), the semantic value of a complex expression is an ordered complex consisting of the semantic values of its components. Such views, however, trivialize semantic composition since they do not allow for independent constraints on the meaning of complexes. Trivializing semantic composition risks “trivializing semantics” (...) Semantics versus pragmatics, Oxford University Press, Oxford, 2005). Yet, proponents of structured propositions suggest a route to reimpose substantive compositionality. While the mapping from a sentence to the structured proposition it expresses is trivially compositional, there is a non-trivial mapping from the structured proposition to its truth-value. This non-trivial level of semantic composition allows the meanings assigned to complex expressions to impose substantive constraints on the meanings of the simple ones. I first articulate the basic desiderata: an account of structured propositions capable of explaining attitude attributions and of delivering a non-trivially compositional semantics. I then show that the two-stage semantics proposed by standard proponents of structured propositions does not satisfy these joint goals. (shrink)

The phenomenon of quantification into attitude ascriptions has haunted broadly Fregean views, according to which co-referential proper names are not always substitutable salva veritate in attitude ascriptions. Opponents of Fregeanism argue that a belief ascription containing a proper name such as ‘Michael believes that Lindsay is charitable’ is equivalent to a quantified sentence such as ‘there is someone such that Michael believes that she is charitable, and that person is Lindsay’. They conclude that the semantic contribution of a (...) name such as ‘Lindsay’ is the same as the semantic contribution of a variable under an assignment, which these opponents suggest is merely the object assigned to that variable. However, renewed interest in variables suggests that they make a more complicated contribution to the semantic processing of sentences that contain them. In particular, a variable contributes both an assignment-unsaturated and an assignment-saturated semantic value. I use this dual role of the semantics of variables to develop a response to the argument from quantifying in. I take as my point of departure Cumming's () view that an attitude ascription relates the subject of an attitude to the assignment-unsaturated semantic value of an open sentence. I argue that this approach fails. I propose an alternative, according to which the truth of a belief ascription depends on both the assignment-saturated and the assignment-unsaturated semantic value of the open sentence in its that-clause. This approach reverses standard assumptions concerning the relation between quantification and substitution. (shrink)

Some of the concerns which motivate attempts to provide a philosophical reduction of nomological necessity are briefly introduced in I. In II, Hempel's treatment of the paradoxes is contrasted with a position which holds that nomological necessity is a pragmatic dimension of laws of nature, and that this pragmatic dimension is of such a type that it prevents laws of nature from contraposing. Such a position is, however, untenable unless (i) the sense of 'pragmatics' at issue is specified, and the (...) possibility of pragmatic differences resulting in differences in confirmation is defended, and (ii) a relevant pragmatic difference between contrapositives is indicated. III attempts to satisfy condition (i) by developing a new sense of pure pragmatics and argues that some remarks by Goodman and Scheffler together with work on the logic of explanation by Dr. Rescher and myself suggest that nomological contrapositives are not pragmatically equivalent (i.e. substitutable salva veritate in the pure pragmatics of an ideal scientific language). If such is the case, condition (ii) is also satisfied. (shrink)

Many expressions intuitively have different epistemic and modal profiles. For example, co-referring proper names are substitutable salva veritate in modal contexts but not in belief-contexts. Two-dimensional semantics, according to which terms have both a so-called primary and a secondary intension, is a framework that promises to accommodate and explain these diverging intuitions. The framework can be applied to indexicals, proper names or predicates. Graeme Forbes argues that the two-dimensional semantics of David Chalmers fails to account for so-called nested (...) contexts. These are linguistic contexts where a sentence is embedded under both epistemic and modal operators. Chalmers and Rabern suggest a two-dimensional solution to the problem. Their semantics solves the nesting-problem, but at the cost of invalidating certain plausible principles. We suggest a solution that is both simpler and avoids this cost. (shrink)

Co-hyperintensionality, or hyperintensional equivalence, is a relation holding between two or more contents that can be substituted in a hyperintensional context salva veritate. I argue that two strategies used to provide criteria for co-hyperintensionality fail. I argue that there is no generalized notion of co-hyperintensionality that meets plausible desiderata, by showing that the opposite thesis leads to falsity. As a conclusion, I suggest to take co-hyperintensionality as a primitive and I provide a general criterion of co-hyperintensionality whose content (...) depends on each hyperintensional notion we aim to formalize. (shrink)

Framing effects occur when different descriptions of the same decision problem give rise to divergent decisions. They can be seen as a violation of the decisiontheoretic version of the principle of extensionality (PE). The PE in logic means that two logically equivalent sentences can be substituted salva veritate. We explore what this notion of extensionality becomes in decision contexts. Violations of extensionality may have rational grounds. Based on some ideas proposed by the psychologist Craig McKenzie and colleagues, we (...) contend that framing effects are justified when the selection of one particular frame conveys choice relevant information. We first discuss this idea from a philosophical point of view, and proceed next to formalize it first in the context of the Bolker–Jeffrey decision theory. Finally, we extend the previous analysis to non-expected utility theories using the Biseparable Preference model introduced by Ghirardato and Marinacci (2001) and therefore show that the analysis is independent of the assumptions of Bayesian decision theory. (shrink)

I defend the thesis that identification-free self-reference is immune to error through mis-identification because even though self-reference and self-identification are distinct, they are not separable. This provides a critique and a reductio of Carol Rovane’s neo-Lockean analysis of ‘I’ in terms of a definite description, since no definite description or proper name can be substituted salva sensu or salva veritate for the singular term ‘I’. Furthermore, I distinguish between self-identification and self-ascription, and argue that even if there (...) may be an error in self-ascription, the self-identification component – that is, the reference and identity of ‘I’ – remains unshaken. There is no way of losing track of the subject in ‘I’-thoughts, since there is no way of forming dynamic Fregean thoughts. I conclude by arguing that one’s capacity to think of oneself self-consciously is not exhausted by the presence or absence of linguistic devices such as ‘I’. Rather, it has to do with the metaphysics concerning the nature of the self. (shrink)

Referentialism is the view that all there is to the meaning of a singular term is its referent. Referentialism entails Substitutivity, i.e., that co-referring terms are intersubstitutable salva veritate . Frege's Paradox shows that Referentialism is inconsistent given two principles: Disquotation says that if S assents to 'P', then S believes that P, and Consistency says that if S believes that P and that not-P, then S is not fully rational. Kripke's strategy was to save Substitutivity by showing (...) that those intuitively plausible principles already led to paradox. I argue that this generalising strategy fails. The Descriptivist, who thinks that a singular term has descriptive meaning, will reject Substitutivity in Frege's Paradox, and deny that Consistency finds application in Kripke's Paradox. The Referentialist, however, may reject Consistency: if the logical properties of the contents of S's beliefs are not reflectively accessible, then S can hold contradictory beliefs without being irrational. Even if successful against Frege's and Kripke's Paradox, this response is ineffective against a strengthened version of the former which rests on Disquotation and Substitutivity, and a strengthened version of the latter which rests only on Disquotation. (shrink)

Let us call a sentential context semantically transparent if and only if all synonymous expressions are substitutable for one another in it salva veritate. A sentential context is semantically opaque if and only if it is not semantically transparent. Nathan Salmon has boldly advanced a refreshingly crisp theory according to which belief contexts are semantically transparent.1 If he is right, belief contexts are much better behaved than widely suspected.2 Impressive as it is, I do not believe that Salmon's (...) theory is completely satisfactory. I shall not try to refute his theory, however. My aim is more modest. It is to show that his theory, in conjunction with a number of auxiliary but important claims he makes to buttress the theory, seems to lead to semantic opacity of belief contexts. (shrink)

The correspondence theory of truth holds that each true sentence corresponds to a discrete fact. Donald Davidson and others have argued (using an argument that has come to be known as the slingshot) that this theory is mistaken, since all true sentences correspond to the same “Great Fact.” The argument is designed to show that by substituting logically equivalent sentences and coreferring terms for each other in the context of sentences of the form ‘P corresponds to the fact that P’ (...) every true sentence can be shown to correspond to the same facts as every other true sentence. The claim is that all substitution of logically equivalent sentences and coreferring terms takes place salva veritate. I argue that the substitution of coreferring terms in this context need not preserve truth. The slingshot fails to refute the correspondence theory. (shrink)

According to a Millian theory of names, co-referring names are intersubstitutable salva veritate in all contexts, including the that-clauses of belief reports. This leads the Millian to famously argue, among other things, that if Lois Lane believes that Superman can fly then she also believes that Clark Kent can fly. Although the Millian provides an ingenious account that explains our strong anti-substitution intuitions in such cases, this paper argues that the Millian account leads to a new problem (...) of enlightenment in identity reports. Specifically, a believer A may come to discover that two names refer to the same individual S, but whether A is enlightened about the identity of S will depend on the number of guises through which A holds contradictory beliefs about S. (shrink)

My general contention is to defend the compositional principle of meaning--that the meaning of a complex expression is a function of the meanings of its parts --with respect to belief contexts, which do not always appear to allow salva veritate substitutivity of synonyms. I argue that this appearance is an illusion which results from confusing beliefs that are not about linguistic expressions with beliefs that are about linguistic expressions. In doing so, I invoke and elaborate the Gricean distinction (...) between what a sentence means and what the speaker means in using the sentence. (shrink)

One of the issues that has been hotly discussed in connection with the direct designation theory is whether or not coreferential names can be substituted salva veritate in epistemic contexts. Some direct designation theorists believe that they can be so substituted. Some direct designation theorists and all Fregeans and neo-Fregeans believe that they cannot be so substituted. Fregeans of various stripes have used their intuition against free substitution to argue against the direct designation theory. Some direct designation (...) theorists have used the same intuitions to argue against the view that belief reports of simple declarative sentences can be accounted for with singular propositions. This paper has two main goals; first, to show that the discussion of the issue has tended to treat all epistemic contexts equally, and second, to argue that we should not treat substitutions in contexts that involve justification (and hence knowledge) in the same way as we treat substitution in simple belief contexts, i.e., contexts that just involve the belief relation. (shrink)

As first pointed out by Saul, the co-referential names in sentences like and defy substitution _salva veritate_: Clark Kent went into the phone booth, and Superman came out. I never made it to Karl-Marx-Stadt, but I visited Chemnitz last year. This paper elaborates and compares two solutions to Saul's substitution problem, both of which turn on an asymmetry between names that share their bearers. According to the first solution there is a semantic distinction between neutral names and restricted (...) names. According to the second solution, only neutral names are properly used, whereas the use of restricted names involves code-switching and pragmatic re-interpretation. As it turns out, the semantic approach deals more easily with changing names as in, whereas the pragmatic account is more adequate in explaining hidden identity cases like. (shrink)

Bernard Bolzano offers a criterion of individuation for ideas, according to which ideas are distinct if and only if they represent different objects or are composed differently. It fails to individuate ideas that are both simple and fail to represent, in particular syncategorematic ideas and logical constants. However, Bolzano also provides the means to close this gap. He suggests that we can distinguish ideas if they are not substitutable for each other in propositions, which we can, in turn, distinguish in (...) terms of their truth-values. This paper explicates this suggestion and develops it into an improved individuation criterion for ideas: ideas also are distinct if we cannot replace them for one another in propositions salva veritate. (shrink)

The paper deals with Leibniz’s ontology and the metaphysics of the aggregate. Concerning the ontology of aggregates, the main aim is to provide _a new argument_ in favor of the claim that an aggregate and its constituents have the same ontological import. This argument takes the form of a weakening of a principle known in the contemporary literature of mereology as ‘composition as identity’ (CAI). The paper shows that Leibniz’s nominalism toward aggregates is a direct consequence of two elements: the (...) way in which he considers the relationship between aggregates and their constituents in his logical calculus; and his theory of identity (and more generally, equivalence relations) as providing us with the ground for substitution _salva veritate_. It is concluded that Leibniz is committed to a principle that the author dubs Ontological-CAI: the aggregate/whole is _ontologically identical_ (i.e. it has the same ontological import) as its constituents/parts. Concerning the metaphysics of aggregates, the paper outlines in what sense aggregates are grounded on their constituents: arguing that Leibniz is committed to a further principle that the author calls Metaphysical-CAI: the aggregate/whole is _metaphysically grounded_ on its constituents/parts. From this it can be understood in which sense Leibniz could be considered a mereological nihilist, and in which sense not. The paper also sets out two different and competing readings of Metaphysical-CAI, and argues that Leibniz accepted both of them by interpreting them as different levels of explanation of the nature of aggregates. (shrink)

Kripke's puzzle is an old and familiar story. It was put forward in Kripke's 'A puzzle about Belief.'[1979] But even today it still has such a charm that people are drawn to it time and time again. In this paper I shall use his puzzle as the stepping stone for developing a new description theory of proper names. Kripke tries to defend his direct reference theory against the charge that it cannot explain the role of proper names in an epistemic (...) context (such as belief, thought, etc.). There are many famous puzzles involving substitution salva veritate for different names of the same referent, and the description theory can easily dissolve them by suggesting that different names have different senses. These puzzles were considered to be defeating the direct reference theory of proper names. Kripke thus tries to demonstrate a similar puzzle that does not involve different names, and thus does not involve different senses. Using his principle of disquotation and principle of translation,1 Kripke presents a puzzle which involves a Frenchman Pierre who is attributed the following set of beliefs: (1) Pierre believes that London is pretty. (2) Pierre believes that London is not pretty. According to Kripke, the two belief reports attribute a contradiction to Pierre, even though Pierre himself cannot be interpreted as being inconsistent.2 Kripke also discusses another puzzle which invokes only the principle of disquotation and no translation is involved. This is the example of Peter’s two beliefs concerning the politician/musician Paderewski. In this case, we get a similar set of contradictory belief reports: (3) Peter believes that Paderewski has musical talent. (4) Peter believes that Paderewski has no musical talent. (shrink)

A traditional argument is often used against Mill's theory of names (the meaning of a name is exhausted by its referent). Mill's theory implies transparency of proper names (coreferring proper names are substitutable salva veritate); but examples like Frege's and Quine's show that proper names are not transparent in belief contexts. This could be thought to be a reductio ad absurdum of Mill's theory. In " A puzzle about Belief" (1979; 1988) Kripke builds up an argument which aims (...) to show that the same problems, given by the principle of transparency of proper names, can also be generated without the use of that principle, but with some weaker and more general principles, which seem to be difficult to reject. (see Donellan) Therefore, the traditional argument against Mill's theory does not work. If you want to reject Mill's theory with some reductio ad absurdum, you should reject two very intuitive and apparently valid principles. The well known puzzle is based on the assumption that our speaker is normal non omniscient, sincere, reflective and not conceptually confused. The two principles used are the Disquotational Principle (DP) and the Translation Principle (TP). (shrink)

Quasi-set theory by S. French and D. Krause has been so far the most promising attempt of a formal theory of non-individuals. However, due to its sharp bivalent truth valuations, maximally fine-grained binary relations are readily found, in which members of equivalence classes are substitutable for each other in formulas salva veritate. Hence its mentioning and non-mentioning of individuals differs from existing set theory with defined identity merely by the range of nominal definitions. On a semantic level, quasi-set (...) theory does not provide an interpretation with explanatory power of its language terms as non-individuals, and it is not easy to see how such an interpretation can be set up. (shrink)

En este articulo quiero discutir algunos temas centrales deI tratamiento fregeano de los contextos no extensionales. Limitaré mi discusión al análisis de oraciones de creencia y de la oratio obliqua. En la primera parte, voy a describir dos tipos de teoría dentro deI marco de la semántica de Frege. En particular, compararé y evaluaré los análisis de oraciones no extensionales de primer y segundo nivel que se pueden llevar a cabo en las teorías de ambos tipos. En la segunda parte, (...) examinaré en que medida se puede establecer una jerarquía infinita de sentidos indirectos. En la tercera parte, voy a examinar el principio fregeano de sustitutividad de expresiones coreferenciales salva veritate. Además, haré algunas observaciones críticas sobre artículos de Tyler Burge y Jaakko Hintikka relacionados con esta temática.In this article, I discuss some important aspects of Frege’s treatment of nonextensional contexts. I focus on the analysis of belief sentences and of oratio obliqua. In the first part, I deseribe two types of theory within Fregean semantics and assess the analyses of non-extensional sentences of first and of second level whieh can be carried out in the theories of both types. In the seeond part, I examine to what extent one can establish an infinite hierarehy of indirect senses. In the third and final part, I examine Frege’s principle of substitutivity salva veritate of coreferential terms. I conelude with critieal observationson articles of Tyler Burge and Jaakko Hintikka which deal with this principle. (shrink)

According to the standard view, alethic (or modal) statements are intensional in that the Principle of Substitution (PS) fails for them -- e.g. substituting 'nine' in "Necessarily, nine is composite" with the co-referring 'the number of planets' turns this statement from true to false. It is argued in the paper that we could avoid ascribing intensionality to alethic statements altogether by separating between singular and functional uses of definite descriptions: on the singular use the description given above amounts to (...) 'the actual number of planets', which is salva veritate substitutable to 'nine' in all alethic statements; on the functional use, in turn, that description is really a function from possible worlds to numbers, and thus the Principle of Substitution is not violated in this case either, since such a function cannot be held to be co-referential with 'nine'. (shrink)

Many philosophers assert that psychological verbs generate opaque contexts and that the object of a psychological verb cannot be replaced with a co‐referring expression salva veritate as the objects of non‐psychological verbs can be. I argue that the logical and linguistic concerns which govern this assertion do not transfer to observational and experimental situations because the criteria that we use in order to verify that an observed subject has one hypothesized desire rather than another provide inconclusive evidence when (...) we don't allow for all regular substitutions in psychological contexts. This becomes more obvious when we contextualize intentional behavior within the appropriate framework by recognizing that, in order to make sense of any desire attribution, we must understand the subject experiencing the desire to be pursuing each desired situation as a means to a further overarching goal. I conclude that the object of desire should always be read de re. (shrink)

The major goal of this paper is to argue that a well known argument to overturn the principle that coextensive predicates substitute in any statement without alteration of truth value can be avoided - even in the simplest of languages. Apparently this can be done nonartificially only by expanding the universe with nonexisting objects. It is not proved that the principle of substitution salva veritate holds in Meinongian model structures, but in fact it does - as any (...) completeness proof of free logics based on inner domain-outer domain semantics will show. I f - as some have suggested - Meinong's views are compatible with the attitudes of a complete extensionalist, and he subscribed to the outlined modern theory of predication, there is no escape from Außersein. That may seem terribly obvious, but in the light of the development of free logics, more than mere conviction is needed. This dogmatic intuition is supplanted with some strong inclining reasons. (shrink)