Semanticists face substitution challenges even outside of contexts commonly recognized as opaque. Jennifer M. Saul has drawn attention to pairs of simple sentences - her term for sentences lacking a that-clause operator - of which the following are typical: -/- (1) Clark Kent went into the phone booth, and Superman came out. (1*) Clark Kent went into the phone booth, and Clark Kent came out. -/- (2) Superman is more successful with women than Clark Kent. (2*) Superman (...) is more successful with women than Superman. -/- She challenges us to explain why the upper and lower sentences in each pair differ, or at least appear to differ, in their truth-values and hence truth-conditions. This appearance of substitution failure is inherently puzzling. Moreover, it is taken by Saul to generate a dilemma for anyone hostile to direct reference accounts of that-clause constructions. Direct reference theorists regard the appearance of substitution failure in that-clause contexts as mere appearance, to be dealt with pragmatically rather than semantically. -/- Critics of such accounts need to say something about simple-sentence cases. If they choose to allow that intuitions of substitution failure can be over-ridden and explained away pragmatically in simple-sentence cases but not in that-clause cases, they lay themselves open to the charge of operating a double standard. But if they do not choose this option, they must offer a semantic explanation of apparent substitution failure in simple-sentence cases - no easy task, it turns out. Other respondents to Saul's challenge have sought to provide elaborate semantic treatments. In contrast, this paper proposes a far simpler pragmatic explanation of intuitions of substitution failure in simple sentences, an explanation that deploys no more resources than are to be found in Grice's 'Logic and Conversation'. Ironically, this proposal turns out to be incompatible with a direct reference perspective. So if it is, as I maintain, the most plausible treatment of simple-sentence cases available, Saul's initial thought gets turned around 180 degrees: the phenomenon she has drawn attention to ends up representing a challenge to supporters of direct reference theories. (shrink)

This paper replies to a number of objections brought against the solution to Jennifer Saul's puzzle of failure of substitutivity in transparent contexts presented in my 2001 paper "Alter Egos and Their Names".

Contrary to nouns and verbs that either do not include a co-positing of parts, including nouns and some verbs, or if they are, their parts do not significate separately, a sentence (λόγος) is a ‘significant portion of speech by co-positing, its parts signify something separately, though not as a positive or negative judgment but as utterance.’ (OI ., I, 4, 16b26-28). Therefore, every utterance in language that i) includes parts, ii) its signification is based on the co-positing of its parts, (...) iii) each of its parts is separately significant but iv) the signification of its parts is the signification of an utterance and not a judgment, is a sentence. This definition distinguishes a sentence from: a) Nouns: because they do not have parts; b) Verbs: because they either do not have parts or if they have, their parts do not significate separately; c) Those co-positings of words whose significance is not based on their co-positing. Thus a co-positing like ‘wall tree house’ is not a sentence because it has no significance on the basis of its co-positing; d) Those co-positings that the signification of at least some of their parts is the signification of judgments. Thus, ‘Socrates is from Athens and is a philosopher’ is not a sentence because at least one of its parts, e.g. ‘Socrates is from Athens’ signifies a judgment. Those sentences that either of truth or falsity belongs to them are propositions (ἀπόφανσις or λόγος ἀπόφαντικὸς). (OI., I, 4, 17a2-3) It is this and only this kind of sentence that is the subject of study in philosophy. (OI., I, 4, 17a5-7) The primary forms of a proposition are, firstly, an affirmation (κατάφασις) and then a negation (ἀπόφασις). (OI., I, 4, 17a8-9) To have an affirmation or a denial and, thus, a proposition, what firstly is necessary is a verb or the tense of a verb (OI, I, 4, 17a9-12; I, 10, 19b12-13; OI, I, 4, 16b28-30) and a noun (OI, I, 10, 19b10-12). Aristotle draws a contrast between single and plural proposition: a) Single proposition: a proposition that ‘indicate a single fact, or the conjunction of the parts of which results in unity.’ (OI., I, 5, 17a15-16) b) Plural propositions: a proposition that ‘are separate and many in number, which indicate many facts, or whose parts have no conjunction.’ (OI., I, 5, 17a16-17) He also differentiates between simple and composite propositions (OI, I, 5, 17a20-22): a) Simple proposition: ‘that which asserts or denies something of something’; b) Composite propositions: ‘that which is compounded of simple propositions.’ A simple (ἁπλῆ) proposition is a statement about the belonging or not belonging of something (OI, I, 5, 17a22-24). Affirmation and denial are indeed kinds of simple proposition, one affirming the belonging and the other not belonging. An affirmation or denial may be single or non-single. A single affirmation or denial ‘signifies some one fact about some one subject. This singularity is destroyed neither by the universality of subject nor by the universal character of the statement. The only thing that destroys this singularity is that one part signifies more than one thing, which makes the proposition more than one proposition (OI, I, 8, 18a13-27). In other words, neither ‘predication of one thing of many subjects’ nor ‘many things of the same subject’ results in a unitary proposition. (OI., II, 11, 20b13-16) There is also another cause that might destroy the unity of predicate and thus the unity of proposition, namely when one of the parts of the predicate is implicit in the other. Thus, e.g. animal-man does not form a unity because the notion ‘animal’ is implicit in ‘man.’ (OI., II, 11, 21a16-18) The following are characteristics of propositions: 1. That about which an affirmation signifies something is a noun, whether definite or indefinite. (OI., I, 10, 19b5-12) Moreover, there can be no affirmation or denial without a verb. (OI., I, 10, 19b12-19) Therefore, a proposition must involve at least a noun and a verb. 2. Contrary propositions: since both belonging and not belonging of something to something is possible, we are able to make a negative proposition out of an affirmative one and vice versa. (OI., I, 5, 17a26-31) Therefore, ‘every affirmation has an opposite denial’ and vice versa. (OI., I, 6, 17a31-33) The contradictory of each proposition is made by changing the positivity or negativity of the verb ‘to be’ to its opposite but not by changing the subject to its opposite. Thus, the contradictory of ‘man is white’ is ‘man is not white’ and not ‘not-man is white.’ (OI., II, 11, 21a38-b5) What happens in the mentioned wrong form of contradictory propositions is that they change the subject while the denial must be the contrary of the affirmation about the same subject. (cf. OI., II, 14, 24b1-6) This is made plain in propositions involving a verb other than ‘to be’. What must be changed in these propositions is the verb and not the noun or the subject. Thus, the contradictory of ‘Socrates runs’ is ‘Socrates does not run’ and not ‘not-Socrates runs.’ 3. Conversion possible: ‘Out of conversion (μετατιθεμένου) of the name and the verb, the same affirmation and denial is generated. (OI., I, 10, 20b10-12) In other words, the two affirmations or denials ‘signify the same thing.’ (OI, I, 10, 20b1-2) . (shrink)

Serious actualists take it that all properties are existence entailing. I present a simple puzzle about sentence tokens which seems to show that serious actualism is false. I then consider the most promising response to the puzzle. This is the idea that the serious actualist should take ordinary property-talk to contain an implicit existential presupposition. I argue that this approach does not work: it fails to generalise appropriately to all sentence types and tokens. In particular, it fails to capture (...) the right distinctions we ought to make between what I call _typographical sentence types_—an interesting and previously undiscussed class of fine-grained sentence types which are partially individuated by their typography, or how they look when written out. (shrink)

Jaakko Hintikka proposed treating objectual perception sentences, such as “Alice sees Bob,” as de re propositional perception sentences. Esa Saarinen extended Hintikka’s idea to eventive perception sentences, such as “Alice sees Bob smile.” These approaches, elegant as they may be, are not philosophically neutral, for they presuppose, controversially, that the content of all perceptual experiences is propositional in nature. The aim of this paper is to propose a formal treatment of objectual and eventive perception sentences that (...) builds on Hintikka’s modal approach to propositional attitude ascriptions while avoiding controversial assumptions on the nature of perceptual experiences. Despite being simple and theoretically frugal, our approach is powerful enough to express a variety of interesting philosophical views about propositional, objectual, and eventive perception sentences, thus enabling the study of their inferential relationships. (shrink)

Simple sentences containing predicates like "tasty" and "beautiful" typically suggest that the speaker has first-hand knowledge of the item being evaluated. I consider two explanations of this acquaintance inference: a presuppositional approach and a pragmatic-epistemic approach. The presuppositional approach has a number of virtues, but runs into trouble because the acquaintance inference has a very different projection pattern from that of standard presuppositions. The pragmatic-epistemic approach accounts for the main data discussed in the paper, but faces challenges of (...) its own. (shrink)

Tarski's indefinability theorem shows us that truth is not definable in arithmetic. The requirement to define truth for a language in a stronger language (if contradiction is to be avoided) lapses for particularly weak languages. A weaker language, however, is not necessary for that lapse. It also lapses for an adequately weak theory. It turns out that the set of G{\"o}del numbers of sentences true in arithmetic modulo $n$ is definable in arithmetic modulo $n$.

This article provides an intuitive semantic account of a new logic for comparisons (CL), in which atomic statements are assigned both a classical truth-value and a “how much” value or extension in the range [0, 1]. The truth-value of each comparison is determined by the extensions of its component sentences; the truth-value of each atomic depends on whether its extension matches a separate standard for its predicate; everything else is computed classically. CL is less radical than Casari’s comparative logics, (...) in that it does not allow for the formation of comparative statements out of truth-functional molecules. It is argued that CL provides a better analysis of predicate vagueness than classical logic, fuzzy logic or supervaluation theory. (shrink)

In theoretical work about the language of personal taste, the canonical example is the simple predicate of personal taste, 'tasty'. We can also express the same positive gustatory evaluation with the complex expression, 'taste good'. But there is a challenge for an analysis of 'taste good': While it can be used equivalently with 'tasty', it need not be (for instance, imagine it used by someone who can identify good wines by taste but doesn't enjoy them). This kind of two-faced (...) behavior systematically arises with complex sensory-evaluative predicates, including those with other appearance verbs, such as 'look splendid' and 'sound nice'. I examine two strategies for capturing these different uses: one that posits an ambiguity in appearance verbs, and one that does not. The former is in line with an approach to 'look'-statements prominent in work in philosophy of perception, and I consider how the motivation given in that tradition carries over to the present context. I then show how the data used to support the verbal ambiguity approach can equally be captured on the second strategy, which appeals only to independently-motivated flexibility in adjective meaning. I close by discussing some considerations that are relevant for choosing between the two options. (shrink)

According to the cliché a picture is worth a thousand words. But this is a canard, for it vastly underestimates the expressive power of many pictures and diagrams. In this note we show that even a simple map such as the outline of Manhattan Island, accompanied by a pointer marking North, implies a vast infinity of statements—including a vast infinity of true statements.

Utterances of simple sentences containing taste predicates (e.g. "delicious", "fun", "frightening") typically imply that the speaker has had a particular sort of first-hand experience with the object of predication. For example, an utterance of "The carrot cake is delicious" would typically imply that the speaker had actually tasted the cake in question, and is not, for example, merely basing her judgment on the testimony of others. According to one approach, this acquaintance inference is essentially an implicature, one generated (...) by the Maxim of Quality together with a certain principle concerning the epistemology of taste (Ninan 2014). We first discuss some problems for this approach that arise in connection with disjunction and generalized quantifiers. Then, after stating a conjecture concerning which operators ‘obviate’ the acquaintance inference and which do not, we build on Anand & Korotkova (2018) and Willer & Kennedy (Forthcoming) by developing a theory that treats the acquaintance requirement as a presupposition, albeit one that can be obviated by certain operators. (shrink)

While standard first-order modal logic is quite powerful, it cannot express even very simple sentences like “I could have been taller than I actually am” or “Everyone could have been smarter than they actually are”. These are examples of cross-world predication, whereby objects in one world are related to objects in another world. Extending first-order modal logic to allow for cross-world predication in a motivated way has proven to be notoriously difficult. In this paper, I argue that the (...) standard accounts of cross-world predication all leave something to be desired. I then propose an account of cross-world predication based on quantified hybrid logic and show how it overcomes the limitations of these previous accounts. I will conclude by discussing various philosophical consequences and applications of such an account. (shrink)

Singular terms used in fictions for fictional characters raise well-known philosophical issues, explored in depth in the literature. But philosophers typically assume that names already in use to refer to “moderatesized specimens of dry goods” cause no special problem when occurring in fictions, behaving there as they ordinarily do in straightforward assertions. In this paper I continue a debate with Stacie Friend, arguing against this for the exceptionalist view that names of real entities in fictional discourse don’t work there as (...) they do in simple-sentence assertions, but rather as fictional names do. (shrink)

In this paper, I argue that for the purposes of ordinary reasoning, sentences about properties of concrete objects can be replaced with sentences concerning how things in our universe would be related to inscriptions were there a pluriverse. Speaking loosely, pluriverses are composites of universes that collectively realize every way a universe could possibly be. As such, pluriverses exhaust all possible meanings that inscriptions could take. Moreover, because universes necessarily do not influence one another, our universe would not (...) be any different intrinsically if there were a pluriverse. These two facts enable anti-realists about abstract objects to replace, e.g. talk of anatomical features with talk of the inscriptions concerning anatomical structure that would exist were there a pluriverse. The availability of such replacements enables anti-realists to carry out essential ordinary reasoning without referring to properties, thereby making room for a consistent anti-realist worldview. The inscriptions of the would-be pluriverse are so numerous and varied that sentences about them can play the roles in ordinary reasoning served by simple sentences about properties of concrete objects. (shrink)

To what in reality do the logically simple sentences with empirical content correspond? Two extreme positions can be distinguished in this regard: 'Great Fact' theories, such as are defended by Davidson; and trope-theories, which see such sentences being made the simply by those events or states to which the relevant main verbs correspond. A position midway between these two extremes is defended, one according to which sentences of the given sort are made tme by what are (...) called 'dependence structures', or in other words by certain complex concrete portions of reality between the parts of which relations of dependence are defined. Principles governing such dependence-structures are laid down, principles of an ontologically motivated sort which serve as basis for a topological semantics conceived as an altemative to standard set-theoretic approaches to semantics of the Tarskian sort. These principles are then used to resolve certain puzzles generated by the (semantically motivated) theory of events put forward by Davidson. (shrink)

This paper considers negative triggers and the interpretation of simple sentences containing more than one occurrence of those items . In the most typical interpretations those sentences have more negative expressions than negations in their semantic representation. It is first shown that this compositionality problem remains in current approaches. A principled algorithm for deriving the representation of sentences with multiple negative quantifiers in a DRT framework is then introduced. The algorithm is under the control of an (...) on-line check-in, keeping the complexity of negation auto-embedding below a threshold of complexity. This mechanism is seen as a competence limitation imposing the ‘abrogation of compositionality’ observed in the so-called negative concord readings . A solution to the compositionality problem is thus proposed, which is based on a control on the processing input motivated by a limitation of the processing mechanism itself. (shrink)

Epistemic theories of truth, such as those presumed to be typical for anti-realism, can be characterised as saying that what is true can be known in principle: p → ◊Kp. However, with statements of the form “p & ¬Kp”, a contradiction arises if they are both true and known. Analysis of the nature of the paradox shows that such statements refute epistemic theories of truth only if the the anti-realist motivation for epistemic theories of truth is not taken into account. (...) The motivation in a link of understandability ans meaningful- ness suggests to change the above principle and to restrict the theory to logically simple sentences, in which case the paradox does not arise. This suggestion also allows to see the deep philosophical problems for anti-realism those counterexamples are pointing at. (shrink)

Semantic Information conveyed by daily language has been researched for many years; yet, we still need a practical formula to measure information of a simple sentence or prediction, such as “There will be heavy rain tomorrow”. For practical purpose, this paper introduces a new formula, Semantic Information Formula (SIF), which is based on L. A. Zadeh’s fuzzy set theory and P. Z. Wang’s random set falling shadow theory. It carries forward C. E. Shannon and K. Popper’s thought. The fuzzy (...) set’s probability defined by Zadeh is treated as the logical probability sought by Popper, and the membership grade is treated as the truth-value of a proposition and also as the posterior logical probability. The classical relative information formula (Information=log(Posterior probability / Prior probability) is revised into SIF by replacing the posterior probability with the membership grade and the prior probability with the fuzzy set’s probability. The SIF can be explained as “Information=Testing severity – Relative square deviation” and hence can be used as Popper's information criterion to test scientific theories or propositions. The information measure defined by the SIF also means the spared codeword length as the classical information measure. This paper introduces the set-Bayes’ formula which establishes the relationship between statistical probability and logical probability, derives Fuzzy Information Criterion (FIC) for the optimization of semantic channel, and discusses applications of SIF and FIC in areas such as linguistic communication, prediction, estimation, test, GPS, translation, and fuzzy reasoning. Particularly, through a detailed example of reasoning, it is proved that we can improve semantic channel with proper fuzziness to increase average semantic information to reach its upper limit: Shannon mutual information. (shrink)

In the article I deal with some paradoxes and errors caused by improper usage of logical and philosophical terms appearing in the arguments for existence of god and other philosophical issues. I point at rst some paradoxes coming om improper usage of propositional calculus as an instrument for analysis of a natural language. this language is actually not using simple sentences but rather propositional functions, their logical connections, and some replacements for variables in them. We still have to (...) deal with so called paradox of material implication. the second paragraph provides formal and metatheoretical critics of Charles Sanders Peirce’s theory of deduction, induction and abduction. I argue that what Peirce and his followers call abduction is actually deduction or some reasoning unable to describe in terms of the logic used by them. Both syllogistic and inferential theory of abduction generate some paradoxes and contradictions. In the last paragraph also some paradoxes and contradictions resulting om the theory of causation by Jan Łukasiewicz are presented. the central issue of the article is erroneous usage of the implication: in logical paraphrases of a natural language, in description of the scienti c reasoning, and in description of causality. However, my objective is not to solve all problems mentioned above but rather to open a discussion over them. (shrink)

I argue that Frege's puzzle can extend beyond semantics and to, for example, pictures and scent. Accordingly, attempted solutions to the puzzle should not focus solely on semantics. Solutions that do so can at best provide a partial solution to the puzzle. They will not provide a solution that explains the broader phenomenon, including the one where I, as a child, learned the identity of Clark Kent and Superman without possessing their names. Below I will provide a solution that accounts (...) for the typical Frege case as well as my childhood case. The solution will, accordingly, not be a semantic solution. Instead it will focus on information we have on objects and how we organize and access the information. The solution I will provide is psychological and not semantic in nature. At the same time I will show that the solution I provide aligns itself well with Millianism. (shrink)

Peter Milne has tried to refure Truthmaker Maximalism. the thesis that every truth has a truthmaker, by producing a simple and direct counterexample to it, the sentence M: This sentence has no truthmaker. I argue that, contrary to what Milne argues, on Truthmaker Maximalism M is equivalent to the Liar, which gives the truthmaker maximalist a way to defend his position from Milne's counterexample: to argue that M expresses no proposition.

Olle Blomberg challenges three claims in my book From Individual to Plural Agency (Ludwig, Kirk (2016): From Individual to Plural Agency: Collective Action 1. Vols. 2. Oxford: Oxford University Press.). The first is that there are no collective actions in the sense in which there are individual actions. The second is that singular action sentences entail that there is no more than one agent of the event expressed by the action verb in the way required by that verb (the (...) sole agency requirement). The third, is that an individual intention, e.g. to build a boat, is not satisfied if you don’t do it yourself. On the first point, I grant that Blomberg identifies an important distinction between simple and composite actions the book did not take into account, but argue it doesn’t show that there are collective actions in the same sense there are individual actions. On the second point, I argue from examples that the collective reading of plural action sentences doesn’t entail the distributive reading, which requires the sole agency requirement on singular action sentences. This settles the third point, since it entails that if you intend to build a boat, you are successful only if you are the only agent of it in the sense required by the verb. (shrink)

A very simple contextualist treatment of a sentence containing an epistemic modal, e.g. a might be F, is that it is true iff for all the contextually salient community knows, a is F. It is widely agreed that the simple theory will not work in some cases, but the counterexamples produced so far seem amenable to a more complicated contextualist theory. We argue, however, that no contextualist theory can capture the evaluations speakers naturally make of sentences containing (...) epistemic modals. If we want to respect these evaluations, our best option is a relativist theory of epistemic modals. On a relativist theory, an utterance of a might be F can be true relative to one context of evaluation and false relative to another. We argue that such a theory does better than any rival approach at capturing all the behaviour of epistemic modals. (shrink)

The sentences ‘p but I don’t believe p’ (omissive form) and ‘p but I believe that not-p’ (comissive form) are typical examples of Moore’s paradox. When an agent (sincerely) asserts such sentences under normal circumstances, we consider his statements absurd. The Simple Solution (Moore, Heal, Wolgast, Kriegel, et al.) finds the source of absurdity for such statements in a certain formal contradiction (some kind of like ‘p & not-p’), the presence of which is lexically disguised. This solution (...) is facing criticism since it is obvious that the denial of the contradiction allegedly hidden in Moore’s paradox will not become an expression of tautology for us. Hintikka offers another solution to Moore’s paradox. In his view, the source of absurdity is the practical inconceivability of the situation, in which the agent would be able to hold mutually incompatible (inconsistent) beliefs. The sentences ‘p but I don’t believe that p’ and ‘p but I believe that not-p’ sound absurd because they express high-ordered beliefs that no rational agent can hold. A belief expressed in the sentence ‘he believes that p’, in order to be available to the agent, must be compatible with the truth of everything the agent believes. The problem with Hintikka’s solution is that it relies on an epistemic principle that does not correspond to our general intuitions about the notion of belief. According to this principle, there must be a close connection between the sentence ‘p but I don’t believe that p’ and the sentence ‘I believe that is the case is that p but I don’t believe that p’. However, it is not difficult to imagine the context for situations when the agent asserts the sentence ‘p but I don’t believe that p’ when s/he believes that p, but in parallel does not hold any high-ordered belief about his/her belief in p. For example, the agent does not recognize oneself in a photograph after a hard plastic surgery, and when one asks him ‘who is this?’ it would not be absurd for him/her to accept the following description of his/her beliefs ‘I believe that {I am me} but I don’t believe that I believe that {I am me}’. Wittgenstein provides an alternative solution based on a descriptive analysis of the grammar of verbs we use to express, attribute, and understand each other’s psychological states. In his view, the everyday practice of using the verb ‘believe’ demonstrates a characteristic asymmetry in the semantic and logical properties of the usage of this verb in the first person. The expression ‘I believe falsely’ has no real meaning since no one can meaningfully say the sentence ‘Now I believe falsely that p’ on their own behalf. Therefore, the genuine source of absurdity is associated with situations of self-attribution of false belief by the agent. Despite its originality, Wittgenstein’s solution faces objections. For example, in a certain context, it would not be absurd to assert the sentence ‘There are no beliefs, but I don’t believe in it’, unlike the sentence ‘There are no beliefs and I believe that it is so’. The solution proposed by Wittgenstein does not allow us to correct the situation since one could assert quite reasonably and without any absurdity a sentence like ‘In fact, there are no beliefs and now I falsely believe that it is so’. Based on Evans’ principle of epistemic transparency, some researchers (Atlas, Chan, Kwon, et al.) offer another strategy for solving Moore’s paradox, in which peculiar attention is paid to the dependence of understanding and evaluating the meaning of the sentences ‘p but I do not believe that p’ and ‘p but I believe that not-p’ from the immediate context of their usage. The source of absurdity should be looked for in the established practice of the self-referential use of the pronoun ‘I’. In the researchers’ view, Moore’s paradox arises only in the context of situations where the agent asserting such sentences is conscious speaking about oneself. Therefore, there is an obvious structural analogy between the sentences of the Liar family (‘This very sentence is false’, ‘Now I am lying’, etc.) and Moore’s paradox (‘p but I don’t believe that p’, ‘p but I believe that not-p’) – self-reference is constitutive for both families of paradoxical statements. (shrink)

“Throw away anything that sounds too complicated. Only keep what is simple to grasp...If the information appears fuzzy and causes the brain to implode after two sentences, toss it away and stop listening. Doing so will make the news as orderly and simple to understand as the truth.” - In “GHG emissions,” The Kingfisher Story Collection, (Vuong 2022a).

One reason to think that names have a predicate-type semantic value is that they naturally occur in count-noun positions: ‘The Michaels in my building both lost their keys’; ‘I know one incredibly sharp Cecil and one that's incredibly dull’. Predicativism is the view that names uniformly occur as predicates. Predicativism flies in the face of the widely accepted view that names in argument position are referential, whether that be Millian Referentialism, direct-reference theories, or even Fregean Descriptivism. But names are predicates (...) in all of their occurrences; they are predicates that are true of their bearers. When a name appears as a bare singular in argument position, it really occupies the predicate position of what in this essay is called a denuded definite description: a definite description with an unpronounced definite article. Sloat provided good evidence for this. The definite article is sometimes pronounced with names in the singular: ‘The Ivan we all love doesn't feel well’. Sloat proposed a disjunctive generalization of when the definite article must be pronounced with a singular name. This essay shows that by slightly revising Sloat's generalization, we arrive at a simple, nondisjunctive, syntactic rule that governs the overt appearance of the definite article with singular names. But Ivan does not necessarily bear the name ‘Ivan’, so one might worry that the sentence “Ivan might not have had ‘Ivan’ as a name” would incorrectly be predicted false. This essay shows that Predicativism does not have this consequence by showing that incomplete definite descriptions in general and incomplete denuded descriptions, such as ‘Øthe Ivan’, in particular are rigid designators. (shrink)

A fairly simple theory of the semantics of tense is obtained by combining three claims: (i) for any time t, a present-tense sentence `p' is either true or false at t; (ii) for any time t0 earlier than t, the future-tense sentence `It will be the case that p at t' is true at t0 if `p' is true at t, false otherwise; (iii) for any time t0 later than t, the past-tense sentence `It was the case that p (...) at t' is true at t0 if `p' is true at t, false otherwise. This theory, which has been called the theory of timeless truth, is often dismissed on the basis of its alleged incapacity to comply with indeterminism. Here, instead, it will be suggested that there is no reason to be dismissive. Section 1 provides some elucidations about the theory. Sections 2 and 3 explain how a foregone objection to it can be resisted. Sections 4 and 5 show that there is a plausible sense in which (i)-(iii) are compatible with indeterminism. Sections 6 and 7 dispel some misunderstandings that may lead to think that indeterminism is not vindicated in some important sense other than that outlined. (shrink)

Mereological nihilists typically employ a paraphrase strategy in order to mitigate the apparent absurdity of their denial of the existence of composite objects. I argue here that the nihilist's paraphrase strategy is incomplete, because no schema for generating nihilistically acceptable paraphrases of sentences concerning material constitution has ever been given. Nor can an adequate schema be arrived at by generalising things that nihilists have already said. I fill this lacuna in the nihilist's account by developing and defending a novel (...) paraphrase schema that makes essential reference to the determinable‐determinate relation that holds between arrangement‐properties instantiated by the simples. (shrink)

We argue that a cognitive semantics has to take into account the possibly partial information that a cognitive agent has of the world. After discussing Gärdenfors's view of objects in conceptual spaces, we offer a number of viable treatments of partiality of information and we formalize them by means of alternative predicative logics. Our analysis shows that understanding the nature of simple predicative sentences is crucial for a cognitive semantics.

On Kratzer’s canonical account, modal expressions (like “might” and “must”) are represented semantically as quantifiers over possibilities. Such expressions are themselves neutral; they make a single contribution to determining the propositions expressed across a wide range of uses. What modulates the modality of the proposition expressed—as bouletic, epistemic, deontic, etc.—is context.2 This ain’t the canon for nothing. Its power lies in its ability to figure in a simple and highly unified explanation of a fairly wide range of language use. (...) Recently, though, the canon’s neat story has come under attack. The challenge cases involve the epistemic use of a modal sentence for which no single resolution of the contextual parameter appears capable of accommodating all our intuitions.3 According to these revisionaries, such cases show that the canonical story needs to be amended in some way that makes multiple bodies of information relevant to the assessment of such statements. Here I show that how the right canonical, flexibly contextualist account of modals can accommodate the full range of challenge cases. The key will be to extend Kratzer’s formal semantic account with an account of how context selects values for a modal’s.. (shrink)

In this paper, I consider how, given mutual knowledge of the information codified in a compositional semantic theory, an assertion of a sentence serves to update the shared information in a conversation. There is a standard account, due to Stalnaker, of how such conversational updating occurs. While this account has much to recommend it, in this paper I argue that it needs to be revised in light of certain patterns of updating that result from certain natural discourses. Having argued for (...) this, I present a new account of conversational updating that can be seen as a natural generalization of the standard account, and show how it can predict these patterns in a simple and principled manner. (shrink)

Gillian Russell has recently proposed counterexamples to such elementary argument forms as Conjunction Introduction and Identity. These purported counterexamples involve expressions that are sensitive to linguistic context—for example, a sentence which is true when it appears alone but false when embedded in a larger sentence. If they are genuine counterexamples, it looks as though logical nihilism—the view that there are no valid argument forms—might be true. In this paper, I argue that the purported counterexamples are not genuine, on the grounds (...) that they equivocate. Having defused the threat of logical nihilism, I argue that the kind of linguistic context sensitivity at work in Russell’s purported counterexamples, if taken seriously, far from leading to logical nihilism, reveals new, previously undreamt-of valid forms. By way of proof of concept I present a simple logic, Solo-Only Propositional Logic, designed to capture some of them. Along the way, some interesting subtleties about the fallacy of equivocation are revealed. (shrink)

The use of evolutionary game theory to explain the evolution of human norms and the behavior of humans who act according to those norms is widespread. Both the aims and motivation for its use are clearly articulated by Harms and Skyrms (2008) in the following passage: "A good theory of evolution of norms might start by explaining the evolution of altruism in Prisoner’s Dilemma, of Stag Hunting, and of the equal split in the symmetric bargaining game. These are not well-explained (...) by classical game theory based on rational choice. From a technical point of view, they present different theoretical challenges. In the bargaining game, there are an infinite number of equilibria with no principled (rational choice) way to select the cooperative one. In Stag Hunt there are only two, but the non-cooperative one is selected by risk-dominance. In Prisoner’s Dilemma the state of mutual cooperation is not a Nash equilibrium at all, and cooperation flies in the face of the rational-choice principle that one does not choose less rather than more. In contrast to rational choice theory, the most common tool of evolutionary game theory is the replicator dynamics, in which the propagation rate of each strategy is determined by its current payoffs. These dynamics have a rationale in both biological and cultural evolutionary modeling, and sometimes tell us things that rational choice theory does not." We agree with the first sentence in this quotation: a good theory about the behavior under norms ought to explain altruism in the Prisoner’s Dilemma (PD), playing Stag in Stag Hunt (SH), and offering equal splits in the symmetric Nash bargaining game (NB). We also agree with Harms and Skyrms about the difference in technical challenges each of these games poses. Finding a single mechanism, even one as broadly understood as evolution, that could solve these challenges en masse is no doubt a tall order. Nonetheless, in this paper, we present a single, simple, modification to SH, NB, and a general n-player PD that does just that: we introduce deontological autonomy into the models. (shrink)

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)

I observe that the “concept-generator” theory of Percus and Sauerland (2003), Anand (2006), and Charlow and Sharvit (2014) does not predict an intuitive true interpretation of the sentence “Plato did not believe that Hesperus was Phosphorus”. In response, I present a simple theory of attitude reports which employs a fine-grained semantics for names, according to which names which intuitively name the same thing may have distinct compositional semantic values. This simple theory solves the problem with the concept-generator theory, (...) but, as I go on to show, it has problems of its own. I present three examples which the concept-generator theory can accommodate, but the simple fine-grained theory cannot. These examples motivate the full theory of the paper, which combines the basic ideas behind the concept-generator theory with a fine-grained semantics for names. The examples themselves are of interest independently of my theory: two of them constrain the original concept-generator theory more tightly than previously discussed examples had. (shrink)

In this paper, I examine Hume’s account of an important class of causal belief which he calls “general rules”. I argue that he understands general rules, like all causal beliefs, as lively ideas which are habitually associated with our impressions or memories. However, I argue, he believes that they are unlike any reflectively produced causal beliefs in that they are produced quickly and automatically, such that they occur independently of any other processes of reasoning. Given this, I argue, Hume appears (...) to understand general rules as relatively simple beliefs, expressible only via generic sentences, like “birds lay eggs”. (shrink)

According to relationism, for Alice to believe that some rabbits can speak is for Alice to stand in a relation to a further entity, some rabbits can speak. But what could this further entity possibly be? Higher-order metaphysics seems to offer a simple, natural answer. On this view (roughly put), expressions in different syntactic categories (for instance: names, predicates, sentences) in general denote entities in correspondingly different ontological categories. Alice's belief can thus be understood to relate her to (...) a sui generis entity denoted by "some rabbits can speak", belonging to a different ontological category than Alice herself. This straightforward account of the attitudes has historically been deemed so attractive that it was seen as providing an important motivation for higher-order metaphysics itself (Prior [1971]). But I argue that it is not as straightforward as it might seem, and in fact that propositional attitudes present a foundational challenge for higher-order metaphysics. (shrink)

The paper looks at the semantics and ontology of dispositions in the light of recent work on the subject. Objections to the simple conditionals apparently entailed by disposition statements are met by replacing them with so-called 'reduction sentences' and some implications of this are explored. The usual distinction between categorical and dispositional properties is criticised and the relation between dispositions and their bases examined. Applying this discussion to two typical cases leads to the conclusion that fragility is not (...) a real property and that, while both temperature and its bases are, this does not generate any problem of overdetermination. (shrink)

Drawing on the puzzling behavior of ordinary knowledge ascriptions that embed an epistemic (im)possibility claim, we tentatively conclude that it is untenable to jointly endorse (i) an unfettered classical logic for epistemic language, (ii) the general veridicality of knowledge ascription, and (iii) an intuitive ‘negative transparency’ thesis that reduces knowledge of a simple negated ‘might’ claim to an epistemic claim without modal content. We motivate a strategic trade-off: preserve veridicality and (generalized) negative transparency, while abandoning the general validity of (...) contraposition. We criticize various approaches to incorporating veridicality into domain semantics, a paradigmatic ‘information-sensitive’ framework for capturing negative transparency and, more generally, the non-classical behavior of sentences with epistemic modals. We then present a novel information-sensitive semantics that successfully executes our favored strategy: stable acceptance semantics, extending a vanilla bilateral state-based semantics for epistemic modals with a knowledge operator loosely inspired by the defeasibility theory of knowledge. (shrink)

Expressions are synonymous if they have the same semantic content. Complex expressions are synonymously isomorphic in Alonzo Church’s sense if one is obtainable from the other by a sequence of alphabetic changes of bound variables or replacements of component expressions by syntactically simple synonyms. Synonymous isomorphism provides a very strict criterion for synonymy of sentences. Several eminent philosophers of language hold that synonymous isomorphism is not strict enough. These philosophers hold that ‘Greeks prefer Greeks’ and ‘Greeks prefer Hellenes’ (...) express different propositions even if they are synonymously isomorphic. They hold that the very recurrence (multiple occurrence) of ‘Greeks’ contributes to the proposition expressed something that indicates the very recurrence in question. Kit Fine argues that this thesis, which he labels semantic relationism calls for a radically new conception of semantics. I have argued that the relevant phenomenon is wholly pragmatic, entirely non-semantic. Here I supplement the case with a new argument. No cognition without recognition—or almost none. With this observation, standard Millianism has sufficient resources to confront Frege’s puzzle and related problems without injecting pragmatic phenomena where they do not belong. (shrink)

Phrase structure trees have a hierarchical structure. In many subjects, most notably in {\bf taxonomy} such tree structures have been studied using ultrametrics. Here syntactical hierarchical phrase trees are subject to a similar analysis, which is much simpler as the branching structure is more readily discernible and switched. The occurrence of hierarchical structure elsewhere in linguistics is mentioned. The phrase tree can be represented by a matrix and the elements of the matrix can be represented by triangles. The height at (...) which branching occurs is not prescribed in previous syntactic models, but it is by using the ultrametric matrix. In other words the ultrametric approach gives a complete description of phrase trees, unlike previous approaches. The ambiguity of which branching height to choose, is resolved by postulating that branching occurs at the lowest height available. An ultrametric produces a measure of the complexity of sentences: presumably the complexity of sentences increases as a language is acquired so that this can be tested. All ultrametric triangles are equilateral or isosceles. Here it is shown that \={X} structure implies that there are no equilateral triangles. Restricting attention to simple syntax a minimum ultrametric distance between lexical categories is calculated. A matrix constructed from this ultrametric distance is shown to be different than the matrix obtained from features. It is shown that the definition of {\sc c-command} can be replaced by an equivalent ultrametric definition. The new definition invokes a minimum distance between nodes and this is more aesthetically satisfying than previous varieties of definitions. From the new definition of {\sc c-command} follows a new definition of of the central notion in syntax namely {\sc government}. (shrink)

I propose an apparatus for handling intrasentential change in context. The standard approach has problems with sentences with multiple occurrences of the same demonstrative or indexical. My proposal involves the idea that contexts can be complex. Complex contexts are built out of (“simple”) Kaplanian contexts by ordered n-tupling. With these we can revise the clauses of Kaplan’s Logic of Demonstratives so that each part of a sentence is taken in a different component of a complex context. I consider (...) other applications of the framework: to agentially distributed utterances (ones made partly by one speaker and partly by another); to an account of scare-quoting; and to an account of a binding-like phenomenon that avoids what Kit Fine calls “the antinomy of the variable.”. (shrink)

In “Demonstratives”, David Kaplan introduced a simple and remarkably robust semantics for indexicals. Unfortunately, Kaplan’s semantics is open to a number of apparent counterexamples, many of which involve recording devices. The classic case is the sentence “I am not here now” as recorded and played back on an answering machine. In this essay, I argue that the best way to accommodate these data is to conceive of recording technologies as introducing special, non-basic sorts of contexts, accompanied by non-basic conventions (...) governing the use of indexicals in those contexts. The idea is that recording devices allow us to use indexicals in new and innovative ways to coordinate on objects. And, given sufficient regularity in the use of indexicals on such devices, linguistic conventions will, over time, come to reflect this innovation. I consider several alternatives to this ‘character-shifting’ theory, but none is able to account for the data as well as the present proposal. Many face additional theoretical difficulties as well. I conclude by explaining how the character-shifting theory not only retains many of the virtues of Kaplan’s original semantics, but also coheres with a plausible view on the nature of semantic theorizing more generally. (shrink)

Carter (Noûs 55(1):171–198, 2021) argued that while most simple positive numerical sentences are literally false, they can communicate true contents because relevance has a weakening effect on their literal contents. This paper presents a challenge for his account by considering entailments between the imprecise contents of numerical sentences and the imprecise contents of comparatives. I argue that while Carter's weakening mechanism can generate the imprecise contents of plain comparatives such as `A is taller than B', it cannot (...) generate the imprecise contents of comparatives that quantify the difference between their arguments, such as `A is exactly n times as tall as B'. I then propose an alternative theory on which intervals serve as both thick degrees on a scale and denotations of numerical expressions. I argue that the alternative theory can account for the imprecise contents of both forms of comparatives as well as the data that motivate Carter's theory. (shrink)

The deontic modal must has two surprising properties: an assertion of must p does not permit a denial of p, and must does not take past tense complements. I first consider an explanation of these phenomena that stays within Angelika Kratzer’s semantic framework for modals, and then offer some reasons for rejecting that explanation. I then propose an alternative account, according to which simple must sentences have the force of an imperative.

Inspired by the early Wittgenstein’s concept of nonsense (meaning that which lies beyond the limits of language), we define two different, yet complementary, types of nonsense: formal nonsense and pragmatic nonsense. The simpler notion of formal nonsense is initially defined within Tarski’s semantic theory of truth; the notion of pragmatic nonsense, by its turn, is formulated within the context of the theory of pragmatic truth, also known as quasi-truth, as formalized by da Costa and his collaborators. While an expression will (...) be considered formally nonsensical if the formal criteria required for the assignment of any truth-value (whether true, false, pragmatically true, or pragmatically false) to such sentence are not met, a (well-formed) formula will be considered pragmatically nonsensical if the pragmatic criteria (inscribed within the context of scientific practice) required for the assignment of any truth-value to such sentence are not met. Thus, in the context of the theory of pragmatic truth, any (well-formed) formula of a formal language interpreted on a simple pragmatic structure will be considered pragmatically nonsensical if the set of primary sentences of such structure is not well-built, that is, if it does not include the relevant observational data and/or theoretical results, or if it does include sentences that are inconsistent with such data. (shrink)

One of the benefits of the 2D framework we looked at last week was that it explained how we could understand a sentence without knowing which proposition it expressed. And we could do this even if we give an account of understanding which is closely tied to the possible worlds semantics we use to analyse propositions. Really this can be done very easily, without appeal to any high-flying Kripkean cases. In “Analytic Metaphysics” Jackson discusses a very simple case of (...) it. I can understand an utterance of “I have a beard” without knowing which proposition it expresses. I know how the proposition is generated from context plus meaning, if X is the speaker then the sentence expresses the proposition X has a beard. And that is enough for understanding. But if I don’t know who said the sentence, so I don’t know who X is, I don’t know which proposition is expressed by that utterance. (shrink)

I here investigate the sense in which diagonalization allows one to construct sentences that are self-referential. Truly self-referential sentences cannot be constructed in the standard language of arithmetic: There is a simple theory of truth that is intuitively inconsistent but is consistent with Peano arithmetic, as standardly formulated. True self-reference is possible only if we expand the language to include function-symbols for all primitive recursive functions. This language is therefore the natural setting for investigations of self-reference.

The aim of this dissertation is to offer and defend a correspondence theory of truth. I begin by critically examining the coherence, pragmatic, simple, redundancy, disquotational, minimal, and prosentential theories of truth. Special attention is paid to several versions of disquotationalism, whose plausibility has led to its fairly constant support since the pioneering work of Alfred Tarski, through that by W. V. Quine, and recently in the work of Paul Horwich. I argue that none of these theories meets the (...) correspondence intuition---that a true sentence or proposition in some way corresponds to reality---despite the explicit claims by each to capture this intuition. I distinguish six versions of the correspondence theory, and defend two against traditional objections, standardly taken as decisive against them, and show, plainly, that these two theories capture the correspondence intuition. Due to the importance of meeting this intuition, only these two theories stands a chance of being a satisfactory theory of truth. I argue that the version of the correspondence theory incorporating a simple semantic representation relation is preferable to its rival, for which the representation relation is complex. I present and argue for a novel version of this correspondence theory according to which truth is a correspondence property sensitive to semantic context. One consequence of this context-sensitivity is that an ungrounded sentence does not express a proposition. In addition to accounting for the similarity between the Liar and Truth-Teller sentences, this theory of truth is immune to the Liar Paradox, including empirical versions. It is argued that the Liar Paradox is devastating to all of the other theories above, and even formal theories of truth designed to solve it, such as the revision and vagueness theories. Customized versions of the Liar Paradox besetting this theory are handled by its context-sensitivity, and by enforcing the distinction between truth and truth value. This same pair of considerations also yields solutions to Lob's Paradox and Grelling's Paradox. Arguments similar to those given to defend this correspondence theory show that with one minor alteration, Kripke's fixed point theory may be used to model this correspondence notion of truth. (shrink)