A01=Leslie Burkholder
algorithmic reasoning
artificial intelligence ethics
Author_Leslie Burkholder
automated theorem proving
Busy Beaver
Busy Beaver Function
Category=QD
Church Turing Thesis
Comprehension
computational epistemology
Context Free Grammars
distributed computing philosophy
Elimination Rule
Epistemology
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
ethical implications of artificial intelligence
Extensions
Modularity Thesis
Natural Deduction
Non-computable Functions
Ostensive Definition
PDP
PDP Model
Phrase Structure Grammar
Primitive Predicates
Proof Checkers
PROOF DESIGNER
Search Space
Search Tree
semantic networks logic
Sequence TRANS
Sheffer Stroke
Skeletal Content
Theorem Proving
Turing Computable Functions
Turing Machine
Vice Versa
Product details
- ISBN 9780367298333
- Weight: 520g
- Dimensions: 152 x 229mm
- Publication Date: 31 Oct 2022
- Publisher: Taylor & Francis Ltd
- Publication City/Country: GB
- Product Form: Paperback
Secure
checkout
Fast Shipping
Easy returns
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. Even ethics and ethical reasoning have been explored through the use of the computer. Indeed, the lead contribution by Nobel Laureate Herbert Simon argues that it is no exaggeration to speak of a computational turn in philosophy to match the much-celebrated (and maligned) linguistic turn of a previous generation. Of particular interest are the examinations of the wide range of applications of computational methods, the innovative instructional computer programs, and the discussions of the ethical implications of computer use.
Leslie Burkholder
