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.
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.
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.
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.
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.
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.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
USt-IdNr: DE450055826
