The Aristotelian square of oppositions is a well-known diagram in logic and linguistics. In recent years, several extensions of the square have been discovered. However, these extensions have failed to become as widely known as the square. In this paper we argue that there is indeed a fundamental difference between the square and its extensions, viz., a difference in informativity. To do this, we distinguish between concrete Aristotelian diagrams and, on a more abstract level, the Aristotelian geometry. We then introduce (...) two new logical geometries, and develop a formal, well-motivated account of their informativity. This enables us to show that the square is strictly more informative than many of the more complex diagrams. (shrink)

Discussions of the nature of time, and of various issues related to time, have always featured prominently in philosophy, but they have been especially important since the beginning of the 20th Century. This article contains a brief overview of some of the main topics in the philosophy of time — Fatalism; Reductionism and Platonism with respect to time; the topology of time; McTaggart's arguments; The A Theory and The B Theory; Presentism, Eternalism, and The Growing Universe Theory; time travel; and (...) the 3D/4D controversy — together with some suggestions for further reading on each topic, and a bibliography. (shrink)

According to First-Person Realism, one's own first-person perspective on the world is metaphysically privileged in some way. After clarifying First-Person Realism by reference to parallel debates in the metaphysics of modality and time, I survey eight different arguments in favor of First-Person Realism.

According to the presentist, only the present moment exists and, as time passes, what’s present changes. However some argue that, if only one moment exists, the presentist cannot explain the passage of time. While the presentist historically appeals to surrogates—proxies which exist in the present but play the role of non-existent past times—to evade this sort of worry, the appeal to surrogates has come under renewed attack from Lisa Leininger. But hope is not lost for the presentist. I argue that (...) presentists do have the resources available to address the underlying issue Leininger articulates. Moreover, there’s disagreement amongst presentists about which version of presentism is best. For instance, David Ingram has recently argued that thisness presentism is preferable to other versions of presentism because it’s able to handle certain problems other versions of presentism cannot. However, I argue that this assessment is premature. More specifically, I argue that Ingram’s response to an objection from Lisa Leininger fails to address the core issue she raises. Consequently, I argue that presentists shouldn’t embrace thisness presentism just yet. In this way, my aims here are to: sharpen Leininger’s objection, highlight tenable presentist replies to it, and advance the discussion about which version of presentism should be favoured. (shrink)

In this paper I concern myself with The Superman Puzzle. I argue that the descriptive content associated with proper names, besides determining the proper name’s reference, function as truth-conditionally relevant adjuncts which can be used to express a manner, reason, goal, time or purpose of action. In that way a sentence with a proper name ‘NN is doing something’ could be understood as ‘NN is doing something as NN’. I argue that the substitution of names can fail on modified readings (...) because the different descriptive content of proper names modifies the main predicate differently. Here I present a formal representation of modified predicates which allows one to model intuitively the different truth-conditions of sentences from The Puzzle. (shrink)

In this paper I concern myself with The Superman Puzzle. I argue that the descriptive content associated with proper names, besides determining the proper name's reference, function as truthconditionally relevant adjuncts which can be used to express a manner, reason, goal, time or purpose of action. In that way a sentence with a proper name NN is doing something could be understood as NN is doing something as NN. I argue that the substitution of names can fail on modified readings (...) because the different descriptive content of proper names modifies the main predicate differently. Here I present a formal representation of modified predicates which allows one to model intuitively the different truth-conditions of sentences from The Puzzle. (shrink)

I argue against a principle that is widely taken to govern metaphysical explanation. This is the principle that no necessary facts can, on their own, explain a contingent fact. I then show how this result makes available a response to a longstanding objection to the Principle of Sufficient Reason—the objection that the Principle of Sufficient Reason entails that the world could not have been otherwise.

Temporal ontology is concerned with the ontological status of the past, the present and the future, with presentism and eternalism as main contenders since the second half of the last century. In recent years several philosophers have argued that the presentism/eternalism dispute is not substantial. They have embraced, one may say, deflationism. Denying or downplaying the meaningfulness of tenseless language and wielding the so-called triviality objection have been their main argumentative tools. Other philosophers have opposed this trend, thereby holding fast (...) to what could be named substantialism. Their leading defensive strategy has consisted in bringing to the fore tenselessness or unrestricted quantification in an attempt to resist the triviality objection. Despite this reaction, the past few years have hosted a new wave of deflationism, wherein the triviality objection and qualms about the legitimacy of tenselessness and unrestricted quantification still loom large. This paper counters this trend, by providing a new clarification of tenseless predication, unrestricted quantifiers and their role in rescuing substantialism from the triviality objection. A crucial ingredient is this: the appeal to unrestricted quantifiers and to tenseless predication are not alternative strategies, but rather two sides of the same coin, since substantialism requires quantifiers that are both tenseless and unrestricted. (shrink)

Several authors have recently studied Aristotelian diagrams for various metatheoretical notions from logic, such as tautology, satisfiability, and the Aristotelian relations themselves. However, all these metalogical Aristotelian diagrams focus on the semantic (model-theoretical) perspective on logical consequence, thus ignoring the complementary, and equally important, syntactic (proof-theoretical) perspective. In this paper, I propose an explanation for this discrepancy, by arguing that the metalogical square of opposition for semantic consequence exhibits a natural analogy to the well-known square of opposition for the categorical (...) statements from syllogistics, but that this analogy breaks down once we move from semantic to syntactic consequence. I then show that despite this difficulty, one can indeed construct metalogical Aristotelian diagrams from a syntactic perspective, which have their own, equally elegant characterization in terms of the categorical statements. Finally, I construct several metalogical Aristotelian diagrams that incorporate both semantic and syntactic consequence (and their interaction), and study how they are influenced by the underlying logical system’s soundness and/or completeness. All of this provides further support for the methodological/heuristic perspective on Aristotelian diagrams, which holds that the main use of these diagrams lies in facilitating analogies and comparisons between prima facie unrelated domains of investigation. (shrink)

We defend the thesis that every necessarily true proposition is always true. Since not every proposition that is always true is necessarily true, our thesis is at odds with theories of modality and time, such as those of Kit Fine and David Kaplan, which posit a fundamental symmetry between modal and tense operators. According to such theories, just as it is a contingent matter what is true at a given time, it is likewise a temporary matter what is true at (...) a given possible world; so a proposition that is now true at all worlds, and thus necessarily true, may yet at some past or future time be false in the actual world, and thus not always true. We reconstruct and criticize several lines of argument in favor of this picture, and then argue against the picture on the grounds that it is inconsistent with certain sorts of contingency in the structure of time. (shrink)

ABSTRACTLloyd argues for the value of analogical reasoning in helping to open cross-cultural perspectives in philosophy. In doing so he aims some strong criticism at the Western analytic philosophical tradition. Yet Lloyd's message is one which logicians working within the Western analytic tradition can and do embrace.

Presentism is typically characterised as the thesis that everything is present, and therefore there are no dinosaurs or Martian presidential inaugurations. Putting aside the vexed question of exactly what it is to be present in this context, this thesis seems quite straightforward. However, a number of authors—such as Merricks, Lombard, Meyer, Tallant and Sakon —have argued that Presentism so characterised is either trivially true or false even by Presentist lights. This is the so-called Triviality Argument against Presentism. In this paper (...) I show that three of the four premises of the Triviality Argument are plausibly false. I conclude that Presentists have nothing to fear from the Triviality Argument. (shrink)

In this paper I argue that descriptive content associated with a proper name can serve as a truth-conditionally relevant adjunct and be an additional contribution of the name to the truth-conditions. Definite descriptions the so-and-so associated by speakers with a proper name can be used as qualifying prepositional phrases as so-and-so, so sentences containing a proper name NN is doing something could be understood as NN is doing something as NN (which means as so-and-so). Used as an adjunct, the descriptive (...) content of a proper name expresses the additional circumstances of an action (a manner, reason, goal, time or purpose) and constitute a part of a predicate. I argue that qualifying prepositional phrases should be analyzed as predicate modifiers and propose a formal representation of modified predicates. The additional truth-conditional relevance of the descriptive content of a proper name helps to explain the phenomenon of the substitution failure of coreferential names in simple sentences. (shrink)

It is sometimes argued that there is an analogy between time and modality: What is true of time, mutatis mutandis, should be true of modality, and vice versa. However, I think that the importance of this analogy has not been truly appreciated in the literature. In this paper, I try to offer a plausible account of the relationship between time and modality based on what is known as presentist ersatzism. If the attempt succeeds, it will be shown that ersatzists about (...) time are better able to explain what possible worlds are. (shrink)