We examine how Frege’s contrast between identity judgments of the forms “a=a” vs. “a=b” would fare in the special case where ‘a’ and ‘b’ are complex mental representations, and ‘a’ stands for an introspected ‘I’-thought. We first argue that the Fregean treatment of I-thoughts entails that they are what we call “one-shot thoughts”: they can only be thought once. This has the surprising consequence that no instance of the “a=a” form of judgment in this specific case comes out true, let (...) alone a priori true. This further reinforces Glezakos’s objections against the set-up of Frege’s puzzle, while also raising what we think is an acute problem for Fregeans, insofar as I-thought (and indexical thinking more generally), understood in their way, turns out to be incompatible with some basic features of rationality. (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.

Formal semantic analyses often take words to be minimal building blocks for the purposes of compositionality. But various recent theories of morphology and syntax have converged on the view that there is no demarcation line corresponding to the word level. The same conclusion has emerged from the compositional semantics of superlatives. In the spirit of extending compositionality below the word level, this paper explores how a small set of particles (Japanese KA and MO, Chinese DOU, and Hungarian VALA/VAGY, MIND, and (...) IS) form quantifier words and serve as connectives, additive and scalar particles, question markers, and existential verbs. The main question is whether the meanings of these particles across the varied environments are highly regular, or they are lexicalized with a variety of different meanings that bear a family resemblance. This paper does not reach definitive conclusions, but it raises analytical possibilities using Boolean semantics and the semantics of alternatives. It also draws attention to systematic similarities and some differences between MO and DOU that have not been studied in the literature. (shrink)

Investigates the roles of temporal concepts and self-consciousness in the development of episodic memory. According to some theorists, types of long-term memory differ primarily in the degree to which they involve or are associated with self-consciousness (although there may be no substantial differences in the kind of event information that they deliver). However, a known difficulty with this view is that it is not obvious what motivates introducing self-consciousness as the decisive factor in distinguishing between types of memory and what (...) role it is supposed to play in remembering. The authors argue that distinctions between different kinds of memory should be made initially on the basis of the ways in which they represent events. In particular, it is proposed that the way in which remembered events are located in time provides an important criterion for distinguishing between different types of memory. According to this view, if there is a link between memory development and self-consciousness, it is because some temporal concepts emerge developmentally only once certain self-conscious abilities are in place. (shrink)

At the centre of Arthur Prior’s ‘Thank goodness’ argument for the A-theory of time is a particular form of relief. Time must objectively pass, Prior argues, or else the relief felt when a painful experience has ended is not intelligible. In this paper, I offer a detailed analysis of the type of relief at issue in this argument, which I call temporal relief, and distinguish it from another form of relief, which I refer to as counterfactual relief. I also argue (...) that existing discussions of the ‘Thank goodness’ argument—including Prior’s own—fail to give a satisfactory account of temporal relief, and that it needs to be seen as an emotion linked to the ability to engage in fairly sophisticated forms of planning. I also suggest that this has an impact on Prior’s claim that the idea of points in time plays no fundamental role in the semantic analysis of tenses. (shrink)

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

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

Kaplan (drawing on Montague and Prior, inter alia) made explicit the idea of world and time neutral propositions, which bear truth values only relative to world and time parameters. There was then a debate over the role of time. Temporalists sided with Kaplan in maintaining time neutral propositions with time relative truth values, while eternalists claimed that all propositions specify the needed time information and so bear the same truth value at all times. But there never was much of a (...) parallel debate over the role of worlds. Let contingentism be the view (parallel to temporalism) that sides with Kaplan in maintaining world neutral propositions with world relative truth values, and let necessitarianism be the view (parallel to eternalism) that propositions specify the needed world information and so bear the same truth value at all worlds. This is the story of how the debate between the contingentists and the necessitarians might begin. (shrink)

I identify the special sort of stability (invariance, resilience, etc.) that distinguishes laws from accidental truths. Although an accident can have a certain invariance under counterfactual suppositions, there is no continuum between laws and accidents here; a law's invariance is different in kind, not in degree, from an accident's. (In particular, a law's range of invariance is not "broader"--at least in the most straightforward sense.) The stability distinctive of the laws is used to explicate what it would mean for there (...) to be multiple grades (or degrees) of physical necessity. Whether there are is for science to discover. (shrink)

The purpose of this essay is to determine how we should construe the content of memories or, in other words, to determine what the intentional objects of memory are.1 The issue that will concern us is, then, analogous to the traditional philosophical question of whether perception directly puts us in cognitive contact with entities in the world or with entities in our own minds. As we shall see, there are some interesting aspects of the phenomenology and the epistemology of memory, (...) and I shall aim at a specification of the content of memories that is in accordance with those aspects of them. (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.

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)

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)

I discuss three observations about backtracking counterfactuals not predicted by existing theories, and then motivate a theory of counterfactuals that does predict them. On my theory, counterfactuals quantify over a suitably restricted set of historical possibilities from some contextually relevant past time. I motivate each feature of the theory relevant to predicting our three observations about backtracking counterfactuals. The paper concludes with replies to three potential objections.

El cálculo proposicional se basa proposiciones que son tautologías, antilogías y de tipo contingente, construidas con las operaciones de disyunción, conjunción, y negación, así como con el llamado condicional material para trasladar los enunciados condicionales. Con todo ello se obtiene una estructura de álgebra de Boole, que permite equiparar el cálculo proposicional al cálculo algebraico booleano. En parte, la simplificación conceptual que se obtiene resulta de ser el orden parcial del álgebra equivalente a la afirmación del condicional material. Además, con (...) tal metodología cabe ver qué partes del cálculo proposicional clásico pueden trasladarse, aun con limitaciones, a estructuras más débiles y, a la vez, más generales, como son los ortoretículos no booleanos o las álgebras de De Morgan.El cálculo proposicional trata con la deducción. Por ello, el artículo lo desarrolla a partir de un operador de consecuencias en el sentido de Tarski. Ampliado el modelo deductivo, es fácil ver otras consecuencias que las usualmente consideradas en los textos elementales; en particular, se analizan cuatro esquemas de razonamiento deductivo típicos y, entre ellos, se presta especial atención a los usuales Modus Ponens y Modus Tollens. En el caso de las estructuras algebraicas de conjuntos ‘borrosos’, ninguna es de álgebra de Boole ni siquiera de orto-retículo y sólo cabe trabajar, en algunos casos, con álgebras de De Morgan-Kleene. Por lo tanto el cálculo proposicional ‘fuzzy’ debe construirse de acuerdo con la estructura algebraica que corresponda en cada caso y una vez elegida como representación del condicional una función que verifique el Modus Ponens. (shrink)

It is routinely observed in NLP that sentences seem to “evoke” situations (where I use this term comprehensively to cover events, episodes, eventualities, processes, etc.). Much like discourse entities evoked by explicit noun phrases, these evoked situations can be referred to anaphorically, as for instance in (1) and (3) below, and can be modified in various ways, for instance by supplying their duration and location, as in (2) and (4).

The aim of this paper is show a global strategy for defining and connecting logical criteria. Three partial criteria are distinguished: transparency for expressions, topic neutrality for consequence relation, and universality for theories. A global criterion is suggested, and proved to be fulfilled by classical and intuionistic logic.

Theories of language in the twentieth century tend towards one of two radically different models. One paradigm holds that expressions ‘stand for’ entities and their meanings are the entities stood for by them. According to the other, expressions are rather tools of interaction and their meanings are their functions within the interaction, their aptitudes to serve it in their distinctive ways.

Os demonstrativos foram considerados tradicionalmente como expressões referenciais. É o que encontramos na história da filosofia desde o início da tradição gramatical ocidental que sempre tratou os demonstrativos como pronomes. A maior provocação no livro de King consiste precisamente em romper com essa tradição ao apresentar os demonstrativos complexos (“esta mesa”, “aquele homem” etc.) como termos quantificados (e, portanto, termos não-referenciais). King apóia seu tratamento sobre exemplos escolhidos que parecem favorecer sua tese, como “aquele arquiteto que construiu essas pirâmides era (...) um gênio”, quando o locutor da frase não tem nenhum alvo referencial em mente e não pode apontar para ninguém no contexto da enunciação. Mostrarei: 1) que o tratamento de King representa uma tremenda ruptura com a tradição e desconsidera as intuições de gerações e gerações de lingüistas e filósofos da linguagem; 2) que King apóia sua tese em evidências de natureza puramente sintática sem discutir metodologicamente o peso que devemos atribuir a essas evidências sintáticas nas discussões de semântica; 3) que King não leva em conta todos os dados disponíveis, forçando os dados por ele recolhidos a entrar numa mesma teoria unificada, mas, para isso, paga um preço alto: uma redundância inaceitável na semântica das expressões demonstrativas simples. (shrink)

There are two fundamental questions concerning the choice and presence of objects in various formal systems: Where do these objects come from? What do we know about them? To answer these questions I introduce the notion of a proto-ontology as the pre-theoretic realm of entities from which the basic objects – individuals – of the formal system S are postulated. The pragmatic aspects of such choices are investigated with regard to first-order logic, both pure and applied, set theory and mereology. (...) It is claimed that the postulated objects enter the formal system S with a package of properties and relationships, the recognition of which depends on the interpretation and application of the available predicates of S. If these properties and relationships are not made explicit, a possible clash may arise between them and the properties and relationships “assigned” to the individuals of S by the interpreted predicates of S. As regards the relationship between logic and metaphysics, I contend that logic can perhaps be viewed as the articulation of the fundamental features of proto-ontological objects without which no discourse or theory would be possible. In this sense logic could also be viewed as a theory and method of the construction of a well-articulated metaphysical theory. (shrink)