Computational Intention
References
- Alston, W. P. (2000). Illocutionary Acts and Sentence Meaning. Ithaca: Cornell University Press.
- Church, A. (1941). The Calculi of Lambda-Conversion (ISBN 978-0-691-08394-0) [1]
- Colburn, T. (2000). Philosophy and Computer Science. M.E. Sharp Publishers. New & rk, London.
- (1988). Fetzer. J.H. Program Verification: the very idea. Communications of the ACM. Volume 3:9.
- Frigg, R. & Hartmann, S. (2018). Models in Science. The Stanford Encyclopedia of Philosophy (Summer 2018 Edition), Edward N. Zalta (ed.), URL = https://plato.stanford.edu/archives/sum2018/entries/models-science/.
- Hoare, C.A. (1969). An Axiomatic Basis for computer programming. Communications of the ACM, Volume 12, Issue 10.10.1145/363235.363259
- Horsman, C., Stepney, S., Wagner, R. & Kendon, V. (2014). When does a physical system compute? Proc. R. Soc. A September 8.
- (1988). Kroes, P. Technological explanations: the relation between structure and function of technological objects. Techné: Research in Philosophy and Technology 3 (3), 124–134.10.5840/techne19983325
- Kroes, P. (2012). Technical Artifacts: Creations of Mind and Matter: A Philosophy of Engineering Design. Springer.
- Pears, D. (2006). Paradox and Platitude in Wittgenstein’s Philosophy. Oxford: Oxford University Press.10.1093/acprof:oso/9780199247707.001.0001
- Piccinini, G. (2015). Computation in Physical Systems. The Stanford Encyclopedia of Philosophy (Summer 2015 Edition).
- Piccinini, G. (2016). Physical Computation: A Mechanistic Account. Oxford.
- Putnam, H. (1980). Minds and Machines. In Dimensions of Mind: A Symposium. S. Hook (ed.), New York: Collier. pp. 138–164.
- Rapaport, W. J. (2020). Philosophy of Computer Science. https://cse.buffalo.edu/~rapaport/Papers/phics.pdf
- Scott D.S. (1980). Lambda calculus: Some models, some philosophy Barwise, et al. (Eds.), The Kleene Symposium, Studies in Logic, 101, North-Holland, pp. 381–421.
- Turner, R. (2007). Understanding Programming Languages. Minds and Machines 17(2): 203–216.
- Turner, R. & Angius, N. (2017). The Philosophy of Computer Science. The Stanford Encyclopaedia of Philosophy (Spring 2017 Edition).
- Turner, R. (2018). Computational Artifacts. Towards a Philosophy of Computer Science. Springer.10.1007/978-3-662-55565-1_22
- Turner, R. (2011). Specification. Minds and Machines 21 (2): 135-152.
- Turner, R. (2020). Correctness, Explanation and Intention. DOI: 10.1007/978-3-030-22996-2_6. In Computing with Foresight and Industry. Springer.
- Winther, Rasmus Grønfeldt. (2016). The Structure of Scientific Theories. The Stanford Encyclopedia of Philosophy (Winter 2016 Edition), Edward N. Zalta (ed.), URL = https://plato.stanford.edu/archives/win2016/entries/structure-scientific-theories/.
- Wittgenstein, L. (1978). Remarks on the Foundations of Mathematics. G. H. von Wright, R. Rhees, and G. E. M. Anscombe (eds.). Oxford.
- Hennessy, M. https://www.scss.tcd.ie/Matthew.Hennessy/splexternal2015/notes/WhileSlides2to1.pdf
Language: English
Page range: 19 - 30
Published on: Nov 4, 2020
Published by: University of Białystok, Department of Pedagogy and Psychology
In partnership with: Paradigm Publishing Services
Publication frequency: 4 times per year
Keywords:
Related subjects:
© 2020 Raymond Turner, published by University of Białystok, Department of Pedagogy and Psychology
This work is licensed under the Creative Commons Attribution 4.0 License.