This paper aims to provide a mathematically tractable background against which to model both modal cognitivism and modal expressivism. I argue that epistemic modal algebras, endowed with a hyperintensional, topic-sensitive epistemic two-dimensional truthmaker semantics, comprise a materially adequate fragment of the language of thought. I demonstrate, then, how modal expressivism can be regimented by modal coalgebraic automata, to which the above epistemic modal algebras are categorically dual. I examine five methods for modeling the dynamics of conceptual engineering for intensions and (...) hyperintensions. I develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. I examine then the virtues unique to the modal expressivist approach here proffered in the setting of the foundations of mathematics, by contrast to competing approaches based upon both the inferentialist approach to concept-individuation and the codification of speech acts via intensional semantics. (shrink)

It is disputed what norm, if any, governs assertion. We address this question by looking at assertions of future contingents: statements about the future that are neither metaphysically necessary nor metaphysically impossible. Many philosophers think that future contingents are not truth apt, which together with a Truth Norm or a Knowledge Norm of assertion implies that assertions of these future contingents are systematically infelicitous. In this article, we argue that our practice of asserting future contingents is incompatible with the view (...) that they are not truth apt. We consider a range of norms of assertion and argue that the best explanation of the data is provided by the view that assertion is governed by the Knowledge Norm. (shrink)

Even though Aristotle speaks often about language, his remarks do not fall within the province of any given discipline, let alone belong to the same subject matter or amount to a πραγματεία of their own. Rather, they are somewhat scattered across the Aristotelian corpus and are to be gleaned from a vast array of texts, including ethical and political writings (where language plays a remarkable role in shaping human sociability), treatises on natural history (where Aristotle outlines the physiology of phonation (...) in some animals such as birds and human beings), books on the soul (where Aristotle describes how language is intertwined with perception, imagination and thought) and works on dialectics, poetics and rhetoric (where linguistic expression is described as a powerful means of both persuasion and deception). Accordingly, «Le langage. Lectures d’Aristote» elects to study Aristotle’s understanding of language and its workings by asking relevant Aristotelian texts only those questions these texts answer – either by themselves or in conjunction with one another. -/- Quelque nombreuses et quelque influentes qu'elles soient par ailleurs, les vues d'Aristote sur le langage se caractérisent à la fois par leur hétérogénéité et par leur marginalité. Sans faire nulle part du langage et de la signification l'objet d'une investigation autonome et méthodique, Aristote multiplie les remarques et les digressions à leur sujet, que ce soit dans ses écrits d'éthique et de politique ou dans ses traités d'histoire et de philosophie naturelle, ou encore dans ses manuels de dialectique, de poétique et de rhétorique. Face à l'abondance de ces matériaux et aux difficultés qu'ils présentent du fait de s'offrir au lecteur en ordre quelque peu dispersé, «Le langage. Lectures d'Aristote» fait le choix d'indexer l'étude du langage chez Aristote sur des passages précis du corpus en ne posant aux textes aristotéliciens d'intérêt linguistique que les questions auxquelles ces mêmes textes - tantôt pris isolément, tantôt mis en relation les uns avec les autres - apportent une réponse. (shrink)

Offers an extremely bold, far-reaching, and unsuspected thesis in the history of philosophy: Aristotelianism was a dominant movement of the British philosophical landscape, especially in the field of logic, and it had a long survival. British Aristotelian doctrines were strongly empiricist in nature, both in the theory of knowledge and in scientific method; this character marked and influenced further developments in British philosophy at the end of the century, and eventually gave rise to what we now call British empiricism, which (...) is represented by philosophers such as John Locke, George Berkeley and David Hume. Beyond the apparent and explicit criticism of the old Scholastic and Aristotelian philosophy, which has been very well recognized by the scholarship in the twentieth century and which has contributed to the false notion that early modern philosophy emerged as a reaction to Aristotelianism, the present research examines the continuity, the original developments and the impact of Aristotelian doctrines and terminology in logic and epistemology as the background for the rise of empiricism.Without the Aristotelian tradition, without its doctrines, and without its conceptual elaborations, British empiricism would never have been born. The book emphasizes that philosophy is not defined only by the ‘great names’, but also by minor authors, who determine the intellectual milieu from which the canonical names emerge. It considers every single published work of logic between the middle of the sixteenth and the end of the seventeenth century, being acquainted with a number of surviving manuscripts and being well-informed about the best existing scholarship in the field. ​. (shrink)

This dissertation concerns the foundations of epistemic modality. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The dissertation demonstrates how phenomenal consciousness and gradational possible-worlds models in Bayesian perceptual psychology relate to epistemic modal space. The dissertation demonstrates, then, how epistemic modality relates to the computational theory of mind; metaphysical modality; deontic modality; logical modality; the types of mathematical modality; to the (...) epistemic status of undecidable propositions and abstraction principles in the philosophy of mathematics; to the apriori-aposteriori distinction; to the modal profile of rational propositional intuition; and to the types of intention, when the latter is interpreted as a modal mental state. Examining the nature of epistemic logic itself, I develop a novel approach to conditions of self-knowledge in the setting of the modal μ-calculus, as well as novel epistemicist solutions to Curry's, the liar, and the knowability paradoxes. Solutions to previously intransigent issues concerning the first-person concept; the distinction between fundamental and derivative truths; and the unity of intention and its role in decision theory, are developed along the way. (shrink)

Is a mathematical theorem proved because provable, or provable because proved? If Brouwer’s intuitionism is accepted, we’re committed, it seems, to the latter, which is highly problematic. Or so I will argue. This and other consequences of Brouwer’s attempt to found mathematics on the intuition of a move of time have heretofore been insufficiently appreciated. Whereas the mathematical anomalies of intuitionism have received enormous attention, too little time, I’ll try to show, has been devoted to some of the temporal anomalies (...) that Brouwer has invited us to introduce into mathematics. (shrink)

According to Kant, the division of the categories “is not the result of a search after pure concepts undertaken at haphazard,” but is derived from the “complete” classification of judgments developed by traditional logic. However, the sorts of judgments that he enumerates in his table of judgments are not all ones that traditional logic has dealt with; consequently, we must say that he chose the sorts of judgments in question with a certain intention. Besides, we know that his choice of (...) judgments and categories is strongly influenced by certain views of natural science that he fully accepts. For this reason, his argumentations are sometimes seriously inconsistent. As to Kant’s argumentations of categories, many problems have already been pointed out, but in this paper, I take up the categories of quantity and quality once more, and make clear his argumentations’ hidden logic and its distortion from the point of view of the history of logic and natural science. First, I confirm that there are non-negligible problems in his explanation to the effect that his derivation of the categories of quantity and quality is based on the quantity and quality of judgments. Next, I reconsider the meaning of his treating the categories of quantity and quality as pure concepts of the understanding. Finally, I conclude that by having recourse to the categories of quantity and quality Kant tried unjustly to apriorize the distinction between the “extensive magnitude” and “intensive magnitude” that has a long formational history since Aristotle. (shrink)

Does (affirmative) judgement have a logical dual, negative judgement? Whether there is such a logical dualism was hotly debated at the beginning of the twentieth century. Frege argued in ?Negation? (1918/9) that logic can dispense with negative judgement. Frege's arguments shaped the views of later generations of analytic philosophers, but they will not have convinced such opponents as Brentano or Windelband. These philosophers believed in negative judgement for psychological, not logical, reasons. Reinach's ?On the Theory of Negative Judgement? (1911) spoke (...) to the concerns of these philosophers. While Frege took the distinction between affirmative and negative judgement to be logically redundant, Reinach argued that it is the result of confusing judgement with a different mental act. In this article, I present Reinach's arguments against the ?old logical dualism? in context, analyse them and discuss Reinach's innovative use of the notion of focus in the theory of judgement. Recently, there has been a revival of the view that sentential negation is grounded in a prior mental act of rejection. In the final section, I argue that Reinach's analysis of rejection poses a challenge for the revivalists. (shrink)

In this paper I will examine the relation between the theory of obligations and its use in sophismatic contexts through the lens of certain pragmatic concerns. In order to do this, I will take a sophism discussed by Peter of Mantua in his treatise on obligations as a case-study. I will first provide a brief outline of the structure of the treatise and then examine a concrete case that shows how the relationship between background assumptions (casus and context of utterance) (...) and criteria of response seems to suggest a way to qualify the application of general rules (especially for irrelevant sentences) in certain limit-cases. By discussing Peter's presentation of the sophism, I will also argue for a connection between Peter of Mantua's text and Mesino de Codronchi's Questiones on the De Interpretatione. (shrink)

Although many of the pioneers of present-day bioethics came from religious and theological backgrounds, the recent controversy about the role of religion in bioethics has elicited much attention. Timothy Murphy would ban religion from bioethics altogether. Much of the ado hinges on conflicting understandings of just what bioethics is and just what religion is. This paper attempts to make more explicit how the fields of bioethics and religion have been understood in this context, and how they should not be understood. (...) We begin by looking at bioethics as a field: its origins, purpose, scope, and its methods. We then examine the notion of religion, looking especially at its importance for bioethics. Humanity is not just Homo sapiens but also Homo religiosus. Religion is more than a code of ethics; it gives insight into many of the foundational matters of bioethics. (shrink)

_ Source: _Volume 53, Issue 2-4, pp 249 - 268 The tract on logic that has now become known as the _Introductiones Montanae maiores_ provides us with useful evidence of the kind of education that was on offer in the Parisian schools of the 12th century. In this contribution, I will go through a number of arguments brought up in connection with the definitions of basic logical concepts. By doing so I aim to provide more details about some of the (...) most important theoretical positions of the tract. (shrink)

At APr 2.4 57a36–13, Aristotle presents a notorious reductio argument in which he derives the claim ‘If B is not large, B is large’ and calls that result impossible. Aristotle is thus committed to some form of connexivity and this paper argues that his commitment is to a strong form of connexivity which excludes even cases in which ‘B is large’ is necessary. It is further argued that Aristotle’s view of connexivity is best understood as arising from his analysis of (...) affirmation and negation in terms of combination and separation: a proposition that separates two terms cannot entail a proposition that combines the same two terms. In order to motivate this account of connexivity, this paper interprets Aristotle as emphasising the predicative structure, especially the copulae, of the argument’s component propositions. The arguments for this are based on a consideration of the larger context of APr 2.2–4. A reconstruction of the argument using propositional variables does not fully capture Aristotle’s intentions. (shrink)

Published in 1908, C.S. Peirce’s ‘A Neglected Argument for the Reality of God’ is one of his most difficult articles. Presenting a peculiar entanglement of scientific method and theology, it sketches a ‘humble’ argument for the reality—and not the existence—of God for Musers, that is, those who pursue the activity he calls ‘Musement’. In Musement, Peirce claims, we can achieve a kind of perception of the intertwinement of the three universes of experience: of feeling, of brute fact, and of reason. (...) He also somehow relates each universe to a distinct phase of inquiry, which is described by the use of induction, deduction, and abduction or retroduction. The way that he develops his claims allows him to outline God as an abductive vague hypothesis to explain how those three universes make up a single whole. The hypothesis being vague means that the principle of contradiction does not hold for it. In this presentation, we aim at throwing some light at these points, focusing on the concept of Musement and what is understood as the vagueness of the hypothesis. (shrink)

The Oxford Calculator Roger Swyneshed put forward three provocative claims in his treatise on insolubles, written in the early 1330s, of which the second states that there is a formally valid inference with true premises and false conclusion. His example deployed the Liar paradox as the conclusion of the inference: ‘The conclusion of this inference is false, so this conclusion is false’. His account of insolubles supported his claim that the conclusion is false, and so the premise, referring to the (...) conclusion, would seem to be true. But what is his account of validity that can allow true premises to lead to a false conclusion? This article considers Roger’s own account, as well as that of Paul of Venice, writing some sixty years later, whose account of the truth and falsehood of insolubles followed Roger’s closely. Paul endorsed Roger’s three claims. But their accounts of validity were different. The question is whether these accounts are coherent and support Paul’s claim in his Logica Magna that he endorsed all the normal rules of inference. (shrink)

Aristotelian relativism about the future (as recently defended by MacFarlane ( 2003 )) claims that a prediction made on Monday, such as ‘It will rain’, can be indeterminate on Monday but determinate on Tuesday. A serious objection to this intuitively appealing view is that it cannot coherently be attested: for if it is attested on Monday, then our blindness to what the future holds precludes attesting that the prediction is determinate on Tuesday, and if it is attested on Tuesday (when, (...) suppose, it rains), then the fact that it rains precludes attesting that the prediction is indeterminate on Monday. In this paper, I focus on Moruzzi and Wright ( 2009 )’s recent development of this objection and argue that it fails. This result removes a major obstacle to defending the Aristotelian view. (shrink)

Ancient commentators like Ammonius and Boethius tried to solve Aristotle's “sea battle argument” in On Interpretation 9 by saying that statements about future contingents are “indefinitely” true or false. They were followed by al-Fārābī in his commentary on On Interpretation. The article sets out two possible interpretations of what “indefinitely” means here, and shows that al-Fārābī actually has both conceptions: one applied in his interpretation of Aristotle, and another that he is forced into by the problem of divine foreknowledge. It (...) also explains the relevance of al-Fārābī's remarks as a link between the non-statistical modal theories of Philo and Avicenna. (shrink)

This Critical Notice is about aboutness in logic and language. In a first part, I discuss the origin of the issue and the philosophical background to Yablo's book Aboutness (PUP 2014), which is itself the subject of the second and main part of my paper.

The article intends to show: a) that the modist Martin of Dacia sides with the traditional reading of the first chapter of Aristotle’s De interpretatione that we find in masters of arts from the first half of the thirteenth century; and b) that the modist Boethius of Dacia is one of the first thirteenth-century scholars to depart from this reading. In fact, Boethius presents us with an account of propositional verification where the terms’ signification is not operational and where the (...) immediate truth-maker of statements like ‘homo est animal’ is an external state of affairs. In Martin’s case, to the contrary, the terms’ signification is operational in his account of propositional verification and the immediate truth-bearer of such statements is a mental composition or division. (shrink)

For Kant's interpretation of Zeno in KrV A502-507/B530-535, scholars have usually referred to Plato's Phaedrus ; in reality the sources Kant uses are, on one hand, Brucker , and, on the other, Plato's Parmenides and Proclus' commentary on it, as quoted by Gassendi in a popular textbook he wrote on the history of logic. Per l'interpretazione kantiana di Zenone in KrV A502-507/B530-535 gli studiosi rinviano solitamente al Fedro platonico ; in realtà, le fonti cui Kant attinse sono, da un lato (...) il Brucker , dall'altro il Parmenide platonico e il commento di Proclo al passo, riportato dal Gassendi in una sua fortunata storia della logica. (shrink)

The main concern of Agamben's work, prior to the Homo Sacer project, is how to understand the existence of or potentiality for language. Contemporary philosophy casts language as the unsayable presupposition of discourse. Agamben criticises this as an incomplete nihilism that remains within the horizon of metaphysics, and attempts to think the experience of language without an unsayable ground. I examine Agamben's critique of the role of the ineffable in the theory of the subject, and in the thought of Heidegger (...) and Derrida. I contrast this with his account of infancy as an experience that fully assumes the groundlessness of language. (shrink)

In this paper, I investigate Kant’s view of the cognitive role of perceptions, judgements, and the three categories of Quality in representing negative states of affairs. The paper addresses the following problem. In his account of empirical cognition, Kant seems to limit the legitimate application of the categories to things perceptually available to us, or, more generally, to positive cases. However, Kant also seems to hold that negative states of affairs, such as the absence of a thing, cannot be perceived. (...) This raises the question of how we can represent and make warranted empirical judgements about cases that lack positive instances given in perception. At worst, Kant’s view would imply that thoughts about negative cases are ‘empty’. In order to avoid such a consequence, I wish to draw attention to Kant’s holistic way of thinking. In particular, I shall argue that perception is a process-like temporal phenomenon, and that experience itself is not strictly about the here and now. The paper shows that the cognitive contribution of the categories, according to Kant, is most explicit in representing negative states of affairs, which requires overcoming the main limitation of sense perception, namely the incapacity of negative representation. Even so, positive representation can be seen cognitively primary for Kant. (shrink)

There’s been a recent surge of interest among analytic philosophers of religion in divine ineffability. However, divine ineffability is part of a traditional conception of God that has been widely rejected among analytic philosophers of religion for the past few decades. One of the main reasons that the traditional conception of God has been rejected is because it allegedly makes God too remote, unknowable, and impersonal. In this paper, I present an account of divine ineffability that directly addresses this concern (...) by arguing that the deepest knowledge of God’s nature that we can attain is personal, rather than propositional. On this view, it is precisely because knowledge of God’s nature is personal that it cannot be linguistically expressed and communicated. (shrink)

This paper deals with the doctrine of transubstantial change advocated by Mulla Sadra in which substances as well as accidents are thought to be in constant and gradual change. Against Aristotle’s doctrine of accidental change, Mulla Sadra argues that no stable ground can bring about change and since substance is renewable it cannot carry identity of a changing existent. Here we investigate whether identity is possible or not. If it is possible then what becomes a ground for establishing identity of (...) changing substances. (shrink)

This paper addresses the question whether future contingents are knowable, that is, whether one can know that things will go a certain way even though it is possible that things will not go that way. First I will consider a long-established view that implies a negative answer, and draw attention to some endemic problems that affect its credibility. Then I will sketch an alternative line of thought that prompts a positive answer: future contingents are knowable, although our epistemic access of (...) them is limited in some important respects. (shrink)

Presentism faces the following well-known dilemma: either the truth-value of past-tense claims depends on the non-existing past and cannot be said to supevene on being, or it supervenes on present reality and breaks our intuition which says that the true past-tense claims should not depend on any present aspect of reality. The paper shows that the solution to the dilemma offered by Kierland and Monton’s brute past presentism, the version of presentism according to which the past is supposed to be (...) both a fundamental and present aspect of reality, is implausible and proposes how to cure presentism: the dillema can be avoided by taking a third road consisting of introducing dynamics into presentism in the form of the real passage of time. Dynamic presentism, which is constructed in such a way, can overcome the dilemma by providing an ontological basis for the past-tense propositions in the form of the real past. Dynamic presentism also offers a rationale for treating the future as being open. (shrink)

With the publication of this inaugural issue of the internationally peer-reviewed journal Biosemiotics, our still-developing young interdiscipline marks yet another milestone in its journey towards adulthood. For this occasion, the editors of Biosemiotics have asked me to provide for those readers who may be newcomers to our field a very brief overview of the history of biosemiotics, contextualizing it within and against the larger currents of philosophical and scientific thinking from which it has emerged. To explain the origins of this (...) most twenty-first century endeavour effectively, however, will require tracing—at least to the level of a thumbnail sketch—how the ‘sign’ concept appeared, was lost, and now must be painstakingly rediscovered and refined in science. To relate this long history, this article will appear in Biosemiotics in three instalments, examining, respectively: (1) The History of the Sign Concept in Pre-Modernist Science, (2) The History of the Sign Concept in Modernist Science, and (3) The Biosemiotic Attempt to Develop a More Useful Sign Concept for Contemporary Science. In this instalment, we begin our introductory ‘stroll through the woods of sciences and signs’ by following the development of the sign concept within the context of scientific inquiry, in necessarily broad outline, from the beginnings of such inquiry in sixth century BCE, through its long development in the Middle Ages, and up unto the onset of modernity. For only within this larger historical context can our contemporary attempt to develop a naturalistic understanding of sign relations be understood. (shrink)

Contingency and accident are two important notions in philosophy and philosophical logic. Their meanings are so close that they are mixed up sometimes, in both daily life and academic research. This indicates that it is necessary to study them in a unified framework. However, there has been no logical research on them together. In this paper, we propose a language of a bimodal logic with these two concepts, investigate its model-theoretical properties such as expressivity and frame definability. We axiomatize this (...) logic over various classes of frames, whose completeness proofs are shown with the help of a crucial schema. The interactions between contingency and accident can sharpen our understanding of both notions. Then we extend the logic to a dynamic case: public announcements. By finding the required reduction axioms, we obtain a complete axiomatization, which gives us a good application to Moore sentences. (shrink)

The time of the literary work of art is a schematized aspect of the represented objectivities of the literary work. Roman Ingarden’s analysis of the time of the literary work extends upon Husserl’s phenomenology of time consciousness but nevertheless remains consistent with it, insofar as within a literary work as well as actuality, an objective time or literary objective time is constituted from an experience of temporal objects. The time of the literary work of art is experienced through its represented (...) objectivities and depends on an already existent concept of objective time. The time of the literary work, however, gains an indeterminacy, as the author of the literary work is able to manipulate our experience of time within the literary work by predicting how the reader will concretize its events, characters, and objects with respect to time. I use Alain Robbe-Grillet’s representation of the centipede in La Jalousie as an example of the possible manipulations of time, explicable through Ingarden’s analysis of time in the literary work of art. (shrink)

With this paper I aim to demonstrate that a look beyond the Aristotelian square of opposition, and a related non-conservative view on logical determiners, contributes to both the understanding of Aristotelian syllogistics as well as to the study of quantificational structures in natural language.

In this paper, I raise the following problem: What terms are considered as syncategoremata in the Arabic logical texts? How are they defined? How do they determine the forms of the propositions and the inferences? To answer these questions, I focus on the analyses provided by al-Fārābī and Avicenna. Both authors apply the grammatical distinction between the particle, the noun and the verb to logic. They also state the semantic and the syntactic criterions, but their analyses of the particles are (...) different. For al-Fārābī devotes two treatises to the analysis of particles: al-musta‘malah fī l-maniq, where he provides a listing of particles that he classifies in the manner of the Greek grammarians and Kitāb al-urūf, where he analyzes some particles used in metaphysics; while Avicenna, despite the considerable amount of his logical corpus, does not devote a special book to the analysis of particles. He does not provide any listing either but characterizes each logical particle on its own, while analyzing the propositions, their elements and the inferences. In this paper, I argue that this treatment of particles in the two frames shows a significant difference between the two authors with regard to the relation between logic and grammar, and with regard to the characterizations of the logical particles themselves. For Avicenna is much less interested than al-Fārābī by the grammatical analysis and focuses much more on the logical particles, which he scrutinizes meticulously. This enriches his definitions of the logical constants and leads him in the final analysis to different and more various inferences than those hold by al-Fārābī. (shrink)

The author wishes to thank Professor Larry Grossberg for his helpful comments on an earlier draft of this paper.

What is sophistics ? What are the genuine reasons of philosophers'hostility, from Plato and Aristotle to Habermas and Badiou ? This text offers a new definition of sophistics as critique of mainstream ontology and a description of the efficiency of such a critical view, through a comprehensive explanation of the primitive scenery between Parmenides'Poem and Gorgias' Treatise of Non-being, and Aristotle's settlement of the principle of non-contradiction in book Gamma of Metaphysics.

The theme of the paper is that what is true cannot be false and conversely. This position was anticipated by Aristotle in De Interpretatione and by G. H. von Wright. The latter calls it “a truth of the logic of relative modalities.”Aristotle has been taken to task by Susan Haack and others for arguing fallaciously from the Principle of Bivalence, that every statement is either true or false, to fatalism. The implication holds, but we show that it is unreasonable to (...) assume that Aristotle grounded his argument on this implication rather than on what we call the force of truth. (shrink)

The theme of the paper is that what is true cannot be false and conversely. This position was anticipated by Aristotle in De Interpretatione and by G. H. von Wright. The latter calls it “a truth of the logic of relative modalities.”Aristotle has been taken to task by Susan Haack and others for arguing fallaciously from the Principle of Bivalence, that every statement is either true or false, to fatalism. The implication holds, but we show that it is unreasonable to (...) assume that Aristotle grounded his argument on this implication rather than on what we call the force of truth. (shrink)

It is highly now intuitive that the future is open and the past is closed now—whereas it is unsettled whether there will be a fourth world war, it is settled that there was a first. Recently, it has become increasingly popular to claim that the intuitive openness of the future implies that contingent statements about the future, such as ‘There will be a sea battle tomorrow,’ are non-bivalent (neither true nor false). In this paper, we argue that the non-bivalence of (...) future contingents is at odds with our pre-theoretic intuitions about the openness of the future. These intuitions are revealed by our pragmatic judgments concerning the correctness and incorrectness of assertions of future contingents. We argue that the pragmatic data together with a plausible account of assertion shows that in many cases we take future contingents to be true (or to be false), though we take the future to be open in relevant respects. It follows that appeals to intuition to support the non-bivalence of future contingents are untenable. Intuition favours bivalence. (shrink)

John MacFarlane has recently argued that his brand of truth relativism provides the best solution to the puzzle of future contingents: assertions about the future that express propositions that are metaphysically neither necessary nor impossible. In this paper, we show that even if we grant all of the metaphysical, semantic and pragmatic assumptions in terms of which MacFarlane sets and aims to solve the puzzle, his truth relativism is not apt to solve the problem of future contingents. We argue that (...) the theory fails to vindicate the intuition that future contingent propositions are neither true nor false, leaving the theory open to a charge of Reductio. We show that these problems cannot be answered while preserving the core tenets of truth relativism. (shrink)

In every introductory course on logic, students learn that expressions like ‘somebody’, ‘nothing’ or ‘every woman’ are not names or referring expressions, but quantifiers, and that, owing to this,...

The problem of future contingents is regarded as an important philosophical problem in connection with determinism and it should be treated by tense logic. Prior’s early work focused on the problem, and later Prior studied branching-time tense logic which was invented by Kripke. However, Prior’s idea to use three-valued logic for the problem seems to be still alive. In this paper, we consider partial and paraconsistent approaches to the problem of future contingents. These approaches theoretically meet Aristotle’s interpretation of future (...) contingents. (shrink)

The following is a critical and historical account of Aristotelian Essentialism informed by recent work on Aristotle’s modal syllogistic. The semantics of the modal syllogistic are interpreted in a way that is motivated by Aristotle, and also make his validity claims in the Prior Analytics consistent to a higher degree than previously developed interpretative models. In Chapter One, ancient and contemporary objections to the Aristotelian modal syllogistic are discussed. A resolution to apparent inconsistencies in Aristotle’s modal syllogistic is proposed and (...) developed out of recent work by Patterson, Rini, and Malink. In particular, I argue that the semantics of negation is distinct in modal context from those of assertoric negative claims. Given my interpretive model of Aristotle’s semantics, in Chapter Two, I provide proofs for each of the mixed apodictic syllogisms, and propose a method of using Venn Diagrams to visualize the validity claims Aristotle makes in the Prior Analytics. Chapter Three explores how Aristotle’s syllogistic fits within Aristotle’s philosophy of science and demonstration, particularly within the context of the Posterior Analytics. Consideration is given to the Aristotelian understanding of the relationship among necessity, explanation, definition, and essence. Chapter Four applies Aristotelian modal logic in contemporary contexts. I contrast Aristotelian modality and essentialism with contemporary modalism based upon the semantics of possible worlds, e.g. Kripke and Putnam. I also develop an account of how Aristotelian modal logic can ground a sortal dependent theory of identity, as discussed by Wiggins. (shrink)

There are sentences that express the same temporally fully specified proposition at all contexts--call them 'context-insensitive, temporally specific sentences.' Sentence (1) 'Obama was born in 1961' is a case in point: at all contexts, it expresses the proposition ascribing to the year 1961 the property of being a time in which Obama was born. Suppose that someone uttered (1) in a context located on Christmas 2000 in our world. In this context, (1) is a true sentence about the past. Moreover, (...) it seems impossible that (1) will be false in a successive context (one located, say, on Christmas 2020 in our world). More generally, one might be tempted to endorse the following principle: if a context-insensitive, temporally specific sentence is uttered in a context in which it is about the past and takes a certain truth value in this context, it cannot be the case that it takes a different truth value in a successive context located in the same world. In this paper, we present linguistic evidence that shows that this principle fails. On this basis, we draw an apparently crazy conclusion: the past can change. We then explain why this conclusion is not that crazy, after all. (shrink)