Some may be of the opinion that one event can begin before another only by virtue of the existence of some event (a “witness”) which wholly precedes the other and does not wholly precede the one (and similarly for “ends before” and “does not abut”). Those would prefer $\mathbb{F}$ 0 to $\mathbb{F}$ as a model for observers' apprehensions of events. Since G is a functor from $\mathbb{M}$ to $\mathbb{F}$ 0, the current construction (restricted to $\mathbb{F}$ 0) remains applicable.This work (...) supports a claim that the psychologically fundamental temporal relationships are “wholly precedes”, “begins before”, “ends before” and “abuts”. But only in a very weak sense. Any other set of relationships which is interdefinable with this one, using only quantifier-free formulas in the definitions, could be used to define a category $\mathbb{F}$ ′ which is indistinguishable from $\mathbb{F}$ (because the same functions preserve and reflect the new relationships). This work equally supports the claim that those relationships are the psychologically fundamental ones, or the claim that it is just “wholly precedes” which is fundamental, and that we perceive “begins before” just by virtue of witnesses. But it refutes the claim that only “wholly precedes” is fundamental, and that we understand “begins before” only because we understand time as a linear ordering. (shrink)

We classify two of Bertrand Russell's theories of events within the point-free ontology. The first of such approaches was presented informally by Russell in ‘The World of Physics and the World of Sense’ (Lecture IV in Our Knowledge of the External World of 1914). Based on this theory, Russell sketched ways to construct instants as collections of events. This paper formalizes Russell's approach from 1914. We will also show that in such a reconstructed theory, we obtain (...) all axioms of Russell's second theory from 1936 and all axioms of Thomason's theory of events from 1989. Russell's work certainly influenced the works of Stanisław Leśniewski, his student Alfred Tarski, and Czesław Lejewski – prominent members of the Lvov-Warsaw School (LWS). We see our work in the tradition of the research of Leśniewski and Tarski. Building on the technical tools developed in this environment and in the spirit of the traditional research of the LWS, we engage here, in particular, with two classic works by Russell on fundamental ontology. (shrink)

inheritance reasoning in semantic networks allowing for multiple inheritance with exceptions. The approach leads to a definition of iaheritance that is..

Kant’s non-voluntarist conception of political obligation has led some philosophers to argue that he would reject self-government rights for indigenous peoples. Some recent scholarship suggests, however, that Kant’s critique of colonialism provides an argument in favor of granting self-government rights. Here I argue for a stronger conclusion: Kantian political theory not only can but must include sovereignty for indigenous peoples. Normally these rights are considered redress for historic injustice. On a Kantian view, however, I argue that they are not (...) remedial. Sovereignty rights are a necessary part of establishing perpetual peace. By failing to acknowledge the sovereignty of native groups, states once guilty of imperialism leave open the in principle possibility for future violence, even though no current conflict exists. Only in recognizing self-government rights can states truly commit to the cosmopolitan ideal. (shrink)

Attitudes like shame and contempt seem to be at odds with basic tenets of Kantian moral theory. I argue on the contrary that both attitudes play a central role in Kantian morality. Shame and contempt are attitudes that protect our love of honour, or the esteem we have for ourselves as moral persons. The question arises: how are these attitudes compatible with Kant's claim that all persons deserve respect? I argue that the proper object of shame and contempt is (...) not the humanity within a person, but rather her self-conceit, or the false esteem that competes with love of honour. (shrink)

One way of understanding Kant’s views about moral emotions is the cultivation view. On this view, emotions play a role in Kantian morality provided they are properly cultivated. I evince a sceptical position about the cultivation view. First, I show that the textual evidence in support of cultivation is ambiguous. I then provide an account of emotions in Kant’s theory that explains both his positive and negative views about them. Emotions capture our attention such that they both disrupt the (...) mind’s composure and serve as a surrogate for reason. As such, Kant cannot recommend that we cultivate our emotions. (shrink)

Kant’s commitment to universalism has been called into question since increasing attention has been paid to his work on race in the last 20 years. This worry can easily be applied to Kant’s work on education: when Kant describes education as allowing humanity to fulfill its Bestimmung (vocation), scholars might reasonably conclude that such a claim only applies certain racial groups. Yet Salomo Friedlaender claims that if Kant’s moral theory is taught to children, “Every person is valued according to (...) her morality and no longer, as in our crude days, according to ‘race’ or national and religious affiliation.” This interpretation of Kant might strike some contemporary Kant scholars as naïvely optimistic, but neo-Kantians were well aware of Kant’s racial claims. By examining how neo-Kantians read Kant’s work on race, I argue that Friedlaender’s interpretation provides a way of reading an unracialized Bestimmung in the pedagogy. (shrink)

In applying Bayes’s theorem to the history of science, Bayesians sometimes assume – often without argument – that they can safely ignore very implausible theories. This assumption is false, both in that it can seriously distort the history of science as well as the mathematics and the applicability of Bayes’s theorem. There are intuitively very plausible counter-examples. In fact, one can ignore very implausible or unknown theories only if at least one of two conditions is satisfied: (i) one is certain (...) that there are no unknown theories which explain the phenomenon in question, or (ii) the likelihood of at least one of the known theories used in the calculation of the posterior is reasonably large. Often in the history of science, a very surprising phenomenon is observed, and neither of these criteria is satisfied. (shrink)

The psychological orientation treats semantics as a matter of idealized computation over symbolic structures, and semantic relations like denotation as relations between linguistic expressions and these structures. I argue that results similar to Gödel's incompleteness theorems and Tarski's theorem on truth create foundational difficulties for this view of semantics.

This remarkable collection of period photographs details day-to-day life and changing times in the Deep South. Draffus Lamar Hightower, 1899-1993, spent most of his life in Barbour County, Alabama. For many years he was the owner of a Chevrolet dealership, but he had another occupation as well. From his youth, he was fascinated with photography, and for fifty years he experimented with the craft both technically and artistically. Hightower, while participating fully in the 20th century, was also acutely aware of (...) the passing of the heritage of the last one. From the early 1920s to the late 1960s, he made thousands of negatives of people, events, landscapes, objects, and buildings in Barbour County. His photographs are reminiscent of the documentary work of Walker Evans, Berenice Abbott, and other great 20th-century American photographers. Hightower created an incredibly complete and vivid record of the life of a rural Alabama county during a period of profound change-documenting everything from birthday parties and political rallies to farm scenes and the demolition of historic buildings so that future generations would not forget the world of their forebears. In 1990, Michael Thomason, historian and photographic archivist, began the long process of reviewing Hightower's collection of photographs, interviewing family and friends, and salvaging and printing the negatives, which by that time had begun to deteriorate. Thomason restored and printed 195 photographs and prepared accompanying essays that not only reveal the technical details of Hightower's labor of love but also tell the story of the human and economic changes in Barbour County during this period. (shrink)

Following the pioneer work of Bruno De Finetti [12], conditional probability spaces (allowing for conditioning with events of measure zero) have been studied since (at least) the 1950's. Perhaps the most salient axiomatizations are Karl Popper's in [31], and Alfred Renyi's in [33]. Nonstandard probability spaces [34] are a well know alternative to this approach. Vann McGee proposed in [30] a result relating both approaches by showing that the standard values of infinitesimal probability functions are representable as Popper functions, (...) and that every Popper function is representable in terms of the standard real values of some infinitesimal measure. Our main goal in this article is to study the constraints on (qualitative and probabilistic) change imposed by an extended version of McGee's result. We focus on an extension capable of allowing for iterated changes of view. Such extension, we argue, seems to be needed in almost all considered applications. Since most of the available axiomatizations stipulate (definitionally) important constraints on iterated change, we propose a non-questionbegging framework, Iterative Probability Systems (IPS) and we show that every Popper function can be regarded as a Bayesian IPS. A generalized version of McGee's result is then proved and several of its consequences considered. In particular we note that our proof requires the imposition of Cumulativity, i.e. the principle that a proposition that is accepted at any stage of an iterative process of acceptance will continue to be accepted at any later stage. The plausibility and range of applicability of Cumulativity is then studied. In particular we appeal to a method for defining belief from conditional probability (first proposed in [42] and then slightly modified in [6] and [3]) in order to characterize the notion of qualitative change induced by Cumulative models of probability kinematics. The resulting cumulative notion is then compared with existing axiomatizations of belief change and probabilistic supposition. We also consider applications in the probabilistic accounts of conditionals [1] and [30]. (shrink)

Although we believe the results reported below to have direct philosophical import, we shall for the most part confine our remarks to the realm of mathematics. The reader is referred to [4] for a philosophically oriented discussion, comprehensible to mathematicians, of tense logic.The “minimal” tense logicT0is the system having connectives ∼, →,F(“at some future time”), andP(“at some past time”); the following axioms:(whereGandHabbreviate ∼F∼ and ∼P∼ respectively); and the following rules:(8) fromαandα → β, inferβ,(9) fromα, infer any substitution instance ofα,(10) fromα, (...) inferGα,(11) fromα, inferHα.A tense logic is a systemTwhose language is that ofT0and whose axioms and rules include (1)–(11). The axioms and rules ofTother than (1)–(11) are calledproperaxioms and rules.We shall investigate three systems of semantics for tense logics, i.e. three notions ofstructureand three relations ⊧ which stand between structures and formulas. One reads⊧αas “αis valid in.” A structureis amodelof a tense logicTif every formula provable inTis valid in. A semantics isadequateforTif the set of models ofTin the semantics is characteristic forT, i.e. if wheneverT ∀ αthen there is a modelofTin the semantics such that∀ α. Two structuresand, possibly from different semantics, are calledequivalent(∼) if exactly the same formulas are valid inas in. (shrink)

Why did Copernicus's research programme supersede Ptolemy's?’, Lakatos and Zahar argued that, on Zahar's criterion for ‘novel fact’, Copernican theory was objectively scientifically superior to Ptolemaic theory. They are mistaken, Lakatos and Zahar applied Zahar's criterion to ‘a historical thought-experiment’—fictional rather than real history. Further, in their fictional history, they compared Copernicus to Eudoxus rather than Ptolemy, ignored Tycho Brahe, and did not consider facts that would be novel for geostatic theories. When Zahar's criterion is applied to real (...) history, the results are distinctly different. Finally, most of the historical and conceptual problems in applying Zahar's criterion to the Copernican Revolution primarily arise from a deep difficulty in Lakatos's programme: the necessity of individuating research programmes and identifying their originators. 1 Working closely with David Dahl was crucial in developing this paper. Robert Westman's valiant effort to keep me on the historical straight and narrow drastically limited my tendency to a priori historical pronouncements. The Vassar Philosophy Department, John Tompsich, and Jean Sterling were also helpful. (shrink)

An interpretation of Aristotle's modal syllogistic is proposed which is intuitively graspable, if only formally correst. The individuals to which a term applies, and possibly-applies, are supposed to be determined in a uniform way by the set of individuals to which the term necessarily-applies.

We show that the join of two classical [respectively, regular, normal] modal logics employing distinct modal operators is a conservative extension of each of them.

cians concerned with using logical tools in philosophy have been keenly aware of the limitations that arise from the original con centration of symbolic logic on the idiom of mathematics, and many of them have worked to create extensions of the received logical theories that would make them more generally applicable in philosophy. Carnap's Testability and Meaning, published in 1936 and 1937, was a good early example of this sort of research, motivated by the inadequacy of first-order formalizations of dis (...) 'This sugar cube is soluble in water'. positional sentences like And in fact there is a continuous history of work on this topic, extending from Carnap's paper to Shoham's contribution to the present volume.. Much of the work in philosophical logic, and much of what has appeared in The Journal of Philosophical Logic, was mo tivated by similar considerations: work in modal logic, intensional logics, non declaratives, presuppositions, and many other topics. In this sort of research, sin.ce the main point is to devise new formalisms, the technical development tends to be rather shallow in comparison with mathematical logic, though it is sel dom absent: theorems need to be proved in order to justify the formalisms, and sometimes these are nontrivial. On the other hand, much effort has to go into motivating a logical innovation. (shrink)

A set S of degrees is said to be an initial segment if c ≤ d ∈ S→-c∈S. Shoenfield has shown that if P is the lattice of all subsets of a finite set then there is an initial segment of degrees isomorphic to P. Rosenstein [2] (independently) proved the same to hold of the lattice of all finite subsets of a countable set. We shall show that “countable set” may be replaced by “set of cardinality at most that of (...) the continuum.” This result is also an extension of [3, Corollary 2 to Theorem 15], which states that there is a sublattice of degrees isomorphic to the lattice of all finite subsets of 2N. (A sublattice of degrees is a subset closed under ∪ and ∩; an initial segment closed under ∪ is necessarily a sublattice, but not conversely.)It seems worth noting that the proof of the present result was preceded in time by our proof [4] of the analogous theorem for hyperdegrees, and is in fact an adaptation of that proof. Thus the present work has been influenced much more directly by the Gandy-Sacks forcing construction of a minimal hyperdegree [1] than by previous work on initial segments of degrees. (shrink)

Just as some types of philosophical analysis are more useful than others to historians or political scientists, so, I find, are some sorts of historical research more useful to philosophers than are other sorts. Sommerville makes history useful to non-historians by clarifying the large-scale historical background against which his investigative questions are posed, and then separating out crucial figures, ideas, and events from arcana of interest primarily to specialist historians. His interpretations are relatively neutral, striking a welcome balance between (...) mere reporting of events or textual ideas on the one hand, and on the other, accounts so theoretically laden that they prejudge or foreclose promising interpretive possibilities. (shrink)

In recent years Jaegwon Kim has propounded and elaborated an influential theory of events. He takes an event to be the exemplification of an empirical property by a concrete object at a time. He also has proposed and endorsed a version of the “Humean” tradition concerning causation: the view that causal relations between concrete events depend upon general "covering laws." But although his explication of the covering-law conception of causation seems quite natural within the framework of his (...) theory, it gives rise to a serious problem: in numerous garden-variety instances of causation, the Humean conditions are not satisfied. In this paper I shall suggest a way to modify Kim's theory of events in order to reconcile it with his treatment of causality. (shrink)

This examination of C. I. Lewis’s theory of meaning and theory of value argues that while Lewis’s own statement of the connection between them is inadequate, a way can be shown which allows for a connection between the two. The amount of space devoted to this endeavor is even briefer than the length of the book indicates, for the last nineteen pages consist of an appendix on Quine’s theory of meaning, and there are numbered but blank pages (...) between chapters. The remaining pages are devoted to lengthy expositions of Lewis’s key concepts, interspersed with discussions of the issues and problems involved. Washington neither shows that Lewis’s connection between meaning and value is inadequate nor establishes an adequate connection of his own. This shortcoming, however, is secondary to a much more fundamental problem with the book: his understanding of Lewis’s key concepts. For example, Washington holds that terminating judgments are those made in ordinary discourse in which knowledge is partial because always contingent upon further corroboration. That this is not a philosophical slip of the tongue is evinced in his numerous examples, all expressed in the objective language of nonterminating judgments, such as the following: "If I send Sue a bouquet of roses she will marry me." When he examines nonterminating judgments, he contrasts them with empirical propositions and describes them as tantamount to the type of assertions made by scientists and historians—claims about events not directly associated with one’s immediate experience or one’s way of acting, morally or otherwise. (shrink)

In this short, dense essay, Jean Cavaillès evaluates philosophical efforts to determine the origin - logical or ontological - of scientific thought, arguing that, rather than seeking to found science in original intentional acts, a priori meanings, or foundational logical relations, any adequate theory must involve a history of the concept. Cavaillès insists on a historical epistemology that is conceptual rather than phenomenological, and a logic that is dialectical rather than transcendental. His famous call (cited by Foucault) to abandon (...) "a philosophy of consciousness" for "a philosophy of the concept" was crucial in displacing the focus of philosophical enquiry from aprioristic foundations toward structural historical shifts in the conceptual fabric. This new translation of Cavaillès's final work, written in 1942 during his imprisonment for Resistance activities, presents an opportunity to reencounter an original and lucid thinker. Cavaillès's subtle adjudication between positivistic claims that science has no need of philosophy, and philosophers' obstinate disregard for actual scientific events, speaks to a dilemma that remains pertinent for us today. His affirmation of the authority of scientific thinking combined with his commitment to conceptual creation yields a radical defense of the freedom of thought and the possibility of the new. (shrink)