Peter Simons

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.

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

During the realist revival in the early years of this century, philosophers of various persuasions were concerned to investigate the ontology of truth. That is, whether or not they viewed truth as a correspondence, they were interested in the extent to which one needed to assume the existence of entities serving some role in accounting for the truth of sentences. Certain of these entities, such as the Sätze an sich of Bolzano, the Gedanken of Frege, or the propositions of Russell and Moore, were conceived as the bearers of the properties of truth and falsehood. Some thinkers however, such as Russell, Wittgenstein in the Tractatus, and Husserl in the Logische Untersuchungen, argued that instead of, or in addition to, truth-bearers, one must assume the existence of certain entities in virtue of which sentences and/or propositions are true. Various names were used for these entities, notably 'fact', 'Sachverhalt', and 'state of affairs'. (1) In order not to prejudge the suitability of these words we shall initially employ a more neutral terminology, calling any entities which are candidates for this role truth-makers.

[Peter Simons] 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 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.

This paper brings together two theories that I have propounded separately elsewhere. The first is the view that concrete individuals are constituted completely by tropes, that they are trope bundles. The second and more recently developed theory is that of the two major categories of concrete individuals, continuants and occurrents, the latter are ontologically more basic than the former and that continuants are to be viewed as invariants among occurrents under equivalence relations. The latter theory embodies on its own an account of the nature of identity through time of things that are in time but not extended in time. The question is whether this view is compatible with the trope bundle account of concrete particulars, and, assuming it is (both theories being separately attractive) whether bringing them together entails any modifications (other than complexity) to either theory. After examining likely metaphysical difficulties the tentative conclusion is that the attractiveness of the trope bundle theory persists despite the marriage, but that the mental picture of what tropes and trope bundles are must be overhauled.

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.

In this chapter, I shall consider what the principal Austrian philosophers from Bolzano to Popper have had to say on the subject of truth. Since I shall cover a fair number of philosophers and theories, my considerations will be mainly confined to two linked questions: What – according to the philosopher in question – is the nature of truth? What ontology is required to explicate truth according to their account? Further questions concerned with our access to and knowledge of the truth will only be considered as necessary, since they lead into a tangle of issues for which I shall not have the space here. Neither shall I justify my selection of this or that philosopher as ‘Austrian’, but simply press on.

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.