Joseph Goguen

Joseph A. Goguen
Joseph Goguen in 2004
Born(1941-06-28)June 28, 1941
DiedJuly 3, 2006(2006-07-03) (aged 65)
San Diego, California, U.S.
NationalityAmerican
Alma materHarvard University
University of California, Berkeley
Known forGoguen categories
Formal specification
Algebraic semantics
Goguen categories
OBJ family of programming languages
Institution theory/institutional model theory
Consciousness studies
SpouseRyoko Amadee Goguen
Scientific career
FieldsComputer science
InstitutionsUniversity of California, Berkeley
University of Chicago
IBM Research
University of California, Los Angeles
SRI International
University of Oxford
University of Edinburgh
University of California, San Diego
Doctoral advisorLotfi Zadeh

Joseph Amadee Goguen (/ˈɡoʊɡən/ GOH-gən; June 28, 1941 – July 3, 2006) was an American computer scientist. He was professor of Computer Science at the University of California and University of Oxford, and held research positions at IBM and SRI International.

In the 1960s, along with Lotfi Zadeh, Goguen was one of the earliest researchers in fuzzy logic and made profound contributions to fuzzy set theory.[1][2] In the 1970s Goguen's work was one of the earliest approaches to the algebraic characterisation of abstract data types and he originated and helped develop the OBJ family of programming languages.[3][4] He was author of A Categorical Manifesto and founder[5] and Editor-in-Chief of the Journal of Consciousness Studies. His development of institution theory impacted the field of universal logic.[6][7] Standard implication in product fuzzy logic is often called "Goguen implication".[8] Goguen categories are named after him.[9][10]

He was married to Ryoko Amadee Goguen, who is a composer, pianist, and vocalist.[11]

  1. ^ Cite error: The named reference radim was invoked but never defined (see the help page).
  2. ^ Cite error: The named reference zadeh was invoked but never defined (see the help page).
  3. ^ Cite error: The named reference bjacobs was invoked but never defined (see the help page).
  4. ^ Cite error: The named reference alagar was invoked but never defined (see the help page).
  5. ^ Burstall R., "My friend Joseph Goguen", in Goguen Festschrift, K. Futatsugi et al. (Eds.), Lecture Notes in Computer Science 4060, Springer, pp. 25–30 (2006).
  6. ^ Razvan Diaconescu, "Three decades of institution theory", in Universal Logic: An Anthology, Jean-Yves Béziau (Ed.), Springer, pp. 309–322 (2012). ISBN 978-3-0346-0144-3.
  7. ^ T. Mossakowski; J. A. Goguen; R. Diaconescu; A. Tarlecki (2007), "What is a logic?: In memoriam Joseph Goguen", in Jean-Yves Beziau (ed.), Logica Universalis: Towards a General Theory of Logic (2nd ed.), Birkhäuser, Basel, pp. 113–133, doi:10.1007/978-3-7643-8354-1_7
  8. ^ Hájek P., Metamathematics of Fuzzy Logic, Kluwer, Dordrecht, sect. 2.1 (1998). ISBN 0-7923-5238-6.
  9. ^ Michael Winter, "Goguen Categories: A Categorical Approach to L-fuzzy Relations", Springer (2007). ISBN 9781402061639.
  10. ^ Michael Winter, "Representation theory of Goguen categories", Fuzzy Sets and Systems 138 (1): 85–126 (2003).
  11. ^ Brief Biography of Ryoko Amadee Goguen, University of California, San Diego, 2005, retrieved January 30, 2021