When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science

&
History and Philosophy of Logic 36 (3):195-204 (2015)
  Copy   BIBTEX

Abstract

The birth, growth, stabilization and subsequent understanding of a new field of practical and theoretical enquiry is always a conceptual process including several typologies of events, phenomena an...

Categories

Keywords

Reprint years

DOI

10.1080/01445340.2015.1084183

Links

PhilArchive



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

External links

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

Through your library

My notes

Similar books and articles

Problems for a Philosophy of Software Engineering.Stefan Gruner - 2011 - Minds and Machines 21 (2):275-299.
Logic and Argument Analysis: An Introduction to Formal Logic and Philosophic Method (REVISED).Preston K. Covey - unknown
Computers, information and ethics: A review of issues and literature. [REVIEW]Dr Carl Mitcham - 1995 - Science and Engineering Ethics 1 (2):113-132.
Proof and disproof in formal logic: an introduction for programmers.Richard Bornat - 2005 - New York: Oxford University Press.
Linear logic in computer science.Thomas Ehrhard (ed.) - 2004 - New York: Cambridge University Press.
An Introduction to Logical Theory.Aladdin M. Yaqub - 2013 - Peterborough, CA: Broadview Press.
Some Philosophical Issues in Computer Science.Amnon H. Eden - 2011 - Minds and Machines 21 (2):123-133.
Demarcating Computer Science.Dana Burkart - unknown
Introduction to engineering ethics.Roland Schinzinger - 2000 - Boston: McGraw Hill. Edited by Mike W. Martin.
What is a logical system?Dov M. Gabbay (ed.) - 1994 - New York: Oxford University Press.
Philosophy of science, logic, and mathematics in the twentieth century.Stuart Shanker (ed.) - 1996 - New York: Routledge.
Philosophy as conceptual engineering: Inductive logic in Rudolf Carnap's scientific philosophy.Christopher F. French - 2015 - Dissertation, University of British Columbia
Miscomputation.Nir Fresco & Giuseppe Primiero - 2013 - Philosophy and Technology 26 (3):253-272.
What is Logical Pluralism?Manuel Bremer - manuscript
Teaching ethics in engineering and computer science: A panel discussion.Charles Glagola, Moshe Kam, Caroline Whitebeck & Michael C. Loui - 1997 - Science and Engineering Ethics 3 (4):463-480.

Analytics

Added to PP
2015-12-16

Downloads
110 (#162,340)

6 months
8 (#373,162)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Giuseppe Primiero
Università degli Studi di Milano

Citations of this work

The philosophy of computer science.Raymond Turner - 2013 - Stanford Encyclopedia of Philosophy.
Computer Science as Immaterial Formal Logic.Selmer Bringsjord - 2020 - Philosophy and Technology 33 (2):339-347.

Add more citations

References found in this work

On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - Cambridge,: Harvard University Press.
An Unsolvable Problem of Elementary Number Theory.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (2):73-74.
From Frege to Gödel.Jean van Heijenoort - 1968 - Philosophy of Science 35 (1):72-72.
A note on the entscheidungsproblem.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (1):40-41.

View all 19 references / Add more references