Philosophy and Computer Science
Colburn (computer science, U. of Minnesota-Duluth) has a doctorate in philosophy and an advanced degree in computer science; he's worked as a philosophy professor, a computer programmer, and a research scientist in artificial intelligence. Here he discusses the philosophical foundations of artificial intelligence; the new encounter of science and philosophy (logic, models of the mind and of reasoning, epistemology); and the philosophy of computer science (touching on math, abstraction, software, and ontology).
What people are saying - Write a review
We haven't found any reviews in the usual places.
2 3 Philosophical Foundations of Artificial Intelligence
AI and the Rise of Contemporary Science and Philosophy
The Naturalization of Epistemology
9 10 11 12 The Philosophy of Computer Science
Other editions - View all
abstract machine algorithm approach argument artificial intelligence assembly language automated behavior believing bird Bird(Fred brain called causal characterized cognitive computational models computer programs computer science computer scientists concepts concerned Concrete Abstractions connectionism correct data types deductive defeasible entailment defeasible reasoning DeMillo Descartes described dualism electronic empiricist entities epistemology example Fetzer Figure flyer formal program verification formal verification Fred function hardware verification heuristic Hobbes Horn clauses Ibid implement information modeling input integers involved justified knowledge Leibniz logic programming mathematical mechanical memory locations mental events methods mind modern Naur notion objects one’s ontological output password philosophical physical symbol system predicate calculus problem solving procedure processor program specification program testing program verification programming language programming paradigm proof question regarded relation representation researchers role Searle semantics sense software engineering solution statements subproblems symbol system hypothesis theorem proving theory things thought Turing Turing Test typical understanding