Since Fodor 1970, negation has worn a Homogeneity Condition to the effect that homogeneous predicates, ) denote homogeneously—all or nothing —to characterize the meaning of – when uttered out-of-the blue, in contrast to –:The mirrors are smooth. The mirrors are not smooth. The mirrors circle the telescope’s reflector. The mirrors do not circle the telescope’s reflector. It has been a problem for philosophical logic and for the semantics of natural language that – appear to defy the Principle of Excluded Middle (...) while – do not—Smooth ¬Smooth Circle ¬Circle. An impoverished logical form – has been the occasion to embellish all else—Boolean algebra, lexical presuppositions, Strongest Meaning Hypothesis, trivalence, supervaluation, double strengthening, etc., enriching the semantics and pragmatics with what remains a special theory of negation, which may be dismissed when the logical syntax and semantics of negation reflects that negated sentences are also tensed sentences. (shrink)

I offer a formal ontological theory where the basic building blocks of the world are timeless events. The composition of events results in processes. Spacetime emerges as the system of all events. Things are construed as bundles of processes. I maintain that such a view is in accord with General Relativity and offers interesting prospects for the foundations of classical and quantum gravity.

According to the dominant position among philosophers of language today, we can legitimately ascribe determinate contents to natural language sentences, independently of what the speaker actually means. This view contrasts with that held by ordinary language philosophers fifty years ago: according to them, speech acts, not sentences, are the primary bearers of content. François Recanati argues for the relevance of this controversy to the current debate about semantics and pragmatics. Is 'what is said' determined by linguistic conventions, or is it (...) an aspect of 'speaker's meaning'? Do we need pragmatics to fix truth-conditions? What is 'literal meaning'? To what extent is semantic composition a creative process? How pervasive is context-sensitivity? Recanati provides an original and insightful defence of 'contextualism', and offers an informed survey of the spectrum of positions held by linguists and philosophers working at the semantics/pragmatics interface. (shrink)

Prior used our emotions to argue that tensed language cannot be translated by tenseless language. However, it is widely accepted that Mellor and MacBeath have shown that our emotions do not imply the existence of tensed facts. I criticise this orthodoxy. There is a natural and plausible view of the appropriateness of emotions which in combination with Prior’s argument implies the existence of tensed facts. The Mellor/MacBeath position does nothing to upset this natural view and therefore is not sufficient to (...) block one drawing conclusions for the metaphysics of time from the nature of our emotions. (shrink)

Frege taught us how to understand one form of predication: an atemporal one. There is also a different, temporal form of predication, which I briefly introduce. Accordingly, there are two fundamentally different approaches to time: a reductive one, aiming to account for time in terms of Frege’s atemporal predication, and a non-reductive one, insisting that the temporal form of predication is sui generis, and that time is to be understood in its terms. I do not directly argue for or against (...) reductionism in this paper. Rather, by evaluating the debates on endurantism–perdurantism, A-theory–B-theory, and presentism–eternalism, I argue that these debates, although aiming to be fundamental, largely boil down to mere quarrels between alternative reductive approaches. We should take notice of this fact and reorient ourselves within the debate on time accordingly: the real issue is whether we should reduce or not. I briefly sketch in what sense endurantism, A-theory, and presentism may be developed on a properly anti-reductionist basis. (shrink)

This paper provides a formal semantic analysis of past interpretation in Medumba, a graded tense language. Based on original fieldwork, the study explores the empirical behavior and meaning contribution of graded past morphemes in Medumba and relates these to the account of the phenomenon proposed in Cable for Gĩkũyũ. Investigation reveals that the behavior of Medumba gradedness markers differs from that of their Gĩkũyũ counterparts in meaningful ways and, more broadly, discourages an analysis as presuppositional eventuality or reference time modifiers. (...) Instead, the Medumba markers are most appropriately analyzed as quantificational tenses. It also turns out that Medumba, though belonging to the typological class of graded tense languages, shows intriguing similarities to genuinely tenseless languages in allowing for temporally unmarked sentences and exploiting aspectual and pragmatic cues for reference time resolution. The more general cross-linguistic implication of the study is that the set of languages often subsumed under the label “graded tense” does not in fact form a natural class and that more case-by-case research is needed to refine this category. (shrink)

By force of _causes precede effects_, causality contributes to the temporal meaning of discourse. In case of semantic causal relations, this contribution is straightforward, but in case of epistemic causal relations, it is not. In order to gain insight into the semantics of epistemic causal relations, paradoxical cases are analyzed of text fragments in which temporal and causal meaning seem to be irreconcilable. A solution is proposed consisting of several parts: First, an analysis of epistemic causal coherence relations, in which (...) the effect sentence is argued to be a _belief_ sentence. Secondly, a method for deriving causal coherence relations. And thirdly, a format for representing temporal meaning in which contributions of tense and causality can be reconciled. Finally, it is argued that _understanding_ epistemically causally connected sequences is not equal to being persuaded to _believing_ them. The difference is shown to be expressible in the representation format proposed. (shrink)

Abstract Theories in physics require reference to manifolds of locations and events. Abstract versions of these manifolds, ?space?, ?time? and ?space?time? are frequently used as reference systems. Should they be included in the ontology of physics as well as the material manifolds from which they are abstracted? This problem can be approached through a study of the identity conditions of events. The argument is offered that neither an abstract ?time? of moments is viable, nor is the assumption that events are (...) individuated by their locations necessary. Taken together these conclusions would require reinterpretation of relativity as a grammar of histories and of the Einstein?Podolski?Rosen experiment as displaying the possibility of spatially distributed events. (shrink)

The indexical word “I” has traditionally been assumed to be an overt analogue to the concept of self, and the best model for understanding it. This approach, I argue, overlooks the essential role of cognitive phenomenology in the mastery of the concept of self. I suggest that a better model is to be found in a different kind of representation: phenomenal concepts or more generally phenomenally grounded concepts. I start with what I take to be the defining feature of the (...) concept of self, namely its “super-reflexivity”: to use this concept is not just to think of oneself, but to think of oneself as the thinker of the present thought. I call this familiar observation the “Thinker Intuition”. I review some shortcomings of the indexical model of the concept of self, which is the classical account of the Thinker Intuition. I go on to propose a different account, the “phenomenal model”, according to which the concept of self is a phenomenally grounded concept, anchored in a generic kind of cognitive phenomenolog... (shrink)

This paper offers a two dimensional variation of Standard Deontic Logic SDL, which we call 2SDL. Using 2SDL we can show that we can overcome many of the difficulties that SDL has in representing linguistic sets of Contrary-to-Duties (known as paradoxes) including the Chisholm, Ross, Good Samaritan and Forrester paradoxes. We note that many dimensional logics have been around since 1947, and so 2SDL could have been presented already in the 1970s. Better late than never! As a detailed case study (...) illustrating the power of 2SDL, we examine the system DL of Deontic Logic of Andrew Jones and Ingmar Pörn offered in 1985 to solve the Chisholm paradox of Contrary to Duties. The critical examination is done using logics and methods available in 1985 and solutions are proposed using what was available in 1985. (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)

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)