HOME
*





L. T. F. Gamut
L. T. F. Gamut was a collective pseudonym for the Netherlands, Dutch logicians Johan van Benthem (logician), Johan van Benthem, Jeroen Groenendijk, Dick de Jongh, Martin Stokhof and Henk Verkuyl. Gamut stands for the Dutch universities of University of Groningen, Groningen (G), University of Amsterdam, Amsterdam (am), and Utrecht University, 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 Press, 1991. Translation and revision of ''Logica, taal en betekenis I''. *''Logic, Language and Meaning, Volume II: Intensional Logic and Logical Grammar'', U ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Pseudonym
A pseudonym (; ) or alias () is a fictitious name that a person or group assumes for a particular purpose, which differs from their original or true name (orthonym). This also differs from a new name that entirely or legally replaces an individual's own. Many pseudonym holders use pseudonyms because they wish to remain anonymous, but anonymity is difficult to achieve and often fraught with legal issues. Scope Pseudonyms include stage names, user names, ring names, pen names, aliases, superhero or villain identities and code names, gamer identifications, 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 o ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Netherlands
) , anthem = ( en, "William of Nassau") , image_map = , map_caption = , subdivision_type = Sovereign state , subdivision_name = Kingdom of the Netherlands , established_title = Before independence , established_date = Spanish Netherlands , established_title2 = Act of Abjuration , established_date2 = 26 July 1581 , established_title3 = Peace of Münster , established_date3 = 30 January 1648 , established_title4 = Kingdom established , established_date4 = 16 March 1815 , established_title5 = Liberation Day (Netherlands), Liberation Day , established_date5 = 5 May 1945 , established_title6 = Charter for the Kingdom of the Netherlands, Kingdom Charter , established_date6 = 15 December 1954 , established_title7 = Dissolution of the Netherlands Antilles, Caribbean reorganisation , established_date7 = 10 October 2010 , official_languages = Dutch language, Dutch , languages_type = Regional languages , languages_sub = yes , languages = , languages2_type = Reco ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Logic
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises in a topic-neutral way. When used as a countable noun, the term "a logic" refers to a logical formal system that articulates a proof system. Formal logic contrasts with informal logic, which is associated with informal fallacies, critical thinking, and argumentation theory. While there is no general agreement on how formal and informal logic are to be distinguished, one prominent approach associates their difference with whether the studied arguments are expressed in formal or informal languages. Logic plays a central role in multiple fields, such as philosophy, mathematics, computer science, and linguistics. Logic studies arguments, which consist of a set of premises together with a conclusion. Premises and conclusions are usually un ...
[...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 lo ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Jeroen Groenendijk
Jeroen Antonius Gerardus Groenendijk (; born 20 July 1949, Amsterdam), is a Dutch logician, linguist and philosopher, working on 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 current work is mainly focused on studying and developing the recently founded framework of inquisitive semantics. He is a former 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 L. T. F. Gamut.Preface to ''Logic, Language and Meaning'', by L. T. F. Gamut L. T. F. Gamut was a collective pseudonym for the Dutch logicians Johan van Benthem, ...
[...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 entitled ''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 Curri ...
[...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 A pseudonym (; ) or alias () is a fictitious name that a person or group assumes for a particular purpose, which differs from their original or true name (orthonym). This also differs from a new name that entirely or legally replaces an individua ... L. T. F. Gamut. In 2006 he was elected member of the Royal Netherlands Academy of Arts and Sciences. Referenc ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Henk Verkuyl
Henk is a Dutch people, Dutch male given name, originally a short form of Hendrik (given name), Hendrik. It influenced "Hank" which is used in English-speaking countries (mainly in the US) as a form of "Henry (given name), Henry". People named "Henk" include: 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 (born 1939), Dutch Sanskrit scholar *Henk J. M. Bos (born 1940), Dutch historian of mathematics *Henk Braakhuis (born 1939), Dutch historian of philosophy *Henk Buck (born 1930), 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 (191 ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

University Of Groningen
The University of Groningen (abbreviated as UG; nl, Rijksuniversiteit Groningen, 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 in the Netherlands. Founded in 1614, the university is the second oldest in the country (after Leiden University, Leiden) and one of the most traditional and prestigious universities in the Netherlands. The institution has been consistently ranked among the top 100 universities in the world, according to leading ranking tables. In the 2022 Aggregate Ranking of Top Universities, RUG is ranked fourth in the Netherlands. 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, variou ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

University Of Amsterdam
The University of Amsterdam (abbreviated as UvA, nl, Universiteit van Amsterdam) is a public research university located in Amsterdam, Netherlands. The UvA is one of two large, publicly funded research universities in the city, the other being the Vrije Universiteit Amsterdam (VU). Established in 1632 by municipal authorities and later renamed for the city of Amsterdam, the University of Amsterdam is the third-oldest university in the Netherlands. It is one 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 largest university in the Netherlands by enrollment. The main campus is located in central Amsterdam, with a few faculties located in adjacent boroughs. The university is organised into seven faculties: Humanities, Social and Behavioural Sciences, Economics and Business, Science, Law, Medicine, Dentistry. The University of Amsterdam has produced six Nobel Laureates and fiv ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Utrecht University
Utrecht University (UU; nl, Universiteit Utrecht, formerly ''Rijksuniversiteit Utrecht'') is a public research university in Utrecht, Netherlands. Established , it is one of the oldest universities in the Netherlands. In 2018, it had an enrollment of 31,801 students, and employed 7,191 faculty and staff. In 2018, 525 PhD degrees were awarded and 6,948 scientific articles were published. The 2018 budget of the university was €857 million. Utrecht University counts a number of distinguished scholars among its alumni and faculty, including 12 Nobel Prize laureates and 13 Spinoza Prize laureates. Utrecht University has been placed consistently in the top 100 universities in the world by prominent international ranking tables. The university is ranked as the best university in the Netherlands by the Shanghai Ranking of World Universities 2022, ranked 14th in Europe and 54th in the world. The university's motto is "Sol Iustitiae Illustra Nos", which means ''May the Sun of Righteous ...
[...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 ''Editions 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]