Institute of Philosophy of Saint-Petersburg State University
Not a member yet
686 research outputs found
Sort by
К ПРОБЛЕМЕ РАСШИРЕНИЯ МАТРИЧНОЙ СЕМАНТИКИ, АДЕКВАТНОЙ КЛАССИЧЕСКОЙ ИМПЛИКАТИВНОЙ ЛОГИКЕ, ДО МАТРИЧНОЙ СЕМАНТИКИ, АДЕКВАТНОЙ КЛАССИЧЕСКОЙ ИМПЛИКАТИВНО-НЕГАТИВНОЙ ЛОГИКЕ (ЧАСТЬ 3)
Get PDFHere the ongoing work, initiated in (Popov 2019a) and in (Popov 2020), continues the study of the problem of expansion of a semantics adequate to a proper fragment of a logic, to a semantics which is adequate to this logic. We rely on the results obtained in (Popov 2019a,b, 2020) and use (without special comments) the definitions, agreements, and remarks from these works. The main content of the article is placed in two sections (the first section and the second section). In the first section, we establish the following: ⟨(1, 0, 0, 1), ¬(0, 0, 1)⟩ is the only ⊃¬-matrix of the form ⟨(1, 0, 0, 1), ⟩ adequate to the classical implicative-negative logic ⊃¬, and ⟨(0, 0, 1, 1), ¬(1/2, 1, 1)⟩ and ⟨(0, 0, 1, 1), ¬(0, 1, 1)⟩ are all ⊃¬-matrices of the form ⟨(0, 0, 1, 1), ⟩ adequate to the classical implicative-negative logic ⊃¬. In the second section we establish the following: ⟨(1/2, 1, 1, 1/2), ¬(1/2, 1, 1/2)⟩ is the only ⊃¬- matrix of the form ⟨(1/2, 1, 1, 1/2), ⟩ adequate to the classical implicative-negative logic ⊃¬, and ⟨(1/2, 1/2, 1, 1), ¬(0, 1, 1)⟩ and ⟨(1/2, 1/2, 1, 1), ¬(1/2, 1, 1)⟩ are all ⊃¬-matrices of the form ⟨(1/2, 1/2, 1, 1), ⟩ adequate to the classical implicative-negative logic ⊃¬.Здесь продолжается проводимое в (Попов 2019а) и в (Попов 2020) исследование проблемы расширения семантики, адекватной собственному фрагменту логики, до семантики, адекватной этой логике. Мы опираемся на результаты, полученные в работах (Попов 2019а,b, 2020), и используем (без специальных комментариев) определения, соглашения и замечания из этих работ. Основное содержание статьи размещено в двух разделах (первый раздел и второй раздел). В первом разделе установлено следующее: ⟨(1, 0, 0, 1), ¬(0, 0, 1)⟩ есть единственная ⊃¬-матрица вида ⟨(1, 0, 0, 1), ⟩, адекватная классической импликативно-негативной логике ⊃¬, а ⟨(0, 0, 1, 1), ¬(1/2, 1, 1)⟩ и ⟨(0, 0, 1, 1), ¬(0, 1, 1)⟩ — все ⊃¬-матрицы вида ⟨(0, 0, 1, 1), ⟩, адекватные классической импликативно-негативной логике ⊃¬. Во втором разделе установлено следующее: ⟨(1/2, 1, 1, 1/2), ¬(1/2, 1, 1/2)⟩ есть единственная ⊃¬-матрица вида ⟨(1/2, 1, 1, 1/2), ⟩, адекватная классической импликативно-негативной логике ⊃¬, а ⟨(1/2, 1/2, 1, 1), ¬(0, 1, 1)⟩ и ⟨(1/2, 1/2, 1, 1), ¬(1/2, 1, 1)⟩ — все ⊃¬-матрицы вида ⟨(1/2, 1/2, 1, 1), ⟩, адекватные классической импликативно-негативной логике ⊃¬
АНАЛИЗ ОФИЦИАЛЬНОЙ РИТОРИКИ ПРОТИВНИКОВ ПРИНЯТИЯ ЗАКОНОПРОЕКТА «О ПРОФИЛАКТИКЕ СЕМЕЙНО-БЫТОВОГО НАСИЛИЯ В РОССИЙСКОЙ ФЕДЕРАЦИИ»
Get PDFThe study explores the rhetorical strategies and premises employed by opponents of the enactment of the draft bill “On domestic violence prevention in Russian Federation” in the course of the wide public discussion about the bill during 2019. Three texts are analyzed: an open letter to the president of Russia, a statement of The Patriarchal Commission on Family, Maternal, and Child Welfare (Russian Orthodox Church), and an official answer by The Ministry of Justice of the Russian Federation to an inquiry made by European Court of Human Rights concerning domestic violence in the country. Common themes and rhetorical figures are emphasized, as well as convictions supposedly dictating their usage. Resemblance found between the three examples of the rhetoric allows for a hypothesis about such rhetoric being used as a means of national consolidation around a common political narrative. Moreover, an attempt is made to connect the rhetoric of the opponents of the bill to a wider international context as an instance of global “anti-gender turn” in the Russian reality.Работа посвящена анализу риторических стратегий и стоящих за ними предпосылок, используемых противниками принятия законопроекта «О профилактике семейно-бытового насилия в Российской Федерации» в ходе широкой дискуссии, развернувшейся вокруг этого законопроекта в 2019 г. В работе анализируются три текста: общественное открытое письмо президенту России, заявление Патриаршей комиссии по вопросам семьи, защиты материнства и детства при РПЦ и официальный ответ Минюста РФ на запрос ЕСПЧ по вопросам домашнего насилия в стране. В исследуемых материалах выделяются общие темы, риторические ходы и ценностные убеждения, предположительно диктующие их использование. Сходство трёх примеров исследуемой риторики позволяет предположить её использование в качестве инструмента для национальной консолидации вокруг общего политического нарратива. Кроме того, предпринимается попытка связать риторику противников законопроекта с более широким международным контекстом как реализацию глобального «анти-гендерного поворота» в российском контексте
КАТЕГОРНАЯ ФОРМАЛИЗАЦИЯ «МЕТОДОЛОГИИ МЫШЛЕНИЯ» А. В. КУРПАТОВА В КОНТЕКСТЕ ПЕРСПЕКТИВНЫХ РАЗРАБОТОК AGI
Get PDFIn this article the author applies the language of category theory in order to formalize the core methodological principles that structure the methodology of thought elaborated by the modern Russian psychiatrist and philosopher A. Kurpatov. According to the author, such formalization could be useful both from the standpoint of the unification of ways of thinking about brain functioning and reasoning in particular, and from the standpoint of the search for a uniform language of scientific thought in general.В статье предпринимается попытка формализовать в языке теории категорий основные методологические концепты, с помощью которых выстраивает свою методологию мышления современный отечественный психиатр и философ А. В. Курпатов. По мнению автора статьи, такая формализация может оказаться продуктивной как с точки зрения унификации способов думать о мышлении и работе мозга в частности, так и с точки зрения поиска единого языка научной мысли в целом
ЛЕОНАРДО БРУНИ И ГЕОРГИЙ ТРАПЕЗУНДСКИЙ О СТРАТЕГИЯХ ПЕРЕВОДА ДРЕВНЕГРЕЧЕСКИХ АВТОРОВ
Get PDFThe paper addresses one of the episodes in the history of the early Renaissance polemic about the theory and practice of translation, namely, the views on the goals and methods of translation as presented in Leonardo Bruni’s treatise De interpretatione recta and in the writings of one of the most talented and prolific translators of the time, George of Trebizond. Although the basic principles of translation which guided both authors dated back to the Antiquity, their views on the medieval practice of literal translation are rather different: while Bruni believed that medieval translators “distorted and mutilated” the works of ancient authors, George considered their methods to be the most suitable for the translation of “scholarly” writings (such as treatises of Aristotle and other philosophers).Статья посвящена одному из эпизодов полемики о теории и практике перевода, развернувшейся в эпоху раннего Ренессанса, а именно тому, как цели и методы перевода представлены в трактате Леонардо Бруни «О правильном переводе» и в сочинениях одного из самых талантливых и плодовитых переводчиков того времени Георгия Трапезундского. Хотя основные принципы, которыми руководствовались оба автора, были сформулированы ещё в Античности, их взгляды на средневековую практику буквального перевода существенно отличаются: если Бруни считал, что средневековые переводчики «коверкали и уродовали» произведения древних авторов, то Георгий считал их методы наиболее подходящими для перевода «научных» сочинений (таких, как трактаты Аристотеля и других философов)
НЕПРЯМЫЕ ЗНАЧЕНИЯ В ЕСТЕСТВЕННОМ ЯЗЫКЕ И НЕКОНСИСТЕНТНЫЕ ЛОГИКИ
Get PDFA new approach to the formal semantics of indirect meanings (e.g. poetical tropes, etc.) is proposed. Its main difference from its closest predecessors (Hintikka and Sandu’s multiworld semantics of indirect meainings and Davidson’s pragmatic theory of metaphor) is to be semantics of inconsistent logics, that is, those types of logic that allow some kinds of contradiction. According to the authors, communication with indirect meanings is based on the human capacity to think using contradictions.Предлагается новый подход к семантике непрямых значений в естественном языке (прежде всего, но не только, поэтических тропов), особенностью которого по сравнению с теориями ближайших предшественников (с одной стороны, многомировой семантикой поэтических тропов у Я. Хинтикки и Г. Санду и, с другой стороны, прагматической теорией метафоры Д. Дэвидсона) является ее основанность на неконсистентной логике (то есть на логиках, допускающих разного типа противоречия). По мнению авторов, коммуникация с помощью непрямых значений основана на человеческой способности мыслить противоречиями
К ПРОБЛЕМЕ РАСШИРЕНИЯ МАТРИЧНОЙ СЕМАНТИКИ, АДЕКВАТНОЙ КЛАССИЧЕСКОЙ ИМПЛИКАТИВНОЙ ЛОГИКЕ, ДО МАТРИЧНОЙ СЕМАНТИКИ, АДЕКВАТНОЙ КЛАССИЧЕСКОЙ ИМПЛИКАТИВНО-НЕГАТИВНОЙ ЛОГИКЕ (ЧАСТЬ 2)
Get PDFThis work continues the studies presented in (Popov 2019a) of the problem of expansion of a semantics adequate to a proper fragment of a logic, to semantics which is adequate to this logic. In the present article, we rely on the results obtained in (Popov 2019a) and (Popov 2019b), and rely on definitions, agreements, and comments from these works. The main content of the article is placed in two sections (the first section and the second section). In the first section, we study the question of the possibility of constructing a logical matrix of the form ⟨M(1/2, 1, 0, 1/2), f⟩ (where f is a unary operation on the set {1, 1/2, 0}), adequate to the classical implicative-negative logic Cl⊃¬. Note that M(1/2, 1, 0, 1/2) belongs to the set of all three-valued logical matrices adequate to the classical implicative logic Cl⊃, each of which is supported by the set {1, 1/2, 0}, and the designated set of each of which is the set {1} (see Popov 2019b). Here we give a negative answer to this question. The central question of the second section is the question of the possibility of constructing a logical matrix of the form ⟨M(1/2, 0, 0, 1/2), f⟩ (where f is a unary operation on the set {1, 1/2, 0}), adequate to the classical implicative- negative logic Cl⊃¬. Note that M(1/2, 0, 0, 1/2) belongs to the set of all three-valued logical matrices adequate to the classical implicative logic Cl⊃, each of which is supported by the set {1, 1/2, 0}, and the designated set of each of which is the set {1} (see Popov 2019b). We give a negative answer to the central question of the second section and make corrections to the announcement made in (Popov 2019a).Эта работа продолжает представленные в (Попов 2019а) исследования проблемы расширения семантики, адекватной собственному фрагменту логики, до семантики, адекватной этой логике. В предлагаемой статье мы используем результаты, полученные в работах (Попов 2019а) и (Попов 2019b), и опираемся на определения, соглашения и замечания из этих работ. Основное содержание статьи размещено в двух разделах (первый раздел и второй раздел). В первом разделе изучается вопрос о возможности построения логической матрицы вида ⟨M(1/2, 1, 0, 1/2), f⟩ (где f есть унарная операция на множестве {1, 1/2, 0}), адекватной классической импликативно-негативной логике Cl⊃¬. Заметим, что M(1/2, 1, 0, 1/2) принадлежит пересчету всех адекватных классической импликативной логике Cl⊃ трехзначных логических матриц, носителем каждой из которых является множество {1, 1/2, 0}, а выделенным множеством каждой из которых является множество {1} (см. Попов 2019b). Здесь мы даем отрицательный ответ на указанный вопрос. Центральный вопрос второго раздела — вопрос о возможности построения логической матрицы вида ⟨M(1/2, 0, 0, 1/2), f⟩ (где f есть унарная операция на множестве {1, 1/2, 0}), адекватной классической импликативно-негативной логике Cl⊃¬. Заметим, что M(1/2, 0, 0, 1/2) принадлежит пересчету всех адекватных классической импликативной логике Cl⊃ трехзначных логических матриц, носителем каждой из которых является множество {1, 1/2, 0}, а выделенным множеством каждой из которых является множество {1} (см. Попов 2019b). Мы даем отрицательный ответ на центральный вопрос второго раздела и вносим исправление в анонс, сделанный в (Попов 2019а)
О ЦАРСТВЕ ЭЙДОСОВ
Get PDFThe article deals with the ontology of Plato, which contains three parts: pure being, complete non-being, and something in-between. Pure being is the kingdom of eidē: genera and species. Complete non-existence in itself does not exist and makes itself felt only in conjunction with being, forming what lies between it and pure being, i.e. the world of individuals. The main difference between eidē and individuals is that the former are eternal, and the latter are transient. The ontology of Plato is compared with the doctrine of Aristotle that every individual consists of material substance and form. Aristotle considers the primordial substance to be a solid formless substrate, which in itself does not exist, but manifests itself only when it gets a form. The forms for it are eidē, in particular lower species. When an individual arises, a certain part of material substance combines with a part of one or another lower species, thus acquiring a form corresponding to it. When an individual dies, his material part ceases to exist, dissolving in primary matter, and its form, being an eidos, retains its existence forever in the realm of eidē, as Thomas Aquinas and Duns Scotus teach about this.В статье рассматривается онтология Платона, которая содержит три части: чистое бытие, полное небытие и нечто, находящееся между ними. Чистое бытие — это царство эйдосов: родов и видов. Полное небытие само по себе не существует и дает о себе знать только в соединении с бытием, образуя то, что лежит между ним и чистым бытием, т. е. мир индивидов. Основное различие между эйдосами и индивидами состоит в том, что первые вечны, а вторые преходящи. Онтология Платона сопоставляется с учением Аристотеля о том, что всякий индивид состоит из материи и формы. Первоматерией Аристотель считает некий сплошной бесформенный субстрат, который сам по себе не существует, а проявляет себя только будучи оформлен. Формами же для него служат эйдосы, в частности — низшие виды. При возникновении индивида некоторая часть материи соединяется с частью того или иного низшего вида, приобретая, таким образом, соответствующую ей форму. Когда индивид погибает, то его материальная часть перестает существовать, растворяясь в первоматерии, а его форма, будучи эйдосом, сохраняет свое существование, вечно пребывая в царстве эйдосов, как об этом учат Фома Аквинский и Дунс Скот
ЗАМЕТКИ ПО РИТОРИКЕ И ТЕОРИИ АРГУМЕНТАЦИИ
Get PDFThe materials presented below are intended for use in the teaching of a short course on rhetoric and theory of argumentation for undergraduate students. They do not claim to be complete and they present one of the many possible versions for how relevant knowledge can be structured. The reader can make up for the missing or take a different path by turning to the modern literature on rhetoric and argumentation. The specificity of my approach is that I pay special attention to the differentiation of logic and rhetoric, their common origin and the closeness of their socio-cultural functions, consider the structural features of argumentation, relying mainly on the well-known Toulmin scheme, as well as try to demonstrate how the aesthetic resources of argumentation can work.Представленные ниже материалы предназначены для использования в преподавании краткого общего курса по риторике и теории аргументации студентам-магистрантам. Они не претендуют на полноту, и в них представлен один из многих возможных вариантов того, как соответствующие знания могут быть структурированы. Восполнить недостающее или пройти иным путём читатель может, обратившись к обширной современной литературе по риторике и аргументации. Специфика моего подхода состоит в том, что я обращаю особое внимание на дифференциацию логики и риторики, на их общее происхождение и на близость их социокультурных функций, рассматриваю структурные особенности аргументации, опираясь в основном на известную схему Тулмина, а также привлекаю материалы, помогающие оценить эстетические ресурсы аргументации
ВОЗНИКНОВЕНИЕ ФРОНТИСПИСОВ КАК ОСОБОГО ВИЗУАЛЬНОГО СРЕДСТВА В УЧЕБНИКАХ ЛОГИКИ НОВОГО ВРЕМЕНИ
Get PDFThe paper presents the main stages of frontispieces formation that are seen as special visual aids in logic textbooks of the Early Modern Period: from separate book illustrations inside the text to so-called broadsides and thesis prints, and from them to frontispieces. The main differences between these types of visual aids are demonstrated using the same image of a sailing ship on the engraved title of F. Bacon’s “Instauratio magna” (1620), in J. Chéron’s broadside (1622), in B. Kröner’s thesis print (1669) and S. Großer’s frontispiece “Pharus intellectus” (1697).В статье представлены основные этапы процесса формирования фронтисписа как особого визуального средства в учебниках по логике Нового времени — от отдельных книжных иллюстраций внутри текста к так называемым листовкам-плакатам и плакатным тезисам, а от них — к фронтисписам. Основные отличия указанных видов визуальных средств продемонстрированы на примере использования одного и того же образа парусного корабля на гравированном титульном листе «Нового Органона» (1620) Ф. Бэкона, в плакатной листовке Ж. Шерона (1622), в плакатных тезисах Б. Крёнера (1669) и во фронтисписе «Маяка рассудка» (1697) С. Гроссера
НЕМНОГО О ТРЕХЗНАЧНЫХ ЛОГИЧЕСКИХ МАТРИЦАХ С ОДНИМ ВЫДЕЛЕННЫМ ЗНАЧЕНИЕМ
Get PDFThis article supplements the paper “Three-Valued Logical Matrices with One Designated Value, Adequate to Classical Implicative Logic” by Vladimir Popov, published in the present issue of the journal. The result of the study presented in the present article: two such logical matrices M(1/2, 0, 1, 1/2) and M(1/2, 0, 0, 1) are indicated that the set of all logical matrices of the form ⟨{1, 1/2, 0}, {1}, g⟩ (where g is a binary operation on {1, 1/2, 0}), each of which is adequate to implicative logic, including implicative intuitionistic logic and included in implicative classical logic, but different from the last, is the set {M(1/2, 0, 1, 1/2),M(1/2, 0, 0, 1)}; the logical matrices M(1/2, 0, 1, 1/2) and M(1/2, 0, 0, 1) are isomorphic.Эта статья дополняет работу В. М. Попова «Трехзначные логические матрицы с одним выделенным значением, адекватные классической импликативной логике», которая опубликована в настоящем номере журнала. Представленный в предлагаемой статье результат исследования: указаны две логические матрицы M(1/2, 0, 1, 1/2)и M(1/2, 0, 0, 1), такие, что множество всех логических матриц вида ⟨{1, 1/2, 0}, {1}, g⟩ (где g есть бинарная операция на {1, 1/2, 0}), каждая из которых такова, что множество всех L⊃-формул, общезначимых в этой L⊃-матрице, включает интуиционистскую импликативную логику и включается в классическую импликативную логику, но отлично от последней, есть множество {M(1/2, 0, 1, 1/2),M(1/2, 0, 0, 1)}; при этом логические матрицы M(1/2, 0, 1, 1/2) и M(1/2, 0, 0, 1) изоморфны