If you made any changes in Pure these will be visible here soon.

Personal profile

Research interests

Foundations and Philosophy of Mathematics, in particular Logic.

Social Choice Theory, in particular Election mechanisms.

Career

 

Prof. dr. H.C.M. (Harrie) de Swart (05-09-1944) was Professor in Logic and Language Analysis in the department of Philosophy at Tilburg University from 1980 till 2009. He studied mathematics and physics at Nijmegen University from 1962 till 1966, where he became assistent and later associate professor, first in the department of Mathematics and later in the department of Philosophy. He defended his Ph.D. thesis on intuitionistic logic in 1976 with Johan de Iongh as promotor. The academic year 1976-1977 was spent as Visiting Fellow in the department of History and Philosophy of Science of Princeton University, USA. Presently he is teaching logic and social choice theory at the department of Philosophy of the Erasmus University in Rotterdam.

 

Prof. de Swart has served as organizing chair of three international conferences and as program committee member in several others. He has published 16 books either as author or as (co-) editor, and almost 70 articles in academic journals. Up till now he was promotor of 19 Ph.D. students in different fields: logic and automated reasoning, logic and social choice theory, and foundations and philosophy of mathematics. Two more Ph.D. theses under his guidance are presently in preparation.

 

Teaching

Logic

Social Choice Theory

Keywords

  • Logic And Philosophy Of Language
  • Logic
  • Language Analysis
  • Artificial Intelligence
  • Philosophy
  • Voting Mechanisms
  • Fallacies And Unfair Methods Of Discussion
  • Social Choice Theory
  • Electoral Systems
  • Foundations Of Mathematics
  • Election Mechanisms
  • Knowledge Technology

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

Relation Algebra Mathematics
Simple Game Mathematics
Algebraic Approach Mathematics
Axiomatization Mathematics
Tournament Mathematics
Algebraic Specification Mathematics
Axioms Mathematics
Computing Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1975 2019

The Nijmegen School of Intuitionism

de Swart, H. 2019 The Signific Circle and the Vienna Circle: Intersections. Alberts, G., Bergmans, L. & Muller, F. A. (eds.). Springer Verlag

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Philosophical and Mathematical Logic

de Swart, H. 2018 Springer Verlag. 555 p. (Springer Undergraduate texts in Philosophy)

Research output: Book/ReportBookProfessional

Experimental Results about Linguistic Voting

de Swart, H. & Zahid, M. 2016 In : AUCO Czech Economic Review. 9, p. 170-187

Research output: Contribution to journalArticleScientificpeer-review

The Borda Majority Count

de Swart, H. & Zahid, M. 2015 In : Information Sciences. p. 429-440

Research output: Contribution to journalArticleScientificpeer-review

Activities 2000 2007

  • 18 Oral presentation
  • 3 Invited talk
  • 1 Membership of committee

Seminar on Computational Issues in Social Choice

de Swart, H. (Speaker)
24 Oct 2007

Activity: Oral presentationScientific

Radboud Universiteit Nijmegen (External organisation)

de Swart, H. (Member)
28 Nov 2007

Activity: Membership of committeeScientific

Characterisations of List PR and FPTP systems

de Swart, H. (Speaker)
26 Sep 2007

Activity: Oral presentationScientific

1st International Conference on Computational Social Choice

de Swart, H. (Keynote speaker)
6 Dec 2006

Activity: Invited talkScientific

Colloque International: La recherche du divin à travers l'espace

de Swart, H. (Speaker)
15 Apr 2006

Activity: Oral presentationScientific

Projects 1992 2005

Hintikka's Revolution in the Foundations of Mathematics

de Swart, H. & Dechesne, F.

1/09/0031/08/04

Project: Research project

Vergelijken van verkiezingsmechanismen

de Swart, H. & van der Hout, E.

1/03/9930/06/05

Project: Research project

Common Knowledge and the Foundations of Social Sciences

de Swart, H.

1/01/9431/12/04

Project: Research project

Integration of object-oriented and logic programming

de Swart, H.

1/01/9331/12/97

Project: Research project

Deductieve databases

de Swart, H.

1/07/9231/12/03

Project: Research project