Computational Intention

Studies in Logic, Grammar and Rhetoric 63 (1):19-30 (2020)
  Copy   BIBTEX

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).

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,283

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Specification.Raymond Turner - 2011 - Minds and Machines 21 (2):135-152.
Type and Metaphor for Computer Programmers.Timothy Colburn & Gary Shute - 2017 - Techné: Research in Philosophy and Technology 21 (1):71-105.
What is computer science about?Oron Shagrir - 1999 - The Monist 82 (1):131-149.
What is Computer Science About?Oron Shagrir - 1999 - The Monist 82 (1):131-149.
Computational Models in the Philosophy of Science.Paul Thagard - 1986 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1986:329 - 335.
The Mindlessness of Computationalism: The Neglected Aspects of Cognition.Daniel D. Hutto - 1995 - In P. Pyllkkänen & P. Pyllkkö (eds.), New Directions in Cognitive Science. Finnish Society for Artificial Intelligence.
Miscomputation.Nir Fresco & Giuseppe Primiero - 2013 - Philosophy and Technology 26 (3):253-272.
Computer Science as Immaterial Formal Logic.Selmer Bringsjord - 2020 - Philosophy and Technology 33 (2):339-347.
What an Algorithm Is.Robin K. Hill - 2016 - Philosophy and Technology 29 (1):35-59.

Analytics

Added to PP
2020-11-07

Downloads
19 (#803,690)

6 months
8 (#370,373)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Models in Science (2nd edition).Roman Frigg & Stephan Hartmann - 2021 - The Stanford Encyclopedia of Philosophy.
Remarks on the foundations of mathematics.Ludwig Wittgenstein - 1967 - Oxford [Eng.]: Blackwell. Edited by G. E. M. Anscombe, Rush Rhees & G. H. von Wright.
Physical Computation: A Mechanistic Account.Gualtiero Piccinini - 2015 - Oxford, GB: Oxford University Press UK.
Minds and Machines.Hilary Putnam - 1960 - In Sidney Hook (ed.), Dimensions Of Mind: A Symposium. NY: NEW YORK University Press. pp. 138-164.
Remarks on the Foundations of Mathematics.Ludwig Wittgenstein - 1956 - Oxford: Macmillan. Edited by G. E. M. Anscombe, Rush Rhees & G. H. von Wright.

View all 18 references / Add more references