|
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] |
Sven Ove Hansson
Sven Ove Hansson (born 1951) 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. Career Hansson obtained a bachelor's degree in medical science in 1972, and then worked for a Swedish trade union, followed by a job with the Swedish Social Democrats. He received a PhD in theoretical philosophy at Uppsala University in 1991, following which he was from 1993 to 1999 forskarassistent (the Swedish equivalent of an associate professor) at Uppsala. He received a second PhD in practical philosophy at the University of Lund in 1999, and since 2000 he has been a professor at KTH; he became department head in 2005. The Swedish Government appointed Hansson to the Products Control Board (1976–1982; the predece ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Peter Gärdenfors
Björn ''Peter'' Gärdenfors (born 21 September 1949) is professor of cognitive science at the University of Lund, Sweden. Gärdenfors is a recipient of the Gad Rausing Prize (Swedish: ''Rausingpriset''). He received his doctorate from Lund University in 1974. Internationally, he is one of Sweden's most notable philosophers. In 1996, he was elected a member of the Royal Swedish Academy of Letters, History and Antiquities and in 2009 he became a member of Royal Swedish Academy of Sciences. He is member of Deutsche Akademie für Naturforscher and of Academia Europaea. In 2014 Gärdenfors was awarded a Senior Fellowship of the Zukunftskolleg at the University of Konstanz.https://www.zukunftskolleg.uni-konstanz.de/people/senior-fellows/ He was a member of the Prize Committee for the Prize in Economic Sciences in Memory of Alfred Nobel 2011-2017. Peter Gärdenfors' research covers several areas: Belief revision, decision theory, philosophy of science, concept formation, conceptual sp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Montague Grammar
__notoc__ Montague grammar is an approach to natural language semantics, named after American logician Richard Montague. The Montague grammar is based on mathematical logic, especially higher-order predicate logic and lambda calculus, and makes use of the notions of intensional logic, via Kripke models. Montague pioneered this approach in the 1960s and early 1970s. Overview Montague's thesis was that natural languages (like English) and formal languages (like programming languages) can be treated in the same way: There is in my opinion no important theoretical difference between natural languages and the artificial languages of logicians; indeed, I consider it possible to comprehend the syntax and semantics of both kinds of language within a single natural and mathematically precise theory. On this point I differ from a number of philosophers, but agree, I believe, with Chomsky and his associates. ("Universal Grammar" 1970) Montague published what soon became known as Montague g ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Richard Montague
Richard Merritt Montague (September 20, 1930 – March 7, 1971) was an American mathematician and philosopher who made contributions to mathematical logic and the philosophy of language. He is known for proposing Montague grammar to formalize the semantics of natural language. As a student of Alfred Tarski, he also contributed early developments to axiomatic set theory ( ZFC). For the latter half of his life, he was a professor at the University of California, Los Angeles until his early death, believed to be a homicide, at age 40. Career At the University of California, Berkeley, Montague earned a BA in Philosophy in 1950, an MA in Mathematics in 1953, and a PhD in Philosophy in 1957, the latter under the direction of the mathematician and logician Alfred Tarski. Montague spent his entire career teaching in the UCLA Department of Philosophy, where he supervised the dissertations of Nino Cocchiarella and Hans Kamp. Montague wrote on the foundations of logic and set theory, as ... [...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] |
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] |
Georg Henrik Von Wright
Georg Henrik von Wright (; 14 June 1916 – 16 June 2003) was a Finnish philosopher. Biography G. H. von Wright was born in Helsinki on 14 June 1916 to Tor von Wright and his wife Ragni Elisabeth Alfthan. On the retirement of Ludwig Wittgenstein as professor at the University of Cambridge in 1948, von Wright was elected to his chair at the age of 32. He published in English, Finnish, German, and Swedish, belonging to the Swedish-speaking minority of Finland. Von Wright was of both Finnish and 17th-century Scottish ancestry, and the family was raised to nobility in 1772. Work Von Wright's writings come under two broad categories. The first is analytic philosophy and philosophical logic in the Anglo-American vein. His 1951 books, ''An Essay in Modal Logic'' and ''Deontic Logic'', were landmarks in the postwar rise of formal modal logic and its deontic version. He was an authority on Wittgenstein, editing his later works. He was the leading figure in the Finnish philosophy of h ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ross' Deontic Paradox
Imperative logic is the field of logic concerned with imperatives. In contrast to declaratives, it is not clear whether imperatives denote propositions or more generally what role truth and falsity play in their semantics. Thus, there is almost no consensus on any aspect of imperative logic. Jørgensen's dilemma One of a logic's principal concerns is logical validity. It seems that arguments with imperatives can be valid. Consider: :P1. Take all the books off the table! :P2. ''Foundations of Arithmetic'' is on the table. :C1. Therefore, take ''Foundations of Arithmetic'' off the table! However, an argument is valid if the conclusion follows from the premises. This means the premises give us reason to believe the conclusion, or, alternatively, the truth of the premises determines truth of the conclusion. Since imperatives are neither true nor false and since they are not proper objects of belief, none of the standard accounts of logical validity apply to arguments containing impe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alf Ross
Alf Niels Christian Ross (10 June 1899 – 17 August 1979) was a Danish jurist, legal philosopher and judge of the European Court of Human Rights (1959–1971). He is best known as one of the leading figures of Scandinavian legal realism. His debate in 1959 with the prominent British legal philosopher H. L. A. Hart – which began in the ''Cambridge Law Journal'' (Vol. 17) – was important in framing the modern conflict between legal positivism and legal realism. Biography Education and academic career Ross was born in Copenhagen as a son of civil servant Frederik Ross and graduated from high school in 1917. Ross studied law at the University of Copenhagen graduating in 1922. He consequently worked in a barrister’s office. In 1923, he commenced a study tour, which would last for two and a half years, visiting France, England and Austria, where he met and befriended fellow legal scholar, Hans Kelsen. He spent 1928–1929 at the Uppsala University, receiving a doctoral degree ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ernst Cassirer
Ernst Alfred Cassirer ( , ; July 28, 1874 – April 13, 1945) was a German philosopher. Trained within the Neo-Kantian Marburg School, he initially followed his mentor Hermann Cohen in attempting to supply an idealistic philosophy of science. After Cohen's death in 1918, Cassirer developed a theory of symbolism and used it to expand phenomenology of knowledge into a more general philosophy of culture. Cassirer was one of the leading 20th-century advocates of philosophical idealism. His most famous work is the ''Philosophy of Symbolic Forms'' (1923–1929). Though his work received a mixed reception shortly after his death, more recent scholarship has remarked upon Cassirer's role as a strident defender of the moral idealism of the Enlightenment era and the cause of liberal democracy at a time when the rise of fascism had made such advocacy unfashionable. Within the international Jewish community, Cassirer's work has additionally been seen as part of a long tradition of thought on ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hempel's Paradox
The raven paradox, also known as Hempel's paradox, Hempel's ravens, or rarely the paradox of indoor ornithology, is a paradox arising from the question of what constitutes evidence for the truth of a statement. Observing objects that are neither black nor ravens may formally increase the likelihood that all ravens are black even though, intuitively, these observations are unrelated. This problem was proposed by the logician Carl Gustav Hempel in the 1940s to illustrate a contradiction between inductive logic and intuition. Paradox Hempel describes the paradox in terms of the hypothesis: : (1) ''All ravens are black''. In the form of an implication, this can be expressed as: ''If something is a raven, then it is black.'' Via contraposition, this statement is equivalent to: : (2) ''If something is not black, then it is not a raven.'' In all circumstances where (2) is true, (1) is also true—and likewise, in all circumstances where (2) is false (i.e., if a world is imagined in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
