Specific Expressions

Chapin reviewed this 1972 ZEITSCHRIFT paper that proves the completeness theorem for the logic of variable-binding-term operators created by Corcoran and his student John Herring in the 1971 LOGIQUE ET ANALYSE paper in which the theorem was conjectured. This leveraging proof extends completeness of ordinary first-order logic to the extension with vbtos. Newton da Costa independently proved the same theorem about the same time using a Henkin-type proof. This 1972 paper builds on the 1971 “Notes on a Semantic Analysis of (...) Variable Binding Term Operators” (Co-author John Herring), Logique et Analyse 55, 646–57. MR0307874 (46 #6989). A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. Kalish-Montague 1964 proposed using vbtos to formalize definite descriptions “the x: x+x=2”, set abstracts {x: F}, minimization in recursive function theory “the least x: x+x>2”, etc. However, they gave no semantics for vbtos. Hatcher 1968 gave a semantics but one that has flaws described in the 1971 paper and admitted by Hatcher. In 1971 we give a correct semantic analysis of vbtos. We also give axioms for using them in deductions. And we conjecture strong completeness for the deductions with respect to the semantics. The conjecture, proved in this paper with Hatcher’s help, was proved independently about the same time by Newton da Costa. (shrink)

There is a widely shared account of the distinction between types and tokens, which might be termed the standard account. However, it has some surprising consequences that are not always realized. According to the standard account, a type is a contingent abstract object that can be created by us, but it does not allow any change and can never be destroyed once it is created, because it is an abstract object. I would like to present an alternative account of types (...) and tokens, according to which types are concrete objects that are located in space and time. This new account is based on a concept that I call a "token generator", which is something that specifies in detail how to produce the tokens. (shrink)

(English then french abstract) -/- This article, which can be read by non-psychoanalysts, intends to browse in four stages through the issue offered to our thinking : two (odd-numbered) stages analyzing the argument that provides its context, and two (even-numbered) of propositions presenting our views on what could be the content of the analytic discourse in the coming years. After this introduction, a first reading will point by point but informally review the argument of J.-P. Journet by showing that each (...) of its clauses may generate a “bifurcated” comment able to serve or go against the analytic discourse. Hence the interest of the “differential diagnosis” mentioned in our title, which makes glimpse the traps that the homonymy may set to this speech. Then, to prepare a second scan which sticks neither to the analytical doxa, nor to the even authoritative opinions of our tenors and seniors, it will be proposed two attempts at redefinitions (“apophatic” and “recursive”) of what psychoanalysis is, as well as methodological tools operating downstream from these redefinitions to thwart the obstacles of “external” and “internal” homonymy (starting from a syllogism which can make consensus).The third stage will precisely be made of our second scan of the issue, whose elements will be reviewed and analyzed more methodically :“external differential diagnosis” between the analytic discourse and psychology, philosophy, sociology, and modern science, and “internal differential diagnosis” on the entanglement between theoretical advances of psychoanalysts and the repeated survival of fantasmatic elements...Finally, a fourth part will present propositions and perspectives resulting from these analysis (principle of economy as to the source of psychoanalytical theorizations; dialogue with the other fields, but without compromising; specific relations with the discourse of science), all this leading to an invitation, beyond disputes, to renew the content of the analytic discourse on some points... -/- --------------------------------------------------------------------- -/- Cet article, qui se veut lisible aux non-analystes, se propose de parcourir en quatre temps la problématique offerte à notre réflexion : deux temps (de rang impair) d'analyse de l'argument qui en fournit le contexte, et deux (de rang pair) de propositions présentant nos vues sur ce que pourrait être la teneur du discours analytique dans les prochaines années. Après cette introduction, un premier parcours réexaminera point par point mais informellement l'argument de J.-P. Journet en montrant que chacune de ses propositions peut donner lieu à un commentaire “bifide” à même de servir ou de desservir le discours analytique. D'où l'intérêt du “diagnostic différentiel” évoqué dans notre titre, qui fait entrevoir les pièges que l'homonymie peut tendre à ce discours.Puis, pour préparer un second balayage qui ne s'en tienne ni à la doxa analytique, ni aux opinions même autorisées de nos ténors et seniors, il sera proposé deux tentatives de redéfinitions (“apophatique” et “récursive”) de ce qu'est l'analyse, ainsi que des outils méthodologiques fonctionnant en aval de ces redéfinitions pour déjouer les embûches de l'homonymie “externe” et “interne” (à partir d'un syllogisme pouvant faire consensus). Le troisième temps sera fait justement de ce second balayage de la problématique, dont les éléments seront reconsidérés et analysés plus méthodiquement : “diagnostic différentiel externe” entre le discours analytique et les discours psychologique, philosophique, sociologique et celui de la science moderne ; et “diagnostic différentiel interne” portant sur l'intrication entre avancées théoriques des analystes et survivance à répétition d'éléments fantasmatiques...Enfin une quatrième partie exposera propositions et perspectives résultant de ces analyses (principe d'économie quant à la source des théorisations analytiques ; dialogue avec les autres champs, mais sans compromissions ; relations spécifiques avec le discours de la science), l'ensemble débouchant sur une invitation, au delà des différends, à renouveler sur certains points la teneur du discours analytique... (shrink)

A consequence of Russell's Theory of Descriptions is that non-indicative sentences (questions and imperatives) either have meanings that are obviously distinct from their actual meanings, even after all pragmatic and contextual variables are allowed for, or are categorically non-sensical. Therefore, the Theory of Descriptions is false.

In this paper, I will claim that fictional works apparently about utterly immigrant objects, i.e., real individuals imported in fiction from reality, are instead about fictional individuals that intentionally resemble those real individuals in a significant manner: fictional surrogates of such individuals. Since I also share the realists’ conviction that the remaining fictional works concern native characters, i.e., full-fledged fictional individuals that originate in fiction itself, I will here defend a hyperrealist position according to which fictional works only concern fictional (...) individuals. (shrink)

The paper discusses whether the color terms should be given an externalist semantics. In the literature on the semantics of color terms externalism is standardly taken for granted, and Twin Earth style arguments play a central role. This is notable given that few people would claim that semantic externalism applies across the board, to all types of terms. Why, then, should the color terms belong with this group of terms? I argue that the standard externalist strategies, introduced by Tyler Burge (...) and Hilary Putnam, do not apply to these terms: The color terms do not function like natural kind terms, and the idea of semantic reliance on others does not apply to them. I conclude that the externalist arguments fail and that a version of internalism, more properly called ‘individualism’,applies to the color terms. (shrink)

In this paper I adopt Kaplan’s framework for distinguishing between descriptive and expressive content. Racial slurs are an especially difficult challenge for truth-conditional semantics because of their projection behaviors. That is to say, the offensive content of slurs “scopes out” of logical operators. I argue that racial slurs express contempt and lack descriptive content, so that many sentences containing slurs are not truth apt. My theory accounts for the intuition of the ordinary speaker who refuses to assent to the truth (...) of a sentence containing a slur, but accepts the same statement made using a neutral counterpart of that slur. Weaknesses of rival theories are briefly discussed. (shrink)

I reply to Willing's criticism of my 'if I were a dry well-made match', and along the way uncover a puzzle about counterfactuals rather like Geach's donkey sentence problem.

We investigate a novel use of the English temporal modifier ‘now’, in which it combines with a subordinate clause. We argue for a univocal treatment of the expression, on which the subordinating use is taken as basic and the non-subordinating uses are derived. We start by surveying central features of the latter uses which have been discussed in previous work, before introducing key observations regarding the subordinating use of ‘now’ and its relation to deictic and anaphoric uses. All of these (...) data, it is argued, can be accounted for on our proposed analysis. We conclude by comparing ‘now’ to a range of other expressions which exhibit similar behavior. (shrink)

In this paper I introduce a logical treatment of adverbs based on first-order logic with identity (FOL). The guiding idea is that an adverb can come between an individual constant and a predicate, such that its addition to a true statement can result in a false statement - or in another true statement, but a different one. In contrast to prominent logical treatments of adverbs in the literature, the aim is not to model details of natural language, but to add (...) to FOL a flexible, simple device inspired by adverbs in natural language, while retaining much of the elegance and the desirable metalogical properties of FOL. In Section 1 I outline the general aim, the notation, and the desired inferential behaviour of adverb-containing propositions. In Sections 2, 3 and 4 I define the extended language, make the necessary addition to its semantics, and update the definition of truth on a model. In Section 5 I exhibit how the consequence relation induced by the semantics gives us the desired inferential behaviour. In Section 6 I explain how a tree system which is sound and complete for FOL can be extended to FOL with adverbs. In Section 7 I give tree proofs of the consequences exhibited in Section 5. In Section 8 I show that the augmented tree system is sound and complete for FOL with adverbs. I conclude in Section 9 with some remarks on possible applications and extensions of the device introduced here. (shrink)

This paper discusses three approaches to the semantics of event nominalizations and adverbial modification: the Davidsonian account, the Kimian account, and the truthmaker account. It argues that a combination of all three accounts is needed for the semantics of the full range of event, trope, and state nominalizations in English.

This paper offers a new interpretation of John Austin’s views both on assertion and on adverbs, as result of which an expressivist thesis concerning the semantics for action sentences is advanced. First, Austin’s analysis of assertion based on various, specific assertive forces and his remarks on adverbs are systematically connected in order to obtain assertive schemata for action sentences. Finally, those schemata are put to work as the expression of inferential commitments implicit in argumentative practices of different sorts (exculpatory, justificatory (...) and illustrative) in the deployment of which, both logical contrariety and contradiction are exploited. (shrink)

In this paper, I argue that the temporal connective prima (‘before’) is a comparative adverb. The argument is based on a number of grammatical facts from Italian, showing that there is an asymmetry between prima and dopo (‘after’). On the ground of their divergent behaviour, I suggest that dopo has a different grammatical status from prima. I propose a semantic treatment for prima that is based on an independently motivated analysis of comparatives which can be traced back to Seuren (in: (...) Kiefer and Ruwet (eds.) Generative grammar in Europe, 1973). Dopo is analyzed instead as an atomic two-place predicate which contributes a binary relation over events to the sentence meaning. The different semantic treatments of the two connectives provide an explanation for the grammatical asymmetries considered at the outset; interestingly, they also shed some light on other asymmetries between prima and dopo, which are known to hold for the English temporal connectives before and after as well: these asymmetries are related to the veridicality properties, the distribution of NPIs, and the logical properties of these connectives first described in Anscombe (Philos Rev 73:3–24, 1964). (shrink)

In “Descriptions as Predicates” (Fara 2001) I argued that definite and indefinite descriptions should be given a uniform semantic treatment as predicates rather than as quantifier phrases. The aim of the current paper is to clarify and elaborate one of the arguments for the descriptions-aspredicates view, one that concerns the interaction of descriptions with adverbs of quantification.

This paper argues for the philosophical and semantic importance of attitudinal objects, entities such as judgments, claims, beliefs, demands, and desires, as an ontological category distinct from that of events and states and from that of propositions. The paper presents significant revisions and refinements of the notion of an attitudinal object as it was developed in my previous work.

It is often assumed that singular thought requires that an agent be epistemically acquainted with the object the thought is about. However, it can sometimes truthfully be said of someone that they have a belief about an object, despite not being interestingly epistemically acquainted with that object. In defense of an epistemic acquaintance constraint on singular thought, it is thus often claimed that belief ascriptions are context-sensitive, and do not always track the contents of an agent’s mental states. This paper (...) uses first-person attitude reports to argue that contextualism about belief ascriptions does not present an adequate defense of an acquaintance constraint on singular thought. (shrink)

This paper is the twin of (Duží and Jespersen, in submission), which provides a logical rule for transparent quantification into hyperprop- ositional contexts de dicto, as in: Mary believes that the Evening Star is a planet; therefore, there is a concept c such that Mary be- lieves that what c conceptualizes is a planet. Here we provide two logical rules for transparent quantification into hyperpropositional contexts de re. (As a by-product, we also offer rules for possible- world propositional contexts.) One (...) rule validates this inference: Mary believes of the Evening Star that it is a planet; therefore, there is an x such that Mary believes of x that it is a planet. The other rule validates this inference: the Evening Star is such that it is believed by Mary to be a planet; therefore, there is an x such that x is believed by Mary to be a planet. Issues unique to the de re variant include partiality and existential presupposition, sub- stitutivity of co-referential (as opposed to co-denoting or synony- mous) terms, anaphora, and active vs. passive voice. The validity of quantifying-in presupposes an extensional logic of hyperinten- sions preserving transparency and compositionality in hyperinten- sional contexts. This requires raising the bar for what qualifies as co-denotation or equivalence in extensional contexts. Our logic is Tichý’s Transparent Intensional Logic. The syntax of TIL is the typed lambda calculus; its highly expressive semantics is based on a procedural redefinition of, inter alia, functional abstraction and application. The two non-standard features we need are a hyper- intension (called Trivialization) that presents other hyperintensions and a four-place substitution function (called Sub) defined over hy- perintensions. (shrink)

In a range of recent and not so recent work, I have developed a novel semantics of attitude reports on which the notion of an attitudinal object or cognitive product takes center stage, that is, entities such as thoughts claims and decisions. The purpose of this note is to give a brief summary of this account against the background of the standard semantics of attitude reports and to show that the various sorts of criticism that Felappi recently advanced against it (...) are mistaken. (shrink)

This paper will outline a novel semantics of verbs of saying and of quotation based on Austin’s (1962) distinction among levels of linguistic acts (illocutionary, locutionary, rhetic, phatic, and phonetic acts). It will propose a way of understanding the notion of a rhetic act and argue that it is well-reflected in the semantics of natural language. The paper will furthermore outline a novel, unified and compositional semantics of quotation which is guided by two ideas. First, quotations convey properties related to (...) lower-level (phonetic or phatic) linguistic acts; second, such meanings of quotations are strictly based on syntactic structure, namely a lower-level (phonetic, phonological or morpho-syntactic) structure as part of the syntactic structure that is input to semantic interpretation. Such lower-level linguistic structures will contribute properties of utterances, to the semantic composition of the sentence, in one way or another. (shrink)

Everybody knows that Superman is Clark Kent. Nobody knows that Superman is Clark Kent. Located between these two absolute statements is the epistemological limit that separates the superhero fictitious universe from our universe of causal reality. The superheroic double identity is a secret shared by the superhero and the reader of the comic or the viewer of the movie, and quite often the superhero winks at the outside world, thus breaking the 4th wall and establishing this collusive relationship. However, in (...) our hypothesis, we are interested in Superman not as a fictitious archetype, but rather as a fictitious metaphor. We are not interested in his double identity as the matrix of superheroic attributes and narratives, but rather as the differential limit between superhuman and human within the fictional universe. Because, the reader or the viewer may share the secret identity with Superman and also with Spiderman or Batman or any other superhuman, but the secret equivalence of Superman and Clark Kent contains another hidden antithesis. (shrink)

This paper argues that attitudinal objects, entities of the sort of John's judgment, John's thought, and John's claim, should play the role of propositions, as the cognitive products of cognitive acts, not the acts themselves.

Propositionalism is the view that intentional attitudes, such as belief, are relations to propositions. Propositionalists argue that propositionalism follows from the intuitive validity of certain kinds of inferences involving attitude reports. Jubien (2001) argues powerfully against propositions and sketches some interesting positive proposals, based on Russell’s multiple relation theory of judgment, about how to accommodate “propositional phenomena” without appeal to propositions. This paper argues that none of Jubien’s proposals succeeds in accommodating an important range of propositional phenomena, such as the (...) aforementioned validity of attitude-report inferences. It then shows that the notion of a predication act-type, which remains importantly Russellian in spirit, is sufficient to explain the range of propositional phenomena in question, in particular the validity of attitude-report inferences. The paper concludes with a discussion of whether predication act-types are really just propositions by another name. (shrink)

Philosophers have justified extant theories of singular thought in at least three ways: they have invoked wide-ranging theories motivated by data from other philosophical areas, they have elicited direct intuitions about which thoughts are singular, and they have subjected propositional attitude reports to tests such as Russellian substitution and Quinean exportation. In these ways, however, we haven’t yet been able to tell what it takes to have singular thoughts, nor have we been able to tell which of our thoughts they (...) are. I propose, therefore, a methodological contribution, a new source of data about singular thought. We can tell whether a thought is singular if we ask what we can coherently deny at the same time at which we agree with the thought. When we agree with a thought that is general, we cannot coherently deny about the thought’s subject a certain description, the one that occurs in the thought’s subject position. To show how to use this new data source, I develop a linguistic method for testing whether a speaker expresses a singular or a general thought. (shrink)

It has recently been proposed that the framework of semantic relativism be put to use to describe mental content, as deployed in some of the fundamental operations of the mind. This programme has inspired in particular a novel strategy of accounting for the essential egocentricity of first-personal or de se thoughts in relativist terms, with the advantage of dispensing with a notion of self-representation. This paper is a critical discussion of this strategy. While it is based on a plausible appeal (...) to cognitive economy, the relativist theory does not fully account for the epistemic profile that distinguishes de se thinking, as some of its proponents hope to do. A deeper worry concerns the reliance of the theory on a primitive notion of “centre” that hasn’t yet received enough critical attention, and is ambiguous between a thin and a rich reading. I argue that while the rich reading is required if the relativist analysis of the de se is to achieve its most ambitious aims, it also deprives the theory of much of its explanatory power. (shrink)

This book pursues the question of how and whether natural language allows for reference to abstract objects in a fully systematic way. By making full use of contemporary linguistic semantics, it presents a much greater range of linguistic generalizations than has previously been taken into consideration in philosophical discussions, and it argues for an ontological picture is very different from that generally taken for granted by philosophers and semanticists alike. Reference to abstract objects such as properties, numbers, propositions, and degrees (...) is considerably more marginal than generally held. (shrink)

In nearly forty years’ of work, Simon Blackburn has done more than anyone to expand our imaginations about the aspirations for broadly projectivist/expressivist theorizing in all areas of philosophy. I know that I am far from alone in that his work has often been a source of both inspiration and provocation for my own work. It might be tempting, in a volume of critical essays such as this, to pay tribute to Blackburn’s special talent for destructive polemic, by seeking to (...) take down that by which I’ve been most provoked over the years. But Blackburn’s biting wit has both more wit and more bite than I could hope to emulate. So instead I’ll try to emulate here what I’ve admired the most about Blackburn – the constructive vein of much of his work. (shrink)

The paper is concerned with the semantics of knowledge attributions(K-claims, for short) and proposes a position holding that K-claims are contextsensitive that differs from extant views on the market. First I lay down the data a semantic theory for K-claims needs to explain. Next I present and assess three views purporting to give the semantics for K-claims: contextualism, subject-sensitive invariantism and relativism. All three views are found wanting with respect to their accounting for the data. I then propose a hybrid (...) view according to which the relevant epistemic standards for evaluating K-claims are neither those at the context of the subject (subject-sensitive invariantism), nor those at the context of the assessor (relativism), but it is itself an open matter. However, given that we need a principled way of deciding which epistemic standards are the relevant ones, I provide a principle according to which the relevant standards are those that are the highest between those at the context of the subject and those at the context of the assessor/attributor. In the end I consider some objections to the view and offer some answers. (shrink)

Most theories of conditionals and attitudes do not analyze either phenomenon in terms of the other. A few view attitude reports as a species of conditionals (e.g. Stalnaker 1984, Heim 1992). Based on evidence from Kalaallisut, this paper argues for the opposite thesis: conditionals are a species of attitude reports. The argument builds on prior findings that conditionals are modal topic-comment structures (e.g. Haiman 1978, Bittner 2001), and that in mood-based Kalaallisut English future (e.g. Ole will win) translates into a (...) factual report of a prospect-oriented attitudinal state (e.g. expectation or anxiety, see Bittner 2005). It is argued that in conditionals the antecedent introduces a topical subdomain of an input modal base (Kratzer 1981) and requires the consequent to comment. The comment is a factual report of an attitude to the topical antecedent sub-domain. [This paper was published in 2011 as "Time and modality without tenses or modals"]. (shrink)

Propositions have played a central role in philosophy of language since Frege. I will argue that the notion of a proposition, because of a range of philosophical problems as well as problems of linguistic adequacy, should be replaced by a different notion, for almost all the roles for it has been invoked, namely by the notion of an attitudinal object. Attitudinal objects are entities like ‘John’s belief that S’, ‘John’s claim that S’, and ‘John’s desire to do X’. Attitudinal objects (...) are closely related to, yet ontologically distinct from mental events and speech acts. (shrink)

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)

nated discussion of the semantics of such verbs. I will call this view.