|
Per Lindström
Per "Pelle" Lindström (9 April 1936 – 21 August 2009, Gothenburg) ASLbr>Newsletter September 2009 was a Swedish logician, after whom Lindström's theorem and the Lindström quantifier are named. (He also independently discovered Ehrenfeucht–Fraïssé games.) He was one of the key followers of Lars Svenonius. Lindström was awarded a PhD from the University of Gothenburg in 1966. His thesis was titled ''Some Results in the Theory of Models of First Order Languages''. 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 ... for Lindström was published in 1986. Selected publications * Per Lindström, First Order Predicate Logic with Generalized Quantifiers, ''Theoria'' 32, 1966, 186–195. * Per Lindström, On Extensions of Elementary Logic, ''Theoria'' 35, 1969, 1� ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gothenburg
Gothenburg ( ; ) is the List of urban areas in Sweden by population, second-largest city in Sweden, after the capital Stockholm, and the fifth-largest in the Nordic countries. Situated by the Kattegat on the west coast of Sweden, it is the gubernatorial seat of Västra Götaland County, with a population of approximately 600,000 in the city proper and about 1.1 million inhabitants in Metropolitan Gothenburg, the metropolitan area. Gustavus Adolphus, King Gustavus Adolphus founded Gothenburg by royal charter in 1621 as a heavily fortified, primarily Dutch, trading colony. In addition to the generous privileges given to his Dutch allies during the ongoing Thirty Years' War, e.g. tax relaxation, he also attracted significant numbers of his German and Scottish allies to populate his only town on the western coast; this trading status was furthered by the founding of the Swedish East India Company. At a key strategic location at the mouth of the , where Scandinavia's largest dr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Association For Symbolic Logic
The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic. The ASL was founded in 1936, and its first president was Curt John Ducasse. The current president of the ASL is Phokion Kolaitis. Publications The ASL publishes books and academic journals. Its three official journals are: * ''Journal of Symbolic Logic'' – publishes research in all areas of mathematical logic. Founded in 1936, . * ''Bulletin of Symbolic Logic'' – publishes primarily expository articles and reviews. Founded in 1995, . * ''Review of Symbolic Logic'' – publishes research relating to logic, philosophy, science, and their interactions. Founded in 2008, . In addition, the ASL has a sponsored journal: * ''Journal of Logic and Analysis'' publishes research on the interactions between mathematical logic and pure and applied analysis. Founded in 2009 as an open-access successor to the Springer journal ''Logic and Analysis ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Swedish People
Swedes (), or Swedish people, are an ethnic group native to Sweden, who share a common ancestry, Culture of Sweden, culture, History of Sweden, history, and Swedish language, language. They mostly inhabit Sweden and the other Nordic countries, Swedish-speaking population of Finland, in particular, neighboring Finland, where they are an officially recognized minority, with Swedish being one of the official languages of the country, and with a substantial Swedish diaspora, diaspora in other countries, especially the Swedish Americans, United States. Etymology The English term "Swede" has been attested in English since the late 16th century and is of Middle Dutch or Middle Low German origin. In Swedish language, Swedish, the term is ''svensk'', which is from the name of ''svear'' (or Swedes), the people who inhabited Svealand in eastern central Sweden, and were listed as ''Suiones'' in Tacitus' history ''Germania (book), Germania'' from the first century AD. The term is believed ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logician
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 work." Premise ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lindström's Theorem
In mathematical logic, Lindström's theorem (named after Swedish logician Per Lindström, who published it in 1969) states that first-order logic is the '' strongest logic'' (satisfying certain conditions, e.g. closure under classical negation) having both the (countable) compactness property and the (downward) Löwenheim–Skolem property. Lindström's theorem is perhaps the best known result of what later became known as abstract model theory, the basic notion of which is an abstract logic; the more general notion of an institution was later introduced, which advances from a set-theoretical notion of model to a category-theoretical one. Lindström had previously obtained a similar result in studying first-order logics extended with Lindström quantifiers. Jouko VäänänenLindström's Theorem/ref> Lindström's theorem has been extended to various other systems of logic, in particular modal logics by Johan van Benthem and Sebastian Enqvist. Notes References * Per Li ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lindström Quantifier
In mathematical logic, a Lindström quantifier is a generalized polyadic quantifier. Lindström quantifiers generalize first-order quantifiers, such as the existential quantifier, the universal quantifier, and the counting quantifiers. They were introduced by Per Lindström in 1966. They were later studied for their applications in logic in computer science and database query languages. Generalization of first-order quantifiers In order to facilitate discussion, some notational conventions need explaining. The expression : \phi^=\ for ''A'' an ''L''-structure (or ''L''-model) in a language ''L'', ''φ'' an ''L''-formula, and \bar a tuple of elements of the domain dom(''A'') of ''A''. In other words, \phi^ denotes a ( monadic) property defined on dom(A). In general, where ''x'' is replaced by an ''n''-tuple \bar of free variables, \phi^ denotes an ''n''-ary relation defined on dom(''A''). Each quantifier Q_A is relativized to a structure, since each quantifier is viewed a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ehrenfeucht–Fraïssé Game
In the mathematical discipline of model theory, the Ehrenfeucht–Fraïssé game (also called back-and-forth games) is a technique based on game semantics for determining whether two structures are elementarily equivalent. The main application of Ehrenfeucht–Fraïssé games is in proving the inexpressibility of certain properties in first-order logic. Indeed, Ehrenfeucht–Fraïssé games provide a complete methodology for proving inexpressibility results for first-order logic. In this role, these games are of particular importance in finite model theory and its applications in computer science (specifically computer aided verification and database theory), since Ehrenfeucht–Fraïssé games are one of the few techniques from model theory that remain valid in the context of finite models. Other widely used techniques for proving inexpressibility results, such as the compactness theorem, do not work in finite models. Ehrenfeucht–Fraïssé-like games can also be defined for oth ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lars Svenonius
Lars Svenonius (June 16, 1927, Skellefteå – September 27, 2010, Silver Spring, Maryland) was a Swedish logician and philosopher. He was a visiting professor at University of California at Berkeley in 1962–63, then held a position at the University of Chicago from 1963 to 1969, and was professor of philosophy at the University of Maryland from 1969 to 2009. He retired in 2009, but was awarded the position of emeritus professor, and continued to teach courses and advise students until his death at 83 years of age. He was the first Swedish logician to work on model theory with his dissertation ''Some problems in Model Theory'' (for which the University of Uppsala awarded him a doctorate in 1960). His early work was in formal logic, and he established a reputation for brilliance early in his career with a series of proofs, including an independent proof of Omega-categorical theory, equivalent characterizations of omega-categorical theories. A 1959 paper of his in ''Theoria (philo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Gothenburg
The University of Gothenburg () is a List of universities in Sweden, university in Sweden's second largest city, Gothenburg. Founded in 1891, the university is the third-oldest of the current List of universities in Sweden#Public universities, Swedish universities and, with 53,624 students and 6,707 staff members, it is one of the largest universities in the Nordic countries. About With its eight faculties and 38 departments, the University of Gothenburg is one of the most wide-ranging and versatile universities in Sweden. Its eight faculties offer training in the Creative Arts, Social Sciences, Natural Sciences, Humanities, Education, Information Technology, Business, Economics and Law, and Health Sciences. The University of Gothenburg has the highest number of applicants per study place in many of its subjects and courses, making it one of the most popular universities in Sweden. History The University of Gothenburg was founded as ''Göteborgs högskola'' (Gothenburg Uni ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 honoree's colleagues, former pupils, and friends. ''Festschriften'' are often titled something like ''Essays in Honour of...'' or ''Essays Presented to... .'' Terminology The term, borrowed from German, and literally meaning "celebration writing" (cognate with ''feast-script''), might be translated as "celebration publication" or "celebratory (piece of) writing". An alternative Latin term is (literally: "book of friends"). A comparable book presented posthumously is sometimes called a (, "memorial publication"), but this term is much rarer in English. A ''Festschrift'' compiled and published by electronic means on the internet is called a (pronounced either or ), a term coined by the editors of the late Boris Marshak's , ''Eran ud Ane ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Theoria (philosophy Journal)
''Theoria: A Swedish Journal of Philosophy and Psychology'' is a peer-reviewed academic journal publishing research in all areas of philosophy established in 1935 by Åke Petzäll ( sv). It is published quarterly by Wiley-Blackwell on behalf of Stiftelsen Theoria. The current editor-in-chief is Sven Ove Hansson. ''Theoria'' publishes articles, reviews, and shorter notes and discussions. Editors Notable articles Among the contributions to philosophy, logic, and mathematics first published in ''Theoria'' are: * Carl Gustav Hempel, Le problème de la vérité, ''Theoria'' 3, 1937, 206–244. ( Hempel's confirmation paradoxes) * Ernst Cassirer, Was ist "Subjektivismus"?, ''Theoria'' 5, 1939, 111–140. * Alf Ross, Imperatives and Logic, ''Theoria'' 7, 1941, 53–71. ( Ross' deontic paradox) * Georg Henrik von Wright, The Paradoxes of Confirmation, ''Theoria'' 31, 1965, 255–274. * Per Lindström, First Order Predicate Logic with Generalized Quantifiers, ''Theoria'' 32, 1966, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1936 Births
Events January–February * January 20 – The Prince of Wales succeeds to the throne of the United Kingdom as King Edward VIII, following the death of his father, George V, at Sandringham House. * January 28 – Death and state funeral of George V, State funeral of George V of the United Kingdom. After a procession through London, he is buried at St George's Chapel, Windsor Castle. * February 4 – Radium E (bismuth-210) becomes the first radioactive element to be made synthetically. * February 6 – The 1936 Winter Olympics, IV Olympic Winter Games open in Garmisch-Partenkirchen, Germany. * February 10–February 19, 19 – Second Italo-Ethiopian War: Battle of Amba Aradam – Italian forces gain a decisive tactical victory, effectively neutralizing the army of the Ethiopian Empire. * February 16 – 1936 Spanish general election: The left-wing Popular Front (Spain), Popular Front coalition takes a majority. * February 26 – February 26 Incident (二・二六事件, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
