Turner, Raymond (2020) Computational Intention. Studies in Logic, Grammar and Rhetoric, 63 (76). pp. 19-30. DOI https://doi.org/10.2478/slgr-2020-0025
Turner, Raymond (2020) Computational Intention. Studies in Logic, Grammar and Rhetoric, 63 (76). pp. 19-30. DOI https://doi.org/10.2478/slgr-2020-0025
Turner, Raymond (2020) Computational Intention. Studies in Logic, Grammar and Rhetoric, 63 (76). pp. 19-30. DOI https://doi.org/10.2478/slgr-2020-0025
Abstract
The core entities of computer science include formal languages, specifications, models, programs, implementations, semantic theories, type inference systems, abstract and physical machines. While there are conceptual questions concerning their nature, and in particular ontological ones, our main focus here will be on the relationships between them. These relationships have an extensional aspect that articulates the propositional connection between the two entities, and an intentional one that fixes the direction of governance. An analysis of these two aspects will drive our investigation; an investigation that will touch upon some of the central concerns of the philosophy of computer science .
| Item Type: | Article |
|---|---|
| Uncontrolled Keywords: | ntention, specification, correctness, verification |
| Divisions: | Faculty of Science and Health Faculty of Science and Health > Computer Science and Electronic Engineering, School of |
| SWORD Depositor: | Unnamed user with email elements@essex.ac.uk |
| Depositing User: | Unnamed user with email elements@essex.ac.uk |
| Date Deposited: | 15 Jul 2021 13:27 |
| Last Modified: | 06 Jan 2022 14:22 |
| URI: | http://repository.essex.ac.uk/id/eprint/29769 |
Available files
Filename: [21996059 - Studies in Logic, Grammar and Rhetoric] Computational Intention.pdf
Licence: Creative Commons: Attribution 3.0