This paper has three objectives. The first is to show how David Lewis' influential account of how a population is related to its language requires that speakers be 'conceptually autonomous' in a way that is incompatible with content ascriptions following from the assumption that its speakers share a language. The second objective is to sketch an alternate account of the psychological and sociological facts that relate a population to its language. The third is to suggest a modification of Lewis' account (...) of convention that will allow one to preserve the claim that there are conventions of language. (shrink)

Logical form has always been a prime concern for philosophers belonging to the analytic tradition. For at least one century, the study of logical form has been widely adopted as a method of investigation, relying on its capacity to reveal the structure of thoughts or the constitution of facts. This book focuses on the very idea of logical form, which is directly relevant to any principled reflection on that method. Its central thesis is that there is no such thing as (...) a correct answer to the question of what is logical form: two significantly different notions of logical form are needed to fulfil two major theoretical roles that pertain respectively to logic and to semantics. This thesis has a negative and a positive side. The negative side is that a deeply rooted presumption about logical form turns out to be overly optimistic: there is no unique notion of logical form that can play both roles. The positive side is that the distinction between two notions of logical form, once properly spelled out, sheds light on some fundamental issues concerning the relation between logic and language. (shrink)

We explore in an experimental spirit the prospects for extending classical propositional logic with a new operator P intended to be interpreted when prefixed to a formula as saying that formula in question is at least partly true. The paradigm case of something which is, in the sense envisaged, false though still "partly" true is a conjunction one of whose conjuncts is false while the other is true. Ideally, we should like such a logic to extend classical logic - or (...) any fragment thereof under consideration - conservatively, to be closed under uniform substitution (of arbitrary formulas for sentence letters or propositional variables), and to allow the substitutivity of provably equivalent formulas salva provabilitate. To varying degrees, we experience some difficulties only with this last ('congruentiality') desideratum in the two four-valued logics we end up giving our most extended consideration to. (shrink)

Geach’s rich paper ‘A Program for Syntax’ introduced many ideas into the arena of categorial grammar, not all of which have been given the attention they warrant in the thirty years since its first publication. Rather surprisingly, one of our findings (Section 3 below) is that the paper not only does not contain a statement of what has widely come to be known as “Geach’s Rule”, but in fact presents considerations which are inimical to the adoption of the rule in (...) question. With regard to at least some amongst the numerous other points extracted here from Geach’s discussion, we shall not be able to reach so definitive a conclusion, and content ourselves with giving the issues an airing. (shrink)

I propose a version of the act‐type theory of propositions, following Hanks and Soames. According to the theory, propositions are types of act of predication. The content of a sentence is the type of such act performed when that sentence is uttered. A consequence of this theory is that the structure of the content of a sentence will mirror the structure of that sentence. I defend this consequence of the theory from two important objections. I then argue that this theory (...) is well motivated because it can be part of a theory of what is said. (shrink)

Two objects of valuation are said to be incommensurable if neither is better than the other, nor are they equally good. This negative, coarse-grained characterization fails to capture the nuanced structure of incommensurability. We argue that our evaluative resources are far richer than orthodoxy recognizes. We model value comparisons with the corresponding class of permissible preference orderings. Then, making use of our model, we introduce a potentially infinite set of degrees of approximation to better, worse, and equally good, which we (...) interpret as degrees of commensurability.One payoff is the solution our approach provides to a paradox in population ethics, generated by Parfit's “Continuum Argument”. Parfit imagines a sequence of populations, starting with one consisting of excellent lives and, by a sequence of apparent improvements, reaching a much larger population of lives barely worth living. What he dubs “the Repugnant Conclusion” is that the final population is better than the first. Developing Parfit's response, we argue that some of the populations in the sequence are merely almost better than their immediate predecessors. Almost better is not transitive (unlike better). We offer analogies to other ‘spectrum arguments’, Condorcet's paradox, and to developments in formal epistemology. (shrink)

Alan Hazen has claimed that Buridan’s theory of truth does not escape semantic paradox.In this paper, I claim that Buridan's theory is untouched by Hazen's case.My solution to Hazen's paradox requires the recognition of the exceptionability of what I shall call T-Elimination, namely, the principle that from a statement that such and such is true, we may deduce such and such. The exceptions are explained by reference to the role of what I shall call the meta-content of a locution, that (...) is, that information conveyed by any locution that tells us what sort of a locution it is intended to be. The exceptionability of T-Elimination turns out to be shared by other well-accepted principles of deduction also—and for the same reasons. (shrink)

In this article I contrast in two ways those conceptions of semantic theory deriving from Richard Montague's Intensional Logic (IL) and later developments with conceptions that stick pretty closely to a far weaker semantic apparatus for human first languages. IL is a higher-order language incorporating the simple theory of types. As such, it endows predicates with a reference. Its intensional features yield a conception of propositional identity (namely necessary equivalence) that has seemed to many to be too coarse to be (...) acceptable. In the most usual expositions, it takes the object of linguistic explication to be the sentence in a context, as in Kaplan, 1977. This last has led to recent speculations about 'shifted' contexts. IL may be contrasted with a more linguistically (representationally) bound conception of propositions and interpretation of their predicational and functional parts, and with the explication, not of sentences in contexts, but of potential utterances, relative to the antecedent referential intentions of their speakers. We may then advance, as an empirical hypothesis about all human languages, that contexts never shift, and propose that apparent counterexamples stem from the misconstrual of linguistically coded anaphoric relations, relations that are wanted independently anyway. Donald Davidson's posthumous volume Truth and Predication mounts a sustained criticism of the notion of predicate reference. This criticism is not decisive. However, it may put the ball in the other court, insofar as it asks for a justification of what IL takes as given. Elaborations of IL using structured propositions, recently defended in King, 2007, recognize the problem of predicate reference, and the correlative issue of the 'unity of the proposition'; but I do not see that they can do better than bite the bullet already bitten in IL. I agree with Frege's insight that full justification of predicate reference pushes the boundaries of natural language, and to that extent may not be found within the semantic (as opposed to general scientific) enterprise. (shrink)

‘Fred must open the door’ concerns Fred’s obligations. This obligative meaning is turned off by adding aspect: ‘Fred must have opened/be opening/have been opening the door’ are one and all epistemic. Why? In a nutshell: obligative ’must’ operates on procedural contents of imperative sentences, epistemic ‘must’ on propositional contents of declarative sentences; and adding aspect converts procedural into propositional content.

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)

In this paper I have tried to give the SAS some descriptive content with respect to English. I have suggested that correlations of form, function and fit play a central role in accounting for understanding literal and direct communication, and I have tried to take some initial steps towards constructing a plausible theory of such communication incorporating these notions.As with any developing theory, the SAS has a long way to grow. Among the problem areas that need further work are the (...) following: (1) The nature of the semantic representation in line L2; (2) An account of the notion ‘knowledge of language’ appealed to in line L1(a); (3) Psychological evidence for the various levels of processing and mediating procedures; (4) An account of the nature of pragmatic rules and their relationsip to grammars. Fortunately, these are matters for other times and other places. (shrink)

Some arguments include imperative clauses. For example: ‘Buy me a drink; you can’t buy me that drink unless you go to the bar; so, go to the bar!’ How should we build a logic that predicts which of these arguments are good? Because imperatives aren’t truth apt and so don’t stand in relations of truth preservation, this technical question gives rise to a foundational one: What would be the subject matter of this logic? I argue that declaratives are used to (...) produce beliefs, imperatives are used to produce intentions, and beliefs and intentions are subject to rational requirements. An argument will strike us as valid when anyone whose mental state satisfies the premises is rationally required to satisfy the conclusion. For example, the above argument reflects the principle that it is irrational not to intend what one takes to be the necessary means to one’s intended ends. I argue that all intuitively good patterns of imperative inference can be explained using off-the-shelf formulations of our rational requirements. I then develop a formal-semantic theory embodying this view that predicts a range of data, including free-choice effects and Ross’s paradox. The resulting theory shows one way that our aspirations to rational agency can be discerned in the patterns of our speech, and is a case study in how the philosophy of language and the philosophy of action can be mutually illuminating. (shrink)

From a general semantic point of view, Thomas Bricot and John Mair are proponents of the solution to semantic paradoxes based on appreciation of the contextuality of truth, who differ in their approach to the relations of logical consequence and contradiction. The core of the study is the analysis of Mair's criticism of Bricot presented in the sixth quaestio of his Tractatus insolubilium where the consequences of non-compositional semantics for the concepts of synonymy and logical form are addressed. The polemic (...) between John Mair and Thomas Bricot is construed as having immediate consequences for research in the area of non-compositional semantics. (shrink)

A process-oriented model of belief is presented which permits the representation of nested propositional attitudes within first-order logic. The model (NIM, for nested intensional model) is axiomatized, sense-based (via intensions), and sanctions inferences involving nested epistemic attitudes, with different agents and different times. Because NIM is grounded upon senses, it provides a framework in which agents may reason about the beliefs of another agent while remaining neutral with respect to the syntactic forms used to express the latter agent's beliefs. Moreover, (...) NIM provides agents with a conceptual map, interrelating the concepts of knowledge, belief, truth, and a number of cognate concepts, such as infers, retracts, and questions. The broad scope of NIM arises in part from the fact that its axioms are represented in a novel extension of first-order logic, -FOL (presented herein). -FOL simultaneously permits the representation of truth ascriptions, implicit self-reference, and arbitrarily embedded sentences within a first-order setting. Through the combined use of principles derived from Frege, Montague, and Kripke, together with context-sensitive semantic conventions, -FOL captures the logic of truth inferences, while avoiding the inconsistencies exhibited by Tarski. Applications of -FOL and NIM to interagent reasoning are described and the soundness and completeness of -FOL are established herein. (shrink)

Intentionality, or the power of minds to be about, to represent, or to stand for things, remains central in the philosophy of mind. But the study of intentionality in the analytic tradition has been dominated by discussions of propositional attitudes such as belief, desire, and visual perception. There are, however, intentional states that aren't obviously propositional attitudes. For example, Indiana Jones fears snakes, Antony loves Cleopatra, and Jane hates the monster under her bed. The present paper explores such mental states (...) in an introductory but opinionated way. (shrink)

Should a theory of meaning state what sentences mean, and can a Davidsonian theory of meaning in particular do so? Max Kölbel answers both questions affirmatively. I argue, however, that the phenomena of non-homophony, non-truth-conditional aspects of meaning, semantic mood, and context-sensitivity provide prima facie obstacles for extending Davidsonian truth-theories to yield meaning-stating theorems. Assessing some natural moves in reply requires a more fully developed conception of the task of such theories than Kölbel provides. A more developed conception is also (...) required to defend his positive answer to the first question above. I argue that, however Kölbel might elaborate his position, it can’t be by embracing the sort of cognitivist account of Davidsonian semantics to which he sometimes alludes. (shrink)

The meanings of words are not permanent but change over time. Some changes of meaning are quick, such as when a pronoun changes its reference; some are slower, as when two speakers find out that they are using the same word in different senses; and some are very slow, such as when the meaning of a word changes over historical time. A theory of semantics should account for these different time scales. In order to describe these different types of meaning (...) changes, I present an analysis of three levels of communication: instruction, coordination of common ground and coordination of meaning. My first aim is to show that these levels must be considered when discussing lexical semantics. A second aim is to use the levels to identify the communicative roles of some of the main word classes, in particular nouns, adjectives, verbs, indexicals and quantifiers. I argue that the existence of word classes can, to a large extent, be explained by the communicative needs that arise on the different levels. (shrink)

In 1907 Borel published a remarkable essay on the paradox of the Heap (“Un paradoxe économique: le sophisme du tas de blé et les vérités statistiques”), in which Borel proposes what is likely the first statistical account of vagueness ever written, and where he discusses the practical implications of the sorites paradox, including in economics. Borel’s paper was integrated in his book Le Hasard, published 1914, but has gone mostly unnoticed since its publication. One of the originalities of Borel’s essay (...) is that it puts forward a model of vagueness as imprecision, making particular use of the Gaussian law of measurement errors to model categorization. The aim of our paper is to give a presentation of the historical context of Borel’s essay, to spell out the mathematical details of his model, and to provide a critical assessment of his theory. Three aspects of Borel’s account are particularly discussed: the first concerns the comparison between Borel’s statistical account and posterior degree-theoretic accounts of vagueness. The second concerns the anti-epistemicist flavor of Borel’s approach, whereby the idea of statistical fluctuation is used to undermine the notion of sharp boundary for vague predicates. The third concerns the problematic link between Borel’s model of vagueness as imprecision and the notion of semantic indeterminacy. An English translation of Borel’s original essay is appended to this paper (Erkenntnis, this issue). (shrink)

In this paper, I analyze the semantics of the first person pronoun “I” from the perspective of the user/producer distinction. In the first part of the paper, I describe the Simple View and propose three interpretations of its thesis. In the second part, I analyze the notions of use and production of a linguistic token. In the next part, I show that all of the interpretations of SV are sensitive to counterexamples. In the end, I discuss possible answers of the (...) proponents of SV and argue against them. The first aim of this paper is to show that SV is wrong, and the second is to convince the reader that the user/producer distinction is of high importance in the philosophy of language. (shrink)

This paper argues that relativity of truth to a world plays no significant role in empirical semantic theory, even as it is done in the model-theoretic tradition relying on intensional type theory. Some philosophical views of content provide an important notion of truth at a world, but they do not constrain the empirical domain of semantic theory in a way that makes this notion empirically significant. As an application of this conclusion, this paper shows that a potential motivation for relativism (...) based on the relativity of truth to a world fails. (shrink)

This paper reviews the claim that certain predicates, including what are called predicates of personal taste, have a sometimes-hidden element for a judge or experiencer. This claim was advanced in my own earlier work, as well as a number of other papers. My main goal here is to review some of the arguments in favor of this claim, and along the way, to present some of my earlier unpublished work on the matter. In much of the earlier literature, this claim (...) was part of a debate between relativists, contextualists, and others about the semantics of ‘subjective’ or ‘perspectival’ predicates. I shall argue here that these issues are independent. Whether we opt for experiencer or judge parameters is independent of whether we prefer relativist semantics to any other kind. (shrink)

This paper argues against relativism, focusing on relativism based on the semantics of predicates of personal taste. It presents and defends a contextualist semantics for these predicates, derived from current work on gradable adjectives. It then considers metasemantic questions about the kinds of contextual parameters this semantics requires. It argues they are not metasemantically different from those in other gradable adjectives, and that contextual parameters of this sort are widespread in natural language. Furthermore, this paper shows that if such parameters (...) are rejected, it leads to an unacceptably rampant form of relativism, that relativizes truth to an open-ended list of parameters. (shrink)

The paper is in two parts. In Part I, a semantics for embedded and query uses of interrogatives is put forward, couched within a situation semantics framework. Unlike many previous analyses,questions are not reductively analysed in terms of their answers. This enables us to provide a notion of ananswer that resolves a question which varies across contexts relative to parameters such as goals and inferential capabilities. In Part II of the paper, extensive motivation is provided for an ontology that distinguishes (...) propositions, questions, and facts, while at the same time the semantics provided captures an important commonality between questions and propositions: factsprove propositions andresolve questions. This commonality is exploited to provide an explanation for why predicates such as know carry presuppositions such as factivity and for a novel account of the behaviour of adverbially modified predicates with interrogative, declarative and fact-nominal arguments. (shrink)

Semanticists often restrict their theories by imposing constraints on the parameters that can be employed for interpreting the expressions of a language. Such constraints are based on non-logical features of actual contexts of utterance, but they often have important effects on issues that do pertain to logic, like analyticity or entailment. For example, Kaplan’s restriction to so-called “proper contexts” was required in order to count “I am here now” as valid. In this paper I argue that constraints of this kind (...) are often posited in an arbitrary and non-consistent way, and that they yield the intended results only at the price of imposing ad hoc principles whose justification could in turn justify further, often undesirable restrictions into the theory. I also introduce a criterion for telling whether such constraints are imposed in a legitimate manner. (shrink)

I show that words with indefinite implicit complements occasion a dilemma for their model theory. There has been only two previous attempts to address this problem, one by Fodor and Fodor (1980) and one by Dowty (1981). Each requires that any word tolerating an implicit complement be treated as ambiguous between two different lexical entries and that a meaning postulate or lexical rule be given to constrain suitably the meanings of the various entries for the word. I show that the (...) positing of such an ambiguity runs counter to the facts and propose an alternative solution which does not appeal to ambiguity, meaning postulates or lexical rules. Indeed, I show that the dilemma posed by indefinite implicit complements is posed by all implicit complements and that a general solution to the problem of implicit complements follows from an independently motivated, single treatment of five other problems, that of subcategorization, that of phrasal projections of words, that of defining a model theoretic structure for phrase structure grammars, that of complement polyvalence and that of complement polyadicity. (shrink)

The problem addressed is that of finding a sound characterization of ambiguity. Two kinds of characterizations are distinguished: tests and definitions. Various definitions of ambiguity are critically examined and contrasted with definitions of generality and indeterminacy, concepts with which ambiguity is sometimes confused. One definition of ambiguity is defended as being more theoretically adequate than others which have been suggested by both philosophers and linguists. It is also shown how this definition of ambiguity obviates a problem thought to be posed (...) by ambiguity for truth theoretical semantics. In addition, the best known test for ambiguity, namely the test by contradiction, is set out, its limitations discussed, and its connection with ambiguity's definition explained. The test is contrasted with a test for vagueness first proposed by Peirce and a test for generality propounded by Margalit. (shrink)

Theories of propositions as sets of truth-supporting circumstances are committed to the thesis that sentences or other representations true in all and only the same circumstances express the same proposition. Theories of propositions as complex, structured entities are not committed to this thesis. As a result, structured propositions can play a role in our theories of language and thought that sets of truth-supporting circumstances cannot play. To illustrate this difference, I sketch a theory of transparent, non-deflationary truth consistent with some (...) theories of structured propositions, but inconsistent with any theory of propositions as sets of truth-supporting circumstances. (shrink)

In this paper, I analyze the concept of ineffability: what does it mean to say that something cannot be said? I begin by distinguishing ineffability from paradox: if something cannot be said truly or without contradiction, this is not an instance of ineffability. Next, I distinguish two different meanings of ‘saying something’ which result from a fundamental ambiguity in the term ‘language’, viz. language as a system of symbols and language as a medium of communication. Accordingly, ‘ineffability’ is ambiguous, too, (...) and we should make a distinction between weak and strong ineffability. Weak ineffability is rooted in the deficiencies of a particular language while strong ineffability stems from the structure of a particular cognitive system and its capacities for conceptual mental representation. Mental contents are only sayable if we are able to conceptualize them and then create signs to represent them in communication. (shrink)

The paper contains a general argument for linguistic idealism, which it approaches by way of some considerations relating to the unity of the proposition and Tractarian metaphysics. Language exhibits a function–argument structure, but does it do so because it is reflecting how things are in the world, or does the relation of dependence run in the other direction? The paper argues that the general structure of the world is asymmetrically dependent on a metaphysically prior fact about language, namely that it (...) exhibits subject–predicate structure. (shrink)

Contemporary semantics assumes two influential notions of context: one coming from Kaplan (1989), on which contexts are sets of predetermined parameters, and another originating in Stalnaker (1978), on which contexts are sets of propositions that are “common ground”. The latter is deservedly more popular, given its flexibility in accounting for context-dependent aspects of language beyond manifest indexicals, such as epistemic modals, predicates of taste, and so on and so forth; in fact, properly dealing with demonstratives (perhaps ultimately all indexicals) requires (...) that further flexibility. Even if we acknowledge Lewis (1980)’s point that, in a sense, Kaplanian contexts already include common ground contexts, it is better to be clear and explicit about what contexts constitutively are. Now, Stalnaker (1978, 2002, 2014) defines context-as-common-ground as a set of propositions, but recent work shows that this is not an accurate conception. The paper explains why, and provides an alternative. The main reason is that several phenomena (presuppositional treatments of pejoratives and predicates of taste, forces other than assertion) require that the common ground includes non-doxastic attitudes such as appraisals, emotions, etc. Hence the common ground should not be taken to include merely contents (propositions), but those together with attitudes concerning them: shared commitments, as I will defend. (shrink)

To be a proposition is to possess propositional properties and to stand in inferential relations. This is the organic intuition, [OI], concerning propositional recognition. [OI] is not a circular characterization as long as those properties and relations that signal the presence of propositions are independently identified. My take on propositions does not depart from the standard approach widely accepted among philosophers of language. Propositions are truth-bearers, the arguments of truth-functions (‘not’, ‘or’, ‘and’, ‘if’), the arguments of propositional-attitude verbs (‘know’, ‘believe’, (...) ‘doubt’, ‘assume’, ‘reject’) and the kind of entity capable of standing in inferential relations (which are basically implication and incompatibility). The aim of this paper is to argue for [OI]. In doing so, I will show that even what is probably the most repeated argument against non-descriptivism, the so-called Frege-Geach Argument (FGA), presupposes something like [OI], a presupposition that Geach shares with his critics. Despite the huge success of FGA, a thorough analysis of the actual scope of this argument has yet to be given. I will provide such an analysis in section 3 below. In this paper, I argue that [OI] is a meta-theoretical principle which is neutral with respect to specific metaphysical debates about the nature of propositions, as well as specific proposals about the semantics of declarative sentences. (shrink)

Current views of metaphysical ground suggest that a true conjunction is immediately grounded in its conjuncts, and only its conjuncts. Similar principles are suggested for disjunction and universal quantification. Here, it is shown that these principles are jointly inconsistent: They require that there is a distinct truth for any plurality of truths. By a variant of Cantor’s Theorem, such a fine-grained individuation of truths is inconsistent. This shows that the notion of grounding is either not in good standing, or that (...) natural assumptions about it need to be revised. (shrink)

Sortal concepts are at the center of certain logical discussions and have played a significant role in solutions to particular problems in philosophy. Apart from logic and philosophy, the study of sortal concepts has found its place in specific fields of psychology, such as the theory of infant cognitive development and the theory of human perception. In this monograph, different formal logics for sortal concepts and sortal-related logical notions are characterized. Most of these logics are intensional in nature and possess, (...) in addition, a bidimensional character. That is, they simultaneously represent two different logical dimensions. In most cases, the dimensions are those of time and natural necessity, and, in other cases, those of time and epistemic necessity. Another feature of the logics in question concerns second-order quantification over sortal concepts, a logical notion that is also represented in the logics. Some of the logics adopt a constant domain interpretation, others a varying domain interpretation of such quantification. Two of the above bidimensional logics are philosophically grounded on predication sortalism, that is, on the philosophical view that predication necessarily requires sortal concepts. Another bidimensional logic constitutes a logic for complex sortal predicates. These three sorts of logics are among the important novelties of this work since logics with similar features have not been developed up to now, and they might be instrumental for the solution of philosophically significant problems regarding sortal predicates. The book assumes a modern variant of conceptualism as a philosophical background. For this reason, the approach to sortal predicates is in terms of sortal concepts. Concepts, in general, are here understood as intersubjective realizable cognitive capacities. The proper features of sortal concepts are determined by an analysis of the main features of sortal predicates. Posterior to this analysis, the sortal-related logical notions represented in the above logics are discussed. There is also a discussion on the extent to which the set-theoretic formal semantic systems of the book capture different aspects of the conceptualist approach to sortals. These different semantic frameworks are also related to realist and nominalist approaches to sortal predicates, and possible modifications to them are considered that might represent those alternative approaches. (shrink)

The paper proposes a semantics for contextual (i.e., Temporal and Locative) Prepositional Phrases (CPPs) like during every meeting, in the garden, when Harry met Sally and where I’m calling from. The semantics is embodied in a multi-modal extension of Combinatory Categoral Grammar (CCG). The grammar allows the strictly monotonic compositional derivation of multiple correct interpretations for “stacked” or multiple CPPs, including interpretations whose scope relations are not what would be expected on standard assumptions about surfacesyntactic command and monotonic derivation. A (...) type-hierarchy of functional modalities plays a crucial role in the specification of the fragment. (shrink)

This paper proposes a framework for formalising intuitions about the behaviour of imperative commands. It seeks to capture notions of satisfaction and coherence. Rules are proposed to express key aspects of the general logical behaviour of imperative constructions. A key objective is for the framework to allow patterns of behaviour to be described while avoiding making any commitments about how commands, and their satisfaction criteria, are to be interpreted. We consider the status of some conundrums of imperative logic in the (...) context of this proposal. (shrink)

In this paper, I support a hybrid view regarding the metaphysics of worlds. I endorse Lewisian Modal Realism for possible worlds (LMR). My aim is to come up with a hybrid account of impossible worlds that provides all the plenitude of impossibilities for all fine-grained intentional contents. I raise several challenges for such a plenitudinous hybrid theory. My version of hybrid modal realism builds impossible worlds as set-theoretic constructions out of genuine individuals and sets of them, that is, as set-theoretic (...) constructions from parts and sets of parts of genuine Lewisian worlds. _Structured worlds_ are defined as sets of tuples: structured entities built out of Lewisian ‘raw material’. These structured worlds are ersatz worlds, some of which are impossible. I claim that propositions must be sets of worlds rather than members of sets. Once the construction is in place, I evaluate the proposal and show that my hybrid account is able to supply a plenitude of impossibilities and thus giving the resources to make all the hyperintensional distinctions we are looking for, whilst remaining Lewisian-conservative. (shrink)

La réflexion philosophique sur la non-existence est une thématique qui a été abordée au commencement même de la philosophie et qui suscite, depuis la publication en 1905 de « On Denoting » par Russell, les plus vifs débats en philosophie analytique. Cependant, le débat féroce sur la sémantique des noms propres et des descriptions définies qui surgirent suite à la publication du « On Referring » par Strawson en 1950 n’engagea pas d’étude systématique de la sémantique des fictions. En fait, (...) le développement systématique d’un lien qui articule approches logiques, philosophiques et littéraires de la fiction devait attendre les travaux de John Woods publiés en 1974 dans son livre The Logic of Fiction : A Philosophical Sounding of Deviant Logic. Un des enjeux les plus excitants du livre de Woods se situe au niveau de l’interaction entre les points de vue internalistes ou interne-à-l’histoire (principalement pragmatiques) et les points de vue externalistes ou externe-à-la-fiction (principalement sémantiques). Sur ce point, Woods fut le premier à formuler une sémantique pour l’opérateur de fiction à lire comme « selon l’histoire… » en relation à la notion logique de portée, ce qui permettait l’étude de l’internalisme et de l’externalisme. Suite au livre de Woods, loin de s’essouffler, les débats trouvaient une nouvelle impulsion. Le fait pertinent pour notre article est que la tradition phénoménologique également, l’étude de la fiction a joué un rôle central. En effet, l’une des problématiques les plus sujettes à controverses dans l’intentionnalité est celle de l’indépendance à l’existence, c’est-à-dire le fait que les actes intentionnels n’ont pas besoin d’être forcément dirigés vers un objet existant. Influencée par les travaux de Roman Ingarden (1893-1970), l’un des plus importants disciples de Husserl, Amie L. Thomasson développe le concept phénoménologique de dépendance ontologique en vue d’expliquer les processus de références inter- et transfictionnels – dans le contexte de l’interprétation littéraire par exemple. L’enjeu essentiel de cet article est de proposer une reconstruction multimodale bi-dimensionnelle de la théorie des personnages fictionnels de Ingarden-Thomasson. Cette théorie qui entend prendre au sérieux le fait que les fictions sont des créations montre la voie pour une articulation entre les approches internalistes et externalistes. Nous motivons certains changements quant à l’approche artéfactuelle - incluant une sémantique appropriée pour l’opérateur de fictionalité qui, nous l’espérons, éveillera l’intérêt des théoriciens de la littérature. L’article est à d’autres égards un panorama de la façon dont différents concepts d’intentionnalité pourraient fonder différentes sémantiques formelles pour la fictionalité. Nous proposerons enfin un cadre dialogique qui est une extension modale d’un certain système de preuve développé par Matthieu Fontaine et Juan Redmond. Le cadre dialogique développe la contrepartie inférentielle de la sémantique bi-dimensionnelle introduite par Shahid Rahman et Tero Tulenheimo dans un article récent. (shrink)