Iris v. Rooijen: Disjunktionsegenskaper och existensegenskaper inom intuitionistisk logik
Tid: Ti 2012-06-05 kl 11.15 - 12.15
Plats: Rum 21, hus 5, Kräftriket, Matematiska institutionen, Stockholms universitet
Handledare: Erik Palmgren
Den största skillnaden mellan intuitionistisk logik och klassisk logik är att matematiska objekt tolkas som mentala konstruktioner istället för ting i en yttre värld. Då ändras tolkningen på disjunktionsegenskapen, eftersom lagen om det uteslutna tredje inte längre gäller och existensegenskapen för ett objekt, eftersom vi inte kan härleda existens med hjälp av reductio ad absurdum. Jag tänkte undersöka vad det kan få för följder att ha detta tankesätt, till exempel: Hur tolkas sanning inom intuitionistisk logik? Vad kan vi veta om våra mentala objekt? Och varför kan man tänka sig att ogiltigförklara reductio ad absurdum och lagen om det uteslutna tredje?