Related Research Articles
In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the "natural" way of reasoning. This contrasts with Hilbert-style systems, which instead use axioms as much as possible to express the logical laws of deductive reasoning.
Proof theory is a major branch of mathematical logic and theoretical computer science within which proofs are treated as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively-defined data structures such as lists, boxed lists, or trees, which are constructed according to the axioms and rules of inference of a given logical system. Consequently, proof theory is syntactic in nature, in contrast to model theory, which is semantic in nature.
In mathematical logic, a sequent is a very general kind of conditional assertion.
Francis Sejersted was a Norwegian history professor and the chairman of the Norwegian Nobel Committee from 1991 until 1995.
In logic, the semantics of logic or formal semantics is the study of the semantics, or interpretations, of formal languages and natural languages usually trying to capture the pre-theoretic notion of logical consequence.
Proof-theoretic semantics is an approach to the semantics of logic that attempts to locate the meaning of propositions and logical connectives not in terms of interpretations, as in Tarskian approaches to semantics, but in the role that the proposition or logical connective plays within a system of inference.
An inference of natural deduction is a normal form, according to Dag Prawitz, if no formula occurrence is both the principal premise of an elimination rule and the conclusion of an introduction rule.
Gunnar Valfrid Jarring was a Swedish diplomat and Turkologist.
Lennart Axel Edvard Carleson is a Swedish mathematician, known as a leader in the field of harmonic analysis. One of his most noted accomplishments is his proof of Lusin's conjecture. He was awarded the Abel Prize in 2006 for "his profound and seminal contributions to harmonic analysis and the theory of smooth dynamical systems."
Per Erik Rutger Martin-Löf is a Swedish logician, philosopher, and mathematical statistician. He is internationally renowned for his work on the foundations of probability, statistics, mathematical logic, and computer science. Since the late 1970s, Martin-Löf's publications have been mainly in logic. In philosophical logic, Martin-Löf has wrestled with the philosophy of logical consequence and judgment, partly inspired by the work of Brentano, Frege, and Husserl. In mathematical logic, Martin-Löf has been active in developing intuitionistic type theory as a constructive foundation of mathematics; Martin-Löf's work on type theory has influenced computer science.
Carl Assar Eugén Lindbeck was a Swedish professor of economics at Stockholm University and at the Research Institute of Industrial Economics (IFN).
Sir David Mackenzie Wilson, FBA is a British archaeologist, art historian, and museum curator, specialising in Anglo-Saxon art and the Viking Age. From 1977 until 1992 he served as the Director of the British Museum, where he had previously worked, from 1955 to 1964, as an assistant keeper. In his role as director of the museum, he became embroiled in the controversy over the ownership of the Elgin Marbles with the Greek government, engaging with a "disastrous" televised debate with Greek Minister of Culture Melina Mercouri.
Peter Pagin is Professor of Philosophy at Stockholm University. He is a specialist in the philosophy of language and has worked extensively on foundational issues in semantics and on technical and philosophical problems about the compositionality of meaning.
Prof Sven Ludvig Lovén, was a Swedish marine zoologist and malacologist. The Sven Lovén Centre for Marine Sciences within the University of Gothenburg was named in his honour.
Peter Hedström is one of the founders of the field of analytical sociology. He has made contributions to the analysis of social contagion processes and complex social networks, as well as to the philosophical and meta-theoretical foundations of analytical sociology. He is one of the key contributors to the literature on social mechanisms.
Ruy J. Guerra B. de Queiroz is an associate professor at Universidade Federal de Pernambuco and holds significant works in the research fields of Mathematical logic, proof theory, foundations of mathematics and philosophy of mathematics. He is the founder of the Workshop on Logic, Language, Information and Computation (WoLLIC), which has been organised annually since 1994, typically in June or July.
Östen Dahl is a Swedish linguist and professor best known for pioneering a marker-based approach to tense and aspect in linguistic typology. Dahl finished his PhD at the University of Gothenburg and subsequently worked there as a docent before becoming professor of general linguistics at the University of Stockholm in 1980.
Lars Lönnroth is a Swedish literary scholar.
Åsa Wikforss is a professor of theoretical philosophy at Stockholm University, and a member of the Swedish Academy.
The Scandinavian Logic Society, abbreviated as SLS, is a not-for-profit organization with objective to organize, promote, and support logic-related events and other activities of relevance for the development of logic-related research and education in the Nordic Region of Europe.
References
- ↑ Prawitz, Dag (1965). Natural deduction: A proof-theoretical study . Acta Universitatis Stockholmiensis, Stockholm studies in philosophy 3. Stockholm, Göteborg, Uppsala: Almqvist & Wicksell.
- ↑ Prawitz, Dag (2006) [1965]. Natural deduction: A proof-theoretical study. Mineola, New York: Dover Publications. ISBN 978-0-486-44655-4.
- ↑ "Gruppe 3: Idéfag" (in Norwegian). Norwegian Academy of Science and Letters. Archived from the original on 9 January 2015. Retrieved 16 January 2011.
