{"product_id":"the-logical-status-of-diagrams-hardback-9780521461573","title":"The Logical Status of Diagrams (Hardback) 9780521461573","description":"\u003cfont face=\"Georgia\"\u003e\r\n\u003cp\u003e\u003cfont size=\"6\"\u003eThe Logical Status of Diagrams\u003c\/font\u003e\u003cbr\u003e\r\n\r\n\r\n\u003c\/p\u003e\n\u003cp\u003e\u003cem\u003eThis groundbreaking work will have important influence on research in logic, philosophy and knowledge representation.\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003cp\u003e\u003cfont size=\"4\"\u003eSun-Joo Shin (Author)\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e9780521461573, Cambridge University Press\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eHardback, published 27 January 1995\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e212 pages, 148 b\/w illus.\u003cbr\u003e23.5 x 15.8 x 1.5 cm, 0.467 kg\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\r\n\u003cp align=\"justify\"\u003e\u003cem\u003e\u003cfont size=\"3\"\u003e\"Shin has shown that sysytems of diagrams can be developed that precisley parallel axiomatic formal systems for monadic predicate logic....Shin correctly points out what diagram systems and verbal systems can both do...that realistic pictures...can't.\"    Phillip L. Peterson, Philosophy in Review\u003c\/font\u003e\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\u003cp align=\"justify\"\u003e\u003cstrong\u003e\u003cfont size=\"3\"\u003eDiagrams are widely used in reasoning about problems in physics, mathematics and logic, but have traditionally been considered to be only heuristic tools and not valid elements of mathematical proofs. This book challenges this prejudice against visualisation in the history of logic and mathematics and provides a formal foundation for work on natural reasoning in a visual mode. The author presents Venn diagrams as a formal system of representation equipped with its own syntax and semantics and specifies rules of transformation that make this system sound and complete. The system is then extended to the equivalent of a first-order monadic language. The soundness of these diagrammatic systems refutes the contention that graphical representation is misleading in reasoning. The validity of the transformation rules ensures that the correct application of the rules will not lead to fallacies. The book concludes with a discussion of some fundamental differences between graphical systems and linguistic systems. This groundbreaking work will have important influence on research in logic, philosophy and knowledge representation.\u003c\/font\u003e\u003c\/strong\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eAcknowledgements\u003cbr\u003e 1. Introduction\u003cbr\u003e 2. Preliminaries\u003cbr\u003e 3. Venn-I\u003cbr\u003e 4. Venn-II\u003cbr\u003e 5. Venn-II and L0\u003cbr\u003e 6. Diagrammatic versus linguistic representation\u003cbr\u003e 7. Conclusion\u003cbr\u003e Appendix\u003cbr\u003e References\u003cbr\u003e Index.\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eSubject Areas: Mathematical logic [\u003ca title=\"See our other books on Mathematical logic\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Mathematical%20logic%20%5BPBCD%5D%22\"\u003ePBCD\u003c\/a\u003e]\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003c\/font\u003e","brand":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":46005915517208,"sku":"9780521461573","price":100.19,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0730\/2037\/5320\/products\/9780521461573i_727a9321-0e48-41cc-98af-564ff8af4bd5.jpg?v=1691382432","url":"https:\/\/freshlyprintedbooks.co.uk\/products\/the-logical-status-of-diagrams-hardback-9780521461573","provider":"Freshly Printed Books","version":"1.0","type":"link"}