Peter Simons

The relationship of part to whole is one of the most fundamental there is, yet until now there has been no full-length study of this concept. This book shows that mereology, the formal theory of part and whole, is essential to ontology. Peter Simons surveys and criticizes previous theories, especially the standard extensional view, and proposes a more adequate account which encompasses both temporal and modal considerations in detail. This has far-reaching consequences for our understanding of such classical philosophical concepts as identity, individual, class, substance and accident, matter, form, essence, dependence, and integral whole. It also enables the author to offer new solutions to long-standing problems surrounding these concepts, such as the Ship of Theseus Problem and the issue of mereological essentialism. The author shows by his use of formal techniques that classical philosophical problems are amenable to rigorous treatment, and the book represents a synthesis of issues and methods from the analytical tradition and from the older continental realist tradition of Brentano and the early Husserl.

Bolzano's theory of collections (Inbegriffe) has usually been taken as a rudimentary set theory. More recently, Frank Krickel has claimed it is a mereology. I find both interpretations wanting. Bolzano's theory is, as I show, extremely broad in scope; it is in fact a general theory of collective entities, including the concrete wholes of mereology, classes-as-many, and many empirical collections. By extending Bolzano's ideas to embrace the three factors of kind, components and mode of combination, one may develop a coherent general account of collections. But it is most difficult to take Bolzano's view to fit modern set theory. So while Krickel's positive thesis is rejected, his negative thesis is confirmed.

This is a broad survey of the chronology of the rift between continental and analytic philosophy, starting in 1899. Whereas at that time there was no discernible divide, as the twentieth century progresses we can see a gradual parting of the ways in which philosophy was done, culminating in a period of maximum separation in 1945-68, followed by some convergence. There is one substantial historical thesis proposed, and facts are adduced from the chronology to back it up: that the divide was never absolute, never purely geographical, and above all that it was not inevitable, but was largely the product of accidental historical circumstances, of which the most crucial was the flourishing of totalitarianism in Europe and the disruption caused by two world wars.

λ-calculi are of interest to logicians and computer scientists but have largely escaped philosophical commentary, perhaps because they appear narrowly technical or uncontroversial or both. I argue that even within logic λ-expressions need to be understood correctly, as functors signifying functions in intension within a categorical or typed language. λ-expressions are not names but pure viable binders generating functors, and as such they are of use in giving explicit definitions. But λ is applicable outside logic and computer science, anywhere where the notions of complex whole, substitution, abstraction and structure make sense. To illustrate this, two domains are considered. One is somewhat frivolous: the study of flags; the other is very serious: manufacturing engineering. In each case we can employ λ-abstraction to describe substitutions within a structure, and in the latter case there is even a practical need for such a notation.

Gilbert Ryle wrote that "Meaning-theory expanded just when and just in so far as it was released from that 'Fido'-Fido box, the lid of which was never even lifted by Meinong". This paper sets out to relieve Ryle's oversimplification about Meinong and the role of meaning theory in his thought. One step away from canine simplicity about meaning is the recognition of a distinction between sense and reference, such as we find in Frege, Husserl, and the early Russell. In Über Möglichkeit und Wahrscheinlichkeit (1915) Meinong seems to corroborate Ryle when he writes, "Word-meanings are objects", but immediately after this, he qualifies it: "Word-meanings are very often auxiliary objects". The distinction between auxiliary and target objects in Meinong's later work allows us to attribute to him a theory of sense and reference which shows him to have indeed lifted the box-lid.

The University of Warsaw has a splendid modern library with 60,000 m 2 of floor space. It resembles a shopping centre. The long and elegant modern building on ulica Dobra, on the low ground between the old University and the Vistula, was opened in 1998 replacing the previous hopelessly inadequate facilities. It has an imposing sequence of copper-green “great texts” on its front side in Greek, Arabic, Sanskrit, Hebrew, Latin, Polish, music, and mathematics. These are international symbols, posting Warsaw’s claim to international status. But inside, once one has passed the mall -like coffee-shop

I consider the idea of a propositional logic of location based on the following semantic framework, derived from ideas of Prior. We have a collection L of locations and a collection S of statements such that a statement may be evaluated for truth at each location. Typically one and the same statement may be true at one location and false at another. Given this semantic framework we may proceed in two ways: introducing names for locations, predicates for the relations among them and an “at” preposition to express the value of statements at locations; or introduce statement operators which do not name locations but whose truth-conditional effect depends on the truth or falsity of embedded statements at various locations. The latter is akin to Prior’s approach to tense logic. In any logic of location there will be some basic operators which we can define. By ringing the changes on the topology of locations, different logical systems may be generated, and the challenge for the logician is then in each case to find operators, axioms and rules yielding a proof theory adequate to the semantics. The generality of the approach is illustrated with familiar and not so familiar examples from modal, tense and place logic, mathematics, and even the logic of games. To the memory of Ted Dawson, who introduced me to philosophy and the writings of Arthur Prior.

Dans cet article, l’auteur présente la théorie bolzanienne du nombre. Il établit, sur la base d’une comparaison avec Frege, que la conception bolzanienne rencontre toutes les exigences d’une telle théorie tout en présentant plusieurs traits originaux, comme par exemple le fait qu’elle s’articule sur la base d’une théorie des « collections » , qui lui confèrent un intérêt philosophique certain. Tout en indiquant au passage un problème inhérent à la notion bolzanienne de Reihe, l’auteur présente la conception bolzanienne des nombres naturels, reconstruit sa théorie des nombres abstraits et montre comment Bolzano est en mesure d’établir le lien entre ces derniers et leur application aux ensembles concrets d’objets.In this article, the author exposes Bolzano’s theory of numbers. He shows, on the basis of a comparison with Frege, that Bolzano’s conception not only meets all the requisites of such a theory but also exhibits original features, such as for instance the fact that it is grounded in a theory of “collections” , which impart it with undeniable philosophical interest. After indicating one problem relating to the Bolzanian notion of a Reihe, the author presents Bolzano’s conception of natural numbers, reconstructs his theory of abstract numbers and expounds the connection between the latter and their application to concrete sets of things

Occurrents are entities that exist in time and, with few or no exceptions, extend over time as well, that is, they have parts corresponding to the different times at which they exist. This makes it very easy to say what makes it true that they exist at the times at which they do. Singular existential propositions, being contingent, positive and arguably atomic, stand in need of truth-makers, entities in virtue of whose existence they are true. The obvious candidate for what makes it true that Tony Blair exists is the Right Honourable Member for Sedgefield himself: by virtue of his existing, it is true that he exists. Nothing could be more straightforward. However, things that exist in time, with few exceptions, exist at some times and not at others. So a proposition to the effect that a certain object exists at a certain time likewise stands in need of a truth-maker, one matching the requirements of the existential proposition in question in its temporal specificity. Take an occurrent such as a boxing match and suppose it is going on twenty minutes after starting: by virtue of what is this true? The obvious answer here is that it is by virtue of the existence of that temporal part or phase which extends just over the time in question. Other temporal parts of the same occurrent which do not extend over this time do not act as truth-maker for the temporally specific existential proposition, this one does. There is no problem because occurrents do have temporal parts which can do this job.

Suppose you hold the following opinions in the philosophy of logic. First-order predicate logic is expressively inadequate to regiment concepts of mathematic and natural language; logicism is plausible and attractive; set theory as an adjunct to logic is unnatural and ontologically extravagant; humanly usable languages are finite in lexicon and syntax; it is worth striving for a Tarskian semantics for mathematics; there are no Platonic abstract objects. Then you are probably already in cognitive distress. One way to decease your unhappiness, short for embracing Platonism, is to accept higher-order logic and look, as did Arthur Prior, for a plausible way to neutralize the ontological commitment to abstract entities that this acceptance appears to entail.

The debate between 3- and 4-dimensionalists is one of the most lively and pervasive in current metaphysics. At stake is a glittering prize: the correct metaphysical analysis of material things and other objects commonly thought to persist in time by enduring. Since we count ourselves among such objects the outcome of the debate is of more than merely academic interest to us. Obviously the ramifications of the debate, even of the points raised by Kit Fine, go far beyond what I can discuss here, so I shall simply select some salient issues and comment on them from my own somewhat heterodox point of view.