Harrie de Swart

Harrie de Swart
Plaats uw zelfgemaakte foto hier
Persoonlijke gegevens
Geboortedatum 5 september 1944
Nationaliteit Vlag van Nederland Nederland
Academische achtergrond
Alma mater Radboud Universiteit
Promotor Johan de Iongh
Wetenschappelijk werk
Vakgebied Filosofie en logica
Bekende werken Intuitionistic logic in intuitionistic metamathematics 1976
Portaal  Portaalicoon   Filosofie

Henricus Cornelius Maria (Harrie) de Swart (5 september 1944) is een Nederlands wiskundige en oud-hoogleraar in de filosofie van de wiskunde aan de Universiteit van Tilburg, aan de Radboud Universiteit in Nijmegen en de Erasmus Universiteit in Rotterdam. Met Evert Willem Beth en Dirk van Dalen geldt hij in Nederland als een van de autoriteiten in het grondslagenonderzoek.[bron?]

Levensloop

De Swart studeerde wiskunde en natuurkunde aan de Katholieke Universiteit Nijmegen van 1962 tot 1966. In 1976 promoveerde hij hier onder Johan de Iongh op een proefschrift over institutionele logica.[1]

Na z'n afstuderen was De Swart zijn academische loopbaan begonnen aan de Universiteit van Nijmegen op de afdeling Wiskunde faculteit en later op de afdeling filosofie. Na z'n promotie was hij een jaar onderzoeker aan de Princeton Universiteit op de afdeling Geschiedenis van de Wetenschapsfilosofie. Terug in Nederland werd hij hoogleraar aan de Universiteit van Tilburg, en gaf hij verder les aan de Universiteiten van Nijmegen en Rotterdam.[1]

Op z'n vakgebied grondslagen van de wiskunde, logica, taalanalyse en sociale keuze theorie begeleidde hij een 20-tal promovendi.[1][2]

Bibliografie

  • D. van Dalen, H.C. Doets en H.C.M. de Swart: Verzamelingen: naïef, axiomatisch, toegepast, Oosthoek, Scheltema & Holkema, Utrecht 1975
  • H.C.M. de Swart: Intuitionistic logic in intuitionistic metamathematics, proefschrift, 1976, Nijmegen, geen ISBN
  • H.C.M. de Swart, H.G. Hubbeling: Inleiding tot de symbolische logica, 1976, Assen: Van Gorcum, ISBN 90-232-1421-8
  • H.C.M. de Swart: Filosofie van de wiskunde, 1989, Leiden: Nijhoff, ISBN 90-6890-273-3
  • A.J.A. Storcken en H.C.M. de Swart: Verkiezingen, agenda's en manipulatie: een inleiding tot de sociale keuzetheorie, 1992, Utrecht, Epsilon Uitgaven, ISBN 90-5041-029-4
  • H.C.M. de Swart: Elementaire wiskunde, 1997, Zutphen, Thieme, ISBN 90-03-68200-3