Filosofie van de Logica

Inhoud

• Week 1. Albert Visser heeft hoofdstuk 9 uit "Logic Logic and Logic" van George Boolos behandeld. Verder zijn er afspraken gemaakt over het verloop van het college.
• Week 2. De eerste 35 bladzijden uit "Die Grundlagen der Arithmetik" (GA) van Gottlob Frege zullen worden besproken. Een voordracht is gehouden door Nico Krijn. Zijn aantekeningen zijn hieronder te verkrijgen. Verder had hij een interessante link naar een site waar onder andere biografieen van wiskundigen zijn op te halen.
  Aantekeningen van de eerste 35 blz "Grundlagen", door Nico Krijn
  [ msword | Postscript| Pdf formaat] Verder is er gesproken over de vierdeling van de ssorten kennis volgens Frege. Albert verwoordt het als volgt:
  
  *Analytisch: deductief `gegrond' in logische wetten (er is een deductieve keten die begint met logische wetten, die de gegeven propositie als conclusie heeft.)
  
  *Synthetisch: niet analytisch
  
  *A priori: deductief `gegrond' in algemene inzichten (er is een deductieve keten die begint met algemene inzichten, die de gegeven propositie als conclusie heeft)
  
  *A posteriori: niet a priori.
  
  Merk op: Analytisch impliceert a priori, omdat logische wetten algemene inzichten zijn. Met contrapositie vinden we dat a posteriori, synthetisch impliceert.
• Week 3. GA is voor twee derde gelezen en dit deel is besproken en samengevat. Een samenvatting is hieronder te vinden.
  
  Aantekeningen van "Grundlagen", door Kees-Jan van de Looi
  [ dvi formaat | Postscript| Pdf formaat]
• Week 4. GA plenair behandelen.
• Week 5. Mark van Atten geeft een voordracht over de filosofie van Husserl. Hij zal een artikel van Husserl bespreken. De titel van dit artikel is "On the Logic of Signs (Semiotic)".
  From Husserl, E.
  Early writings in the philosophy of logic and mathematics. Translated by Dallas Willard.
  Dordrecht etc. : Kluwer 1994.
• Week 6. Lev Beklemishev geeft een voordracht over theorien en hun ordinalen.