Streams

AAPNZ 2009
Philosophy of Biology
Further information coming soon.
Pictures, Proofs, and the Philosophy of Mathematics
“…to draw a figure and tell a story about it” asserted eminent scholar David Fowler as he notoriously characterized Greek mathematics. Indeed, from the very first works on deductive mathematics, diagrams have been pivotal. Many mathematical texts of times past have included diagrams as an essential element of a proof and there are numerous branches of modern mathematics that make considerable use of diagrams in their formal reasoning processes. However this aspect of mathematics, which has rested somewhat awkwardly within the traditional logical conception of proof, has been little investigated. From Euclid’s Elements to Venn diagrams, from Category theory to Topology, this session seeks papers which exemplify and explore the use of the diagrammatic in mathematics and logic.