Items related to Procedural Semantics for Hyperintensional Logic: Foundations...
Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic: 17 (Logic, Epistemology, and the Unity of Science, 17) - Hardcover
Transparent Intensional Logic (TIL) is the theory invented by Pavel Tichu, the Czech philosopher and logician who emigrated to New Zealand in 1970 and was a professor at the University of Otago at Dunedin up until his death in 1994. Over the last quarter of a century TIL has become a widely used system and been further developed both by the three authors and other Czech and Slovak logicians. Many articles presenting particular applications of TIL have been published, together with two books by Pavel Materna, in which he develops a new theory of concepts and conceptual systems on the basis of TIL. However, several papers have been published only in Czech or Slovak, many results have been superseded by new results that have only very recently been published, and various other results still await publication. Therefore, there is a pressing need for an updated systematic exposition of the foundations and applications of TIL. The proposed book will demonstrate how TIL lends itself to a broad range of applications. It comprises logical analysis of natural language (proposing solutions to many outstanding problems and puzzles), artificial-intelligence methods of knowledge representation, multi-agent systems in computer science, and philosophy of mathematics, among others. This book will cover all of the above, in particular new results concerning knowledge representation, attitude logic, incomplete meanings (anaphoric references), and philosophy of mathematics.
"synopsis" may belong to another edition of this title.
Product Description:
Review:
The book is about logical analysis of natural language. Since we humans communicate by means of natural language, we need a tool that helps us to understand in a precise manner how the logical and formal mechanisms of natural language work. Moreover, in the age of computers, we need to communicate both with and through computers as well. Transparent Intensional Logic is a tool that is helpful in making our communication and reasoning smooth and precise. It deals with all kinds of linguistic context in a fully compositional and anti-contextual way.
From the reviews:
“The text describes the origins and notations of a new symbolic system of variables and derives completed thoughts likely to be important to future research in Logic. The book is a welcome addition to any student’s logic library and or reading list at both graduate/undergraduate levels.” (Joseph J. Grenier, Amazon.com, November, 2013)"About this title" may belong to another edition of this title.
- PublisherSpringer
- Publication date2010
- ISBN 10 9048188113
- ISBN 13 9789048188116
- BindingHardcover
- Number of pages563
Buy New
Learn more about this copy
£ 179.11
Shipping:
FREE
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Seller Image
Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic (Logic, Epistemology, and the Unity of Science (17)) by Duà ¾à Â, Marie, Jespersen, Bjorn, Materna, Pavel [Hardcover ]
Seller:
Rating
Book Description Hardcover. Condition: new. Seller Inventory # 9789048188116
Buy New
£ 179.11
Convert currency
Stock Image
Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic (Logic, Epistemology, and the Unity of Science, 17)
Published by
Springer
(2010)
ISBN 10: 9048188113
ISBN 13: 9789048188116
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Apr0316110339625
Buy New
£ 191.10
Convert currency
Stock Image
Procedural Semantics for Hyperintensional Logic : Foundations and Applications of Transparent Intensional Logic
Published by
Springer
(2010)
ISBN 10: 9048188113
ISBN 13: 9789048188116
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9789048188116_lsuk
Buy New
£ 191.70
Convert currency
Seller Image
Procedural Semantics for Hyperintensional Logic
Published by
Springer Netherlands
(2010)
ISBN 10: 9048188113
ISBN 13: 9789048188116
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. provides a much-needed comprehensible, elaborate and systematic exposition of the foundations of Transparent Intensional Logicdemonstrates how Transparent Intensional Logic lends itself to a broad range of applicationspresents new results concerning knowled. Seller Inventory # 5822434
Buy New
£ 160.03
Convert currency
Seller Image
Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic
Published by
SPRINGER NATURE Jul 2010
(2010)
ISBN 10: 9048188113
ISBN 13: 9789048188116
New
Hardcover
Quantity: 2
Seller:
Rating
Book Description Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The book is about logical analysis of natural language. Since we humans communicate by means of natural language, we need a tool that helps us to understand in a precise manner how the logical and formal mechanisms of natural language work. Moreover, in the age of computers, we need to communicate both with and through computers as well. Transparent Intensional Logic is a tool that is helpful in making our communication and reasoning smooth and precise. It deals with all kinds of linguistic context in a fully compositional and anti-contextual way. 550 pp. Englisch. Seller Inventory # 9789048188116
Buy New
£ 188.64
Convert currency
Seller Image
Procedural Semantics for Hyperintensional Logic : Foundations and Applications of Transparent Intensional Logic
Published by
Springer Nature Singapore
(2010)
ISBN 10: 9048188113
ISBN 13: 9789048188116
New
Hardcover
Quantity: 2
Seller:
Rating
Book Description Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book is about Transparent Intensional Logic, the brainchild of Pavel Tichý. Three books and around 100 papers on Transparent Intensional Logic have till now seen the light of day since the mid-1960s. So why a book of more than 500 pages now For two reasons. Firstly, Transparent Intensional Logic is a theory without something like a textbook. Now this is not an actual textbook, if a textbook is a patient introduction garnished with exercises and solutions; nor is it a teach-yourself-in-a-week manual for the uninitiated-but-curious. But we, the three authors, have striven to write an accessible one-stop survey of Transparent Intensional Logic that may be read by advanced students of logic, semantics, linguistics, informatics, computer science, and kindred disciplines. Secondly, logical semantics is a field progressing by leaps and bounds, and much has happened since Tichý put out his first and only book in 1988. We thought it was about time for us to assemble in one place the most important - tensions, improvements and applications stemming from the last several years that address issues not dealt with either at all or only cursorily by Tichý. We have also made a point of flagging various unsettled issues in the theory's edifice and of - dicating the general direction in which we expect solutions are most likely to be found. Seller Inventory # 9789048188116
Buy New
£ 191.99
Convert currency