Rineke Verbrugge

Last updated
Rineke Verbrugge
Born (1965-03-12) 12 March 1965 (age 58)
Citizenship Dutch
Alma mater University of Amsterdam
Scientific career
Fields Mathematics, Logic, Artificial Intelligence
Thesis Efficient Meta-Mathematics (1993)
Doctoral advisor Dick de Jongh, Anne Troelstra, Albert Visser

Laurina Christina (Rineke) Verbrugge (born 12 March 1965 in Amsterdam) is a Dutch logician and computer scientist known for her work on interpretability logic and provability logic. She completed her PhD at the University of Amsterdam in 1993 under the supervision of Dick de Jongh, Anne Troelstra, and Albert Visser. [1]

She holds the chair of Logic and Cognition at the University of Groningen's Bernoulli Institute of Mathematics, Computer Science and Artificial Intelligence, where she has been the leader of the Multi-Agent Systems working group since 2002. [2] She is particularly known for her work connecting formal logic to cognition and developmental psychology and the role of logic in explaining social behaviour.

From 2005 to 2021, she was the President (voorzitter) of the Nederlandse Vereniging voor Logica & Wijsbegeerte der Exacte Wetenschappen (VvL; Dutch Association for Logic and Philosophy of the Exact Sciences). [3] In 2021, she was elected a fellow of the Royal Netherlands Academy of Arts and Sciences (KNAW). [4] Verbrugge is an associate editor of the Journal of Logic, Language and Information . [5]

Selected publications

Related Research Articles

<span class="mw-page-title-main">Recursion</span> Process of repeating items in a self-similar way

Recursion occurs when the definition of a concept or process depends on a simpler version of itself. Recursion is used in a variety of disciplines ranging from linguistics to logic. The most common application of recursion is in mathematics and computer science, where a function being defined is applied within its own definition. While this apparently defines an infinite number of instances, it is often done in such a way that no infinite loop or infinite chain of references can occur.

Inferences are steps in reasoning, moving from premises to logical consequences; etymologically, the word infer means to "carry forward". Inference is theoretically traditionally divided into deduction and induction, a distinction that in Europe dates at least to Aristotle. Deduction is inference deriving logical conclusions from premises known or assumed to be true, with the laws of valid inference being studied in logic. Induction is inference from particular evidence to a universal conclusion. A third type of inference is sometimes distinguished, notably by Charles Sanders Peirce, contradistinguishing abduction from induction.

<span class="mw-page-title-main">George Boolos</span> American philosopher and mathematical logician

George Stephen Boolos was an American philosopher and a mathematical logician who taught at the Massachusetts Institute of Technology.

Game semantics is an approach to formal semantics that grounds the concepts of truth or validity on game-theoretic concepts, such as the existence of a winning strategy for a player, somewhat resembling Socratic dialogues or medieval theory of Obligationes.

Michael Tomasello is an American developmental and comparative psychologist, as well as a linguist. He is professor of psychology at Duke University.

<span class="mw-page-title-main">Barbara Partee</span> American linguist

Barbara Hall Partee is a Distinguished University Professor Emerita of Linguistics and Philosophy at the University of Massachusetts Amherst (UMass).

<span class="mw-page-title-main">Jaap Kunst</span> Dutch ethnomusicologist

Jaap Kunst was a Dutch musicologist. He is credited with coining the term "ethnomusicology" as a more accurate name for the field then known as comparative musicology. Kunst studied the folk music of the Netherlands and of Indonesia. His published work totals more than 70 texts.

Sven Ove Hansson is a Swedish philosopher. He is a professor of philosophy and chair of the Department of Philosophy and History of Technology at the Royal Institute of Technology (KTH) in Stockholm, Sweden. He is an author and scientific skeptic, with a special interest in environmental risk assessment, as well as in decision theory and belief revision.

<span class="mw-page-title-main">Adolph Cornelis van Bruggen</span> Dutch biologist (1929-2016)

Adolph Cornelis 'Dolf' van Bruggen was a Dutch malacologist, entomologist, and botanist. His interest in the tropics and tropical Africa has dominated his broad scientific interest for more than 50 years now. He was an expert especially in the land snail families Streptaxidae, Achatinidae and Maizaniidae. As of 2008, he had authored some 655 scientific publications.

Jacoba van Velde was a Dutch writer, translator, and dramaturge. Her first novel, De grote zaal, appeared in the literary journal Querido in 1953 and was translated into thirteen languages within ten years. During her life around 75,000 copies of De grote zaal were sold. In 2010, the book was chosen for the Nederland Leest campaign and copies were given away for free to members of all the public libraries in The Netherlands.

Hannah Ginsborg is Willis S and Marion Slusser Professor of Philosophy at the University of California, Berkeley.

Eve V. Clark is a British-born American linguist. Clark's research focuses on first language acquisition, especially the acquisition of meaning. She has done extensive observational and experimental research. She has also worked on the acquisition and use of word-formation, including comparative studies of English and Hebrew in children and adults. Some of her current studies examine what children can learn about conventional ways to say things based on adult responses to child errors during acquisition. She has studied the pragmatics of coining words.

<span class="mw-page-title-main">Barbara Clare Foley</span> American writer

Barbara Foley is an American writer and the Distinguished Professor of English at Rutgers University-Newark. She focuses her research and teaching on U.S. literary radicalism, African American literature, and Marxist criticism. The author of six books and over seventy scholarly articles, review essays, and book chapters, she has published on literary theory, academic politics, US proletarian literature, the Harlem Renaissance, and the writers Ralph Ellison and Jean Toomer. Throughout her career, her work has emphasized the centrality of antiracism and Marxist class analysis to both literary study and social movements.

John A. Nerbonne is an American computational linguist. He was a professor of humanities computing at the University of Groningen until January 2017, when he gave his valedictory address at the celebration of the 30th anniversary of his department there.

Craige Roberts is an American linguist, known for her work on pragmatics and formal semantics.

<span class="mw-page-title-main">Virginia Dignum</span> Computer scientist and artificial intelligence researcher

Maria Virgínia Ferreira de Almeida Júdice Gamito Dignum is a Professor of Computer Science at Umeå University, and an Associated Professor at Delft University of Technology. She leads the Social and Ethical Artificial Intelligence research group. Her research and writing considers responsible AI and the development evaluation of human-agent team work, thereby aligning with Human-Centered Artificial Intelligence themes.

<span class="mw-page-title-main">Beatrice de Graaf</span> Dutch historian

Beatrice A. de Graaf is a Dutch history professor at the Faculty of Humanities at Utrecht University. Her areas of expertise are terrorism, international relations & security and the modern history of Europe.

Alice Geraldine Baltina ter Meulen is a Dutch linguist, logician, and philosopher of language whose research topics include genericity in linguistics, intensional logic, generalized quantifiers, discourse representation theory, and the linguistic representation of time. She is a professor emerita at the University of Geneva.

<span class="mw-page-title-main">Mark Dingemanse</span> Linguist, researcher in linguistics

Mark Dingemanse is a Dutch linguist and an Africanist. He is an associate professor in Language and Communication at the Centre for Language Studies of Radboud University Nijmegen. Dingemanse obtained a MA degree in African Languages and Cultures at Leiden University in 2006, and a PhD degree in arts in 2011 at Radboud University Nijmegen. He is also a Senior Investigator in the Multimodal Language and Cognition research group at the Nijmegen Max Planck Institute for Psycholinguistics. Dingemanse performed linguistic fieldwork in eastern Ghana and did comparative research on various languages. He is principal investigator of the research programme Elementary Particles of Conversation, on the small words in everyday language. The Royal Netherlands Academy of Arts and Sciences awarded Dingemans a Heineken Young Scientists Award in 2020.

Mirjam Ernestus is professor of psycholinguistics and scientific director of the Centre for Language Studies at Radboud University Nijmegen in the Netherlands.

References

  1. "Laurina Christina / Rineke Verbrugge". Mathematics Genealogy Project . Retrieved 2022-08-26.
  2. "Rineke Verbrugge". Underline Science, Inc. Retrieved 2022-08-25.; "Rineke (Laurina Christina) Verbrugge". philpeople.org. Retrieved 2022-08-25.
  3. "VvL. De Nederlandse Vereniging voor Logica & Wijsbegeerte der Exacte Wetenschappen" . Retrieved 2022-09-07.
  4. "Prof. dr. Rineke Verbrugge". KNAW. Retrieved 2022-08-25.
  5. "Journal of Logic, Language, and Information: Editorial Board". Springer-Verlag. Retrieved 2022-08-25.