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 has Wikipedia articles in 7 language editions, a strong signal of global cultural recognition.[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 is recorded as male[19].
  • Johan van Benthem's instance of is recorded as human[20].
  • Johan van Benthem supervised Hans Pieter van Ditmarsch as a doctoral student[21].
  • Johan van Benthem supervised Jan van Eijck as a doctoral student[22].
  • Johan van Benthem supervised Carlos Areces as a doctoral student[23].
  • Johan van Benthem supervised Maarten de Rijke as a doctoral student[24].
  • Johan van Benthem supervised Marc Pauly as a doctoral student[25].
  • Johan van Benthem supervised Marco Aiello as a doctoral student[26].
  • Johan van Benthem supervised Paul van Ulsen 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[21], a logician[44], b. 1959[45], of Kingdom of the Netherlands[46], specialised in mathematical logic[47]; Jan van Eijck[22], a logician[48], b. 1951[49]; Carlos Areces[23], a computer scientist[50], b. 1971[51], of Argentina[52]; Maarten de Rijke[24], a computer scientist[53], b. 1961[54], of Kingdom of the Netherlands[55]; Marc Pauly[25]; and Marco Aiello[26], 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 has Wikipedia articles in 7 language editions, a strong signal of global cultural recognition.[6] He is known by 7 alternative names across languages and contexts.[65]

His notable doctoral advisees include Angelo Montanari[66], a computer scientist[67], specialised in computer science[68]; Maarten Marx[69], a computer scientist[70]; Wiebe van der Hoek[71], a computer scientist[72], specialised in informatics[73]; Theo M. V. Janssen[74], a mathematician[75]; Balder ten Cate[76], a computer scientist[77], b. 1979[78], specialised in data management[79]; and Willem Groeneveld[80], a logician[81], b. 1959[82], specialised in mathematical logic[83].

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. [2] . wikidata.org.
  2. [19] . BnF authorities. Retrieved . wikidata.org.
  3. [7] . wikidata.org.
  4. [20] . BnF authorities. Retrieved . profiles.stanford.edu. Provenance: wikidata.org.
  5. [14] . wikidata.org.
  6. [9] . profiles.stanford.edu. Retrieved . profiles.stanford.edu. Provenance: wikidata.org.
  7. [8] . wikidata.org.
  8. [3] . profiles.stanford.edu. Retrieved . profiles.stanford.edu. Provenance: wikidata.org.
  9. [4] . profiles.stanford.edu. Retrieved . profiles.stanford.edu. Provenance: wikidata.org.
  10. [5] . profiles.stanford.edu. Retrieved . profiles.stanford.edu. Provenance: wikidata.org.
  11. [10] . wikidata.org.
  12. [11] . wikidata.org.
  13. [12] . wikidata.org.
  14. [13] . profiles.stanford.edu. Retrieved . profiles.stanford.edu. Provenance: wikidata.org.
  15. [17] . nwo.nl. Retrieved . nwo.nl. Provenance: wikidata.org.
  16. [18] . zoek.officielebekendmakingen.nl. zoek.officielebekendmakingen.nl. Provenance: wikidata.org.
  17. [15] . Mathematics Genealogy Project. wikidata.org.
  18. [16] . Mathematics Genealogy Project. wikidata.org.
  19. [21] . 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. [66] . wikidata.org. → on this site
  2. [69] . wikidata.org. → on this site
  3. [71] . wikidata.org. → on this site
  4. [74] . wikidata.org. → on this site
  5. [76] . wikidata.org. → on this site
  6. [80] . 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. [67] . Wikidata. wikidata.org. → on this site
  39. [68] . Wikidata. wikidata.org. → on this site
  40. [70] . 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. [77] . Wikidata. wikidata.org. → on this site
  45. [78] . Wikidata. wikidata.org. → on this site
  46. [79] . Wikidata. wikidata.org. → on this site
  47. [81] . Wikidata. wikidata.org. → on this site
  48. [82] . Wikidata. wikidata.org. → on this site
  49. [83] . Wikidata. wikidata.org. → on this site

Class ancestry

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

Aggregate / graph-position facts

  1. [6] . Wikidata sitelinks. wikidata.org.
  2. [65] . 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. 8d ago · KrBot bot · 2026-08-16 view diff on Wikidata ↗
    Doctoral student Hans Pieter van Ditmarsch, Jan van Eijck, Carlos Areces +74
    "/* wbsetclaimvalue:1| */ [[Property:P185]]: [[Q62056967]], разрешение перенаправления / resolving redirect [[Q102435957]] → [[Q62056967]] ([[:toollabs:editgroups/b/KrBotResolvingRedirect/Q102435957_Q6"
  2. 25d ago · Bender235 · 2026-07-29 view diff on Wikidata ↗
    Doctoral student Hans Pieter van Ditmarsch, Jan van Eijck, Carlos Areces +74
    "/* wbsetclaim-create:2||1 */ [[Property:P185]]: [[Q125758427]]"
  3. 15w 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/"
  4. 16w 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.