We construct an extension P of the standard language of classical propositional logic by adjoining to the alphabet of a new category of logical-pragmatic signs. The well formed formulas of are calledradical formulas (rfs) of P;rfs preceded by theassertion sign constituteelementary assertive formulas of P, which can be connected together by means of thepragmatic connectives N, K, A, C, E, so as to obtain the set of all theassertive formulas (afs). Everyrf of P is endowed with atruth value defined classically, (...) and everyaf is endowed with ajustification value, defined in terms of the intuitive notion of proof and depending on the truth values of its radical subformulas. In this framework, we define the notion ofpragmatic validity in P and yield a list of criteria of pragmatic validity which hold under the assumption that only classical metalinguistic procedures of proof be accepted. We translate the classical propositional calculus (CPC) and the intuitionistic propositional calculus (IPC) into the assertive part of P and show that this translation allows us to interpret Intuitionistic Logic as an axiomatic theory of the constructive proof concept rather than an alternative to Classical Logic. Finally, we show that our framework provides a suitable background for discussing classical problems in the philosophy of logic. (shrink)

Causal slingshots are formal arguments advanced by proponents of an event ontology of token-level causation which, in the end, are intended to show two things: (i) The logical form of statements expressing causal dependencies on token level features a binary predicate ‘‘... causes ...’’ and (ii) that predicate takes events as arguments. Even though formalisms are only revealing with respect to the logical form of natural language statements, if the latter are shown to be adequately captured within a corresponding formalism, (...) proponents of slingshots usually take the adequacy of their formalizations for granted without justifying it. The first part of this paper argues that the most discussed version of a causal slingshot, viz. the one e.g. presented by Davidson (Essays on actions and events. Oxford, Clarendon Press, 1980), can indeed be refuted for relying on an inadequate formal apparatus. In contrast, the formal means of Gödel’s (The philosophy of Betrand Russell. New York, Tudor, 1944) often neglected slingshot are shown to stand on solid ground in the second part of the paper. Nonetheless, I contend that Gödel’s slingshot does only half the work friends of event causation would like it to do. It provides good reasons for (i) but not for (ii). (shrink)

In combining a pluri‐propositionalist framework (Bach‐style) concerning alleged conventional implicatures, and a pluri‐propositionalist framework (Perry‐style) distinguishing various levels of content associated with a single utterance, I defend a Grice‐inspired model of communication. In so doing, I rely on the distinction between what is said, i.e. what is semantically encoded, and what is pragmatically implicated. I show how the notion of same‐saying plays a central role in dealing with problems pertaining to communication insofar as it permits us to posit a stability (...) of content among interlocutors. I also show how people can be classified as same‐sayers in different ways, viz. if they express the same (minimal) proposition/content or if they utter the same sentence. If A utters ‘I'm happy’ and B replies: ‘C said that too’, what B said can mean either that C said that A is happy—thus C and A expressed the same proposition—or that C utters the same words—they both utter ‘I'm happy’ and in so doing express different propositions, i.e. that A is happy and that C is happy respectively. (shrink)

Contrary to common misconceptions, today's logic is not devoid of existential import: the universalized conditional ∀ x [S→ P] implies its corresponding existentialized conjunction ∃ x [S & P], not in all cases, but in some. We characterize the proexamples by proving the Existential-Import Equivalence: The antecedent S of the universalized conditional alone determines whether the universalized conditional has existential import, i.e. whether it implies its corresponding existentialized conjunction.A predicate is an open formula having only x free. An existential-import predicate (...) Q is one whose existentialization, ∃ x Q, is logically true; otherwise, Q is existential-import-free or simply import-free.How abundant or widespread is existential import? How abundant or widespread are existential-import predicates in themselves or in comparison to import-free predicates? We show that existential-import predicates are quite abundant, and no less so than import-free predicates. Existential.. (shrink)

Dans ce texte j'aborderai presque exclusivement la question de savoir si le pronom personnel «je» est un terme référentiel ou non. Il s'agit en définitive de savoir si le pronom en question est une expression qui désigne quelque chose et, si oui, de spécifier la nature du référent en question. En un mot, je me propose ici d'analyser le comportement sémantique du pronom «je».

Phenomenologically speaking, we perceive the present, recall the past, and anticipate the future. We offer an account of the temporal content of the perceptual present that distinguishes it from the recalled past and the anticipated future. We distinguish two views: the Token Reflexive Account and the Minimal Account. We offer reasons to reject the Token Reflexive Account, and defend the Minimal Account, according to which the temporal content of the perceptual present is exhausted by its direct reference to the interval (...) of time over which it occurs. (shrink)

In this paper, I analyze the verbal suffix -uŋil in Washo as an optional past tense. It is optional in the sense that it is not part of a paradigm of tenses, and morphologically tenseless clauses are also compatible with past time reference. Specifically, I claim that -uŋil is the morphological exponent of a tense feature [past], which presupposes that the reference time of the clause, denoted by a temporal pronoun, precedes the evaluation time. Meanwhile, morphologically tenseless clauses lack a (...) semantic tense restricting the value of the reference time pronoun. In comparing this analysis with one containing a covert non-future tense in morphologically tenseless clauses, I show that the range of empirical contexts that distinguish these analyses is quite narrow. However, I offer a novel argument against a covert tense analysis based on the lack of Maximize Presupposition effects. Crucially, the fact that -uŋil does not form a paradigm of tenses results in a failure for Maximize Presupposition to apply. The proposed analysis places cross-linguistic variation at the level of the paradigm of tense features, namely whether they are present or absent, and if present, whether obligatorily so. This case study from Washo thus reveals what a language where tense features are optional can look like, and more generally contributes to the growing body of literature on cross-linguistic semantics devoted to uncovering the ways in which temporal interpretation can be achieved in natural language. (shrink)

Peirce and Frege both distinguished between the propositional content of an assertion and the assertion of a propositional content, but with different notational means. We present a modification of Peirce’s graphical method of logic that can be used to reason about assertions in a manner similar to Peirce’s original method. We propose a new system of Assertive Graphs, which unlike the tradition that follows Frege involves no ad hoc sign of assertion. We show that axioms of intuitionistic logic can be (...) derived from AGs, and argue that AGs analyse and represent assertions and illocutionary content in a way which is motivated both by its logical properties and its historical connection with the ideas that led to the development of the graphical method. (shrink)

In recent literature, there is a strong tendency to endorse the following argument: There are particular judgments about one's current phenomenal experiences that are infallible; if there are particular judgments about one's current phenomenal experiences that are infallible, then the infallibility of those judgments is due to the relation of acquaintance; therefore, acquaintance explains why those particular judgments about one's current phenomenal experiences are infallible. The aim of this paper is to examine critically both the first and the second premise (...) of this argument. It will emerge that there might be a small class of judgments about one's current phenomenal experiences that are infallible, namely judgments involving direct phenomenal concepts. However, as I will try to show, the infallibility of such judgments, if existent at all, is not due to the relation of acquaintance. (shrink)

Kriegel has revived adverbialism as a theory of consciousness. But recent attacks have shed doubt on the viability of the theory. To save adverbialism, I propose that the adverbialist take a stance on the nature of adverbial modification. On one leading theory, adverbial modification turns on the instantiation by a substance of a psychological type. But the resulting formulation of adverbialism turns out to be a mere notational variant on the relationalist approaches against which Kriegel dialectically situates adverbialism. By contrast, (...) I argue that the way to be an adverbialist is to adopt an event ontology, emphasizing the active contribution of the mind to the phenomenology of experience. My close examination of the semantics of adverbial modification throws this metaphysical distinction into sharp relief. The event-based semantics overcomes recent objections in a way superior to the methods that would have been obviously available in the absence of a sophisticated semantics. (shrink)

Confusion in terms inspires confusion in concepts. When a relevant distinction is not clearly marked or not marked at all, it is apt to be blurred or even missed altogether in our thinking. This is true in any area of inquiry, pragmatics in particular. No one disputes that there are various ways in which what is communicated in an utterance can go beyond sentence meaning. The problem is to catalog the ways. It is generally recognized that linguistic meaning underdetermines speaker (...) meaning because of the need for disambiguation and reference assignment and because people can speak figuratively or indirectly. But philosophers and linguists are coming to recognize that these are not the only ways. The situation may be described in Gricean terms: the distinction between what is said and what is implicated is not exhaustive. Charting the middle ground between the two will require attending to specific examples, noting their distinctive features, and articulating the relevant concepts. That is what I aim to do here. The basic idea will be to distinguish not only the implied from the explicit but the implicit from the implied. (shrink)

ABSTRACTThe distinction between ‘context of discovery’ and ‘context of justification’ in philosophy of science appears simple at first but contains interesting complexities. Paul Hoyningen-Huene has catalogued some of these complexities and suggested that the core usefulness of the ‘context distinction’ is in distinguishing between descriptive and normative perspectives. Here, I expand on Hoyningen-Huene’s project by tracing the label ‘context of discovery and context of justification’ to its origin. I argue that, contrary to initial appearances, Hans Reichenbach’s initial context distinction from (...) 1938 does not easily map onto Hoyningen-Huene’s distinction between descriptive and normative perspectives on science. However, this is not a reason to reject Hoyningen-Huene’s simplified context distinction, nor do I recommend returning to Reichenbach’s initial proposal. It is, however, further reason to believe that the context distinction does not have a single, easily understood meaning. Along the way, I revisit Reichenbach’s version of ‘rational reconstruction’ and highlight its usefulness as a tool for philosophy in general. (shrink)

This paper traces a lost genealogical connection between Charles S. Peirce’s later theory of signs and contemporary work in the philosophy of language by John Perry. As is shown, despite some differences, both accounts offer what might be termed a multi-level account of meaning. Moreover, it is claimed that by adopting a ‘Peircian turn’ in his theory, Perry might overcome alleged shortcomings in his account of cognitive significance.

Este artigo canta uma canção — uma canção criada ao unir o trabalho de quatro grandes nomes na história da lógica: Hans Reichenbach, Arthur Prior, Richard Montague, e Leon Henkin. Embora a obra dos primeiros três desses autores tenha sido previamente combinada, acrescentar as ideias de Leon Henkin é o acréscimo requerido para fazer com que essa combinação funcione no nível lógico. Mas o presente trabalho não se concentra nas tecnicalidades subjacentes (que podem ser encontradas em Areces, Blackburn, Huertas, e (...) Manzano [no prelo]), e sim nos instrumentos subjacentes e no modo como trabalham em conjunto. Esperamos que o leitor fique tentado a cantar junto. DOI:10.5007/1808-1711.2011v15n2p225. (shrink)

Over the past fifty years the philosophy of language and mind has been dominated by a nondescriptivist approach to content and reference. This book attempts to recast and systematize that approach by offering an indexical model in terms of mental files. According to Recanati, we refer through mental files, the function of which is to store information derived through certain types of contextual relation the subject bears to objects in his or her environment. The reference of a file is determined (...) relationally, not satisfactionally, so a file is not to be equated to the body of (mis-)information it contains. Mental files are the mental equivalent of singular terms, and the reference of linguistic expressions is inherited from that of the files we associate with them. On this approach, mental files, the vehicles of singular thought, do all the work of so-called 'modes of presentation' in Fregean and neo-Russellian theories. (shrink)

In this paper I focus on a recently discussed phenomenon illustrated by sentences containing predicates of taste: the phenomenon of " perspectival plurality " , whereby sentences containing two or more predicates of taste have readings according to which each predicate pertains to a different perspective. This phenomenon has been shown to be problematic for (at least certain versions of) relativism. My main aim is to further the discussion by showing that the phenomenon extends to other perspectival expressions than predicates (...) of taste and by proposing a general solution to the problem raised by it on behalf of the relativist. The core claim of the solution (" multiple indexing ") is that utterances of sentences containing perspectival expressions should be evaluated with respect to (possibly infinite) sequences of perspective parameters. (shrink)

We care not only about what experiences we have, but when we have them too. However, on the B-theory of time, something’s timing isn’t an intrinsic way for that thing to be or become. Given B-theory, should we be rationally indifferent about the timing per se of an experience? In this paper, I argue that B-theorists can justify time-biased preferences for pains to be past rather than present and for pleasures to be present rather than past. In support of this (...) argument, I appeal to the doctrine of temporal parts or “four-dimensionalism” for short. When held in conjunction with a certain evaluative principle about whose experiences matter, four-dimensionalism reconciles B-theory with some time-biased preferences. (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.

Language research is currently in a state of flux. The phenomenon of language is not merely the topic of investigation in linguistics, it is examined by a multitude of scholars with different scientific backgrounds. In order to examine how these various disciplines approach language, a think-tank was founded in 2002, called DITO, Dynamisch Inter(-en trans)disciplinair onderzoek, or Dynamic Inter- (and trans)disciplinary Research. The think-tank is located at the Belgian Vrije Universiteit Brussel (Free University of Brussels). This book provides short introductory (...) articles to the language research conducted by some of the think-tank’s most important members, from within the point of view of the following 5 disciplines: philosophy of evolutionary biology, cognitive science, neuroscience, sign language research and artificial intelligence. (shrink)

Esta enciclopédia abrange, de uma forma introdutória mas desejavelmente rigorosa, uma diversidade de conceitos, temas, problemas, argumentos e teorias localizados numa área relativamente recente de estudos, os quais tem sido habitual qualificar como «estudos lógico-filosóficos». De uma forma apropriadamente genérica, e apesar de o território teórico abrangido ser extenso e de contornos por vezes difusos, podemos dizer que na área se investiga um conjunto de questões fundamentais acerca da natureza da linguagem, da mente, da cognição e do raciocínio humanos, bem (...) como questões acerca das conexões destes com a realidade não mental e extralinguística. A razão daquela qualificação é a seguinte: por um lado, a investigação em questão é qualificada como filosófica em virtude do elevado grau de generalidade e abstracção das questões examinadas (entre outras coisas); por outro, a investigação é qualificada como lógica em virtude de ser uma investigação logicamente disciplinada, no sentido de nela se fazer um uso intenso de conceitos, técnicas e métodos provenientes da disciplina de lógica. O agregado de tópicos que constitui a área de estudos lógico-filosóficos é já visível, pelo menos em parte, no Tractatus Logico-Philosophicus de Ludwig Wittgenstein, uma obra publicada em 1921. E uma boa maneira de ter uma ideia sinóptica do território disciplinar abrangido por esta enciclopédia, ou pelo menos de uma porção substancial dele, é extrair do Tractatus uma lista dos tópicos mais salientes aí discutidos; a lista incluirá certamente tópicos do seguinte género, muitos dos quais se podem encontrar ao longo desta enciclopédia: factos e estados de coisas; objectos; representação; crenças e estados mentais; pensamentos; a proposição; nomes próprios; valores de verdade e bivalência; quantificação; funções de verdade; verdade lógica; identidade; tautologia; o raciocínio matemático; a natureza da inferência; o cepticismo e o solipsismo; a indução; as constantes lógicas; a negação; a forma lógica; as leis da ciência; o número. (shrink)

The present volume contains a collection of papers presented at the 21st annual meeting “Sinn und Bedeutung” of the Gesellschaft fur Semantik, which was held at the University of Edinburgh on September 4th–6th, 2016. The Sinn und Bedeutung conferences are one of the leading international venues for research in formal semantics.

In Italian Sign Language (LIS), when past or future time adverbs are present, the signs for verbs exhibit the same manual configurations whether the sentence reports a past event or a future event. Facts of this kind, also observed for American Sign Language (ASL) and other sign languages, have led some authors (Friedman, among others) to conclude that these languages, on a par with spoken languages like Chinese, lack grammatical tense. Neidle et al. and Jacobowitz and Stokoe have challenged this (...) view for ASL and have argued that ASL sentences contain tense markers. I present some data showing that LIS verbs inflect for tense. I argue, moreover, that the apparent lack of tense inflection when LIS past and future time adverbs are present is due to the fact that these adverbs shift the s-point and that LIS past and future tenses are absolute tenses. I provide a formal account of the LIS tense system based on these assumptions. The account is implemented in Heim’s analysis of tense. (shrink)

Temporal concepts are fundamental constructs of human cognition, but the trajectory of how these concepts emerge and develop is not clear. Evidence of children’s temporal concept development comes from cognitive developmental and psycholinguistic studies. This paper reviews the linguistic factors (i.e., temporal language production and comprehension) and cognitive processes (i.e., temporal judgment and temporal reasoning) involved in children’s temporal conceptualization. The relationship between children’s ability to express time in language and the ability to reason about time, and the challenges and (...) difficulties raised by the interaction between cognitive and linguistic components are discussed. Finally, we propose ways to reconcile controversies from different research perspectives and present several avenues for future research to better understand the development of temporal concepts. (shrink)

Imperatives cannot be true or false, so they are shunned by logicians. And yet imperatives can be combined by logical connectives: "kiss me and hug me" is the conjunction of "kiss me" with "hug me". This example may suggest that declarative and imperative logic are isomorphic: just as the conjunction of two declaratives is true exactly if both conjuncts are true, the conjunction of two imperatives is satisfied exactly if both conjuncts are satisfied—what more is there to say? Much more, (...) I argue. "If you love me, kiss me", a conditional imperative, mixes a declarative antecedent ("you love me") with an imperative consequent ("kiss me"); it is satisfied if you love and kiss me, violated if you love but don't kiss me, and avoided if you don't love me. So we need a logic of three -valued imperatives which mixes declaratives with imperatives. I develop such a logic. (shrink)

Many languages have past-and-counterfactuality markers such as English simple past. There have been various attempts to find a common definition for both uses, but I will argue in this paper that they all have problems with ruling out unacceptable interpretations, or accounting for the contrary-to-fact implicature of counterfactual conditionals, or predicting the observed cross-linguistic variation, or a combination thereof. By combining insights from two basic lines of reasoning, I will propose a simple and transparent approach that solves all the observed (...) problems and offers a new understanding of the concept of counterfactuality. (shrink)

In several recent papers, Daniel Deasy has argued that the presentism–eternalism debate is unclear and should be abandoned. According to Deasy, there is no way of spelling out the predicate ‘is present’ that leads to a satisfactory definition of presentism: on some interpretations, presentism turns out to be compatible with eternalism, on others, it is clearly false or unacceptable for other reasons. The aim of this paper is to show that this line of argument should be resisted: if the predicate (...) ‘is present’ is spelled out in terms of where things are located, the result is a definition of presentism that is neither compatible with eternalism nor clearly false. There is thus no need to abandon the debate between presentists and eternalists. (shrink)

A-theorists think there is a fundamental difference between the present and other times. This concern shows up in what kinds of properties they take to be instantiated, what objects they think exist and how they formalize their views. Nearly every contemporary A-theorist assumes that her metaphysics requires a tense logic – a logic with operators like and. In this paper, I show that there is at least one viable A-theory that does not require a logic with tense operators. And I (...) will argue that three common indispensability arguments for tense operators are unsound. (shrink)

This paper argues that there are a number of different things that could be meant by the claim that a given agent 'could have done otherwise', because there are multiple ways of disambiguating the various anaphoric devices which are contained in the phrase. It goes on to suggest that on at least one of these disambiguations, the claim that a Frankfurtian agent could have done otherwise might be defensible, even given the presence of a counterfactual intervener who will ensure that (...) the agent phis. (shrink)

Reichenbach, for example, believes that "1" has the same extensional meaning as "the person who utters this token", and Smart believes that "now" means the same as is simultaneous with this utterance” (where the italicization of the "is" indicates it is tenseless). But if a tokeri 1 of’ ’I’ , refers to itself, it has a different reference than a token.