Leslie Burkholder
Philosophy And The Computer
Leslie Burkholder
Philosophy And The Computer
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
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.
Andere Kunden interessierten sich auch für
- Geoff PridhamThe Giant Computer Answers Life's Mysteries15,99 €
- David GelernterThe Tides of Mind: Uncovering the Spectrum of Consciousness15,99 €
- The Phantom Public71,99 €
- D M ArmstrongA Materialist Theory of the Mind71,99 €
- Carol C GouldThe Information Web58,99 €
- Philosophy of Mind in the Early Modern and Modern Ages48,99 €
- The Correspondence of Spinoza63,99 €
-
-
-
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.
Produktdetails
- Produktdetails
- Verlag: Taylor & Francis Ltd (Sales)
- Seitenzahl: 280
- Erscheinungstermin: 31. Oktober 2022
- Englisch
- Abmessung: 229mm x 152mm x 15mm
- Gewicht: 381g
- ISBN-13: 9780367298333
- ISBN-10: 0367298333
- Artikelnr.: 63658146
- Verlag: Taylor & Francis Ltd (Sales)
- Seitenzahl: 280
- Erscheinungstermin: 31. Oktober 2022
- Englisch
- Abmessung: 229mm x 152mm x 15mm
- Gewicht: 381g
- ISBN-13: 9780367298333
- ISBN-10: 0367298333
- Artikelnr.: 63658146
Leslie Burkholder
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.
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.
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.