In the literature seeking to explain concepts in terms of their point, talk of ‘the point’ of concepts remains under-theorised. I propose a typology of points which distinguishes practical, evaluative, animating, and inferential points. This allows us to resolve tensions such as that between the ambition of explanations in terms of the points of concepts to be informative and the claim that mastering concepts requires grasping their point; and it allows us to exploit connections between types of points to understand (...) why they come apart, and whether they do so for problematic ideological reasons or for benignly functional reasons. (shrink)

Apophaticism -- the view that God is both indescribable and inconceivable -- is one of the great medieval traditions of philosophical thought about God, but it is largely overlooked by analytic philosophers of religion. This paper attempts to rehabilitate apophaticism as a serious philosophical option. We provide a clear formulation of the position, examine what could appropriately be said and thought about God if apophaticism is true, and consider ways to address the charge that apophaticism is self-defeating. In so doing (...) we draw on recent work in the philosophy of language, touching on issues such as the nature of negation, category mistakes, fictionalism, and reductionism. (shrink)

Verbal derogation is not only a linguistic but also, and perhaps more importantly, a political phenomenon. In this paper, I argue that to do justice to the political relevance of derogatory terms, we must not neglect the social practices and structures in which the use of these terms is embedded. I aim to show that inferentialist semantics is especially helpful to account for this social embeddedness and, consequently, the political relevance of derogatory terms. I am concerned with specifying the linguistic (...) and political aspects of terms that are at the core of derogatory language use. I explain them with the help of Brandomian inferentialism which tends to be quickly dismissed or ignored in discussions about the meaning of derogatory terms. My inferentialist account is in line with Lynne Tirrell’s broader inferentialist framework for understanding derogatory communicative practices. I provide the semantic details of her broader inferentialist view and thereby aim to show that inferentialist semantics is a promising theory which cannot be neglected in further discussion of meaning and politics in derogatory language use. (shrink)

In chapter four of Truth and Truthfulness Bernard Williams presents an account of assertion that relies heavily on the ‘psychological’ notions of belief and intention. In chapter five his definition of lying similarly relies on such notions. For Williams, insofar as there are norms governing assertion as such or norms broken by lying as such, these norms relate to saying what you think to be true, as distinct from saying what is true. I argue that this ‘psychologized’ account of assertion (...) (and lying) is for various reasons mistaken. A consequence of Williams’s approach is that ‘Shall I tell the truth here?’ is presented as a much more open question for an agent than it possibly can be. Only by adverting to the language-game presupposed by that question’s having any sense at all can we arrive at a fair picture of when and how the answer ‘No’ might be reasonable. (shrink)

What semantics should we attribute to mass expressions like "wisdom" and "love", which are derived from gradable expressions? We first examine how these expressions are used, then how they are interpreted in their various uses. We then propose a model to account for these data, in which derived mass nouns denote instances of properties.

The truth-conditional theory of sense holds that a theory of truth for a natural language can serve as a theory of sense: if knowledge of a theory of truth for a language L is sufficient for understanding utterance of L-sentences, the T-sentences of the theory 'show' the sense of the uttered object-language sentences. In this paper I aim to show that indexicals create a serious problem for this prima facie attractive theoretical option. The so-called 'instantiation problem' is that a truth-theory (...) for indexical languages needs to contain universal statements that show how the reference of indexicals depends on features of the utterance context. Now one can deduce from such statements T-sentences that do not show the sense of an indexical sentence on an occasion of use. I survey proposed solutions to the instantiation problem by Evans and Sainsbury and, unfortunately, find them all wanting. Perhaps there is nothing like the sense-giving truth-condition for an indexical sentence. (shrink)

Robert Stalnaker has argued that mathematical information is information about the sentences and expressions of mathematics. I argue that this metalinguistic account is open to a variant of Alonzo Church's translation objection and that Stalnaker's attempt to get around this objection is not successful. If correct, this tells not only against Stalnaker's account of mathematical truths, but against any metalinguistic account of truths that are both necessary and informative.

According to an influential view, asserting a proposition involves undertaking some “commitment” to the truth of that proposition. But accounts of what it is for someone to be committed to the truth of a proposition are often vague or imprecise, and are rarely put to work to define assertion. This paper aims to fill this gap. It offers a precise characterisation of assertoric commitment, and shows how it can be applied to define assertion. On the proposed view, acquiring commitment is (...) not sufficient for asserting. To assert, commitment must be acquired by explicitly presenting a proposition as true. (shrink)

This is part I of a two-part essay introducing case-intensional first order logic, an easy-to-use, uniform, powerful, and useful combination of first-order logic with modal logic resulting from philosophical and technical modifications of Bressan’s General interpreted modal calculus. CIFOL starts with a set of cases; each expression has an extension in each case and an intension, which is the function from the cases to the respective case-relative extensions. Predication is intensional; identity is extensional. Definite descriptions are context-independent terms, and lambda-predicates (...) and -operators can be introduced without constraints. These logical resources allow one to define, within CIFOL, important properties of properties, viz., extensionality and absoluteness, Bressan’s chief innovation that allows tracing an individual across cases without recourse to any notion of “rigid designation” or “trans-world identity.” Thereby CIFOL abstains from incorporating any metaphysical principles into the quantificational machinery, unlike extant frameworks of quantified modal logic. We claim that this neutrality makes CIFOL a useful tool for discussing both metaphysical and scientific arguments involving modality and quantification, and we illustrate by discussing in diagrammatic detail a number of such arguments involving the extensional identification of individuals via absolute properties, essential properties, de re vs. de dicto, and the results of possible tests. (shrink)

Truth pluralism is the view that there is more than one truth property. The strong version of it (i.e. strong pluralism) further contends that no truth property is shared by all true propositions. In this paper, I help strong pluralism solve two pressing problems concerning mixed discourse: the problem of mixed inferences (PI) and the problem of mixed compounds (PC). According to PI, strong pluralism is incompatible with the truth- preservation notion of validity; according to PC, strong pluralists cannot find (...) any appropriate truth property for mixed compound propositions, whose atomic constituents are from different domains of discourse (e.g., <sky is blue and chocolate is tasty>). I argue that the strong pluralist is motivated to take the truth predicate in truth-involving universal statements to be deflationary to avoid the two pressing problems. Such a move entails that the truth predicate in the platitude of validity (V) for any argument, it is valid if and only if necessarily its conclusion is true when its premises are all true does not denote any substantive truth property. Instead, it is merely an expressive device to help people generalize instances of (V) to (V). Analogous stories hold for the truth predicate in the platitudes of compound (e.g., conjunction). The upshot is that, the strong pluralist can solve PI and PC by further conceding that mixed compounds are true/false in a deflationary way. (shrink)

This paper elaborates distinctions between a core and a periphery in the ontological and the conceptual domain associated with natural language. The ontological core-periphery distinction is essential for natural language ontology and is the basis for the central thesis of my 2013 book Abstract Objects and the Semantics of Natural Language, namely that natural language permits reference to abstract objects in its periphery, but not its core.

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

We argue that knowledge is not the norm of belief given that ‘I believe’ is used to hedge. We explore the consequences of this argument for the normative relationship between belief and assertion.

I argue that assertoric content functions as a means for us to track the responsibilities undertaken by communicators, and that distinctively assertoric commitments are distinguished by being generated directly in virtue of the words the speaker uses. This raises two questions: (a) Why are speakers responsible for the content thus generated? (b) Why is it important for us to distinguish between commitments in terms of their manner of generation? I answer the first question by developing a novel responsibility based metasemantics. (...) I answer the second by reference to the conflicting pressures governing the resources we have available for appraising speech. (shrink)

The new theory of reference has won popularity. However, a number of noted philosophers have also attempted to reply to the critical arguments of Kripke and others, and aimed to vindicate the description theory of reference. Such responses are often based on ingenious novel kinds of descriptions, such as rigidified descriptions, causal descriptions, and metalinguistic descriptions. This prolonged debate raises the doubt whether different parties really have any shared understanding of what the central question of the philosophical theory of reference (...) is: what is the main question to which descriptivism and the causal-historical theory have presented competing answers. One aim of the paper is to clarify this issue. The most influential objections to the new theory of reference are critically reviewed. Special attention is also paid to certain important later advances in the new theory of reference, due to Devitt and others. (shrink)

This paper aspires to meet a philosophical challenge posed to the author to give treatment to what was seen as a particularly nice Meinongian case1; namely the case of Galician Meigas. However, through the playful footpaths of enchanted Galician Meigas, I rehabilitate some relevant discussion on the justification of belief formation and come to some poignant philosophical insights regarding the understanding of possibilities. I hope both the leading promoter of the challenge and, of course, other philosophical readers are satisfied with (...) the outcome. (shrink)

This paper defends a new norm of assertion: Assert that p only if you are in a position to know that p. We test the norm by judging its performance in explaining three phenomena that appear jointly inexplicable at first: Moorean paradoxes, lottery propositions, and selfless assertions. The norm succeeds by tethering unassertability to unknowability while untethering belief from assertion. The PtK‐norm foregrounds the public nature of assertion as a practice that can be other‐regarding, allowing asserters to act in the (...) best interests of their audience when psychological pressures would otherwise prevent them from communicating the knowable truth. (shrink)

At least since Aristotle’s famous 'sea-battle' passages in On Interpretation 9, some substantial minority of philosophers has been attracted to the doctrine of the open future--the doctrine that future contingent statements are not true. But, prima facie, such views seem inconsistent with the following intuition: if something has happened, then (looking back) it was the case that it would happen. How can it be that, looking forwards, it isn’t true that there will be a sea battle, while also being true (...) that, looking backwards, it was the case that there would be a sea battle? This tension forms, in large part, what might be called the problem of future contingents. A dominant trend in temporal logic and semantic theorizing about future contingents seeks to validate both intuitions. Theorists in this tradition--including some interpretations of Aristotle, but paradigmatically, Thomason (1970), as well as more recent developments in Belnap, et. al (2001) and MacFarlane (2003, 2014)--have argued that the apparent tension between the intuitions is in fact merely apparent. In short, such theorists seek to maintain both of the following two theses: (i) the open future: Future contingents are not true, and (ii) retro-closure: From the fact that something is true, it follows that it was the case that it would be true. It is well-known that reflection on the problem of future contingents has in many ways been inspired by importantly parallel issues regarding divine foreknowledge and indeterminism. In this paper, we take up this perspective, and ask what accepting both the open future and retro-closure predicts about omniscience. When we theorize about a perfect knower, we are theorizing about what an ideal agent ought to believe. Our contention is that there isn’t an acceptable view of ideally rational belief given the assumptions of the open future and retro-closure, and thus this casts doubt on the conjunction of those assumptions. (shrink)

Whether a predicate is a referential expression depends upon what reference is conceived to be. Even if it is granted that reference is a relation between words and worldly items, the referents of expressions being the items to which they are so related, this still leaves considerable scope for disagreement about whether predicates refer. One of Frege's great contributions to the philosophy of language was to introduce an especially liberal conception of reference relative to which it is unproblematic to suppose (...) that predicates are referring expressions. According to this liberal conception, each significant expression in a language has its own distinctive semantic role or power, a power to effect the truth-value of the sentences in which it occurs. (shrink)

In what follows, I introduce a pragmatics-oriented approach to non-sentential speech, and defend it against two recent attacks. Among other things, I will rehearse and elaborate a defense against the idea that much, or even all, of such speech is actually syntactically elliptical—and hence should be treated semantically, rather than pragmatically. The chapter is structured as follows. In Section 1 I introduce the phenomenon, contrast semantic versus pragmatic approaches to it, and explain some of what hinges on which approach is (...) taken. In Section 2 I present Jason Stanley’s objections to the pragmatics-oriented approach, and his counterproposal that all truth-conditional effects of context on what is asserted can be traced to elements of underlying structure. In Section 3 I canvass numerous varieties of ellipsis. The focus in Section 3 will be on what kind of “ellipsis” is required if the pragmatics-oriented approach is actually to be rejected rather than being recast in other terms. In Section 4 I respond to.. (shrink)

Bertrand Russell, in the second of his 1914 Lowell lectures, Our Knowledge of the External World, asserted famously that ‘every philosophical problem, when it is subjected to the necessary analysis and purification, is found either to be not really philosophical at all, or else to be, in the sense in which we are using the word, logical’ (Russell 1993, p. 42). He went on to characterize that portion of logic that concerned the study of forms of propositions, or, as he (...) called them, ‘logical forms’. This portion of logic he called ‘philosophical logic’. Russell asserted that ... some kind of knowledge of logical forms, though with most people it is not explicit, is involved in all understanding of discourse. It is the business of philosophical logic to extract this knowledge from its concrete integuments, and to render it explicit and pure. (p. 53) Perhaps no one still endorses quite this grand a view of the role of logic and the investigation of logical form in philosophy. But talk of logical form retains a central role in analytic philosophy. Given its widespread use in philosophy and linguistics, it is rather surprising that the concept of logical form has not received more attention by philosophers than it has. The concern of this paper is to say something about what talk of logical form comes to, in a tradition that stretches back to (and arguably beyond) Russell’s use of that expression. This will not be exactly Russell’s conception. For we do not endorse Russell’s view that propositions are the bearers of logical form, or that appeal to propositions adds anything to our understanding of what talk of logical form comes to. But we will be concerned to provide an account responsive to the interests expressed by Russell in the above quotations, though one clarified of extraneous elements, and expressed precisely. For this purpose, it is important to note that the concern expressed by Russell in the above passages, as the surrounding text makes clear, is a concern not just with logic conceived narrowly as the study of logical terms, but with propositional form more generally, which includes, e.g., such features as those that correspond to the number of argument places in a propositional function, and the categories of objects which propositional.... (shrink)

A common view is that natural language treats numbers as abstract objects, with expressions like the number of planets, eight, as well as the number eight acting as referential terms referring to numbers. In this paper I will argue that this view about reference to numbers in natural language is fundamentally mistaken. A more thorough look at natural language reveals a very different view of the ontological status of natural numbers. On this view, numbers are not primarily treated abstract objects, (...) but rather 'aspects' of pluralities of ordinary objects, namely number tropes, a view that in fact appears to have been the Aristotelian view of numbers. Natural language moreover provides support for another view of the ontological status of numbers, on which natural numbers do not act as entities, but rather have the status of plural properties, the meaning of numerals when acting like adjectives. This view matches contemporary approaches in the philosophy of mathematics of what Dummett called the Adjectival Strategy, the view on which number terms in arithmetical sentences are not terms referring to numbers, but rather make contributions to generalizations about ordinary (and possible) objects. It is only with complex expressions somewhat at the periphery of language such as the number eight that reference to pure numbers is permitted. (shrink)

The recent discussions on the unity of virtue suffer from a lack of reference to the processes through which we interpret each other as moral agents. In the present paper it is argued that much light can be thrown on that crucial issue by appealing to a version of Donald Davidson’s Principle of Charity, which we call “Principle of Phronetic Charity”. The idea is that in order to treat somebody as a moral agent, one has first to attribute to them, (...) at least pro tempore, a significant degree of practical wisdom and, then, to assess and rationally adjust such attribution of competence via actual engagement with them – a process that may lead to different responses on the part of the interpreter. After expounding and defending the Principle of Phronetic Charity and the interpretive practices connected with it, we discuss the repercussions of our account on the issue of the epistemic access to virtue. We will show, in particular, that some important components of both disunitarianism and unitarianism have to be retained: in accordance with the former, we stress the role of concrete experience over pure speculation and, up to a point, the idea that virtues tend to form variegated ensembles; in accordance with the latter, we accept the claim that virtues are not attributed to moral agents in isolation. Ultimately, however, the account developed here rejects both the atomism of the disunitarian view and the holism of the “Unity of the Virtues”, since it is in fact a form of molecularism, according to which virtues come neither individually nor as a whole, but rather as clusters. (shrink)

The paper offers a survey of four key moments in which symbolisms for quantification were first introduced: §§11–2 of Frege’s Begriffsschrift ; Peirce’s ‘Algebra of Logic’ ; Peano’s ‘St...

The paper offers a survey of four key moments in which symbolisms for quantification were first introduced: §§11–2 of Frege’s Begriffsschrift (1879); Peirce’s ‘Algebra of Logic’ (1885); Peano’s ‘Studii di Logica matematica’ (1897); and *9 (‘replaced’ by *8 in the second edition) of Whitehead and Russell’s Principia Mathematica (1910). Despite their divergent aims, these authors present substantially equivalent visions of what their differing symbolisms express. In each case, some passage suggests that one (but not the only) way to render one (...) of the symbols into ordinary-language words (German, English and Italian) is to say that there is something or some thing(s) exist(s). Exactly how this comes out varies from language to language, but the point remains the same. As a result, in almost all recent logic manuals that introduce ‘∃’, some passage says that the symbol means ‘there is’ or ‘there exists’, and the tradition has grown up of labelling ‘∃’ ‘the existential quantifier’. Some considerations are offered for deprecating this reading of ‘∃’ and the label adopted for it, and for preferring to read it as ‘for some (at least one)’ and for speaking of the ‘particular quantifier’. (shrink)

This article aims to show that the incompatibility between the application of logic to norms and values and the expressive conception of these notions – basically summed up by the Frege–Geach problem – can be overcome. To this end, a logic is constructed for the expressive conception of norms and values which provides a solution to the Frege–Geach problem and is not affected by the limitations that occur in some previous attempts. More specifically, a pragmatic language LP is introduced which (...) is an extension of the language L of standard propositional logic, obtained by adding two categories of logical-pragmatic signs to the vocabulary of L: the signs of pragmatic mood (,,, standing for assertion, obligation and approval, respectively) and the pragmatic connectives (∼, ∩, ∪, ⊃, ≡, standing for pragmatic negation, conjunction, disjunction, implication and bi-implication, respectively). The notions of pragmatic validity, consistency (satisfiability), compatibility, equivalence and inference are then defined, and some criteria of pragmatic validity are given. It is thus possible to carry out in LP inferences on norms and values expressively understood, adequately formalizing Geach's problematic inferences. (shrink)

RÉSUMÉ: L'objectif de cet article est essentiellement négatif. Suivant en cela Dummett, j'introduis deux manières attrayantes d'interpréter le Sinn original de Frege, que j'appelle respectivement la doctrine du sens privé et la doctrine du sens public. Je montre que ces conceptions ne peuvent être utilisées dans le traitement frégéen de l'oratio obliqua. Il faut donc abandonner soit l'interprétation du Sinn par Dummett, soit le traitement frégéen de l'oratio obliqua.

In this paper I challenge the common wisdom (see Dummett and Davidson) that sentences are the minimal units with which one can perform a speech act or make a move in the language game. I thus sit with Perry and Stainton in arguing that subsentences can be used to perform full-fledged speech acts. In my discussion I assume the traditional framework which distinguishes between the proposition expressed and the thought or mental state (possibly a sentence in Mentalese) one comes to (...) grasp when using/understanding an utterance (or sentence-in-a-context) expressing a proposition. Unlike Stainton, I will argue that the proposition expressed by a subsentential assertion and its corresponding thought are not the end product of a pragmatic process of free enrichment. I shall defend the view that a thought may concern something without the thinker having to represent that very thing. This should help us to resist the view that with the utterance of a subsentence enrichment is mandatory. I will further argue that subsentences and their corresponding thoughts are situated. Because of that we can successfully interact and engage in joint ventures using subsentences and be guided by thoughts without having to enrich them. The fact that the actors’ unenriched thoughts are co-situated may suffice to explain the positive outcome of their joint project. Last but not least, I will also show how the picture I propose gains further support by taking on board Perry’s distinction between reflexive truth conditions and incremental truth conditions (or official content). Since competent speakers can grasp an utterance’s reflexive truth conditions without having to grasp its official content (roughly, the proposition expressed) they can successfully interact without their thoughts having to undergo a process of free enrichment. Moreover, if I’m right in arguing that an utterance’s reflexive truth conditions are the best tool to classify the semantic features of one’s mental state (or sentence in Mentalese), we can further explain mental causation and linguistic communication without appealing to free enrichment. (shrink)

This paper addresses the “creeping minimalism” challenge to quasi-realist forms of expressivism by arguing that the solution suggested by Dreier doesn’t work and proposing an alternative solution based on the different inferential roles of ethical and descriptive judgments.

I resolve the major challenge to an Expressivist theory of the meaning of normative discourse: the Frege–Geach Problem. Drawing on considerations from the semantics of directive language (e.g., imperatives), I argue that, although certain forms of Expressivism (like Gibbard’s) do run into at least one version of the Problem, it is reasonably clear that there is a version of Expressivism that does not.

After a brief introduction I compare accounts of what it is to say something I find in Plato, Frege and Grice, and I distinguish linguistic from practical meaning and words that signify things from ‘syncategorematic’ or ‘grammatical’ words. I then argue that the relation between a signifying word and what it signifies must be understood in terms of two complementary acts, already recognised in antiquity, quantifying and predicating. Discussing quantification, I show how problems about universals can be avoided by accepting (...) Aristotle's distinction between possible and actual existence. Discussing predication, I defend Aristotle's view that there are more forms of predication than one, and consider this issue in connection with non-mathematical discourse. (shrink)

What is involved in the meaning of our expressions? Frege suggested that there is an aspect of an expression.

Some utterances of imperative clauses have directive force—they impose obligations. Others have permissive force—they extend permissions. The dominant view is that this difference in force is not accompanied by a difference in semantic content. Drawing on data involving free choice items in imperatives, I argue that the dominant view is incorrect.

Philosophy and Phenomenological Research, Volume 104, Issue 1, Page 19-49, January 2022.

Taking a lead from Eva Picardi’s work and influence, I investigate the significance of Frege’s context principle for the philosophy of language. I argue that there are some interpretive problems with recent meta-semantic interpretations of the principle. Instead, I offer a somewhat weaker alternative: the context principle is a tool to license certain definitions. Moreover, I claim that it merely lays out one of many possible ways of licensing a definition. This means, among other things, that despite Frege’s imperative injunctions, (...) the context principle formulates a permission—not a requirement. (shrink)

This paper aims at clarifying the nature of Frege's system of logic, as presented in the first volume of the Grundgesetze. We undertake a rational reconstruction of this system, by distinguishing its propositional and predicate fragments. This allows us to emphasise the differences and similarities between this system and a modern system of classical second-order logic.

The first half of Mark Quentin Gardiner’s recent book, Semantic Challenges to Realism: Dummett and Putnam, is a sustained, systematic, and, for the most part, novel attempt to demolish the case against semantic realism instigated by Michael Dummett. In this article I reply on the anti-realist’s be-half. I aim to demonstrate that none of Gardiner’s main anti-Dummettian arguments are successful, and moreover that his errors are, in the main, consequences of serious misconstruals of vital aspects of the semantic realist and (...) anti-realist positions. (shrink)

Already known for his penetrating, and sometimes idiosyncratic, interpretations of the later Wittgenstein, John Hunter, of University College, Toronto, now offers eight essays on independent topics. Each of the essays stands on its own, but they are clearly the work of a single mind and together constitute a sustained contribution to current discussion of that area of metaphysics sometimes called philosophy of mind. Although the debts to, and the insight into, Wittgenstein are substantial, I do not wish to document them.

This paper identifies a tension in Frege’s philosophy and offers a diagnosis of its origins. Frege’s Context Principle can be used to dissolve the problem of propositional unity. However, Frege’s official response to the problem does not invoke the Context Principle, but the distinction between ‘saturated’ and ‘unsaturated’ propositional constituents. I argue that such a response involves assumptions that clash with the Context Principle. I suggest, however, that this tension is not generated by deep-seated philosophical commitments, but by Frege’s occasional (...) attempt to take a dubious shortcut in the justification of his conception of propositional structure. (shrink)

Kaplan (1989) famously claimed that monsters--operators that shift the context--do not exist in English and "could not be added to it". Several recent theorists have pointed out a range of data that seem to refute Kaplan's claim, but others (most explicitly Stalnaker 2014) have offered a principled argument that monsters are impossible. This paper interprets and resolves the dispute. Contra appearances, this is no dry, technical matter: it cuts to the heart of a deep disagreement about the fundamental structure of (...) a semantic theory. We argue that: (i) the interesting notion of a monster is not an operator that shifts some formal parameter, but rather an operator that shifts parameters that play a certain theoretical role; (ii) one cannot determine whether a given semantic theory allows monsters simply by looking at the formal semantics; (iii) theories which forbid shifting the formal "context" parameter are perfectly compatible with the existence of monsters (in the interesting sense). We explain and defend these claims by contrasting two kinds of semantic theory--Kaplan's (1989) and Lewis's (1980). (shrink)

In the paper, I propose a novel approach to Frege’s view on the principle of compositionality, its relation to the propositional holism and the formation of concepts. The main idea is to distinguish three stages of constructing a logically perfect language. At the first stage, only a sentence as a whole expresses a Thought. It is impossible to assign meaning to less complex units. This is the stage of an ordinary language. The second phase concerns the proper level of construction (...) of a logically perfect language. We are forced to discriminate syntactic and semantic parts of sentences to account for the inference relations. We can distinguish senses and references of parts of sentences. Furthermore, it is possible here to choose between different ways of analysing the given Thought. Finally, at the third stage, every expression of the language has an unambiguous sense and this sense determines a unique reference. The logically perfect language is ready. We may view Thoughts as composed from primitive elements. Moreover, the senses of parts of a sentence correspond to the parts of a Thought, so that the structure of the sentence serves as the image of the structure of the Thought. The principle of compositionality is met and we can discern how understanding of the infinite numbers of Thoughts is possible and how languages are learnable. The main advantage of the presented view is that it allows accommodating some aspects of Frege’s philosophy that are often seen as mutually incompatible. Furthermore, I submit extensive textual data in favour of the discussed views and conceptions. (shrink)