philosophical logic artificial intelligence (12 Ergebnisse)

Zustand: Fine. First edition, first printing, 228 pp., Hardcover, previous owner's name to front free endpaper else fine. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.

Hardcover. Zustand: Good. 222pp. Laminated printed paper-covered boards, white titles on front and spine. 8vo. Front board lightly soiled. Spine heavily sun-faded with two shelf number stickers at heel held with tape that extends onto the boards. Top and fore edges have lender's rubber stamp. Endpapers starting to tan. Various lender's stamps and markings on prelims, stamp on last page, otherwise internally neat, clean, bright and tight.

Zustand: New. In.

Zustand: New. In.

Hardcover. Zustand: Very Good. 1. Auflage. Institutsstempel, kaum Nutzspuren.

Gebunden. Zustand: New.

Zustand: New.

Paperback. Zustand: Brand New. 1989 edition. 232 pages. 9.25x6.10x0.53 inches. In Stock.

Zustand: New. Editor(s): Thomason, Richmond H. Num Pages: 222 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 14. Weight in Grams: 504. . 1989. Partly reprinted from journal of philosophical lo. Hardback. . . . . Books ship from the US and Ireland.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.

Dordrecht 1989. (v),222 p. bound ($ 121,50).