Harrie de Swart
| Harrie de Swart | ||||
|---|---|---|---|---|
| Persoonlijke gegevens | ||||
| Geboortedatum | 5 september 1944 | |||
| Nationaliteit |  Nederland | |||
| Beroep | filosoof, academisch docent | |||
| Academische achtergrond | ||||
| Alma mater | Radboud Universiteit | |||
| Promotor(s) | Johan de Iongh | |||
| Wetenschappelijk werk | ||||
| Vakgebied(en) | Filosofie en logica | |||
| Bekende werken | Intuitionistic logic in intuitionistic metamathematics 1976 | |||
| ||||
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.[1] Met Evert Willem Beth en Dirk van Dalen geldt hij in Nederland als een van de autoriteiten in het grondslagenonderzoek.[2]
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 zijn 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.[1] 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 zijn vakgebied grondslagen van de wiskunde, logica, taalanalyse en sociale keuze theorie begeleidde hij een 20-tal promovendi.[1][3]
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
Externe link
- 1 2 3 4 5 (en) Harrie de Swart - Tilburg University. Tilburg University. Geraadpleegd op 29 september 2025.
- ↑ van Ulsen, Paul, E.W. Beth als logicus [Thesis, fully internal, Universiteit van Amsterdam]. Universiteit van Amsterdam. ILLC dissertation series 2000-04 (2000). Geraadpleegd op 29 september 2025.
- ↑ De Swart was als hoogleraar in Tilburg in 2008 betrokken bij de het vastgelopen voortraject aan de TU Eindhoven van de promotie van Marcoen Cabbolet in 2011. Zie Afblazen promotie Marcoen Cabbolet