?
7th International Conference on Topology, Algebra and Categories in Logic (TACL 2015)
2015.
7th International Conference on Topology, Algebra and Categories in Logic (TACL 2015)
Главы книги
Shapirovsky I., Золин Е. Е., , in: 7th International Conference on Topology, Algebra and Categories in Logic (TACL 2015).: [б.и.], 2015. P. 1–3.
We give a sufficient condition for Kripke completeness of the extension of a modal logic with the transitive closure modality. More precisely, we show that if a logic is canonical and admits what we call definable filtration (ADF), then such an extension is complete (and again ADF). ...
Добавлено: 14 июня 2018 г.
Язык:
английский
Ключевые слова: abstract logic
Драгалина-Черная Е. Г., Логические исследования 2025 Т. 31 № 2 С. 9–30
В статье предлагается интерпретация абстрактных логик как классификаций абстрактных структур (типов изоморфизма). Свойство инвариантности относительно изоморфизма понимается не как традиционный
критерий демаркации логических и нелогических терминов, а как мета-ограничение на соответствующие
классы структур. Выявляется вариативность подобных мета-ограничений в ранней и современной теории моделей. Сопоставляются онтологические подходы, предполагающие трактовку абстрактной структуры как формы, разделяемой всеми структурами в данном типе ...
Добавлено: 8 сентября 2025 г.
Драгалина-Черная Е. Г., , in: 4th Lisbon International Conference on Philosophy of Science - LICPOS 2023.: Lisbon: CFCUL, 2023. P. 27–28.
Добавлено: 14 июля 2023 г.
Prague: [б.и.], 2003.
papers presented at the conference “Logica 2002″ (June 18-21, 2002, Castle Zahradky, Czech Republic) and published in: T. Childers and O. Majer (eds.), Logica’2002, Prague 2003 ...
Добавлено: 7 июня 2018 г.
[б.и.], 2015.
This volume contains the abstracts of the talks given at the 2015 European Summer Meeting of the Association for Symbolic Logic—Logic Colloquium ’15—taking place on August 3 - 8, 2015, in Helsinki, Finland. The Colloquium is co-located with the 15th International Congress of Logic, Methodology and Philosophy of Science, CLMPS, and the SLS Summer School ...
Добавлено: 5 июня 2018 г.
St. Petersburg: St. Petersburg University, 2016.
Abstract of a talk at the 12th International Conference “Logic Today: Developments and Perspectives” ...
Добавлено: 5 июня 2018 г.
Гаврилович М. Р., / Series arxiv "math.CT". 2017.
Добавлено: 21 июля 2017 г.
Драгалина-Черная Е. Г., Epistemology and Philosophy of Science 2013 Vol. 38 No. 4 P. 136–149
The purpose of this paper is twofold: (1) to clarify Ludwig Wittgenstein’s thesis that colours possess logical structures, focusing on his ‘puzzle proposition’ that “there can be a bluish green but not a reddish green”, (2) to compare model-theoretical and game-theoretical approaches to the colour exclusion problem. What is gained, then, is a new game-theoretical ...
Добавлено: 1 октября 2013 г.
Драгалина-Черная Е. Г., / Series HUM "Humanities". 2012. No. 10.
В работе ставятся две основные задачи: (1) эксплицировать тезис Людвига Витгенштейна о логической структуре цвета, обращая особое внимание на истолкование его «загадочного высказывания» о том, что «возможен синевато-зеленый, но не красновато-зеленый цвет»; (2) сопоставить теоретико-модельный и теоретико-игровой подходы к проблеме исключения цветов. Предлагается авторская версия теоретико-игрового подхода к логике «запрещенных» (красновато-зеленого и синевато-желтого) цветов. В ...
Добавлено: 19 декабря 2012 г.