Philosophy and Computer ScienceRoutledge, 20. 5. 2015 - Počet stran: 224 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). |
Obsah
3 | |
Part I Philosophical Foundations of Artificial Intelligence | 11 |
Part II The New Encounter of Science and Philosophy | 51 |
Part III The Philosophy of Computer Science | 127 |
Notes | 211 |
221 | |
233 | |
Další vydání - Zobrazit všechny
Běžně se vyskytující výrazy a sousloví
abstract machine algorithm approach Artificial Intelligence automated behavior Bird Fred blocks brain called causal characterized cognitive computational models computer programs computer science computer scientists concepts concerned Concrete Abstractions connectionism correct deductive defeasible entailment defeasible reasoning DeMillo Descartes described dualism electronic empiricist entities epistemology example Fetzer Figure flyer formal program verification formal verification function goal gramming hardware verification heuristic Hobbes Horn clauses Ibid implement inference information modeling input integers involved justified knowledge Leibniz logic programming mathematical mechanical memory location mental events metaphysical methods mind mind/body modern nature Naur notion objects ontological output password philosophy physical symbol system possible predicate calculus problem solving procedure processor program testing program verification programming language programming paradigm proof prove question rebutting defeat regard relation relationship representation researchers role Searle semantics sense software engineering solution specification statements subproblems theorem things thought tion Turing Turing Test typical understanding