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 ...
Read More
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.
Read Less
Add this copy of The Philosophical Status of Diagrams to cart. $41.50, like new condition, Sold by Margaret Taylor Books rated 5.0 out of 5 stars, ships from santa cruz, CA, UNITED STATES, published 2001 by Center for the Study of Language and Information Publica Tion.
Edition:
2001, Centre for the Study of Language & Information
Add this copy of The Philosophical Status of Diagrams (Volume 116) to cart. $63.09, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2001 by Center for the Study of Langua.
Edition:
2001, Centre for the Study of Language & Information
