Books by splitShops

The Logical Status of Diagrams - Paperback

$81.09

Tax not included.
Shipping calculated at checkout.

In stock

Order Note:

Purchase Information

Shipping charges, applicable taxes, the final order total, and available payment methods are shown during checkout before payment. Delivery timing varies by item and fulfillment origin. Standard U.S. returns are by mail for eligible new, unopened items within 30 days of carrier delivery. Customers pay standard return shipping; there is no restocking fee. Approved refunds are issued within 5 business days after the return is received and inspected. Standard exchanges are not offered.

Cindi Book items have a flat $9.99 shipping charge. Shopify Collective items use shipping rates set by the supplier. Orders containing items from different fulfillment sources may include more than one shipping charge. Your full shipping total is shown at checkout before payment.

Return eligibility is subject to the full policy. Opened, read, or unsealed books with broken seals or visible wear are final sale. Digital downloads, gift cards, and personalized products are non-refundable. Original shipping charges are not refunded for standard returns. Contact us within 7 days of delivery about damaged, defective, or incorrect items.

by Sun-Joo Shin (Author), Shin Sun-Joo (Author)

Diagrams 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 proof. This book challenges the prejudice against visualization 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 and specifies rules of transformation that make this system sound and complete. The soundness of the diagrammatic system refutes the contention that graphical representation is misleading in reasoning. The book concludes with a discussion of some fundamental differences between graphical systems and linguistic systems.

Back Jacket

Diagrams 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 visualization 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.

Number of Pages: 212
Dimensions: 0.48 x 9 x 6 IN
Publication Date: March 12, 2009

Pay with

  • Amazon
  • Apple Pay
  • Diners Club
  • Discover
  • Google Pay
  • Mastercard
  • PayPal
  • Shop Pay
  • Visa

Available payment methods and your final total are shown at checkout before payment.

$81.09