Philosophical Logic and Artificial Intelligence

Nonfiction, Religion & Spirituality, Philosophy, Logic, Computers, Advanced Computing, Artificial Intelligence
Cover of the book Philosophical Logic and Artificial Intelligence by , Springer Netherlands
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9789400924482
Publisher: Springer Netherlands Publication: December 6, 2012
Imprint: Springer Language: English
Author:
ISBN: 9789400924482
Publisher: Springer Netherlands
Publication: December 6, 2012
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer Netherlands

Cover of the book New Developments in Ophthalmology Nijmegen 16–18 October 1975 by
Cover of the book Structural Optimization with Uncertainties by
Cover of the book Aminoacyl-tRNA Synthetases in Biology and Medicine by
Cover of the book Educational Innovation in Economics and Business IV by
Cover of the book The Arterial System in Hypertension by
Cover of the book Types of Social Structure in Eastern Indonesia by
Cover of the book The Policy of Simmering by
Cover of the book Sense and Reference in Frege’s Logic by
Cover of the book The DNA Damage Response: Implications on Cancer Formation and Treatment by
Cover of the book Multicultural Science Education by
Cover of the book Motivations for Humanitarian intervention by
Cover of the book Integrating Agriculture, Conservation and Ecotourism: Examples from the Field by
Cover of the book Enantioselective Organocatalyzed Reactions I by
Cover of the book Crowdsourcing Geographic Knowledge by
Cover of the book Basic Statistics by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy