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.
The society is a member of the
Division of Logic, Methodology and Philosophy of Science and Technology.
History
The SLS was founded on 20 August 2012, at the 8th Scandinavian Logic Symposium in
Roskilde
Roskilde ( , ) is a city west of Copenhagen on the Danish island of Zealand. With a population of 51,916 (), the city is a business and educational centre for the region and the 10th largest city in Denmark. It is governed by the administrative ...
, Denmark. Today the society has its seat in
Stockholm, Sweden. It unites academics from
Denmark
)
, song = ( en, "King Christian stood by the lofty mast")
, song_type = National and royal anthem
, image_map = EU-Denmark.svg
, map_caption =
, subdivision_type = Sovereign state
, subdivision_name = Kingdom of Denmark
, establish ...
,
Finland
Finland ( fi, Suomi ; sv, Finland ), officially the Republic of Finland (; ), is a Nordic country in Northern Europe. It shares land borders with Sweden to the northwest, Norway to the north, and Russia to the east, with the Gulf of B ...
,
Iceland
Iceland ( is, Ísland; ) is a Nordic island country in the North Atlantic Ocean and in the Arctic Ocean. Iceland is the most sparsely populated country in Europe. Iceland's capital and largest city is Reykjavík, which (along with its s ...
,
Norway
Norway, officially the Kingdom of Norway, is a Nordic country in Northern Europe, the mainland territory of which comprises the western and northernmost portion of the Scandinavian Peninsula. The remote Arctic island of Jan Mayen and the ...
and
Sweden working primarily on theory and applications of logic to
computer science
Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (includi ...
,
philosophy,
mathematics and
linguistics
Linguistics is the science, scientific study of human language. It is called a scientific study because it entails a comprehensive, systematic, objective, and precise analysis of all aspects of language, particularly its nature and structure ...
.
Presidents
The SLS is led by Executive Committee.
The presidents of the SLS:
* 2012-2017
Dag Normann
* 2017–present
Valentin Goranko
Valentin Feodorov Goranko (born 22 September 1959 in Sofia, Bulgaria) is a Bulgarian-Swedish logician, Professor of Logic and Theoretical Philosophy at the Department of Philosophy, Stockholm University.
Education and academic career
Gorank ...
Main activities
Scandinavian Logic Symposium (SLSS)
The Society organizes regular Scandinavian Logic Symposia (SLSS) every 2–4 years on a geographically rotating principle. The primary aim of the Symposium is to promote research in the field of logic (broadly conceived) carried out in research communities in Scandinavia.
Past symposia
* 1968: 1st symposium in Åbo/Turku, Finland
* 1971: 2nd symposium in Oslo, Norway
* 1973: 3rd symposium in Uppsala, Sweden
* 1976: 4th symposium in Jyväskylä, Finland
* 1979: 5th symposium in Aalborg, Denmark
* 1982: 6th symposium in Telemark, Norway
* 1996: 7th symposium in Uppsala, Sweden
* 2012: 8th symposium in Roskilde, Denmark
* 2014: 9th symposium in Tampere, Finland
* 2018: 10th symposium in Gothenburg, Sweden
* 2022: 11th symposium in Bergen, Norway
11th symposium scheduled for 2020 in Bergen, Norway, was postponed for 2022 due to pandemic of COVID-19
Nordic Logic (Summer) School (NLS)
The Society organizes regular Nordic Logic Schools every 2–4 years. The intended audience is advanced master students, PhD-students, postdocs and experienced researchers wishing to learn the state of the art in a particular subject.
Past schools
* 2013: 1st summer school in Nordfjordeid, Norway
* 2015: 2nd summer school in Helsinki, Finland
* 2017: 3rd summer school in Stockholm, Sweden
* 2022: 4th summer school in Bergen, Norway
4th summer school scheduled for 2020 in Bergen, Norway, was postponed for 2022 due to pandemic of COVID-19
General meetings of the SLS
General meetings of the Society are held regularly during the ''Scandinavian Logic Symposium''.
Membership
Membership in the SLS is open to all interested persons who agree with and support the objectives of the Society.
See also
*
International Union of History and Philosophy of Science
The International Union of History and Philosophy of Science and Technology is one of the members of the International Science Council (ISC). It was founded in 1955 by merging the ''International Union of History of Science'' (IUHS) and the ''Inter ...
*
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 ...
*
World Logic Day
*
Thoralf Skolem
Thoralf Albert Skolem (; 23 May 1887 – 23 March 1963) was a Norwegian mathematician who worked in mathematical logic and set theory.
Life
Although Skolem's father was a primary school teacher, most of his extended family were farmers. Skolem ...
References
{{reflist
External links
SLS official websiteIcelandic Center of Excellence in Theoretical Computer Science (ICE-TCS)Copenhagen Association for Dynamics, Interaction, Logic, Language and Computation (CADILLAC)Bergen Logic GroupThe Logic and Artificial Intelligence (LAI) group, Bergen UniversityCLLAM – Centre for Logic, Language, and MindThe Stockholm Logic Seminar
Information technology organizations based in Europe
Mathematical logic organizations
Philosophical logic
Philosophy organizations
Organizations established in 2012
Organizations based in Sweden
Logic organizations
2012 establishments in Sweden