-PDF Download- Philosophical Logic And Artificial Intelligence EBOOK

Philosophical Logic and Artificial Intelligence

Author: Richmond H. Thomason

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 230

ISBN-13: 9400924488

cians concerned with using logical tools in philosophy have been keenly aware of the limitations that arise from the original con centration of symbolic logic on the idiom of mathematics, and many of them have worked to create extensions of the received logical theories that would make them more generally applicable in philosophy. Carnap's Testability and Meaning, published in 1936 and 1937, was a good early example of this sort of research, motivated by the inadequacy of first-order formalizations of dis 'This sugar cube is soluble in water'. positional sentences like And in fact there is a continuous history of work on this topic, extending from Carnap's paper to Shoham's contribution to the present volume . . Much of the work in philosophical logic, and much of what has appeared in The Journal of Philosophical Logic, was mo tivated by similar considerations: work in modal logic (includ ing tense, deontic, and epistemic logic), intensional logics, non declaratives, presuppositions, and many other topics. In this sort of research, sin.ce the main point is to devise new formalisms, the technical development tends to be rather shallow in comparison with mathematical logic, though it is sel dom absent: theorems need to be proved in order to justify the formalisms, and sometimes these are nontrivial. On the other hand, much effort has to go into motivating a logical innovation.

The Philosophy of Artificial Intelligence

Author: Margaret A. Boden

Publisher: Oxford University Press on Demand

Published: 1990

Total Pages: 452

ISBN-13: 9780198248545

DOWNLOAD EBOOK →

Is `artificial intelligence' a contradiction in terms? Could computers (in principle) model every aspect of the mind, including logic, language, and emotion? What of the more brain-like, connectionist computers: could they really understand, even if digital computers cannot? This collection of classic and contemporary readings (which includes an editor's introduction and an up-to-date reading list) provides a clearly signposted pathway into hotly disputed philosophical issues at the heart of artificial intelligence.

Logic, Action, and Information

Author: André Fuhrmann

Publisher: Walter de Gruyter

Published: 1996

Total Pages: 492

ISBN-13: 9783110139945

DOWNLOAD EBOOK →

Formalizing Common Sense

Author: John McCarthy

Publisher: Intellect L & D E F A E

Published: 1998

Total Pages: 256

ISBN-13: 9781871516494

DOWNLOAD EBOOK →

Extending over a period of 30 years, this is a collection of papers written by John McCarthy on artificial intelligence. They range from informal surveys written for a general audience to technical discussions of challenging research problems that should be of interest to specialists.

Artificial Intelligence

Author: John Haugeland

Publisher: MIT Press

Published: 1989-01-06

Total Pages: 306

ISBN-13: 9780262580953

DOWNLOAD EBOOK →

"Machines who think—how utterly preposterous," huff beleaguered humanists, defending their dwindling turf. "Artificial Intelligence—it's here and about to surpass our own," crow techno-visionaries, proclaiming dominion. It's so simple and obvious, each side maintains, only a fanatic could disagree. Deciding where the truth lies between these two extremes is the main purpose of John Haugeland's marvelously lucid and witty book on what artificial intelligence is all about. Although presented entirely in non-technical terms, it neither oversimplifies the science nor evades the fundamental philosophical issues. Far from ducking the really hard questions, it takes them on, one by one. Artificial intelligence, Haugeland notes, is based on a very good idea, which might well be right, and just as well might not. That idea, the idea that human thinking and machine computing are "radically the same," provides the central theme for his illuminating and provocative book about this exciting new field. After a brief but revealing digression in intellectual history, Haugeland systematically tackles such basic questions as: What is a computer really? How can a physical object "mean" anything? What are the options for computational organization? and What structures have been proposed and tried as actual scientific models for intelligence? In a concluding chapter he takes up several outstanding problems and puzzles—including intelligence in action, imagery, feelings and personality—and their enigmatic prospects for solution.

Logic, Action and Cognition

Author: Eva Ejerhed

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 233

ISBN-13: 9401155240

DOWNLOAD EBOOK →

The present volume has its origin in a meeting of philosophers, linguists and cognitive scientists that was held at Umea University, Sweden, September 24-26, 1993. The meeting was organized by the Department of Philosophy in cooperation with the Department of Linguistics, and it was called UmLLI-93, the Umea Colloquium on Dynamic Approaches in Logic, Language and Information. The papers published here are considerably expanded and revised versions of talks presented by invited speakers at this colloquium. The papers included here fall into three broad categories. In the first part of the book, Action, we have collected papers that concern the formal theory of action, the logic of nonns, and the theory of rational decision. The papers in the second part, Belief Change, concern the theory of belief dynamics in the tradition of Alchourr6n, Gardenfors and Makinson. The third part, Cognition, concerns abstract questions about knowledge and truth as well'as more concrete questions about the usefuleness and tractability of various graphic representations of infonnation. An additional and important topic of the colloquium concerned logical approaches to natural language. For the sake of the thematic unity of this book, and its appearance in the series Trends in logic, the colloquium papers related to language are not included here, but some of these contributions will appear in the philosophical journal Theoria.

Handbook of Philosophical Logic

Author: Dov M. Gabbay

Publisher: Springer Science & Business Media

Published: 2013-03-09

Total Pages: 348

ISBN-13: 940170466X

DOWNLOAD EBOOK →

It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been great changes in the landscape of philosophical logic since then. The first edition has proved invaluable to generations of students and researchers in formal philosophy and language, as well as to consumers of logic in many applied areas. The main logic article in the Encyclopaedia Britannica 1999 has described the first edition as 'the best starting point for exploring any of the topics in logic'. We are confident that the second edition will prove to be just as good! The first edition was the second handbook published for the logic commu nity. It followed the North Holland one volume Handbook of Mathematical Logic, published in 1977, edited by the late Jon Barwise. The four volume Handbook of Philosophical Logic, published 1983-1989 came at a fortunate temporal junction at the evolution of logic. This was the time when logic was gaining ground in computer science and artificial intelligence circles. These areas were under increasing commercial pressure to provide devices which help and/or replace the human in his daily activity. This pressure required the use of logic in the modelling of human activity and organisa tion on the one hand and to provide the theoretical basis for the computer program constructs on the other.

Philosophy of Artificial Intelligence

Author: Rajakishore Nath

Publisher: Universal-Publishers

Published: 2009

Total Pages: 190

ISBN-13: 1599429055

DOWNLOAD EBOOK →

This book deals with the major philosophical issues in the theoretical framework of Artificial Intelligence (AI) in particular and cognitive science in general. The researchers in AI are concerned with the issues of consciousness, human subjectivity, creativity, etc. Cognitive Science and AI argue that consciousness can be artificially created and comprehended in the function of robots. The robotic activities explain the mechanism involved in computation, language processing, sensing the information, etc. Contrary to this thesis, the philosophical study tries to show that human consciousness, thinking, imagination, etc. are much larger concepts and need to be delved into in the broad theoretical framework. This book is a critique of the mechanistic theory of mind. It shows the basic foundation of AI and its limitations in explaining the activities of the human mental life. Machine-functionalism fails to account for the subjective nature of consciousness and the creativity involved in the conscious acts. There are two aspects of this thesis-- the epistemological and the metaphysical. Epistemologically, the subject of consciousness intimately knows the raw feelings or the qualia. Metaphysically speaking, however, the raw feelings are real in the sense that they are part of the furniture of the mental world. Therefore, we can hardly deny that the mental world is real.

Wittgenstein's Remarks on the Foundations of AI

Author: Stuart G. Shanker

Publisher: Routledge

Published: 2002-01-31

Total Pages: 535

ISBN-13: 1134859910

DOWNLOAD EBOOK →

Wittgenstein's Remarks on the Foundations of AI is a valuable contribution to the study of Wittgenstein's theories and his controversial attack on artifical intelligence, which successfully crosses a number of disciplines, including philosophy, psychology, logic, artificial intelligence and cognitive science, to provide a stimulating and searching analysis.

Philosophical Logic and Logical Philosophy

Author: P.I. Bystrov

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 239

ISBN-13: 9401586780

DOWNLOAD EBOOK →

Vladimir Aleksandrovich Smirnov was born on March 2, 1931. He graduated from Moscow State University in 1954. From 1957 till 1961 he was a lecturer in philosophy and logic at the Tomsk University. Since 1961 his scientific activity continued in Moscow at the Institute of Philosophy of Academy of Sciences of the USSR. From 1970 and till the last days of his life V. A. Smirnov was lecturer and then Professor at the Chair of Logic at Moscow State University. V. A. Smirnov played an important role at the Institute of Philosophy of Russian Academy of Sciences being the Head of Department of Epistemology, Logic and Philosophy of Science and Technology, and the Head of Section of Logic. Last years he was the leader of the Centre of Logical Investigations of Russsian Academy of Sciences. In 1990-91 he founded a new non-goverment Institute of Logic, Cognitive Sciences and Development of Personality for performing research, teaching, editorial and organization activity in the field of humanities. At the Department of Philosophy of Moscow State University and at the Institute of Philosophy V. A. Smirnov and his close colleagues have founded a Russian logical school which brought up many talented researchers who work at several scientific centres in various countries.