Philosophical Logic and Artificial Intelligence

Author:   Richmond H. Thomason
Publisher:   Springer
Edition:   1989 ed.
ISBN:  

9789401076043


Pages:   222
Publication Date:   20 April 2014
Format:   Paperback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $290.37 Quantity:  
Add to Cart

Share |

Philosophical Logic and Artificial Intelligence


Overview

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.

Full Product Details

Author:   Richmond H. Thomason
Publisher:   Springer
Imprint:   Springer
Edition:   1989 ed.
Dimensions:   Width: 15.50cm , Height: 1.20cm , Length: 23.50cm
Weight:   0.361kg
ISBN:  

9789401076043


ISBN 10:   9401076049
Pages:   222
Publication Date:   20 April 2014
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Table of Contents

Philosophical Logic and Artificial Intelligence.- I’m OK if You’re OK: On the Notion of Trusting Communication.- Concepts of Information: Comparative Axiomatics.- Logic and the Complexity of Reasoning.- Circumscriptive Theories: A Logic-Based Framework for Knowledge Representation.- Artificial Intelligence, Logic and Formalizing Common Sense.- Efficient Reasoning about Rich Temporal Domains.

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

NOV RG 20252

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List