|
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 (; abbreviated Gbg; sv, Göteborg ) is the second-largest city in Sweden, fifth-largest in the Nordic countries, and capital of the Västra Götaland County. It is situated by the Kattegat, on the west coast of Sweden, and has a population of approximately 590,000 in the city proper and about 1.1 million inhabitants in the metropolitan area. Gothenburg was founded as a heavily fortified, primarily Dutch, trading colony, by royal charter in 1621 by King Gustavus Adolphus. In addition to the generous privileges (e.g. tax relaxation) given to his Dutch allies from the ongoing Thirty Years' War, the king also attracted significant numbers of his German and Scottish allies to populate his only town on the western coast. At a key strategic location at the mouth of the Göta älv, where Scandinavia's largest drainage basin enters the sea, the Port of Gothenburg is now the largest port in the Nordic countries. Gothenburg is home to many students, as the city includes ... [...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 Alonzo Church. The current president of the ASL is Julia F. Knight. Publications The ASL publishes books and academic journals. Its three official journals are: * ''Journal of Symbolic Logic'(website)– publishes research in all areas of mathematical logic. Founded in 1936, . * ''Bulletin of Symbolic Logic'(website)– publishes primarily expository articles and reviews. Founded in 1995, . * ''Review of Symbolic Logic'(website)– 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'(website)– publishes research on the interactions between mathematical logic and pure and applied analysis. Founded in 2009 as an open-access successor to the Springer jo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Swedish People
Swedes ( sv, svenskar) are a North Germanic ethnic group native to the Nordic region, primarily their nation state of Sweden, who share a common ancestry, culture, history and language. They mostly inhabit Sweden and the other Nordic countries, in particular Finland where they are an officially recognized minority, with a substantial diaspora in other countries, especially the 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, 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'' from the first century AD. The term is believed to have been derived from the Proto-Indo-European reflexive pronominal root, , as the Latin ''suus''. The word must have meant "one's own (tribesmen)". The same root and original meaning i ... [...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 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 und ... [...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 L ... [...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 othe ... [...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 equivalent characterizations of omega-categorical theories. A 1959 paper of his in ''Theoria'' establishes what is still r ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Gothenburg
The University of Gothenburg ( sv, Göteborgs universitet) is a university in Sweden's second largest city, Gothenburg. Founded in 1891, the university is the third-oldest of the current Swedish universities and with 37,000 students and 6000 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 University College) in 1891. In 1907 it was granted the same s ... [...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 Aner ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Theoria (philosophy Journal)
''Theoria: A Swedish Journal of Philosophy and Psychology'' is a peer review, peer-reviewed academic journal publishing research in all areas of philosophy established in 1935 by Åke Petzäll (:sv:Å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 paradox, 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 Gene ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1936 Births
Events January–February * January 20 – George V of the United Kingdom and the British Dominions and Emperor of India, dies at his Sandringham Estate. The Prince of Wales succeeds to the throne of the United Kingdom as King Edward VIII. * January 28 – Britain's King George V state funeral takes place in London and Windsor. 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 Inci ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
