Johan van Benthem

Dutch philosopher
Person human Q1692111
Press Enter · cited answer in seconds

Johan van Benthem

Summary

Johan van Benthem is a human[1]. He was born in Rijswijk[2]. He worked as a philosopher[3], university teacher[4], and academic[5]. He ranks in the top 0.73% of human entities by monthly Wikipedia readership (20 views/month, #7,283 of 1,000,298).[6]

Key Facts

  • Johan van Benthem was born in Rijswijk[2].
  • Johan van Benthem held citizenship in Kingdom of the Netherlands[7].
  • English was Johan van Benthem's native language[8].
  • Johan van Benthem's professions included philosopher[3].
  • Johan van Benthem worked as a university teacher[4].
  • Johan van Benthem's professions included academic[5].
  • Johan van Benthem's field of work was philosophy[9].
  • Johan van Benthem was employed by University of Amsterdam[10].
  • Among Johan van Benthem's employers was Stanford University Philosophy Department[11].
  • Johan van Benthem was employed by University of Groningen[12].
  • Johan van Benthem was employed by Stanford University[13].
  • Johan van Benthem's education included a stint at University of Amsterdam[14].
  • Johan van Benthem's doctoral advisor was Martin Löb[15].
  • Johan van Benthem's doctoral advisor was Steven Karl Thomason[16].
  • Johan van Benthem received the Spinoza Prize[17].
  • Johan van Benthem received the Knight of the Order of the Netherlands Lion[18].
  • Johan van Benthem's image is recorded as JohanvanBenthem1996.jpg[19].
  • Johan van Benthem is recorded as male[20].
  • Johan van Benthem's instance of is recorded as human[21].
  • Johan van Benthem supervised Hans Pieter van Ditmarsch as a doctoral student[22].
  • Johan van Benthem supervised Jan van Eijck as a doctoral student[23].
  • Johan van Benthem supervised Carlos Areces as a doctoral student[24].
  • Johan van Benthem supervised Maarten de Rijke as a doctoral student[25].
  • Johan van Benthem supervised Marc Pauly as a doctoral student[26].
  • Johan van Benthem supervised Marco Aiello as a doctoral student[27].

Body

Origins and Family

Johan van Benthem's place of birth was Rijswijk[2]. English was his native language[8].

Education

Johan van Benthem was educated at University of Amsterdam[14]. Doctoral advisors include Martin Löb[15], a mathematician[28], 1921–2006[29], of Germany[30], specialised in mathematical logic[31] and Steven Karl Thomason[16].

Career and Affiliations

Recorded occupations include philosopher[3], university teacher[4], and academic[5]. Johan van Benthem's field of work was philosophy[9]. Employers include University of Amsterdam[10], a university[32], in Netherlands[33], founded in 1632[34], headquartered in Amsterdam[35]; Stanford University Philosophy Department[11]; University of Groningen[12], a public research university[36], in Netherlands[37], founded in 1614[38], headquartered in Groningen[39]; and Stanford University[13], a private university[40], in United States[41], founded in 1885[42], headquartered in Stanford[43]. Doctoral students include Hans Pieter van Ditmarsch[22], a logician[44], b. 1959[45], of Kingdom of the Netherlands[46], specialised in mathematical logic[47]; Jan van Eijck[23], a logician[48], b. 1951[49]; Carlos Areces[24], a computer scientist[50], b. 1971[51], of Argentina[52]; Maarten de Rijke[25], a computer scientist[53], b. 1961[54], of Kingdom of the Netherlands[55]; Marc Pauly[26]; and Marco Aiello[27], a university teacher[56], b. 1972[57], of Italy[58].

Recognition

Awards received include Spinoza Prize[17], a science award[59], in Netherlands[60], founded in 1995[61] and Knight of the Order of the Netherlands Lion[18], a grade of an order[62], in Netherlands[63], founded in 1815[64].

Why It Matters

Johan van Benthem ranks in the top 0.73% of human entities by monthly Wikipedia readership (20 views/month, #7,283 of 1,000,298).[6] He has Wikipedia articles in 7 language editions, a strong signal of global cultural recognition.[65] He is known by 7 alternative names across languages and contexts.[66]

His notable doctoral advisees include Edith Hemaspaandra[67], a computer scientist[68], b. 1964[69]; Maarten de Rijke[70], a computer scientist[71], b. 1961[72], of Kingdom of the Netherlands[73]; Wiebe van der Hoek[74], a computer scientist[75], specialised in informatics[76]; Theo M. V. Janssen[77], a mathematician[78]; Angelo Montanari[79], a computer scientist[80], specialised in computer science[81]; and Willem Groeneveld[82], a logician[83], b. 1959[84], specialised in mathematical logic[85].

FAQs

Where was Johan van Benthem born?

Born in Rijswijk[2], Johan van Benthem…

What did Johan van Benthem do for work?

Johan van Benthem worked as philosopher[3], university teacher[4], and academic[5].

Where did Johan van Benthem go to school?

Johan van Benthem was educated at University of Amsterdam[14].

What awards did Johan van Benthem receive?

Honors received include Spinoza Prize[17] and Knight of the Order of the Netherlands Lion[18].

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

  1. [19] . wikidata.org.
  2. [2] . wikidata.org.
  3. [20] . BnF authorities. Retrieved . wikidata.org.
  4. [7] . wikidata.org.
  5. [21] . BnF authorities. Retrieved . profiles.stanford.edu. Provenance: wikidata.org.
  6. [14] . wikidata.org.
  7. [9] . profiles.stanford.edu. Retrieved . profiles.stanford.edu. Provenance: wikidata.org.
  8. [8] . wikidata.org.
  9. [3] . profiles.stanford.edu. Retrieved . profiles.stanford.edu. Provenance: wikidata.org.
  10. [4] . profiles.stanford.edu. Retrieved . profiles.stanford.edu. Provenance: wikidata.org.
  11. [5] . profiles.stanford.edu. Retrieved . profiles.stanford.edu. Provenance: wikidata.org.
  12. [10] . wikidata.org.
  13. [11] . wikidata.org.
  14. [12] . wikidata.org.
  15. [13] . profiles.stanford.edu. Retrieved . profiles.stanford.edu. Provenance: wikidata.org.
  16. [17] . nwo.nl. Retrieved . nwo.nl. Provenance: wikidata.org.
  17. [18] . zoek.officielebekendmakingen.nl. zoek.officielebekendmakingen.nl. Provenance: wikidata.org.
  18. [15] . Mathematics Genealogy Project. wikidata.org.
  19. [16] . Mathematics Genealogy Project. wikidata.org.
  20. [22] . Mathematics Genealogy Project. wikidata.org.
  21. [23] . Mathematics Genealogy Project. wikidata.org.
  22. [24] . Mathematics Genealogy Project. wikidata.org.
  23. [25] . Mathematics Genealogy Project. wikidata.org.
  24. [26] . Mathematics Genealogy Project. wikidata.org.
  25. [27] . Mathematics Genealogy Project. wikidata.org.

Inverse relationships (entities pointing at this one)

  1. [67] . wikidata.org. → on this site
  2. [70] . wikidata.org. → on this site
  3. [74] . wikidata.org. → on this site
  4. [77] . wikidata.org. → on this site
  5. [79] . wikidata.org. → on this site
  6. [82] . wikidata.org. → on this site

Inline context (facts about related entities)

  1. [32] . Wikidata. wikidata.org. → on this site
  2. [33] . Wikidata. wikidata.org. → on this site
  3. [34] . Wikidata. wikidata.org. → on this site
  4. [35] . Wikidata. wikidata.org. → on this site
  5. [36] . Wikidata. wikidata.org. → on this site
  6. [37] . Wikidata. wikidata.org. → on this site
  7. [38] . Wikidata. wikidata.org. → on this site
  8. [39] . Wikidata. wikidata.org. → on this site
  9. [40] . Wikidata. wikidata.org. → on this site
  10. [41] . Wikidata. wikidata.org. → on this site
  11. [42] . Wikidata. wikidata.org. → on this site
  12. [43] . Wikidata. wikidata.org. → on this site
  13. [59] . Wikidata. wikidata.org. → on this site
  14. [60] . Wikidata. wikidata.org. → on this site
  15. [61] . Wikidata. wikidata.org. → on this site
  16. [62] . Wikidata. wikidata.org. → on this site
  17. [63] . Wikidata. wikidata.org. → on this site
  18. [64] . Wikidata. wikidata.org. → on this site
  19. [28] . Wikidata. wikidata.org. → on this site
  20. [29] . Wikidata. wikidata.org. → on this site
  21. [30] . Wikidata. wikidata.org. → on this site
  22. [31] . Wikidata. wikidata.org. → on this site
  23. [44] . Wikidata. wikidata.org. → on this site
  24. [45] . Wikidata. wikidata.org. → on this site
  25. [46] . Wikidata. wikidata.org. → on this site
  26. [47] . Wikidata. wikidata.org. → on this site
  27. [48] . Wikidata. wikidata.org. → on this site
  28. [49] . Wikidata. wikidata.org. → on this site
  29. [50] . Wikidata. wikidata.org. → on this site
  30. [51] . Wikidata. wikidata.org. → on this site
  31. [52] . Wikidata. wikidata.org. → on this site
  32. [53] . Wikidata. wikidata.org. → on this site
  33. [54] . Wikidata. wikidata.org. → on this site
  34. [55] . Wikidata. wikidata.org. → on this site
  35. [56] . Wikidata. wikidata.org. → on this site
  36. [57] . Wikidata. wikidata.org. → on this site
  37. [58] . Wikidata. wikidata.org. → on this site
  38. [68] . Wikidata. wikidata.org. → on this site
  39. [69] . Wikidata. wikidata.org. → on this site
  40. [71] . Wikidata. wikidata.org. → on this site
  41. [72] . Wikidata. wikidata.org. → on this site
  42. [73] . Wikidata. wikidata.org. → on this site
  43. [75] . Wikidata. wikidata.org. → on this site
  44. [76] . Wikidata. wikidata.org. → on this site
  45. [78] . Wikidata. wikidata.org. → on this site
  46. [80] . Wikidata. wikidata.org. → on this site
  47. [81] . Wikidata. wikidata.org. → on this site
  48. [83] . Wikidata. wikidata.org. → on this site
  49. [84] . Wikidata. wikidata.org. → on this site
  50. [85] . Wikidata. wikidata.org. → on this site

Class ancestry

  1. [1] . Wikidata. wikidata.org.

Aggregate / graph-position facts

  1. [6] . Wikimedia Foundation. dumps.wikimedia.org.
  2. [65] . Wikidata sitelinks. wikidata.org.
  3. [66] . Wikidata aliases. wikidata.org.

📑 Cite this page

Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.

APA 4ort.xyz Knowledge Graph. (2026). Johan van Benthem. Retrieved April 10, 2026, from https://4ort.xyz/entity/johan-van-benthem
MLA “Johan van Benthem.” 4ort.xyz Knowledge Graph, 4ort.xyz, 10 Apr. 2026, https://4ort.xyz/entity/johan-van-benthem.
BibTeX @misc{4ortxyz_johan-van-benthem_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Johan van Benthem}}, year = {2026}, url = {https://4ort.xyz/entity/johan-van-benthem}, note = {Accessed: 2026-04-10}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Johan van Benthem — https://4ort.xyz/entity/johan-van-benthem (retrieved 2026-04-10)

Canonical URL: https://4ort.xyz/entity/johan-van-benthem · Last refreshed:

Edit History

Rolling log of changes to this entity's Wikidata record. Values shown reflect the current state of each edited property — follow the history link to see the precise diff for any edit.

  1. 18d ago · 本日晴天 · 2026-05-06 view diff on Wikidata ↗
    Cinii research id 1980304959789869215
    "/* wbeditentity-statements-multiple-properties-update:0||2 */ added some identifiers retrieved from [[Q115920372]] ([[Property:P11496]]) or [[Q118144223]] ([[Property:P9776]]) ([[:toollabs:editgroups/"
  2. 24d ago · MariuszRokin · 2026-04-30 view diff on Wikidata ↗
    Professorship Henry Waldgrave Stuart Memorial Professorship
    Sbn author id BVEV012322
    Aliases
    Doctoral advisor Martin Löb, Steven Karl Thomason
    + 29 other properties edited (see Wikidata diff for full list)
    "/* wbcreateclaim-create:1| */ [[Property:P3368]]: 2441391, [[:toollabs:quickstatements/#/batch/257026|batch #257026]]"
Live feed via Wikidata EventStreams. New edits appear within minutes of being made on Wikidata.