L. T. F. Gamut
L. T. F. Gamut was a collective pseudonym for the Dutch logicians Johan van Benthem, Jeroen Groenendijk, Dick de Jongh, Martin Stokhof and Henk Verkuyl. Gamut stands for the Dutch universities of Groningen (G), Amsterdam (am), and Utrecht (ut), then the affiliations of the authors. The initials L. T. F. stand for the discussed topics, respectively, Logic (Dutch: ''Logica''), Language (Dutch: ''Taal'') and Philosophy (Dutch: ''Filosofie''). Publications *''Logica, taal en betekenis I: inleiding in de logica'', Het Spectrum, 1982. *''Logica, taal en betekenis II: intensionele logica en logische grammatica'', Het Spectrum, 1982. *''Logic, Language and Meaning, Volume I: Introduction to Logic'', University of Chicago The University of Chicago (UChicago, Chicago, or UChi) is a Private university, private research university in Chicago, Illinois, United States. Its main campus is in the Hyde Park, Chicago, Hyde Park neighborhood on Chicago's South Side, Chic ... Press, 1991. T ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Pseudonym
A pseudonym (; ) or alias () is a fictitious name that a person assumes for a particular purpose, which differs from their original or true meaning ( orthonym). This also differs from a new name that entirely or legally replaces an individual's own. Many pseudonym holders use them because they wish to remain anonymous and maintain privacy, though this may be difficult to achieve as a result of legal issues. Scope Pseudonyms include stage names, user names, ring names, pen names, aliases, superhero or villain identities and code names, gamertags, and regnal names of emperors, popes, and other monarchs. In some cases, it may also include nicknames. Historically, they have sometimes taken the form of anagrams, Graecisms, and Latinisations. Pseudonyms should not be confused with new names that replace old ones and become the individual's full-time name. Pseudonyms are "part-time" names, used only in certain contexts: to provide a more clear-cut separation between one's privat ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Netherlands
, Terminology of the Low Countries, informally Holland, is a country in Northwestern Europe, with Caribbean Netherlands, overseas territories in the Caribbean. It is the largest of the four constituent countries of the Kingdom of the Netherlands. The Netherlands consists of Provinces of the Netherlands, twelve provinces; it borders Germany to the east and Belgium to the south, with a North Sea coastline to the north and west. It shares Maritime boundary, maritime borders with the United Kingdom, Germany, and Belgium. The official language is Dutch language, Dutch, with West Frisian language, West Frisian as a secondary official language in the province of Friesland. Dutch, English_language, English, and Papiamento are official in the Caribbean Netherlands, Caribbean territories. The people who are from the Netherlands is often referred to as Dutch people, Dutch Ethnicity, Ethnicity group, not to be confused by the language. ''Netherlands'' literally means "lower countries" i ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Logic
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure of arguments alone, independent of their topic and content. Informal logic is associated with informal fallacies, critical thinking, and argumentation theory. Informal logic examines arguments expressed in natural language whereas formal logic uses formal language. When used as a countable noun, the term "a logic" refers to a specific logical formal system that articulates a proof system. Logic plays a central role in many fields, such as philosophy, mathematics, computer science, and linguistics. Logic studies arguments, which consist of a set of premises that leads to a conclusion. An example is the argument from the premises "it's Sunday" and "if it's Sunday then I don't have to work" leading to the conclusion "I don't have to wor ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Johan Van Benthem (logician)
Johannes Franciscus Abraham Karel (Johan) van Benthem (born 12 June 1949 in Rijswijk) is a University Professor (') of logic at the University of Amsterdam at the Institute for Logic, Language and Computation and professor of philosophy at Stanford University (at CSLI). He was awarded the Spinozapremie in 1996 and elected a Foreign Fellow of the American Academy of Arts & Sciences in 2015. Biography Van Benthem studied physics ( B.Sc. 1969), philosophy ( M.A. 1972) and mathematics ( M.Sc. 1973) at the University of Amsterdam and received a PhD from the same university under supervision of Martin Löb in 1977. Before becoming University Professor in 2003, he held appointments at the University of Amsterdam (1973–1977), at the University of Groningen (1977–1986), and as a professor at the University of Amsterdam (1986–2003). In 1992 he was elected member of the Royal Netherlands Academy of Arts and Sciences. Van Benthem is known for his research in the area of modal log ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Jeroen Groenendijk
Jeroen Antonius Gerardus Groenendijk (; 20 July 1949 – 17 October 2023) was a Dutch logician, linguist and philosopher, working on the philosophy of language, formal semantics, pragmatics. Groenendijk wrote a joint Ph.D. dissertation with Martin Stokhof on the formal semantics of questions, under the supervision of Renate Bartsch and Johan van Benthem. He was also an important figure in the development of dynamic semantics (together with Stokhof, Veltman and others, following earlier work by Irene Heim and Hans Kamp). His later work was mainly focused on studying and developing the recently founded framework of inquisitive semantics. He was briefly the director of the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam and a member of the group collectively publishing under the pseudonym A pseudonym (; ) or alias () is a fictitious name that a person assumes for a particular purpose, which differs from their original or true meaning ( or ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Dick De Jongh
Dick Herman Jacobus de Jongh (born 19 October 1939, Enschede) is a Dutch logician and mathematician and a retired professor at the University of Amsterdam. He received his PhD degree in 1968 from the University of Wisconsin–Madison under supervision of Stephen Kleene with a dissertation titled ''Investigations on the Intuitionistic Propositional Calculus''. De Jongh is mostly known for his work on proof theory, provability logic and intuitionistic logic. De Jongh is a member of the group collectively publishing under the pseudonym L. T. F. Gamut. In 2004, on the occasion of his retirement, the Institute for Logic, Language and Computation at the University of Amsterdam published a festschrift In academia, a ''Festschrift'' (; plural, ''Festschriften'' ) is a book honoring a respected person, especially an academic, and presented during their lifetime. It generally takes the form of an edited volume, containing contributions from the h ... in his honor.. References Curriculum ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Martin Stokhof
Martin Stokhof (born 1950, Amsterdam) is a Dutch logician and philosopher. Stokhof wrote a joint Ph.D. dissertation with Jeroen Groenendijk on the semantics of questions, under the supervision of Renate Bartsch and Johan van Benthem. He was also an important figure in the development of dynamic semantics (together with Groenendijk, Veltman and others, following work by Irene Heim and Kamp). He is also known for his work on Ludwig Wittgenstein. He is a former director of the Institute for Logic, Language and Computation at the University of Amsterdam and a member of the group collectively publishing under the pseudonym L. T. F. Gamut. In 2006 he was elected member of the Royal Netherlands Academy of Arts and Sciences The Royal Netherlands Academy of Arts and Sciences (, KNAW) is an organization dedicated to the advancement of science and literature in the Netherlands. The academy is housed in the Trippenhuis in Amsterdam. In addition to various advisory a .... References ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Henk Verkuyl
Henk is a Dutch male given name, originally a short form of Hendrik. It influenced " Hank" which is used in English-speaking countries (mainly in the US) as a form of "Henry". Academics *Henk Aertsen (born 1943), Dutch Anglo-Saxon linguist *Henk Barendregt (born 1947), Dutch logician *Henk Jaap Beentje (born 1951), Dutch botanist *Henk Blezer (born 1961), Dutch Tibetologist, Indologist, and scholar of Buddhist studies *Henk Bodewitz (1939–2022), Dutch Sanskrit scholar *Henk J. M. Bos (born 1940), Dutch historian of mathematics *Henk Braakhuis (born 1939), Dutch historian of philosophy *Henk Buck (1930–2023), Dutch organic chemist * Henk van Dongen (1936–2011), Dutch organizational theorist and policy advisor * Henk Dorgelo (1894–1961), Dutch physicist and academic *Henk van der Flier (born 1945), Dutch psychologist * Henk A. M. J. ten Have (born 1951), Dutch medical ethicist * Henk van de Hulst (1918–2000), Dutch astronomer and mathematician * Henk Lombaers (1920–2007 ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
University Of Groningen
The University of Groningen (abbreviated as UG; , abbreviated as RUG) is a Public university#Continental Europe, public research university of more than 30,000 students in the city of Groningen (city), Groningen, Netherlands. Founded in 1614, the university is the second oldest in the country (after Leiden University, Leiden). The University of Groningen has eleven Faculty (division), faculties, nine graduate schools, 27 research centres and institutes, and more than 175-degree programmes. The university's alumni and faculty include Johann Bernoulli, Aletta Jacobs, four Nobel Prize winners, nine Spinoza Prize winners, one Stevin Prize winner, various members of the Monarchy of the Netherlands, Dutch royal family, several politicians, the first president of the European Central Bank, and a secretary general of NATO. History The institution was founded as a college in 1614 in an initiative taken by the Regional Assembly of the city of Groningen and the ''Ommelanden'', or surroun ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
University Of Amsterdam
The University of Amsterdam (abbreviated as UvA, ) is a public university, public research university located in Amsterdam, Netherlands. Established in 1632 by municipal authorities, it is the fourth-oldest academic institution in the Netherlands still in operation. The UvA is one of two large, publicly funded research universities in the city, the other being the Vrije Universiteit Amsterdam (VU). It is also part of the largest research universities in Europe with 31,186 students, 4,794 staff, 1,340 PhD students and an annual budget of €600 million. It is the List of universities in the Netherlands, largest university in the Netherlands by enrollment. The main campus is located in Amsterdam-Centrum, central Amsterdam, with a few faculties located in adjacent Government of Amsterdam, boroughs. The university is organised into seven faculties: Humanities, Social science, Social and Psychology, Behavioural Sciences, Economics and Business, Science, Law, Medicine, Dentistry. Clo ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Utrecht University
Utrecht University (UU; , formerly ''Rijksuniversiteit Utrecht'') is a public university, public research university in Utrecht, Netherlands. Established , it is one of the oldest universities in the Netherlands. In 2023, it had an enrollment of 39,769 students, and employed 8,929 faculty members and staff. More than 400 PhD degrees were awarded and 7,765 scientific articles were published. The university's 2023 budget was €2.8 billion, consisting of €1.157 billion for the university (income from work commissioned by third parties is 319 million euros) and €1.643 billion for the University Medical Center Utrecht. The university's interdisciplinary research targets life sciences, pathways to sustainability, dynamics of youth, and institutions for open societies. Utrecht University is led by the University Board, consisting of Wilco Hazeleger (Rector Magnificus), Anton Pijpers (chair), Margot van der Starre (Vice Chair) and Niels Vreeswijk (Student Assessor). Close ties are h ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Het Spectrum
Uitgeverij Lannoo Groep is a Belgian publishing group, based in Tielt, with assets in Belgium and the Netherlands. Its Belgian subsidiary is Uitgeverij Lannoo. Its Dutch subsidiary is LannooMeulenhoff. Over the years Lannoo evolved from Catholic and Flemish to an open, commercial publishing house. Uitgeverij Lannoo The publishing and printing company Lannoo was founded in 1909 by Joris Lannoo (1891–1971). Joris Lannoo was a member of the Flemish Movement. The original company logo, featuring a sailing Viking neck, was designed by Joe English and modernized over the years. After Joris Lannoo, Jan and Godfried Lannoo took over the management of the company. In 1991 the publisher company spun off Lannoo Printers (the printing company went bankrupt in 2018). The French-language ''Éditions Racine'' was founded in 1993. In 1994 Godfried Lannoo resigned as general manager to be replaced by his son Matthias Lannoo. In 1999 Lannoo acquired the Dutch publishing house ''Terra Zutphen'' ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |