Peter Simons

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 Routledge Companion to Metaphysics is an outstanding, comprehensive and accessible guide to the major themes, thinkers, and issues in metaphysics. The Companion features over fifty specially commissioned chapters from international scholars which are organized into three clear parts: History of Metaphysics Ontology Metaphysics and Science. Each section features an introduction which places the range of essays in context, while an extensive glossary allows easy reference to key terms and definitions. The Routledge Companion to Metaphysics is essential reading for students of philosophy and anyone interested in surveying the central topics and problems in metaphysics from causation to vagueness and from Plato and Aristotle to the present-day

Where there is mind there is representational opacity, and vice versa. Opacity arises because where there is representation there may be misrepresentation, and the status of the misrepresenting sign or state of the misrepresenting sign‐user can only be characterized via the terms used for a correctly represented object. Opacity is not a blight for naturalism, but must be recognized and exploited if naturalism is to adequately embrace the mental. Opacity is illustrated for language, for the mental itself, for depiction and other non‐linguistic representation. Alethic modality, a candidate counterexample to the thesis (opacity without mind is defused consequences for our conception of non‐human intelligence are outlined

Frege's obscure key concept of the unsaturatedness of functions is clarified with the help of the concepts of dependent and independent parts and foundation relations used by Husserl in describing the ontology of complex wholes. Sentential unity in Frege, Husserl and Wittgenstein: all have a similar explanation. As applied to linguistic expressions, the terms 'unsaturated' and 'incomplete' are ambiguous: they may mean the ontological property of Unselbständigkeit, inability to exist alone, or the property of being what categorial grammar calls a functor. Separation of these two senses resolves a dispute between Dummett and Geach on the nature of predicates.

In a recent article, Herbert Hochberg portrays my ontological position, that of a trope nominalist who is sceptical about relational tropes, as deviating into idealism. Since there are few philosophical views I find more repugnant than idealism, I must either resist the accusation or recant. I choose to resist, by showing how relational tropes are not needed as truth-makers for a wide range of truths, and raising the real possibility that they may not be needed at all, without lapsing into either monism or idealism

λ-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.

LeSniewski?s systems of Ontology and Mereology, considered from a purely formal point of view, possessstriking algebraic parallels, ascan be seen in their respective relations to Boolean algebra. But there are alsoimportant divergences, above all that general Mereology is silent, where Ontology is not, on the existenceof ?atoms? (individuals). By employing plural terms, LeSniewski sought to accommodate talk of (distributive)classes, without according these an autonomous ontological status. His logic also ? like predicate logic? has no place for mass predication in its raw state. It is argued that reference both to pluralities and tomasses is ineliminable, and that one must therefore separate the grammatical distinction singular/pluralfrom the ontological distinction individual/class/mass. A kind of language, modelled on kiniewski?s, issuggested which enables these distinctions to be held apart and at the same time, building on the work ofRichard Sharvy, allows us to express the most important relationships between individuals, classes andmasses

The philosophies of late Brentano and early Wittgenstein can be brought closer in two ways. One way discovers a surprising amount of part-whole theory in the Tractatus if we see states of affairs (not wholly wilfully) as thinglike rather than factlike. This throws up a modal analogue to Chisholm's entia successiva in the form of situations. The other way sees all propositions as truth-functions of existential propositions, supporting Brentano's view that existentials are primary, and incidentally yielding a reistic semantics for the Tractatus. I draw a quick moral, that we should beware of excessive simplicity in metaphysics, and apply it to Chisholm's views on part and whole.

Commonsense ontology contains both continuants and occurrents, but are continuants necessary? I argue that they are neither occurrents nor easily replaceable by them. The worst problem for continuants is the question in virtue of what a given continuant exists at a given time. For such truthmakers we must have recourse to occurrents, those vital to the continuant at that time. Continuants are, like abstract objects, invariants under equivalences over occurrents. But they are not abstract, and their being invariants enables us to infer both their lack of temporal parts and that non-invariant predications about them must be relativized to times. \\\ [Joseph Melia] In this paper I try to eliminate occurrents from our ontology. I argue against Simons' position that occurrents are needed to supply truthmakers for existential claims about continuants. Nevertheless, those who would eliminate occurrents still need some account of our willingness to assert sentences that logically entail their existence. Though it turns out to be impossible to paraphrase away our reference to occurrents, I show that the truthmakers for such sentences are facts that involve only continuants. This is enough to allow us to regard our ordinary talk about occurrents as fictional. Finally, I argue that a proper conception of the underlying temporal facts about continuants can both avoid the problematic tensed theory of time and the problem of temporary intrinsics.

This paper presents a tree method for testing the validity of inferences, including syllogisms, in a simple term logic. The method is given in the form of an algorithm and is shown to be sound and complete with respect to the obvious denotational semantics. The primitive logical constants of the system, which is indebted to the logical works of Jevons, Brentano and Lewis Carroll, are term negation, polyadic term conjunction, and functors affirming and denying existence, and use is also made of a metalinguistic concept of formal synonymy. It is indicated briefly how the method may be extended to other systems.

What primitive concepts does formal ontology require? Forsaking as too indirect the linguistic way of discerning the categories of being, this paper considers what primitives might be required for representing things in themselves (noumena) and representations of them in a thoroughly crafted large autonomous multi-purpose database. Leaving logical concepts and material ontology aside, the resulting 32 categories in 13 families range from the obvious (identity/difference, existence/non-existence) through the fairly obvious (part/whole, one/many, sequential order) and the surprisingly familiar (illocutionary modes, mass/count, indexical/descriptive) to the controversial (moment/fundament, transparent/opaque) and the arcane (modes of class delimitation, taxonomic rank, aspects of designators). Any such list is speculative and tentative, but the test of this one will be in its implementation, a new departure for philosophical category theories.

_ Source: _Volume 94, Issue 3, pp 381 - 390 Reference can fail in a way that intentionality cannot. Though the stream of phenomenal experience typically does not fail to target objects outside, it may do. How does the mind go about targeting objects beyond itself? The speculative conjecture of this paper is that it does so by a type of process which can be called _pointing_, and that the acts or act-aspects of pointing can be called _pointers_. The notion of a pointer has several suggestive roots. One is the familiar physical gesture of pointing. Another is the existence of directional signs such as on roads. The third is the software data types making direct reference to memory locations in computers, also called ‘pointers’. A final source is demonstrative pronouns and other deictic expressions in language, of which Peter Geach wrote, “a demonstrative pronoun … works like a pointer, not like a label”. I suggest that there is in the mental cognitive repertoire a structurally and semantically analogous type of act which pierces the passivity of perception, directs us outside the machine, and prepares the way for drawing others’ minds to the same thing.

Many mereological propositions are true contingently, so we are entitled to ask why they are true. One frequently given type of answer to such questions evokes truth-makers, that is, entities in virtue of whose existence the propositions in question are true. However, even without endorsing the extreme view that all contingent propositions have truth-makers, it turns out to be puzzlingly hard to provide intuitively convincing candidate truth-makers for even a core class of basic mereological propositions. Part of the problem is that the relation of part to whole is ontologically intimate in a way reminiscent of identity. Such intimacy bespeaks a formal or internal relation, which typically requires no truth-makers beyond its terms. But truth-makers are held to necessitate their truths, so whence the contingency when A is part of B but need not be, or B need not have A as part? This paper addresses and attempts to disentangle the conundrum.

I argue that the assumptions that physically basic things are either mereologically atomic, or that they are continuous and there are no atoms, both face difficult conceptual problems. Both views tend to presuppose a largely unquestioned assumption, that things have parts corresponding to the geometric parts of the regions they occupy. To avoid these problems I propose a third view, that physically simple things occupy a finite volume without themselves having parts. This view is examined enough to tease out some of its consequences and show that it withstands the obvious questions it faces. I conclude by mentioning some precedents for this view in Democritus, Kant, and Whitehead, with close variants in Boscovich, Harré, and Markosian.

The relationship of part to whole is one of the most fundamental there is; this is the first and only 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. 'Parts could easily be the standard book on mereology for the next twenty or thirty years.' Timothy Williamson, Grazer Philosophische Studien.