Скандинавское логическое общество

Скандинавское логическое общество
Аббревиатура	СЛС
Формирование	2012 год ; 12 лет назад
Штаб-квартира	Стокгольм , Швеция
Поля	логика, информатика, философия, математика, лингвистика
Президент	Валентин Горанко
Веб-сайт	скандинавская логика .org

Скандинавское общество логики , сокращенно SLS , является некоммерческой организацией, целью которой является организация, продвижение и поддержка мероприятий, связанных с логикой, и других видов деятельности, имеющих отношение к развитию связанных с логикой исследований и образования в Скандинавском регионе. Европа. ^[1]

Общество является членом Отдела логики, методологии и философии науки и техники .

История

SLS была основана 20 августа 2012 года на 8-м Скандинавском логическом симпозиуме в Роскилле , Дания. Сегодня общество имеет свое место в Стокгольме , Швеция. Он объединяет ученых из Дании , Финляндии , Исландии , Норвегии и Швеции, работающих в основном над теорией и приложениями логики в информатике , философии , математике и лингвистике .

Президенты

SLS возглавляет Исполнительный комитет.

Президенты SLS:

2012–2017 Даг Норманн
2017 – настоящее время Валентин Горанко.

Основная деятельность

Скандинавский логический симпозиум (SLSS)

Общество организует регулярные Скандинавские логические симпозиумы (SLSS) каждые 2–4 года по принципу географической ротации. Основной целью Симпозиума является содействие исследованиям в области логики (в широком смысле), проводимым в исследовательских сообществах Скандинавии.

Прошедшие симпозиумы

1968: 1-й симпозиум в Або/Турку, Финляндия. ^[2]
1971: 2-й симпозиум в Осло, Норвегия. ^[3]
1973: 3-й симпозиум в Уппсале, Швеция. ^[4]
1976: 4-й симпозиум в Ювяскюля, Финляндия. ^[5]
1979: 5-й симпозиум в Ольборге, Дания. ^[6]
1982: 6-й симпозиум в Телемарке, Норвегия.
1996: 7-й симпозиум в Уппсале, Швеция.
2012: 8-й симпозиум в Роскилле, Дания.
2014: 9-й симпозиум в Тампере, Финляндия.
2018: 10-й симпозиум в Гетеборге, Швеция.
2022: 11-й симпозиум в Бергене, Норвегия. ^[7]

11-й симпозиум, запланированный на 2020 год в Бергене, Норвегия, перенесен на 2022 год из-за пандемии COVID-19.

Nordic Logic (Летняя) школа (NLS)

Общество организует регулярные скандинавские школы логики каждые 2–4 года. Целевая аудитория — студенты магистратуры, аспиранты, постдокторанты и опытные исследователи, желающие изучить современное состояние дел в конкретном предмете.

Предыдущие школы

2013: 1-я летняя школа в Нордфьордейде, Норвегия.
2015: 2-я летняя школа в Хельсинки, Финляндия.
2017: 3-я летняя школа в Стокгольме, Швеция. ^[8]
2022: 4-я летняя школа в Бергене, Норвегия. ^[7]

Четвертая летняя школа, запланированная на 2020 год в Бергене, Норвегия, была перенесена на 2022 год из-за пандемии COVID-19.

Общие собрания SLS

Общие собрания Общества проводятся регулярно во время Скандинавского логического симпозиума .

Членство

Членство в SLS открыто для всех заинтересованных лиц, которые согласны и поддерживают цели Общества.

См. также

Ссылки

^ «Блог-спот Dmatheorynet» . Проверено 21 ноября 2020 г.
^ Материалы 1-го Скандинавского логического симпозиума . Уппсала, Философская ассоциация и факультет философии Уппсальского университета. 1970.
^ Фенстад, JE, изд. (1971). Труды Второго скандинавского симпозиума по логике (том 63, Исследования по логике и основам математики) . Издательство Северной Голландии.
^ Кангер, Стиг, изд. (1975). Материалы третьего Скандинавского логического симпозиума . Амстердам: Издательство Северной Голландии.
^ Хинтикка, изд. (1979). Очерки по математической и философской логике: материалы Четвертого Скандинавского логического симпозиума и Первой советско-финской конференции по логике, Ювяскюля, Финляндия, 29 июня — 6 июля 1976 г. Д. Рейдель. ISBN 9027708797 .
^ Дженсен, Финн В., изд. (1979). Материалы 5-го Скандинавского логического симпозиума, Ольборг, 17-19 января 1979 г. Департамент электронных систем: распространяется издательством Ольборгского университета. ISBN 8773070378 .
^ Jump up to: ^а ^б «Bergen Logic Events 2022» . Проверено 24 ноября 2020 г.
^ «Третья летняя школа скандинавской логики» . Проверено 24 ноября 2020 г.

Внешние ссылки

[1] «Блог-спот Dmatheorynet» . Проверено 21 ноября 2020 г.

[2] Материалы 1-го Скандинавского логического симпозиума . Уппсала, Философская ассоциация и факультет философии Уппсальского университета. 1970.

[3] Фенстад, JE, изд. (1971). Труды Второго скандинавского симпозиума по логике (том 63, Исследования по логике и основам математики) . Издательство Северной Голландии.

[4] Кангер, Стиг, изд. (1975). Материалы третьего Скандинавского логического симпозиума . Амстердам: Издательство Северной Голландии.

[5] Хинтикка, изд. (1979). Очерки по математической и философской логике: материалы Четвертого Скандинавского логического симпозиума и Первой советско-финской конференции по логике, Ювяскюля, Финляндия, 29 июня — 6 июля 1976 г. Д. Рейдель. ISBN 9027708797 .

[6] Дженсен, Финн В., изд. (1979). Материалы 5-го Скандинавского логического симпозиума, Ольборг, 17-19 января 1979 г. Департамент электронных систем: распространяется издательством Ольборгского университета. ISBN 8773070378 .

[:0-7] Jump up to: ^а ^б «Bergen Logic Events 2022» . Проверено 24 ноября 2020 г.

[8] «Третья летняя школа скандинавской логики» . Проверено 24 ноября 2020 г.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]