The Preface and the General Introduction to the book set the debate within the wider philosophical context and show why the subject of temporal becoming is a perennial concern of science, religion, language, logic, and the philosophy of ...

First published in 1952, professor Strawson's highly influential Introductionto Logical Theoryprovides a detailed examination of the relationship between the behaviour of words in common language and the behaviour of symbols in a logical ...

٣ ك٠ايم . ثم ع . ع ب عرس . ع يلتسين/تيسل كقهن تهنف.تتهك ؟رإئو. ا فىجين، ثهىميينتاتمتهييم ٠يإوثمق يبز. تينة «تم» يينم٠ همت٠كبه،فؤإ .ووهم.كوب. ...

This book was designed primarily as a textbook; though the author hopes that it will prove to be of interests to others beside logic students. Part I of this book covers the fundamentals of the subject the propositional calculus and the theory of quantification. Part II deals with the traditional formal logic and with the developments which have taken that as their starting-point. Part III deals with modal, three-valued, and extensional systems.

"I regard it as a truly seminal work in this field." — Professor William A. Wallace, author of Causality and Scientific Explanation. Non-technical and clearly written, this book focuses on the place of the casual principle in modern science. The author defines the terminology, describes various formulations, examines the two primary critiques of causality, and more.

A scientific community cannot practice its trade without some set of received beliefs. These beliefs form the foundation of the "educational initiation that prepares and licenses the student for professional practice". The nature of the "rigorous and rigid" preparation helps ensure that the received beliefs are firmly fixed in the student's mind. Scientists take great pains to defend the assumption that scientists know what the world is like...To this end, "normal science" will often suppress novelties which undermine its foundations. Research (...) is therefore not about discovering the unknown, but rather "a strenuous and devoted attempt to force nature into the conceptual boxes supplied by professional education". (shrink)

Thomas S. Kuhn's classic book is now available with a new index.

This monograph investigates the temporal interpretation of narrative discourse in two parts. The theme of the first part is narrative progression. It begins with a case study of the adverb ‘now’ and its interaction with the meaning of tense. The case study motivates an ontological distinction between events, states and times and proposes that ‘now’ seeks a prominent state that holds throughout the time described by the tense. Building on prior research, prominence is shown to be influenced by principles of (...) discourse coherence and two coherence principles, NARRATION and RESULT, are given a formally explicit characterization. The key innovation is a new method for testing the definitional adequacy of NARRATION and RESULT, namely by an abductive argument. This contribution opens a new way of thinking about how eventive and stative descriptions contribute to the perceived narrative progression in a discourse. -/- The theme of the second part of the monograph is the semantics and pragmatics of tense. A key innovation is that the present and past tenses are treated as scalar alternatives, a view that is motivated by adopting a particular hypothesis concerning stative predication. The proposed analysis accounts for tense in both matrix clauses and in complements of propositional attitudes, where the notorious double access reading arises. This reading is explored as part of a corpus study that provides a glimpse of how tense semantics interacts with Gricean principles and at-issueness. Several cross-linguistic predictions of the analysis are considered, including their consequences for the Sequence of Tense phenomenon and the Upper Limit Constraint. Finally, a hypothesis is provided about how tense meanings compose with temporal adverbs and verb phrases. Two influential analysis of viewpoint aspect are then compared in light of the hypothesis. (shrink)

But Findlay's remark, like so much that has been written on the subject of time in the present century, was provoked in the first place by McTaggart's ...

Temporal logic is one of the many areas in which a possible world semantics is adopted. Prior's Ockhamist and Peircean semantics for branching-time, though, depart from the genuine Kripke semantics in that they involve a quantification over histories, which is a second-order quantification over sets of possible worlds. In the paper, variants of the original Prior's semantics will be considered and it will be shown that all of them can be viewed as first-order counterparts of the original semantics.

In Ockhamist branching-time logic [Prior 67], formulas are meant to be evaluated on a specified branch, or history, passing through the moment at hand. The linguistic counterpart of the manifoldness of future is a possibility operator which is read as `at some branch, or history (passing through the moment at hand)'. Both the bundled-trees semantics [Burgess 79] and the $\langle moment, history\rangle$ semantics [Thomason 84] for the possibility operator involve a quantification over sets of moments. The Ockhamist frames are (3-modal) (...) Kripke structures in which this second-order quantification is represented by a first-order quantification. The aim of the present paper is to investigate the notions of modal definability, validity, and axiomatizability concerning 3-modal frames which can be viewed as generalizations of Ockhamist frames. (shrink)

The existence of a social world raises both the metaphysical puzzle: how can there be a “reality” of facts and objects that are genuinely created by human intentionality? and the epistemological puzzle: how can such a product of human intentionality include objective facts available for investigation and discovery by the social sciences? I argue that Searle’s story about the creation of social facts in The Construction of Social Reality is too narrow to fully solve either side of the puzzle. By (...) acknowledging different forms of rules for constructing social reality paralleling rules for creating ‘make-believe’ truths, we can build a more comprehensive social ontology and allow for a more appropriate range of discovery for the social sciences. Nonetheless, I argue that despite the parallels between methods for constructing make-believe and social facts, it would be mistaken to treat talk about social reality as involving a mere pretense to refer. (shrink)

According to the moving spotlight theory of time, the property of being present moves from earlier times to later times, like a spotlight shone on spacetime by God. In more detail, the theory has three components. First, it is a version of eternalism: all times, past present and future, exist. (Here I use “exist” in its tenseless sense.) Second, it is a version of the A-theory of time: there are nonrelative facts about which times are past, which time is present, (...) and which times are future. That is, it is not just that the year 1066 is past relative to 2007. The year 1066 is also past full-stop, not relative to any other time. (The A-theory is opposed to the B-theory of time, which says that facts about which times are past are relative to other times.) And third, on this view the passage of time is a real phenomenon. Which moment is present keeps changing. As I will sometimes put it, the NOW moves from the past toward the future.1 And this does not mean that relative to different times, different times are present. Even the B-theory can say that 1999 is present relative to 1999 but is not present relative to 2007. No, according to the moving spotlight theory, the claim that which moment is present keeps changing is supposed to be true, even from a perspective outside time. (shrink)

Precis of my book by this title, for a symposium.

Persistence through time is like extension through space. A road has spatial parts in the subregions of the region of space it occupies; likewise, an object that exists in time has temporal parts in the various subregions of the total region of time it occupies. This view — known variously as four dimensionalism, the doctrine of temporal parts, and the theory that objects “perdure” — is opposed to “three dimensionalism”, the doctrine that things “endure”, or are “wholly present”.1 I will (...) attempt to resolve this dispute in favor of four dimensionalism by means of a novel argument based on considerations of vagueness. But before argument in this area can be productive, I believe we must become much clearer than is customary about exactly what the dispute is, for the usual ways of formulating the dispute are flawed, especially where three dimensionalism is concerned. (shrink)

J. M. E. McTaggart, in a famous argument, denied the reality of time because he thought that passage or temporal becoming was essential for the existence of time and that passage was a self-contradictory concept. This denial of passage has provoked a vast literature, two of the most important contributions being C. D. Broad’s painstaking defence of passage in his Examination of McTaggart’s Philosophy and D. C. Williams’ dazzling condemnation of it “The Myth of Passage.” -/- A careful reading of (...) these apparently opposed essays reveals that there is a common notion of passage that both philosophers endorse, the successive occurrence of sets of simultaneous events (assuming classical or Newtonian spacetime structure as background). This unexpected agreement provides a notion of the passage of time that, I claim, is lean enough to survive the criticisms of passage-deniers yet robust enough to satisfy the requirements of passage-affirmers. I undertake to describe and defend this notion. -/- . (shrink)

The philosophical theory of scientific explanation proposed here involves a radically new treatment of causality that accords with the pervasively statistical character of contemporary science. Wesley C. Salmon describes three fundamental conceptions of scientific explanation--the epistemic, modal, and ontic. He argues that the prevailing view is untenable and that the modal conception is scientifically out-dated. Significantly revising aspects of his earlier work, he defends a causal/mechanical theory that is a version of the ontic conception. Professor Salmon's theory furnishes a robust (...) argument for scientific realism akin to the argument that convinced twentieth-century physical scientists of the existence of atoms and molecules. To do justice to such notions as irreducibly statistical laws and statistical explanation, he offers a novel account of physical randomness. The transition from the "reviewed view" of scientific explanation to the causal/mechanical model requires fundamental rethinking of basic explanatory concepts. (shrink)

In this paper we develop a novel propositional semantics based on the framework of branching time. The basic idea is to replace the moment-history pairs employed as parameters of truth in the standard Ockhamist semantics by pairs consisting of a moment and a consistent, downward closed set of so-called transitions. Whereas histories represent complete possible courses of events, sets of transitions can represent incomplete parts thereof as well. Each transition captures one of the alternative immediate future possibilities open at a (...) branching point. The transition semantics exploits the structural resources a branching time structure has to offer and provides a fine-grained picture of the interrelation of modality and time. In addition to temporal and modal operators, a so-called stability operator becomes interpretable as a universal quantifier over the possible future extensions of a given transition set. The stability operator allows us to specify how and how far time has to unfold for the truth value of a sentence at a moment to become settled and enables a perspicuous treatment of future contingents. We show that the semantics developed along those lines generalizes and extends extant approaches: both Peirceanism and Ockhamism can be viewed as limiting cases of the transition approach that build on restricted resources only, and on both accounts, stability collapses into truth. (shrink)

Prior showed that one could be relieved that the exams were over and not that they finished before a certain date or before a certain entity. One might think that these differences in relief are responsive to differences in the world so that there is more to the exams being over than them finishing before a certain date or entity: there is a metaphysical tense. However, some have argued that these issues do not have any implications for the metaphysics of (...) time because they can be explained with an evolutionary account: emotions can have a causal influence on events that come after them but not on events that come before them and so it evolutionarily advantageous that emotions that concern events after them feel and evaluate differently to those that concern events before them. Here I will argue that to date these evolutionary accounts remain insufficient and emotions continue to put pressure on those who deny there is a metaphysical tense. Prior’s case shows that tensed and tenseless emotions differ in appropriateness. This asymmetry of value is not explained by the evolutionary account because whether or not an emotion is tensed is quite independent of whether it comes before or after something. (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)

In his review of The Ontology of Time, Thomas Crisp (Notre Dame Philosophical Reviews, 2005a ) argues that Oaklander's version of McTaggart's paradox does not make any trouble for his version of presentism. The aim of this paper is to refute that claim by demonstrating that Crisp's version of presentism does indeed succumb to a version of McTaggart's argument. I shall proceed as follows. In Part I I shall explain Crisp's view and then argue in Part II that his analysis (...) of temporal becoming, temporal properties and temporal relations is inadequate. Finally, in Part III, I shall demonstrate that his presentist ontology of time is susceptible to the paradox he so assiduously sought to avoid. (shrink)

The thin red line ( TRL ) is a theory about the semantics of future-contingents. The central idea is that there is such a thing as the ‘actual future’, even in the presence of indeterminism. It is inspired by a famous solution to the problem of divine foreknowledge associated with William of Ockham, in which the freedom of agents is argued to be compatible with God’s omniscience. In the modern branching time setting, the theory of the TRL is widely regarded (...) to suffer from several fundamental problems. In this paper we propose several new TRL semantics, each with differing degrees of success. This leads up to our final semantics, which is a cross between the TRL and supervaluationism. We discuss the notions of truth, validity and semantic consequence which result from our final semantics, and demonstrate some of its pleasing results. This account, we believe, answers the main objection in the literature, and thus places the TRL on the same level as any other competing semantics for future contingents. (shrink)

If it is not now determined whether there will be a sea battle tomorrow, can an assertion that there will be one be true? The problem has persisted because there are compelling arguments on both sides. If there are objectively possible futures which would make the prediction true and others which would make it false, symmetry considerations seem to forbid counting it either true or false. Yet if we think about how we would assess the prediction tomorrow, when a sea (...) battle is raging (or not), it seems we must assign the utterance a definite truth-value. I argue that both arguments must be given their due, and that this requires relativizing utterance-truth to a context of assessment. I show how this relativization can be handled in a rigorous formal semantics, and I argue that we can make coherent sense of assertion without assuming that utterances have their truth-values absolutely. (shrink)

Could some social kinds be natural kinds? In this paper, I argue that there are three kinds of social kinds: 1) social kinds whose existence does not depend on human beings having any beliefs or other propositional attitudes towards them ; 2) social kinds whose existence depends in part on specific attitudes that human beings have towards them, though attitudes need not be manifested towards their particular instances ; 3) social kinds whose existence and that of their instances depend in (...) part on specific attitudes that human beings have towards them . Although all three kinds of social kinds are mind-dependent, this does not make them ontologically subjective or preclude them from being natural kinds. Rather, what prevents the third kind of social kinds from being natural kinds is that their properties are conventionally rather than causally linked. (shrink)

In the article "Podstawy analizy metodologicznej kanonów Milla" [2] Jerzy Łoś proposed an operator that refered sentences to temporal moments. Let us look, for example, at a sentence ‘It is raining in Toruń’. From a logical point of view it is a propositional function, which does not have any logical value, unless we point at a temporal context from a fixed set of such contexts. If the sentence was considered today as a description of a state of affairs, it could (...) be true. If it was considered yesterday, it could be false. 1 The operator enables us to connect any sentence p with any temporal context t. Such a complex sentence we read as: a sentence p is realized at a temporal context t (a point of time, an interval of some kind, etc). (shrink)

I challenge the assumption that the pragmatist-, coherence-, identity- and deflationary theories of truth are essentially incompatible and rival views to the correspondence theory, without endorsing pluralism. With the exception of some versions of the identity theory, the alternative theories only appear to genuinely contradict the correspondence theory, either when they are wedded to a rejection of an objective reality, or when it is assumed that a ‘theory of truth’ is a theory of the function of the truth-predicate. I argue (...) that the correspondence theory should not be understood as a theory about the function of the truth-predicate, and that the core ideas of the alternative views, once separated from any anti-realist convictions, are best understood as complementary views about different aspects of a fairly complex phenomenon, notably of how our beliefs relate to their subject matter and how we reason and talk about that relation. (shrink)

I discuss the general form of arguments that profess to prove that the view that things endure in tensed time through causally produced change (the dynamic view) must be false because it involves contradictions. I argue that these arguments implicitly presuppose what has been called the temporal parity thesis, i.e. that all moments of time are equally existent and real, and that this thesis must be understood as the denial of the dynamic view. When this implicit premise is made explicit, (...) the arguments turn out to be either circular, they presuppose what they profess to prove, or mere demonstrations of the fact that the dynamic view is incompatible with its own negation. Furthermore, I discuss the metaphysical consequences of accepting the temporal parity thesis, arguing that it deprives us of the means to provide natural explanations to empirical phenomena. (shrink)