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.

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.

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.

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.

George and I have been discussing Dividing Reality. It was my Canadian friend whose native language is supposed to have so many different words for snow and ice who suggested I was wasting my time with him and should try George. After all, he pointed out, George’s environment is so different from even the Arctic that we'd be getting a truly alien perspective. He at least understands ‘gricular', in fact he'd be happy to see more gricular things about, they might well be edible. George does not see what the fuss is about. As far as he is concerned, ‘gricular' is just as unnatural as ‘green' or ‘circular': it's way off his conceptual map.

Despite its lack of influence in analytical philosophy, and independently of its content as a process philosophy, Whitehead's system in Process and Reality affords a valuable lesson on how to pursue revisionary systematic metaphysics. This paper argues the case generally for metaphysical revision and system, describes the structure of Whitehead's categorial scheme, endorses his idea of an ultimate which is not an entity, and outlines an alternative, “digital” ultimate or basis composed of several analytical factors. [I]n the absence of a well-defined categoreal scheme of entities, issuing in a satisfactory metaphysical system, every premise in a philosophical argument is under suspicion.