Workshop: Critical views of logic

The workshop explores what we call “critical views of logic”. Following Frege, logic is often regarded as epistemologically and methodologically fundamental. All disciplines--including mathematics--are answerable to logic rather than vice versa. Critical views of logic disagree; Kant, Poincaré, and Brouwer are prominent examples. The logical principles that govern some subject matter may depend on the metaphysics of this subject matter or the semantics of our discourse about it. The notions of potential infinity and indefinite extensibility are important in this regard. Many theorists claim that a potentially infinite domain calls for intuitionistic logic, not classical.



August 29           

  • 9.00 – 9.15   Øystein Linnebo, Welcome

Morning Session, Chair: Øystein Linnebo

  • 9.15 – 10.30 Carl Posy, Hebrew University of Jerusalem: “Infinity and the Critical Turn: Revisiting Kant and Brouwer”
  • 10.45 – 12.00 Frode Kjosavik, Norwegian University of Life Sciences: “Kant on the possibilities of mathematics and the scope and limits of logic”


Afternoon Session, Chair: Frode Kjosavik

  • 13.00 – 14.15  Dora Achourioti, University of Amsterdam: ”Kant, Logic and Truth”
  • 14.30 – 15.45. Per Martin-Löf, Stockholm University: “Assertion and request”
  • 16.00 – 17.15 Mirja Hartimo, University of Jyväskylä: “Logic and Husserl’s Philosophy of Mathematics”


August 30

Morning Session, Chair: Dagfinn Føllesdal

  • 9.00 – 10.15 Mark van Atten, CNRS: “Dummett vs Brouwer”
  • 10.30 – 11.45 Øystein Linnebo, University of Oslo: “Dummett on indefinite extensibility”


Afternoon Session, Chair: Mirja Hartimo

  • 12.45 – 14.00 Göran Sundholm, Leiden University: “Completeness Theorem? So what!” 
  • 14.15 – 15.30 Ole Hjortland, University of Bergen: “Theories of truth and the maxim of minimal mutilation”
  • 15.45 – 17.00 John Wigglesworth, University of Vienna: “Logical Anti-Exceptionalism and Theoretical Equivalence”


Funded by NMBU  and ConceptLab


Øystein Linnebo and Mirja Hartimo
Published Nov. 15, 2016 9:11 AM - Last modified Aug. 24, 2017 11:00 AM