Rotting tomatoes - logic for precesses
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 o...
| Autor: | |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2024 |
| País: | Brasil |
| Institución: | Universidade Estadual de Campinas (UNICAMP) |
| Repositorio: | Manuscrito (Online) |
| Idioma: | inglés |
| OAI Identifier: | oai:ojs.periodicos.sbu.unicamp.br:article/8681811 |
| Acceso en línea: | https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8681811 |
| Access Level: | acceso abierto |
| Palabra clave: | Process theory Intuitionistic logic Smooth infinitesimal analysis |
| Sumario: | 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. |
|---|