I offer a formal ontological theory where the basic building blocks of the world are timeless events. The composition of events results in processes. Spacetime emerges as the system of all events. Things are construed as bundles of processes. I maintain that such a view is in accord with General Relativity and offers interesting prospects for the foundations of classical and quantum gravity.

In this paper I revisit R. M. Martin’s logic of belief. As with much of Martin’s work, his formal studies into belief and belief reports have gone largely unnoticed. However, in my article I suggest reasons for thinking that these studies warrant revisiting. One reason is that Martin adopted an account of the notion of belief which was more comprehensive than that employed by most rival theorists. Another reason is that Martin couched his theory in a formal pragmatics which utilised (...) a pragmatical meta-language. This method resulted in a rather novel approach which may turn out to be more enlightening than many popular alternative accounts. Martin was a constructivistic nominalist whose approach to philosophical analysis was characterised by a commitment to first-order extensional systems. Yet in the statement of his theory of belief he employed a platonistic syntax simply for the reason that this kind of syntax is a little easier to implement than one which is nominalistic. However Martin also supposed that a fully nominalised version of his theory could be developed. In my article I investigate whether it can. I do this by sketching an inscriptional pragmatics, where this pragmatical system presupposes an inscriptional semantics of the kind developed by Martin himself. While further work is required, I think that a nominalisation of Martin’s logic of belief may be developed. (shrink)

Professor Stevenson's valuable paper [5] calls attention to a number of discrepancies between ‘if’ in English and its usual translation into the horseshoe of material implication. “This is not a reason for distrusting the horseshoe,” he notes, “which is useful so long as it is taken to mean just what it is defined to mean; and it is not a reason for distrusting our English if's, which in spite of their ambiguities are indispensable to our daily discourse”. Accordingly, Stevenson proposes (...) to develop a “richer logic” than the ordinary one, by adding as primitives certain sentential connectives. He speaks throughout in the old terminology of “propositions” rather than in that of the sentences or statements used to express them. Thus he speaks of atomic and molecular propositions, somehow no doubt as real entities in the world, where talk of atomic and molecular sentences would save him from implicit involvement in the notorious difficulties connected with atomic facts. Finally, the inner structure of atomic sentences, and therewith of molecular ones, is never considered. Many molecular sentences contain quantifiers in interesting ways, the clarification of which would seem essential in getting at their structure. Stevenson, however, has no concern with quantifiers, and does not exhibit the quantificational structure of the English sentences considered. (shrink)

There are two fundamental questions concerning the choice and presence of objects in various formal systems: Where do these objects come from? What do we know about them? To answer these questions I introduce the notion of a proto-ontology as the pre-theoretic realm of entities from which the basic objects – individuals – of the formal system S are postulated. The pragmatic aspects of such choices are investigated with regard to first-order logic, both pure and applied, set theory and mereology. (...) It is claimed that the postulated objects enter the formal system S with a package of properties and relationships, the recognition of which depends on the interpretation and application of the available predicates of S. If these properties and relationships are not made explicit, a possible clash may arise between them and the properties and relationships “assigned” to the individuals of S by the interpreted predicates of S. As regards the relationship between logic and metaphysics, I contend that logic can perhaps be viewed as the articulation of the fundamental features of proto-ontological objects without which no discourse or theory would be possible. In this sense logic could also be viewed as a theory and method of the construction of a well-articulated metaphysical theory. (shrink)