Institute of Philosophy of Saint-Petersburg State University
Not a member yet
686 research outputs found
Sort by
Византийская богословская монадология в эпоху арианских споров
Get PDFВизантийская богословская монадология в эпоху арианских споро
Intensionality, n-Compositionality and Semantic Phases
Get PDFIntensionality, n-Compositionality and Semantic Phase
Композициональность и некомпозициональность на двух сторонах explanatory gap
Get PDFIn this article, the attempt is made to compare the data on the phenomena of semantic compositionality and non-compositionality which are obtained within logic-semantic theory and cognitive sciences. Two corner-stone metaphors that serve as theoretic heuristics for compositionality are discussed: reflection and calculation. The conclusion is reached that empirical cognitive research is based on both of these metaphors, which, in turn, explains why the results of the research fully agree with theoretical research. All this allows us to suppose that the phenomena currently available for research are in fact the result of the acquisition of information processing skills. This result depends on the properties of both discourse and ontology to the same extent as the research in logic-semantic theory. «Explanation Gap» is, therefore, not there, because what we deal here with is not physiological substrate but socio-communicative practice.В статье сопоставляются данные, которые получены о явлениях семантической композициональности и некомпозициональности в логико-семантической теории и в когнитивных науках. Рассматриваются две основополагающие метафоры, служащие теоретическими эвристиками композициональности: отображение и вычисление. Делается вывод о том, что эмпирические когнитивные исследования опираются на обе эти метафоры, что объясняет, почему их результаты находятся в полном соответствии исследованиям теоретическим. Это позволяет предположить, что явления, доступные сегодня для экспериментального изучения, представляют собой результат усвоения навыков обработки информации и зависят от свойств дискурса и онтологии в той же мере, что и исследования в логико-семантической теории. «Провал в объяснении», таким образом, отсутствует, поскольку мы имеем дело не с физиологическим субстратом, а с социально-коммуникативной практикой
Софья Александровна Яновская – к 120-летию со дня рождения
Get PDFThe scientific biography of the remarkable person, teacher and the scientist S. A. Yanovskaya is stated. The history of her arrival to science is described. The short analysis of her scientific and pedagogical activity is given. Features of her teaching manner are accented. The history of creation of the Soviet school of mathematical logic and school of history of mathematics is recreated. The memoirs of contemporaries recreating Yanovskaya's image as the person are given.Изложена научная биография замечательного человека, педагога и ученого С. А. Яновской. Описана история ее прихода в науку. Дан краткий анализ ее научной и педагогической деятельности. Акцентированы особенности ее преподавательской манеры. Воссоздана история создания советской школы математической логики и школы истории математики. Приведены воспоминания современников, воссоздающие образ Яновской как человека
The Logical Thought in Russia: A Panel Review of the International Conference ‘The Russian Logos: Rethinking the Horizons’
Get PDFВ обзоре изложено содержание основных докладов и дискуссий секции «Логическая мысль в России», состоявшейся 27.09.2017 в рамках международной конференции «Русский логос: горизонты осмысления» 25–28.09.2017.. The review presents the key lectures and the discussions in the framework of the panel ‘The Logical Thought in Russia’ held 27.09.2017 as part of the International Conference ‘The Russian Logos: rethinking the horizons’
Феноменология признания
Get PDFThe paper is devoted to the phenomenological research of recognition. It develops the authors ideas presented in the paper «Recognition and Logos» [Мелас 2001].By analysis a number of examples of recognition of a writer or an artist as well as recognition of historical or everyday facts the author discovered that the recognition in these example means nothing more than the addition to a group of people which recognize the same thing. But the size and the content of this group and the reasons of its members remain unknown. And the addition remains usually unconscious. It should be noted that the recognition is not a linguistic game but it is a being based on suggestion of a support and waiting of a help.Статья посвящена феноменологическому исследованию признания и признанности. В статье представлены идеи автора, изложенные в статье «Признанность и Логос» [Мелас 2001]. Анализируя случаи признания писателя или художника, а также признания исторического или бытового факта, автор обнаруживает, что признание в этих случаях подразумевает присоединение к некоторой группе лиц, которые признают то же самое. Но при этом размер и состав группы, как и мотивы ее членов, остаются неопределенными, а само присоединение обычно не осознается. Важно отметить, что признание — это не языковая игра, а способ существования, основанный на предложении поддержки и ожидании помощи
Корректное вероятностное рассуждение при противоречии, неконсистентности и неполноте
Get PDFWe intend to show how probability theory can be regarded as logic-dependent, viewing probability as a branch of logic in a generalized way. A kind of meta-axiomatics permits us to define probability measures that are either classical, paraconsistent, intuitionistic, or simultaneously intuitionistic and paraconsistent, just by parameterizing on consequence relations. In particular, we discuss theories of probability built upon the paraconsistent Logic of Formal Inconsistency Ci, and upon the paraconsistent and paracomplete Logic of Evidence and Truth LETj. The logic Ci naturally encodes an extension of the notion of probability able to express probabilistic reasoning under an excess of information (contradictions), while LETj encodes an extension of the notion of probability able to express probabilistic reasoning under lack of information (incompleteness), and is thus connected to the notion of probability of evidence. We show how interesting nonstandard Bayesian updating can be defined in both cases, and further generalized to the three-valued paraconsistent logic LFI1. We also discuss how probability theory over non-classical logics can be immediately extended to necessity and possibility measures, and list some open problems.Мы намерены показать, каким образом теория вероятностей может считаться зависимой от логики, рассматривая теорию вероятности как ветвь логики в ее обобщенном понимании. Своего рода мета-аксиоматика позволяет определять вероятностные меры, которые являются классическими, параконсистентными, интуиционистскими или интуиционистскими и параконсистентными одновременно, просто параметризируя отношения следования. В частности, мы обсуждаем те теории вероятностей, которые выстроены на основе параконсистентной логики формального противоречия Ci и на основе логики свидетельства и истинности LETj. Логика Ci естественным образом формализует расширение понятия вероятности, способное выразить вероятностные рассуждения в условиях избытка информации (противоречий), в то время как LETj формализует расширение понятия вероятности, способное выразить вероятностный способ рассуждения в условиях недостатка информации (неполноты), и, таким образом, связана с понятием вероятности свидетельства. Будет показано, как интересное нестандартное байесовское обновление может быть определено в обоих случаях и далее расширено до трехзначной параконсистентной логики LFI1. Мы обсудим также то, как теория вероятностей, выстроенная на неклассических логиках, может быть непосредственно расширена за счет мер необходимости и возможности, и перечисляем некоторые открытые проблемы
Специфика аргументативного дискурса on-line коммуникации: нелогичное пространство социальных сетей
Get PDFThe main characters of the virtual social networks argumentative discourse are considered in the article. The ideas are: 1) public opinion making is one of the most important purposes of social networks; 2) social networks users are not a big social group, but the mass, which have appropriate specific set of properties. There are two groups of the properties: psychological characters of mass’ members (anonymity, irresponsibility, susceptibility, increase of reality perception emotionality) and characters of mass in whole (casual structure of people, who comprise the mass; homogeneity of the mass; co-directedness of ideas; intolerance to the opposite opinion). All the characters are appropriate to the virtual social networks users. As a result the specific on-line communication argumentative discourse forms. We can mark main properties of the discourse: 1) demonstrative argumentation, based on the deductive schemes, mostly isn’t effective; 2) users’ point of view develops into the basis of the most popular among users’ friends news; 3) social networks users are disposed to speech aggression. Much more, in the social network space we can choose the set of the most popular argumentative strategies, which are peculiar to congruent social roles users play. There are fives accepted strategies: the strategy of connivance, the «evil troll» strategy, the informer strategy, the expert strategy and the «close friend» strategy. All the characters and strategies should be taken into account during public opinion making in the context of virtual social networks.В статье рассмотрены специфические особенности аргументативного дискурса виртуальной социальной сети. Основные идеи: 1) одной из глобальных целей функционирования социальных сетей является формирование общественного мнения; 2) пользователи социальной сети представляют собой не большую социальную группу, а массу, с соответствующим специфическим набором свойств. К таким свойствам относятся психологические характеристики членов массы (анонимность, безответственность, заражаемость и повышение эмоциональности восприятия действительности) и характеристики массы в целом (случайный состав образующих массу людей, однородность массы, сонаправленность идей и нетерпимость к противоположному мнению). Все эти свойства присущи и пользователям виртуальных социальных сетей, а результатом их проявления становится формирование специфического аргументативного дискурса on-line коммуникации. Мы можем выделить такие характерные черты этого дискурса: 1) доказательная аргументация, построенная на дедуктивных схемах рассуждения, оказывается преимущественно неэффективной; 2) точка зрения пользователей формируется на основе новостей, имеющих наибольшую популярность среди их друзей; 3) пользователи социальных сетей склонны к речевой агрессии. Кроме того, в статье выделены наиболее распространенные в виртуальном пространстве аргументативные стратегии: стратегия молчаливого согласия, стратегия «злого тролля», стратегия информатора, стратегия эксперта, стратегия «близкого друга». При формировании общественного мнения в рамках виртуальных социальных сетей, безусловно, должны учитываться все рассмотренные характеристики аргументативного дискурса и базовый набор аргументативных стратегий
Категорный реализм
Get PDFUsing the formal apparatus of category theory, it is possible to show that (a) provided that certain natural conditions are met, the collection of Heyting-valued sets together with the set-theoretic functions defined on them constitute a category, and b) in case the cardinality of this collection is measured by an inaccessible cardinal, every diagram d1 → d2 in this category admits a limit. We demonstrate that this formal result can be used in the categorial analysis of logic and that the language of category theory may be construed as meta-mathematical discourse or, more precisely, as a kind of mathematical structuralism that is to a certain extent able to provide an ontological justication for logic. Then, provided that certain important provisos are made, the aforementioned theorem can be read as follows: if a world is ontologically closed then it is logically complete.Используя формальный аппарат теории категорий, можно показать, что (а) совокупность гейтинго-значных множеств с определенными на них теоретико-множественными функциями при соблюдении некоторых естественных условий образуют категорию, и (б) если мощность данной совокупности измеряется недостижимым кардиналом, то любая диаграмма вида d1 → d2 в такой категории допускает предел. В статье автор показывает, что данный формальный результат может быть использован в категорном анализе логики, и что сам язык теории категорий может рассматриваться как мета-математический дискурс, а именно — как разновидность математического структурализма, который в некоторой степени может предложить онтологическое обоснование логики. И тогда с некоторыми важными оговорками упомянутая теорема может быть прочитана следующим образом: если мир онтологически замкнут, то он логически полон