Universität Wien FIND
Warning! The directory is not yet complete and will be amended until the beginning of the term.

180178 KU Mathematical Intuitionism (2019S)

5.00 ECTS (2.00 SWS), SPL 18 - Philosophie
Continuous assessment of course work

Registration/Deregistration

Details

max. 30 participants
Language: English

Lecturers

Classes (iCal) - next class is marked with N

Thursday 02.05. 16:45 - 18:15 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
Thursday 09.05. 16:45 - 18:15 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
Thursday 16.05. 16:45 - 18:15 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
Thursday 23.05. 16:45 - 18:15 Hörsaal 3F NIG 3.Stock
Thursday 23.05. 18:30 - 20:00 Hörsaal 3F NIG 3.Stock
Wednesday 29.05. 16:45 - 18:15 Hörsaal 3B NIG 3.Stock
Thursday 06.06. 16:45 - 18:15 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
Thursday 06.06. 18:30 - 20:00 Hörsaal 3F NIG 3.Stock
Thursday 13.06. 16:45 - 18:15 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
Thursday 27.06. 16:45 - 18:15 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien

Information

Aims, contents and method of the course

The course introduces and analyses the issues of epistemology and philosophy of mathematics that fall under the label intuitionism. Our overview of intuitionism starts with (a) the classic introductions of Shapiro and Pust, who outline the notion of intuition in mathematics and epistemology, respectively. Hence emerges the significance of the notion for the mathematical and the philosophical practice. Statements such as if not-not-p, then p represent a source of evidence for further statements. The former statements are usually called intuitions. In this sense, all logical tautologies, natural deduction, and algebraic axioms are intuitive. Logical justifications and mathematical foundations equally rely on such evidence. The course will first explore the turning point of intuitionism represented by (b) the Kantian account, where mathematical statements are reduced to intuition-based constructions. This part refers to the readings of Hintikka, Parsons, Posy, and Maddy. From the Kantian account, (c) Brouwer seems to derive the intuition of two-oneness, the basal intuition of his mathematics, which creates not only the numbers one and two, but also all finite ordinal numbers. Our analysis of Brouwer’s algebraic intuitionism will include Heyting and Dummett. In relation to Brouwer, we will also consider the (d) perceptual intuitionism of Gödeland Hilbert in the readings of Burgess and Parsons, and (e) Tieszen’s account of Husserl’s phenomenological intuition. Common to all mathematical intuitionists is the idea that a mathematical statement corresponds to a mental construction, and a mathematician can assert the truth of a statement only by verifying the validity of that construction by intuition. The last two parts of our course are devoted to epistemic intuitions. In epistemology, (f) intuitions offer the ultimate evidence or justification for our theories(Chudnoff, Pust). However, lately some scholars such as Cappellan were influenced by (g) deflationist readings of Lewis and Williamson, who reduce intuitions to believes or dispositions to believe. We will finally devote our attention to their arguments.

Assessment and permitted materials

Minimum requirements and assessment criteria

Examination topics

Reading list

(a) Introduction to Intuitionism (Pust, Shapiro)

(b) Kantian Intuitionism (Hintikka, Kant, Maddy, Parsons, Posy)

(c) Mathematical Intuitionism (Brouwer, Dummett, Heyting, Tieszen, Van Atten)

(d) Gödeland Hilbert on Intuitions and Perceptions(Burgess, Parsons, Tieszen)

(e) Phenomenological Intuition (Tieszen)

(f) Epistemic Intuitions as Evidence or Justification

(g) Deflationist Theories of Intellectual Intuition (Cappellan,Williamson)

Association in the course directory

Last modified: Th 02.05.2019 16:08