Skip to main content

School of Philosophy

  • Home
  • People
  • Events
    • Event series
    • Conferences
      • Past conferences
    • Past events
  • News
    • Audio/Video Recordings
  • Research
  • Study with us
    • Prizes and scholarships
  • Visit us
  • Contact us

Centres & Projects

  • Centre for Consciousness
  • Centre for Moral, Social and Political Theory
  • Centre for Philosophy of the Sciences
  • Humanising Machine Intelligence

Related Sites

  • Research School of Social Sciences
  • ANU College of Arts & Social Sciences

Centre for Consciousness

Related Sites

Centre for Moral, Social and Political Theory

Centre for Philosophy of the Sciences

School of Philosophy

Administrator

Breadcrumb

HomeUpcoming EventsKoji Tanaka (Auckland): Diagrams, Proofs, and The Norms of Reasoning
Koji Tanaka (Auckland): Diagrams, Proofs, and the Norms of Reasoning

Logicians and mathematicians often use diagrams. Diagrams are helpful in coming up with a proof and understanding logical and mathematical concepts. But can a diagram be a proof? Several attempts have been made to provide a positive answer to this question. In this paper, I will examine the relationship between a proof and logical/mathematical reasoning and show that there are two kinds of norms of reasoning that a proof must embody. Based on this examination, I will show that some of the reasons that have been given in the literature to support the claim that diagrams can be proofs are problematic. More importantly, I will argue that the question is, in fact, misguided. I will conclude by suggesting an alternative way of understanding the nature of proofs.

Date & time

  • Thu 06 Nov 2014, 4:00 pm - 6:00 pm

Location

Coombs Seminar Room C

Event Series

Philosophy Departmental Seminars