Todd (2016) proposes an analysis of future-directed sentences, in particular sentences of the form 'will(φ)', that is based on the classic Russellian analysis of definite descriptions. Todd's analysis is supposed to vindicate the claim that the future is metaphysically open while retaining a simple Ockhamist semantics of future contingents and the principles of classical logic, i.e. bivalence and the law of excluded middle. Consequently, an open futurist can straightforwardly retain classical logic without appeal to supervaluations, determinacy operators, or any further (...) controversial semantical or metaphysical complication. In this paper, we will show that this quasi-Russellian analysis of 'will' both lacks linguistic motivation and faces a variety of significant problems. In particular, we show that the standard arguments for Russell's treatment of definite descriptions fail to apply to statements of the form 'will(φ)'. (shrink)

In recent years, a new argument in favor of Donnellan’s (Philos Rev 77: 281–304, 1966) semantic distinction between attributive and referential descriptions has been proposed by Michael Devitt and Marga Reimer. This argument is based on two empirical premises concerning regularity of use and processing ease. This paper is an attempt to demonstrate (a) that these empirical observations are dubious and fail to license the conclusion of the argument and (b) that if the argument were sound, it would severely overgenerate. (...) The general lesson of the paper is that empirical observations about (a) how frequent an expression E is used to mean M and (b) how easy and fast M is processed cannot be taken to provide reliable evidence about the lexically encoded semantic properties of E. (shrink)

ABSTRACT Act-based theories of content hold that propositions are identical to acts of predication that we perform in thought and talk. To undergo an occurrent thought with a particular content is just to perform the act of predication that individuates that content. But identifying the content of a thought with the performance of an act of predication makes it difficult to explain the intentionality of bouletic mental activity, like wanting and desiring. In this paper, I argue that this difficulty is (...) insurmountable: the contents of occurrent desires cannot be determined by acts of predication. (shrink)

In this article, I establish a theory of knowledge approach for evaluating the use of computers for educational purposes at the university. In so doing, I trace part of the history of the “enabling factor” of Artificial Intelligence in this sector, an important element that has been integrated into everyday learning environments. The result of my reflection is a dialogical structure, directly inspired by past technology assessment research, which illustrates the conceptual advancement of researchers in the field of learning technologies. (...) The notions covered have implications in future policy-related discourse with regards to education. (shrink)

Chomsky has constructed an empirical theory about syntactic universals of natural language by defining a class of 'possible languages' which includes all natural languages (inter alia) as members, and claiming that all natural languages fall .within a specified proper subset of that class. I extend Chomsky's work to produce an empirical theory about natural4anguage semantic universals by showing that the semantic description of a language will incorporate a logical calculus, by defining a relatively wide class of 'possible calculi', and by (...) specifying a proper subset of that class which, I hypothesize, includes the calculi needed for the semantic description of any natural language. I argue that the special status, with respect to natural languages, of this particular type of logical calculus is an empirical finding which does not follow from any independently-known principles, and I conclude that the question why the laws of human thought have the structure they do is a biological rather than a logical question. (shrink)

A detailed interpretation is provided of the ‘Gray's Elegy’ passage in Russell's ‘On Denoting’. The passage is suffciently obscure that its principal lessons have been independently rediscovered. Russell attempts to demonstrate that the thesis that definite descriptions are singular terms is untenable. The thesis demands a distinction be drawn between content and designation, but the attempt to form a proposition directly about the content (as by using an appropriate form of quotation) inevitably results in a proposition about the thing designated (...) instead of the content expressed. In light of this collapse, argues Russell, the thesis that definite descriptions are singular terms must accept that all propositions about a description's content represent it by means of a higher-level descriptive content, so that knowledge of a description's content is always ‘by description’, not ‘by acquaintance’. This, according to Russell, renders our cognitive grip on definite descriptions inexplicable. Separate responses on behalf of Fregeans and Millians are offered. (shrink)

This paper provides a new solution to the problem of moral permissions for the moral error theory. The problem is that the error theorist seems committed to the claim that all actions are morally permitted, as well as to the contradictory claim that no action is morally permitted. My solution understands the moral error theory as the view that folk moral discourse is systematically in error by virtue of suffering from semantic presupposition failure, which I show is consistent with a (...) Kratzerian semantics for deontic modals in natural language. Formally, the solution is to treat the ordering source parameter within Kratzer’s semantics as undefined in the case of folk moral discourse. The paper concludes with thoughts about the import of the solution proffered for the alleged independence of the moral error theory from normative ethics. (shrink)

The paper analyses Peirce’s hypoiconicity through the lens of Husserlian intentionality. Peirce’s triple structure of hypoiconicity as resemblance relation, diagrammatical reasoning and metaphoric displacement is shown to require intentional acts in its production and interpretation. Regarding hypoiconicity as a semiotic schematization of Vorstellung, the paper places it in the context of Husserl’s conception of intentionality in which iconicity appears as a stepping-stone towards the skeletonization of resemblance in diagrammatical abstraction and as schematic displacement in metaphor. As such, hypoiconic intentionality is (...) argued to play a role also in Peirce’s community conception of language. The paper’s core claim is that intentionality provides an avenue for revealing hypoiconicity as a major, critical concept of semiotics, functioning as paradigm case for investigating the convergence of semiotics and phenomenology. (shrink)

This essay develops a form of scientific pluralism that captures essential features of contemporary scientific practice largely ignored by the various forms of scientific pluralism currently discussed by philosophers. My starting point is Hacking's concept of style of scientific reasoning. I extend Hacking's thesis by proposing the process of “ontological enrichment” to grasp how the objects created by a style articulate with the common objects of scientific inquiry. The result is “foliated pluralism,” which puts to the fore the transdisciplinary and (...) cumulative ways of proceeding in science, as well as the historical dimension of the genesis of scientific objects. (shrink)

The sentences that contain empty definite descriptions are sometimes perceived to be truth-valueless and sometimes perceived to be false. Strawson offered an account of this phenomenon. However, his proposal is empirically inadequate, as shown by von Fintel. von Fintel proposes an alternative account based on a mechanism of belief revision. In this paper, I argue that sentences with multiple failing presuppositions pose a problem for von Fintel’s account. Furthermore, I discuss two variants of von Fintel’s theory proposed by Elbourne to (...) see whether they fare any better than the original. The second variant yields an incorrect prediction for the cases at hand. However, the first variant can account for the problematic examples if the false presuppositions are processed in turn. I will propose a revision of this variant that enforces distinct applications of the mechanism for each presupposition. (shrink)

In this paper, I will present a puzzle for logical analyses, such as Russell’s analysis of definite descriptions and Recanati’s analysis of ‘that’-clauses. I will argue that together with Kripke’s disquotational principles connecting sincere assent and belief such non-trivial logical analyses lead to contradictions. Following this, I will compare the puzzle about logical analysis with Frege’s puzzle about belief ascriptions. We will see that although the two puzzles do have similarities, the solutions to Frege’s puzzle cannot be applied mutatis mutandis (...) to the puzzle about logical analysis. Hence, to say it with Kripke, the main thesis of this paper is that the puzzle is a puzzle. A complete solution to the puzzle promises a better understanding of both logical analyses and belief ascriptions. (shrink)

The Fregean analysis of definite descriptions as referring expressions predicts that copular sentences with definite descriptions in postcopular position are invariably interpreted as identity statements. But as numerous diagnostics show, such sentences are frequently capable of receiving a predicational reading. A uniform Fregean analysis therefore won’t do. Things aren’t that simple, however. I show that descriptions which exhibit the structure [the + N + of + Proper Name] fall into two semantically distinct classes, and that the members of one of (...) these classes of descriptions (those I call “identifying”) pattern with proper names in resisting a predicative reading. I argue that a proposal according to which referring expressions can quite generally undergo a type shift that transforms them into predicates thus fails on grounds of overgeneration. I propose that we can account for the data by instead appealing to two definite determiners: a Fregean determiner ‘the r ’ which forms referring descriptions, and a determiner ‘the p ’ which forms predicative descriptions. I argue that this proposal also correctly predicts that copular sentences with proper names in postcopular position fail to have a predicational reading. I conclude the paper by defending the analysis of names to which I appeal against an alternative view inspired by Burge (J Philos 70(14):425–439, 1973), and suggest a way in which the desired results could be achieved while making do with a single definite article. (shrink)

In the middle of the 20th century, it was a common Wittgenstein-inspired idea in philosophy that for a linguistic expression to have a meaning is for it to be governed by a rule of use. In other words, it was widely believed that meanings are to be identified with use-conditions. However, as things stand, this idea is widely taken to be vague and mysterious, inconsistent with “truth-conditional semantics”, and subject to the Frege-Geach problem. In this paper I reinvigorate the ideas (...) that meaningfulness is a matter of being governed by rules of use and that meanings are best thought of in terms of use-conditions. I will do this by sketching the Rule-Governance view of the nature of linguistic meaningfulness, showing that the view isn’t by itself subject to the two problems, and explain why the idea has had a lasting appeal to philosophers from Strawson to Kaplan and why we should find it continually attractive. (shrink)

Standard attempts to defend Russell's Theory of Descriptions against the problem posed by incomplete descriptions, are discussed and dismissed as inadequate. It is then suggested that one such attempt, one which exploits the notion of a contextually delimited domain of quantification, may be applicable to incomplete quantifier expressions which are typically treated as quantificational: expressions of the form AllF's, NoF's, SomeF's, Exactly eightF's, etc. In this way, one is able to retain the plausible claim that such expressions ought to receive (...) their usual quantificational analyses. The conclusion tentatively drawn is that perhaps definite descriptions arenot amenable to a (Russellian) quantificational analysis. (shrink)

Jan Lukasiewicz's treatise on Aristotle's Syllogistic, published in the 1950s, has been very influential in framing contemporary understanding of Aristotle's logical systems. However, Lukasiewicz's interpretation is based on a number of tendentious claims, not least, the claim that the syllogistic was intended to apply only to non-empty terms. I show that this interpretation is not true to Aristotle's text and that a more coherent and faithful interpretation admits empty terms while maintaining all the relations of the traditional square of opposition.

This paper is divided into two parts. In the first one I distinguish between weak and strong Anti-Archimedeanisms, the latter being the view that metaethics, just as any other discipline attempting to work out a second-order conceptual, metaphysical non-committed discourse about the first-order discourse composing normative practices, is conceptually impossible or otherwise incoherent. I deal in particular with Ronald Dworkin’s famous exposition of the view. I argue that strong Anti-Archimedeanism constitutes an untenable philosophical stance, therefore making logical space for the (...) practice of a discipline such as metaethics—conceived as ethically neutral. This makes space, concurrently, for neutral conceptual jurisprudence. In the second part of the article, I attempt to show two things. On the one hand, that Dworkin’s widely discussed ‘challenge of disagreements’ to legal positivism is founded upon strong Anti-Archimedeanism. On the other hand, that having rejected strong Anti-Archimedeanism we should consequently reject the challenge as a serious challenge to positivism. This move, of course, does not thereby imply that accounting for legal disagreements is not an important jurisprudential task. But it marks—contra Dworkin—that there is no principled or a priori impossibility of doing so within a positivist framework. (shrink)

Gareth Evans nos ofrece lo que parece ser un punto medio entre el descripcionismo y la teoría de la referencia directa sobre el mecanismo mediante el cual fijamos la referencia de los nombres propios. Ésta es la denominada “teoría de la fuente causal de la referencia”. En un artículo reciente Imogen Dickie presenta objeciones importantes a la teoría de Evans y concluye presentando una teoría alternativa, la denominada “teoría de la gobernabilidad”. En este trabajo quiero ofrecer una propuesta alternativa que (...) evite la tesis de gobernabilidad de Dickie. Para ello mostraré, primero, cómo lidiar con las objeciones de Dickie sin alejarse demasiado de la propuesta original de Evans y, segundo, defenderé que la teoría resultante –la que llamo “teoría de la pertenencia a tipos”– es más simple y exitosa que la propuesta por Dickie. (shrink)

A Russellian theory of (definite) descriptions takes an utterance of the form ‘The F is G' to express a purely general proposition that affirms the existence of a (contextually) unique F: there is exactly one F [which is C] and it is G. Strawson, by contrast, takes the utterer to presuppose in some sense that there is exactly one salient F, but this is not part of what is asserted; rather, when the presupposition is not met the utterance simply fails (...) to express a (true or false) proposition. A defender of Strawson's approach, however, must square up to what appear to be straightforward counterexamples to the presupposition thesis, and must also provide an account of certain linguistic phenomena that supposedly demand treating descriptions as quantifiers, as the Russellian theory does. In this paper I propose fresh considerations in favour of Strawson's approach. I shift attention from what the utterer presupposes to preconditions for the use of descriptions, and distinguish between referring and predicative uses of descriptions (not to be confused with referential and attributive uses); importantly, the referring and predicative uses have different preconditions, I argue, and these provide some satisfactory responses to the aforementioned challenges facing the Strawsonian. South African Journal of Philosophy Vol. 27 (3) 2008: pp. 242-257. (shrink)

One of Strawson's objections to Russell's theory of descriptions is that what are intuitively natural and correct utterances of sentences involving incomplete descriptions come out false by RTD. Russellians have responded, not by challenging Strawson's view that these uses are natural and correct, but by embellishing RTD to accommodate these uses. I pursue an alternative line of attack: I argue that there are circumstances in which "we" would find utterances of such sentences unnatural and improper but "RTD" would sanction. So, (...) RTD clashes with ordinary language, as Strawson suggests. (shrink)

The logical analysis of Nāgārjuna’s catuṣkoṭi has remained a heated topic for logicians in Western academia for nearly a century. At the heart of the catuṣkoṭi, the four corners’ formalization typically appears as: A, Not A, Both, and Neither. The pulse of the controversy is the repetition of negations in the catuṣkoṭi. Westerhoff argues that Nāgārjuna in the Mūlamadhyamakakārikā uses two different negations: paryudāsa and prasajya-pratiṣedha. This paper builds off Westerhoff’s account and presents some subtleties of Nāgārjuna’s use of these (...) negations regarding their scope. This is achieved through an analysis of the Sanskrit and Tibetan Madhyamaka commentarial tradition and through a grammatical analysis of Nāgārjuna’s use of na and a- within a diverse variety of the catuṣkoṭi within the Mūlamadhyamakakārikā. (shrink)

Since Kaplan : 81–98, 1979) first provided a logic for context-sensitive expressions, it has been thought that the only way to construct a logic for indexicals is to restrict it to arguments which take place in a single context— that is, instantaneous arguments, uttered by a single speaker, in a single place, etc. In this paper, I propose a logic which does away with these restrictions, and thus places arguments where they belong, in real world conversations. The central innovation is (...) that validity depends not just on the sentences in the argument, but also on certain abstract relations between contexts. This enrichment of the notion of logical form leads to some seemingly counter-intuitive results: a sequence of sentences may make up a valid argument in one sequence of contexts, and an invalid one in another such sequence. I argue that this is an unavoidable result of context sensitivity in general, and of the nature of indexicals in particular, and that reflection on such examples will lead us to a better understanding of the idea of applying logic to context sensitive expressions, and thus to natural language in general. (shrink)

The classical rule of Repetition says that if you take any sentence as a premise, and repeat it as a conclusion, you have a valid argument. It's a very basic rule of logic, and many other rules depend on the guarantee that repeating a sentence, or really, any expression, guarantees sameness of referent, or semantic value. However, Repetition fails for token-reflexive expressions. In this paper, I offer three ways that one might replace Repetition, and still keep an interesting notion of (...) validity. Each is a fine way to go for certain purposes, but I argue that one in particular is to be preferred by the semanticist who thinks that there are token-reflexive expressions in natural languages. (shrink)

Synonymy, at its most basic, is sameness of meaning. A token-reflexive expression is an expression whose meaning assigns a referent to its tokens by relating each particular token of that particular expression to its referent. In doing so, the formulation of its meaning mentions the particular expression whose meaning it is. This seems to entail that no two token-reflexive expressions are synonymous, which would constitute a strong objection against token-reflexive semantics. In this paper, I propose and defend a notion of (...) synonymy for token-reflexive expressions that allows such expressions to be synonymous, while being a fairly conservative extension of the customary notion of synonymy. (shrink)

Strawson’s work seems to contain both pragmatic and semantic concepts of presupposition. The former concept has largely been studied by many philosophers and linguists, while the latter has not been properly investigated (van Fraassen being an exception). The present author explicates the semantic concept of existential presupposition in relation to deriving existential statements and distinguishing their de dicto/de re variants (in the rather generalized sense following Tichý).

Almost entirely ignored in the linguistic theorising on names and descriptions is a hybrid form of expression which, like definite descriptions, begin with 'the' but which, like proper names, are capitalised and seem to lack descriptive content. These are expressions such as the following, 'the Holy Roman Empire', 'the Mississippi River', or 'the Space Needle'. Such capitalised descriptions are ubiquitous in natural language, but to which linguistic categories do they belong? Are they simply proper names? Or are they definite descriptions (...) with unique orthography? Or are they something else entirely? This paper assesses two obvious assimilation strategies: (i) assimilation to proper names and (ii) assimilation to definite descriptions. It is argued that both of these strategies face major difficulties. The primary goal is to lay the groundwork for a linguistic analysis of capitalised descriptions. Yet, the hope is that clearing the ground on capitalised descriptions may reveal useful insights for the on-going research into the semantics and syntax of their lower-case or 'the'-less relatives. (shrink)

Recently, an orthodox Russellian tenet has come under fire from within. In particular, some Russellians now argue that definite descriptions don’t semantically encode uniqueness. Instead, Reformed Russellians, as I call them, hold that definite descriptions are truth-theoretically identical to indefinite ones. On this approach, a definite description’s uniqueness reading becomes a matter of pragmatics, not semantics. These reforms, we’re told, provide both empirical and methodological benefits over and above the prevailing orthodoxy. As I argue, however, the Russellian Reformation contains serious (...) flaws. Indeed, it is Orthodox Russellianism that remains a superior choice, both empirically and conceptually. (shrink)

The argument from convention contends that the regular use of definite descriptions as referential devices strongly implies that a referential semantic convention underlies such usage. On the presumption that definite descriptions also participate in a quantificational semantic convention, the argument from convention has served as an argument for the thesis that the English definite article is ambiguous. Here, I revisit this relatively new argument. First, I address two recurring criticisms of the argument from convention: its alleged tendency to overgenerate and (...) its apparent evidential inadequacy. These criticisms are found wanting. Second, following Zacharska, I argue that while the argument from convention does alter the landscape of logical possibilities insofar as it provides good grounds for treating Donnellan’s referential–attributive distinction as having truth-conditional consequences, the argument from convention nonetheless fails to demonstrate that ‘the’ requires two lexical entries. (shrink)

A recent challenge to Russell’s theory of definite description centers upon the divergent behavior of definites and their Russellian paraphrases in non-extensional contexts. Russellians can meet this challenge, I argue, by incorporating the familiarity theory of definiteness into Russell’s theory. The synthesis of these two seemingly incompatible theories produces a conceptually consistent and empirically powerful framework. As I show, the coalescence of Russellianism and the familiarity theory of definiteness stands as a legitimate alternative to both Traditional Russellianism and alternative semantic (...) frameworks. (shrink)

When discussing the distinction between referential and attributive uses of definite descriptions, Keith Donnellan also mentions cases such as ‘Smith’s murderer is insane’, uttered in a scenario in which Smith committed suicide. In this essay, I defend a two-fold thesis: (i) the alleged intuition that utterances of ‘Smith’s murderer is insane’ are true in the scenario in question is independent from the phenomenon of referential uses of definite description, and, most importantly, (ii) even if such intuition is granted semantic relevance, (...) the evidence it presents is compatible with a Russellian treatment of definite descriptions. I thus present a Russellian analysis of ‘Smith’s murderer is insane’ which, when coupled with certain independently plausible hypotheses, explains the presumed intuition that certain utterances of this sentence are indeed true, at least as long as the intended individual is insane. (shrink)

This paper investigates an objection often raised against metaethical error theory. The challenge runs as follows. Metaethical error theory says that all substantive ethical sentences are false. But if a sentence p is false, then given a standard semantics for “not,” ¬p must be true, and vice versa. On the face of it, one can’t hold that p and ¬p are both false. After presenting a more refined version of the challenge (in the form of a set of initially plausible (...) and yet jointly inconsistent principles), the paper examines a common way out of the puzzle, finds it unsatisfactory, and offers some alternative escape routes that, it is submitted, fare better than the standard one. (shrink)

In this paper, I investigate the prospects for using the distinction between rejection and denial to resolve Saul Kripke’s puzzle about belief. One puzzle Kripke presents in A Puzzle About Belief poses what would have seemed a fairly straightforward question about the beliefs of the bilingual Pierre, who is disposed to sincerely and reflectively assent to the French sentence Londres est jolie, but not to the English sentence London is pretty, both of which he understands perfectly well. The question to (...) be answered is whether Pierre believes that London is pretty, and Kripke argues, of each answer, that it is unacceptable. On my proposal, either answer to the question is to be rejected, but neither answer is to be denied, using the resource of partially-defined predicates. After demonstrating how this serves as a solution to the puzzle, I illustrate some philosophical motivations—independent of Kripke’s puzzle —for adopting a view on which belief is a partially defined predicate. I conclude that there are decent prospects for the proposed response to Kripke’s puzzle. (shrink)

Collingwood's theory of presuppositions has never been taken very seriously. But critics have completely overlooked its significance as a theory or model of inquiry intimately tied to certain aspects of discourse in a context of investigation. Viewed this way, Collingwood's theory is on very strong ground, especially when it is reconstructed with the aid of a formal language. The reconstruction shows what is essential to the theory and what is not, allowing us to disregard those of Collingwood's extravagant claims which (...) have frustrated an understanding of his theory's real strength. The reconstruction also provides a general framework within which recent discussion of presuppositions can be unified. (shrink)

This paper is concerned with the concept of ‘presupposition’, specifically as it is applied in critical approaches to discourse analysis such as Critical Discourse Analysis or Societal Pragmatics, and proposes a systematisation of a socio-cognitive approach to the concept. Presupposition analysis is crucial for uncovering naturalised ideologies underlying discourse, and examining manipulative functions of discourse, especially strategies making it socially or cognitively harder to challenge ideological assumptions. However, the way presupposition is analysed in current critical discourse analysis is not methodologically (...) consistent and not necessarily theoretically consistent with an understanding of discourse as socio-cognitively grounded social practice. I demonstrate this through a brief overview of the two main current approaches to presupposition in discourse analysis – the truth conditional and the socio-cognitive one. I propose examining presupposition on different levels of analysis, ranging from lexical-item triggered presuppositions to discourse presuppositions and mutually presupposed pragmatic competence. (shrink)

The initial one-third of the paper is devoted to exposing the first chapter (“Sense-Certainty”) of Hegel’s PHENOMENOLOGY OF SPIRIT as a thesis about reference, viz., that singular demonstrative reference is impossible. In the remainder I basically argue that such a view commits one to radically undermining our conceptions of space, time, and substance (concrete individuality), and rests on the central mistake of construing <this> on the model of a predicable (or property).

l. There is an antinomy in Hare's thought between Ought-Implies-Can and No-Indicatives-from-Imperatives. It cannot be resolved by drawing a distinction between implication and entailment. 2. Luther resolved this antinomy in the l6th century, but to understand his solution, we need to understand his problem. He thought the necessity of Divine foreknowledge removed contingency from human acts, thus making it impossible for sinners to do otherwise than sin. 3. Erasmus objected (on behalf of Free Will) that this violates Ought-Implies-Can which he (...) supported with Hare-style ordinary language arguments. 4. Luther a) pointed out the antinomy and b) resolved it by undermining the prescriptivist arguments for Ought-Implies-Can. 5. We can reinforce Luther's argument with an example due to David Lewis. 6. Whatever its merits as a moral principle, Ought-Implies-Can is not a logical truth and should not be included in deontic logics. Most deontic logics, and maybe the discipline itself, should therefore be abandoned. 7. Could it be that Ought-Conversationally-Implies-Can? Yes - in some contexts. But a) even if these contexts are central to the evolution of Ought, the implication is not built into the semantics of the word; b) nor is the parallel implication built into the semantics of orders; and c) in some cases Ought conversationally implies Can, only because Ought-Implies-Can is a background moral belief. d) Points a) and b) suggest a criticism of prescriptivism - that Oughts do not entail imperatives but that the relation is one of conversational implicature. 8. If Ought-Implies-Can is treated as a moral principle, Erasmus' argument for Free Will can be revived (given his Christian assumptions). But it does not 'prove' Pelagianism as Luther supposed. A semi-Pelagian alternative is available. (shrink)

Davidson conjectured that suitably formulated Tarski-style theories of truth can “do duty” as theories of meaning for the spoken languages that humans naturally acquire. But this conjecture faces a pair of old objections that are, in my view, fatal when combined. Foster noted that given any theory of the sort Davidson envisioned, for a language L, there will be many equally true theories whose theorems pair endlessly many sentences of L with very different specifications of whether or not those sentences (...) are true. And if L includes words ‘true’, then for reasons stressed by Tarski, it’s hard to see how any truth theory for L could be correct. Moreover, each of these concerns amplifies the other. Appealing to possible worlds will not help with Foster’s Problem, for reasons that Chomsky discussed in the 1950s, and appealing to trivalent models of truth will not avoid concerns illustrated with Liar Sentences. (shrink)

I argue that linguistic meanings are instructions to build monadic concepts that lie between lexicalizable concepts and truth-evaluable judgments. In acquiring words, humans use concepts of various adicities to introduce concepts that can be fetched and systematically combined via certain conjunctive operations, which require monadic inputs. These concepts do not have Tarskian satisfaction conditions. But they provide bases for refinements and elaborations that can yield truth-evaluable judgments. Constructing mental sentences that are true or false requires cognitive work, not just an (...) exercise of basic linguistic capacities. (shrink)

Few critics of the received view in metaphysics that ontological disputes are generally substantive have stirred as much response as those that have developed Carnapian arguments turning on considerations of language and interpretation. The arguments from deflationists like Thomasson ( 2009, 2014 ) and Neo-Fregeans like Hale and Wright ( 2009 ), focus on features of actual language use, others like those from Hirsch ( 2002, 2009 ) focus on interpretation. In this paper, I offer a novel challenge to the (...) latter sort of argument. I argue that through their use of the principle of charity, they have unacceptable consequences beyond the ontology room: the best accounts of some natural language phenomena—most importantly, presupposition—cannot be maintained. (shrink)

Indexicals are unique among expressions in that they depend for their literal content upon extra-semantic features of the contexts in which they are uttered. Taking this peculiarity of indexicals into account yields solutions to variants of Frege's Puzzle involving objects of attitude-bearing of an indexical nature. If names are indexicals, then the classical versions of Frege's Puzzle can be solved in the same way. Taking names to be indexicals also yields solutions to tougher, more recently-discovered puzzles such as Kripke's well-known (...) case involving Paderewski. We argue that names are in fact rigidly designating indexicals. We also argue that fully developed, the direct reference theory's best strategy for solving the puzzles amounts to the adoption of the indexical theory of names – a move that we argue should be thought of as a natural development of the direct reference theory, and not as antagonistic to it. (shrink)

First-order formalisations are often preferred to propositional ones because they are thought to underwrite the validity of more arguments. We compare and contrast the ability of some well-known logics—these two in particular—to formally capture valid and invalid arguments. We show that there is a precise and important sense in which first-order logic does not improve on propositional logic in this respect. We also prove some generalisations and related results of philosophical interest. The rest of the article investigates the results’ philosophical (...) significance. A first moral is that the correct way to state the oft-cited superiority of first-order logic vis-`a-vis propositional logic is more nuanced than often thought. The second moral concerns semantic theory; the third logic’s use as a tool for discovery. A fourth and final moral is that second-order logic’s transcendence of first-order logic is greater than first-order logic’s transcendence of propositional logic. (shrink)

ABSTRACTI offer a simple‐minded analysis of presupposition in which if a sentence has a presupposition, then both that sentence and its negation logically entail the presupposition; and in which sentence with failed presuppositions are neither true nor false. This account naturally generates an analysis of what it takes to disagree and what it takes to be at fault in a disagreement. A simple generalization gives rise to the possibility of disagreements in which no party is at fault, as is required (...) by leading theories on predicates of taste. (shrink)

Formal semantics and pragmatics as they have developed since the late 1960's have been shaped by fruitful interdisciplinary collaboration among linguists, philosophers, and logicians, among others, and in turn have had noticeable effects on developments in syntax, philosophy of language, computational linguistics, and cognitive science.In this paper I describe the environment in which formal semantics was born and took root, highlighting the differences in ways of thinking about natural language semantics in linguistics and in philosophy and logic. With Montague as (...) a central but not solo player in the story, I reflect on crucial developments in the 1960's and 70's in linguistics and philosophy, and the growth of formal semantics and formal pragmatics from there. I discuss innovations, key players, and leading ideas that shaped the development of formal semantics and its relation to syntax, to pragmatics, and to the philosophy of language in its early years, and some central aspects of its early impact on those fields. (shrink)

Further to Herman Tennessen's recent methodological criticisms of Linguistic philosophy, the present paper seeks to offer some theoretical criticisms. Two main claims of Linguistic philosophy are examined: (1) that the concept of ?use? satisfactorily explains how words and expressions are meaningful; and (2), that the correspondence theory of meaning has been successfully repudiated. After a brief exposition, the explanation is further specified as being analogical (words are like tools). Six objections (semantical, logical and psychological) are suggested. It is concluded that (...) not only is the explanation not satisfactory, but that some of the same problems of the older theory may also be implicit in the ?use? theory. (shrink)