Rotting Tomatoes - Logic for precesses

Abstract

Abstract In the literature, there are several claims about the centrality of a pro- cess ontology. It has often proved difficult, however, to understand what a process is supposed to be, and what the central difference to thing-based ontologies amounts to. It would be useful to see what an abstract account of this difference consists in. This paper provides a sketch of what logic we should use for a process-based ontology, and argues that intuitionistic logic, and smooth infinitesimal analysis, provide a useful basis for process ontology. A brief sketch of probability for processes is made.

Keywords

• Process Theory
• Intuitionistic Logic
• Smooth Infinitesimal Analysis