Description

The use of diagrams in logic and geometry has encountered resistence throughout the years. For a proof to be valid in geometry it must not rely on the graphical properties of a diagram. In logic the teaching of proofs depends on the sentenial representations, ideas formed as natural language sentences such as "if A is true and B is true...". No serious formal proof system is based on diagrams. This text explores the reasons why structured graphics have been ignored in modern formal theories of axiomatic systems. The effects of historical forces on the evolution of diagrammatically-based systems of inference in logic and geometry are explored, from antiquity to the early 20th-century work of David Hilbert. From this exploration emerges an understanding that the present negative attitudes towards the use of diagrams in logic and geometry owe more to implicit appeals to their history and philosophical background than to any technical incompatibility with modern theories of logical systems.

The Philosophical Status of Diagrams

Product form

£52.00

Includes FREE delivery
Usually despatched within 5 days
Hardback by Mark Greaves

1 in stock

Short Description:

The use of diagrams in logic and geometry has encountered resistence throughout the years. For a proof to be valid... Read more

    Publisher: Centre for the Study of Language & Information
    Publication Date: 01/03/2001
    ISBN13: 9781575862934, 978-1575862934
    ISBN10: 157586293X

    Number of Pages: 221

    Description

    The use of diagrams in logic and geometry has encountered resistence throughout the years. For a proof to be valid in geometry it must not rely on the graphical properties of a diagram. In logic the teaching of proofs depends on the sentenial representations, ideas formed as natural language sentences such as "if A is true and B is true...". No serious formal proof system is based on diagrams. This text explores the reasons why structured graphics have been ignored in modern formal theories of axiomatic systems. The effects of historical forces on the evolution of diagrammatically-based systems of inference in logic and geometry are explored, from antiquity to the early 20th-century work of David Hilbert. From this exploration emerges an understanding that the present negative attitudes towards the use of diagrams in logic and geometry owe more to implicit appeals to their history and philosophical background than to any technical incompatibility with modern theories of logical systems.

    Customer Reviews

    Be the first to write a review
    0%
    (0)
    0%
    (0)
    0%
    (0)
    0%
    (0)
    0%
    (0)

    Recently viewed products

    © 2025 Book Curl,

      • American Express
      • Apple Pay
      • Diners Club
      • Discover
      • Google Pay
      • Maestro
      • Mastercard
      • PayPal
      • Shop Pay
      • Union Pay
      • Visa

      Login

      Forgot your password?

      Don't have an account yet?
      Create account