Leslie Burkholder

Philosophy And The Computer (eBook, PDF)

• Format: PDF

Produktbeschreibung

The contributors set out to demonstrate the influence of the computer - not just in the philosophy of mind, where the influence has been enormous, but also in epistemology, metaphysics, logic and the philosophy of mathematics.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Taylor & Francis
• Seitenzahl: 268
• Erscheinungstermin: 5. September 2019
• Englisch
• ISBN-13: 9781000231038
• Artikelnr.: 57671094

Autorenporträt

Leslie Burkholder

Inhaltsangabe

Part 1 Epistemology and metaphysics: the computer as a laboratory for epistemology
Herbert Simon; philosophical challenges in distributed computing
Peter Barnett; SNePS - a fully intensional propositional semantic network
Stuart C. Shapiro
William J. Rapaport; the structure of extension
Christopher J. Thornton. Part 2 Philosophy of mind: representational genera
John Haugeland; the wanton module and the frame problem
Eric Dietrick and Chris Fields; why thinking isn't computing
Daryl Close; the secret operations of the mind
Saul Trager. Part 3 Logic: searching for proofs (in sentimental logic)
Wilfried Sieg and Richard Scheines; some problems on the computational representation of inference
Tryg Ager; selecting a contradiction in natural deduction theorem proving
Andrew McCafferty; automated translation from English to logic and back
Herbert E. Hendry and Joseph F. Hanna. Part 4 Algorithmics: a new paradigm for mathematics
Newcomb Greenleaf. Part 5 Ethics: should computer programs be ownable?
David H. Carey; moral responsibility and programming
Robert Zerwekh. Part 6 Computer-assisted instruction: learning ethnical decision-making
Pieter Mostert et al; finite structures in SYMLOG
Frederic D. Portoraro; an interface for deductive proof construction
Marvin J. Croy; Socratic dialogue
Don Barker and Stephen Scott; proof designer
Mark Bedau and James Moor.