<abstract xmlns="http://www.w3.org/1999/xhtml"><p>The core entities of computer science include formal languages, spec-ifications, 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 (Turner 2018), our main focus here will be on the relationships between them. These relationships have an <italic>extensional aspect</italic> that articulates the propositional connection between the two entities, and an <italic>intentional</italic> 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 (Turner 2017).</p></abstract>

The core entities of computer science include formal languages, spec-ifications, 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 (Turner 2018), 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 (Turner 2017).

Computational Intention

Studies in Logic, Grammar and Rhetoric

This work is licensed under the Creative Commons Attribution 4.0 International License.

{"article-title":"Computational Intention"}

The core entities of computer science include formal languages, spec-ifications, models, programs, implementations, semantic theories, type inference systems,...

Computational Intention

Publié en ligne: 04 nov. 2020

Pages: 19 - 30

DOI: https://doi.org/10.2478/slgr-2020-0025

Mots clés
intention, specification, correctness, verification

© 2020 Raymond Turner, published by Sciendo

This work is licensed under the Creative Commons Attribution 4.0 International License.

Computational Intention

Publié en ligne: 04 nov. 2020

Pages: 19 - 30

DOI: https://doi.org/10.2478/slgr-2020-0025

Mots clésintention, specification, correctness, verification

© 2020 Raymond Turner, published by Sciendo

This work is licensed under the Creative Commons Attribution 4.0 International License.

Mots clés
intention, specification, correctness, verification