À propos de cet article


Alston, W. P. (2000). Illocutionary Acts and Sentence Meaning. Ithaca: Cornell University Press.Search in Google Scholar

Church, A. (1941). The Calculi of Lambda-Conversion (ISBN 978-0-691-08394-0) [1]Search in Google Scholar

Colburn, T. (2000). Philosophy and Computer Science. M.E. Sharp Publishers. New & rk, London.Search in Google Scholar

(1988). Fetzer. J.H. Program Verification: the very idea. Communications of the ACM. Volume 3:9.Search in Google Scholar

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/.Search in Google Scholar

Hoare, C.A. (1969). An Axiomatic Basis for computer programming. Communications of the ACM, Volume 12, Issue 10.10.1145/363235.363259Search in Google Scholar

Horsman, C., Stepney, S., Wagner, R. & Kendon, V. (2014). When does a physical system compute? Proc. R. Soc. A September 8.Search in Google Scholar

(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/techne19983325Search in Google Scholar

Kroes, P. (2012). Technical Artifacts: Creations of Mind and Matter: A Philosophy of Engineering Design. Springer.Search in Google Scholar

Pears, D. (2006). Paradox and Platitude in Wittgenstein’s Philosophy. Oxford: Oxford University Press.10.1093/acprof:oso/9780199247707.001.0001Search in Google Scholar

Piccinini, G. (2015). Computation in Physical Systems. The Stanford Encyclopedia of Philosophy (Summer 2015 Edition).Search in Google Scholar

Piccinini, G. (2016). Physical Computation: A Mechanistic Account. Oxford.Search in Google Scholar

Putnam, H. (1980). Minds and Machines. In Dimensions of Mind: A Symposium. S. Hook (ed.), New York: Collier. pp. 138–164.Search in Google Scholar

Rapaport, W. J. (2020). Philosophy of Computer Science. https://cse.buffalo.edu/~rapaport/Papers/phics.pdfSearch in Google Scholar

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.Search in Google Scholar

Turner, R. (2007). Understanding Programming Languages. Minds and Machines 17(2): 203–216.Search in Google Scholar

Turner, R. & Angius, N. (2017). The Philosophy of Computer Science. The Stanford Encyclopaedia of Philosophy (Spring 2017 Edition).Search in Google Scholar

Turner, R. (2018). Computational Artifacts. Towards a Philosophy of Computer Science. Springer.10.1007/978-3-662-55565-1_22Search in Google Scholar

Turner, R. (2011). Specification. Minds and Machines 21 (2): 135-152.Search in Google Scholar

Turner, R. (2020). Correctness, Explanation and Intention. DOI: 10.1007/978-3-030-22996-2_6. In Computing with Foresight and Industry. Springer.Search in Google Scholar

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/.Search in Google Scholar

Wittgenstein, L. (1978). Remarks on the Foundations of Mathematics. G. H. von Wright, R. Rhees, and G. E. M. Anscombe (eds.). Oxford.Search in Google Scholar

Hennessy, M. https://www.scss.tcd.ie/Matthew.Hennessy/splexternal2015/notes/WhileSlides2to1.pdfSearch in Google Scholar

4 fois par an
Sujets de la revue:
Philosophy, other