Institute of Philosophy of Saint-Petersburg State University
Not a member yet
686 research outputs found
Sort by
Предмет логики в русскоязычной профессиональной литературе XX в.: словари, энциклопедии, справочники
Get PDFПредмет логики в русскоязычной профессиональной литературе XX в.: словари, энциклопедии, справочник
Логические механизмы и приемы вербального юмора
Get PDFЛогические механизмы и приемы вербального юмор
Нормальная модальная K система логики направленности изменения (синтаксический аспект)
Get PDFНормальная модальная K система логики направленности изменения (синтаксический аспект
«Сила» убеждения: Peithanagke в диалоге о низложении патриарха Николая IV Музалона
Get PDF«Сила» убеждения: Peithanagke в диалоге о низложении патриарха Николая IV Музалон
Hetuvidya Studies in India: A Historical Survey
Get PDFHetuvidya Studies in India: A Historical Surve
Локальная композициональность и отношение именования
Get PDFЛокальная композициональность и отношение именовани
К проблеме характеризации логик Васильевского типа: о табличности логик I(x;x) (x e {1, 2, …})
Get PDFThis article is written in the framework of a research program (see Popov 2016: 32–67) for the tabularity problem of Vasiliev type I-logics (a propositional logic is called tabular if it has a finite characteristic matrix). Regarding Vasiliev type I-logics of the form I⟨x;y⟩ (x, y e {0, 1, 2, ... } and x < y), the tabularity problem was studied in (Popov 2017a: 57–81)and (Popov 2017b: 25–58). The main result obtained in those papers was as follows: for every pair of non-negative integers x and y, the first of which is smaller than the second, the logic I⟨x;y⟩ is tabular. The aim of this paper, which is based on (Popov 2016: 32-81), (Popov 2017a: 57–81) and (Popov 2017b: 25–58), is to demonstrate that for every positive integer x the logic I⟨x;x⟩ is tabular. To this end, we show here how, for an arbitrary positive integer n, a logical matrix M(n; n) is constructed which is the finite characteristic matrix of logic I⟨n;n⟩ (the class of all such logics is infinite). Due to the fact that the carrier of the logical matrix M(x; x), where x e {1, 2, ... }, is some set of 0–1-tuples, it seems natural to characterize the matrix semantics, based on this kind of logical matrix, as tuple semantics.Эта статья написана в рамках намеченного в (Попов 2016) плана исследования проблемы табличности I-логик васильевского типа (пропозициональная логика назы- вается табличной, если она имеет конечную характеристическую матрицу). В отношении I-логик васильевского типа, имеющих вид I⟨x;y⟩ (x, y e {0, 1, 2, ...} и x•y), проблема табличности изучена в (Попов 2017a: 57–81) и (Попов 2017b: 25–58). Основной результат, полученный в указанных работах: для всяких целых неотрицательных чисел x и y, первое из которых меньше второго, логика I⟨x;y⟩ таблична. Цель предлагаемой статьи, опирающейся на работы (Попов 2016: 32–67), (Попов 2017a: 57–81) и (Попов 2017b: 25–58), состоит в демонстрации того, что для всякого целого положительного числа x логика I⟨x;x⟩ является табличной. С этой целью здесь показано, как по произвольному целому по- ложительному числу n строится логическая матрица M(n; n), которая является конечной характеристической матрицей логики I⟨n;n⟩ (класс всех таких логик счетно-бесконечен). В связи с тем, что носитель логической матрицы M(x, x), где x e {1, 2, ... }, есть некоторое множество 0–1-кортежей, представляется естественным охарактеризовать матричную семантику, базирующуюся на такого рода логической матрице, как кортежную семантику. Иной вариант кортежной семантики был использован в (Попов 2017a: 57–81) и (Попов 2017b: 25–58)
Что есть адинатон?
Get PDFThe objective of this article was to provide an understanding of the term ‘adynaton’ and a classification of ‘adynata’ identified by Greek authors. We approached the term by starting with a broad overview of the existing definitions and their sources: some define the term narrowly as a rhetorical device, a kind of extreme hyperbole, or folkloristic scheme of mundus inversus , some as a theme or pattern, whereas others consider it as a method of argumentation, and all of them referring to the classical rhetorical manuals. The exploring of Ancient Greek and Byzantine texts led us to another understanding of this word, namely, as the type of proverbs about those who take up a pointless task. We offer a list of these proverbs found in Vaticanus graecus 306 and “κλογή περὶ τῶν δυνάτων” of pseudo-Plutarch as well as their classification that can eventually shed light on the Greek conceptions of senselessness and impossibility.В данной статье была предпринята попытка выявить значение термина адина-тон, а также ввести классификацию адинатонов, идентифицированных в качестве таковых греческими авторами. В начале приводится обзор существующих определений и их источни-ков, одни из которых рассматривают адинатон как риторическую фигуру или приём в виде гиперболы крайней степени невозможности, вторые как фольклорную формулу «мира наизнанку», другие как тему или мотив, и, наконец, последние как способ аргументации. И при этом все эти определения ссылаются на формулировки, якобы существовавшие в клас-сических руководствах по риторике. Между тем, в древнегреческих и византийских текстах слово адинатон использовалось в качестве рабочего термина исключительно для обозначения паремиографических выражений, обозначающих бессмысленные действия. В статье приводится список пословиц, обнаруженных в посвящённых этой теме собраниях (зафиксированных в рукописи Vaticanus graecus 306 и коллекции псевдо-Плутарха), а также даётся их классификация по типу высказывания, что может способствовать пониманию концепций бессмысленного и невозможного, существовавших в греческой мысли