Philosophy And The Computer
Autor Leslie Burkholderen Limba Engleză Paperback – 31 oct 2022
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 372.45 lei 6-8 săpt. | |
Taylor & Francis – 31 oct 2022 | 372.45 lei 6-8 săpt. | |
Hardback (1) | 768.30 lei 6-8 săpt. | |
Taylor & Francis – 28 apr 2020 | 768.30 lei 6-8 săpt. |
Preț: 372.45 lei
Nou
Puncte Express: 559
Preț estimativ în valută:
71.29€ • 77.46$ • 59.92£
71.29€ • 77.46$ • 59.92£
Carte tipărită la comandă
Livrare economică 21 aprilie-05 mai
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9780367298333
ISBN-10: 0367298333
Pagini: 280
Dimensiuni: 152 x 229 x 15 mm
Greutate: 0.52 kg
Ediția:1
Editura: Taylor & Francis
Colecția Routledge
Locul publicării:Oxford, United Kingdom
ISBN-10: 0367298333
Pagini: 280
Dimensiuni: 152 x 229 x 15 mm
Greutate: 0.52 kg
Ediția:1
Editura: Taylor & Francis
Colecția Routledge
Locul publicării:Oxford, United Kingdom
Cuprins
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.
Descriere
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.