Philosophy And The Computer
Autor Leslie Burkholderen Limba Engleză Paperback – 31 oct 2022
Preț: 413.84 lei
Puncte Express: 621
Carte tipărită la comandă
Livrare economică 17-31 august
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
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.