Studieordning for Filosofi og Videnskabsteori - ACE Denmark

3/3, 2007 “Skematisering og konstruktion
af de reelle tal”
11. Philosophy of Mathematics (Paris) 19/6, 2007 “The philosophical significance
of G¨odel’s Dialectica
interpretation”
12. Formalizing Actions (Roskilde) 22/6, 2007 “Kant, truth
and action”
13. Dansk Filosofisk Selskabs ° Arsmøde
(Odense)
8/3, 2007 “Music and language”
Klaus Frovin Jørgensen
— Curriculum Vitae 5
Diverse foredrag
5/10 1995 Bevisteori Institutseminar ved IMFUFA; sammen med
G. Andersen, L. Jeppesen
og I. Zeck.
21/7 1998 U¨ ber eine neue Methode von
Coquand
und Hofmann
Oberseminar ved Matematisk Institut, M¨unchen
Universitet.
11/11 1999 Matematiske modeller i videnskabsteorien
Institutseminar ved IMFUFA.
2/6 2000 Matematikkens filosofi Foredrag ved kursus i videnskabsteori, Naturvidenskabelig
Basisuddannelse, Roskilde.
11/11 2000 Den filosofiske betydning af formelle
undersøgelser
Dansk forskning i matematikkens historie og
filosofi III, Holbæk.
24/4 2001 On constructivity in finite type
arithmetic
Institutseminar ved Institut Mittag-Leffler,
Stockholm.
6/10 2001 Matematik og kunsten at generere
sande sætninger
Filosofi & Videnskabsteori, RUC.
6/2 2002 Om det uendelige Filosofi & Videnskabsteori, RUC
23/5 2002 On Constructivity in Finite Type
Arithmetic
Logik-seminar ved Oslo Universitet.
9/1 2004 Matematik og det uendelige Roskilde Amtsgymnasium.
31/1 2005 Om skematisering hos Kant Filosofi & Videnskabsteori, RUC.
6/10 2005 Regler og sandhed HUMBAS, RUC.
10/1 2006 Kant’s schematism and the foundations
of mathematics
PhD-forsvar, RUC
8/2 2007 Skematisme, matematik og holisme
DPU
16/5 2007 Musik og sprog RUC
6/9 2007 Skematisme og matematikfilosofi RUC
Forsknings-administration og forskningskontakter
_ Arbejdede i 1997–98 som sekretær for Dansk Netværk i Matematikkens Historie og Filosofi. Jeg
redigerede nyhedsbreve og var medarrangør af en længere række internationale og nationale konferencer
(se ovenfor). Har sidenhen været en del af Netværkets arbejdsgruppe og var bl.a. ansvarlig for
et ugelangt besøg i august 2000 af Douglas Bridges (Christchurch). Er stadigvæk tilknyttet netværket
og er p.t. med i en bevilling fra forskningsr°adet p°a 500.000,- kr.
_ I 1999 og 2000 var jeg redaktør af PhD-kataloget fra Sydskandinavisk Konsortium for Videnskabsforskning.
Først i en papirudgave, sidenhen i en web-udgave.
Klaus Frovin Jørgensen — Curriculum Vitae 6
_ I kraft af mine udlandsophold og mit engagement med Dansk Netværk i Matematikkens Filosofi
og Historie har jeg oparbejdet en stor og vigtig kontaktflade. I internationalt regi kunne man nævne
Solomon Feferman (Stanford), Wilfried Sieg (CMU), Ulrich Berger (Swansea), Helmut Schwichtenberg
(M¨unchen), Jim Brown (Toronto), Paolo Mancosu (Berkeley), Marcus Giaquinto (London), Jeff
Paris (Manchester), Ulrich Kohlenbach (Darmstadt), og mange andre.
Editor-funktioner og lignende
• Reviews-editor af Studia Logica – An International Journal for Symbolic Logic.