Institute of Philosophy of Saint-Petersburg State University
Not a member yet
686 research outputs found
Sort by
Ирония и насмешка в «In Calumniatorem Platonis» Виссариона Никейского
Get PDFThe concept of ἡ εἰρωνεία is used in the writings of Byzantine writers in a variety of contexts and allows for a whole range of interpretations: it can be a trope implying the difference between the hidden and literal meaning of the words as well as a special modality of the sentence, which makes it possible to convey mockery, resentment, or contempt. The paper aims to analyze a number of ironical remarks made by Bassilios Bessarion in his treatise In Calumniatorem Platonis and demonstrate how the usage of such rhetorical devices as sarcasm, irony, parody, etc. turns Bessarion’s adversary, George of Trebizond, into a comical character, who — like an Aristotle’s “boaster” (ὁ ἀλαζών) or “foolish person” (ἠλί θῐος) — aspires to dignity, which he does not possess. That is one of Bessarion’s ways to compromise both George himself and his criticism of Platonic philosophy.В произведениях византийских писателей понятие ἡ εἰρωνεία используется в самых разнообразных контекстах и допускает целый спектр трактовок: от тропа, смысл которого заключался в выражении некоего содержания путём использования противоположных по смыслу слов с целью и до особой модальности высказывания, позволяющей выразить насмешку, обиду или презрение. В статье делается попытка проанализировать ряд иронических замечаний Виссариона Никейского, сделанных им в трактате In Calumniatorem Platonis в адрес противника (Георгия Трапезундского), и показать, каким образом использование таких риторических приёмов, как сарказм, ирония, пародирование и пр., позволяют ему превратить своего оппонента в комическую фигуру, подобно «хвастуну» (ὁ ἀλαζών) или «не-разумному» (ἠλί θι ος) Аристотеля претендующую на достоинство, которым не обладает, и, тем самым, дискредитировать и его самого, и его критику платоновской философии
Парадокс древней аргументации шарообразности земли
Get PDFA standard ancient account of why one should accept the sphericity of the Earth may seem smooth and unproblematic. It turns out, however, under closer examination that none of the ancient proofs is truly convincing. Most of them ignore considerations on which the system of Anaximenes was built. The only one that cannot be met within the system of Anaximenes is the proof that involves the outline of the shadow seen during lunar eclipses. But to resort to this proof meant arguing the hypothesis of the sphericity of the Earth through the hypothesis (not yet firmly established) of what produces lunar eclipses. The sphericity of the Earth was not a theory accepted under the pressure of a particular crucial observation or argument. It was a complicated matter settled in the course of time among the professionals. All alternative possibilities were examined and rejected, while sphericity of the Earth was found to have been in good agreement with all sorts of data and considerations.Древняя аргументация шарообразности Земли, на первый взгляд, кажется превосходно разработанной. На деле, однако, ни один из используемых доводов не является понастоящему убедительным. Большинство из них не учитывает те принципы, на которых была выстроена система Анаксимена. Исключением является довод, отсылающий к очертаниям тени во время лунных затмений. Однако само объяснение лунных затмений долгое время оставалось в статусе гипотезы — так что выходило обоснование одной гипотезы через другую. Почти безоговорочное признание шарообразности Земли древними учеными, философами и образованными людьми произошло не под воздействием какого-то особого факта или довода. Вопрос был постепенно решен в среде профессиональных астрономов, чьему вердикту последовали другие
Становление логических идей в византии в период второго иконоборчества: Феодор Студит и проблема тождества
Get PDFIconoclastic disputes in Byzantium are regarded in the present paper as the crucial point in the formation of scientific thinking in the Middle Ages. I propose to compare the two approaches to understanding the theological issues in terms of logical laws, the “iconoclastic” one and that of Theodore the Studite (“iconophilistic” one), and to show the interrelations between logical and theological ideas in the process of cognition theory development in general, and logic theory in particular.В работе рассмотрены иконоборческие споры в Византии как одна из принципиальных вех в формировании логического мышления в Средние века. В работе делается акцент на сопоставлении двух подходов к пониманию логических законов: «иконопочитательского» подхода к определению понятия тождества (Феодор Студит) и «иконоборческого» подхода к пониманию законов тождества и непротиворечия. В статье предполагается показать взаимосвязь логических и богословских идей как в процессе становления новоевропейской научной рациональности вообще, так и логической науки в частности
К ПРОБЛЕМЕ РАСШИРЕНИЯ МАТРИЧНОЙ СЕМАНТИКИ, АДЕКВАТНОЙ КЛАССИЧЕСКОЙ ИМПЛИКАТИВНОЙ ЛОГИКЕ, ДО МАТРИЧНОЙ СЕМАНТИКИ, АДЕКВАТНОЙ КЛАССИЧЕСКОЙ ИМПЛИКАТИВНО-НЕГАТИВНОЙ ЛОГИКЕ
Get PDFThe present work is carried out in the framework of studies of the problem of expansion of a semantics adequate to a proper fragment of a logic to a semantics adequate to this logic. The author has found a three-valued logical matrix M(1, 0, 0, 1/2) with one designated value, adequate to the classical implicative logic Cl⊃ and having the following property: there is no unary operation f, such that the ordered pair ⟨M(1, 0, 0, 1/2), f⟩ is a logical matrix adequate to the classical implicative-negative logic Cl⊃¬. This article describes the above mentioned logical matrix M(1, 0, 0, 1/2), defines the concept of regular L⊃¬-logic (according to this definition the logic Cl⊃¬ is an example of a regular L⊃¬-logic) and proves the following: for all unary operations f on the carrier of a logical matrix M(1, 0, 0, 1/2), an ordered pair ⟨M(1, 0, 0, 1/2), f⟩ is a logical matrix such that the set of all valid in ⟨M(1, 0, 0, 1/2), f⟩ formulas is not a regular L⊃¬-logic (in particular, is not the logic Cl⊃¬). The article also proves that for any positive integer n there exists a n + 3-valued logical matrix K with one designated value, adequate to the classical implicative logic and satisfying the condition: for any unary operation f on the carrier of this logical matrix, the ordered pair ⟨K, f⟩ is a logical matrix such that the set of all valid in ⟨K, f⟩ formulas is not the logic Cl⊃¬. The conclusion of the article contains the following announcement: every three-valued logical matrix K which has a single designated value, is adequate to the logic Cl⊃ and for which there is no unary operation f such that ⟨K, f⟩ is a logical matrix adequate to regular L⊃¬-logic, is isomorphic to the logical matrix M(1, 0, 0, 1/2).Предлагаемая работа выполнена в рамках исследований проблемы расши- рения семантики, адекватной собственному фрагменту логики, до семантики, адекват- ной этой логике. Автором обнаружена трехзначная логическая матрицаM(1, 0, 0, 1/2) с единственным выделенным значением, адекватная классической импликативной логи- ке Cl⊃ и обладающая следующим свойством: не существует такой унарной операции f, чтоупорядоченная пара ⟨M(1, 0, 0, 1/2), f⟩ является логической матрицей, адекватной классической импликативно-негативной логике Cl⊃¬. В данной статье описана упомя- нутая выше логическая матрица M(1, 0, 0, 1/2), определено понятие регулярной L⊃¬- логики (согласно этому определению логика Cl⊃¬ служит примером регулярной L⊃¬- логики) и доказано следующее: длявсякойунарнойоперации f на носителе логической матрицы M(1, 0, 0, 1/2) упорядоченная пара ⟨M(1, 0, 0, 1/2), f⟩ есть такая логическая матрица, что множество всех общезначимых в ⟨M(1, 0, 0, 1/2), f⟩ формул не является регулярной L⊃¬-логикой (в частности, не является логикой Cl⊃¬). В статье доказано также, что для всякого целого положительного числа n существует такая n+3-значная логическая матрица K с единственным выделенным значением, адекватная классиче- ской импликативной логике и удовлетворяющая условию: длявсякойунарнойоперации f на носителе этой логической матрицы упорядоченная пара ⟨K, f⟩ есть такая логиче- ская матрица, что множество всех общезначимых в ⟨K, f⟩ формул не является логикой Cl⊃¬
Выявление 4D-векторного пространства в теории самореферентной истины для (¬, ↔)-языка
Get PDFIn a semantically closed language with connectives (¬, ↔), with variables over formulas x, y, z, and a Tarsky truth predicate Tr(x), self-reference is marked overtly with the self-reference quantifier Sx applied at the left to the kernel of a self-reference formula. A dynamic interpretation of atomic self-reference formulas, which is described by a logic array with eight true values, is offered. The truth table of the biconditional ↔ for positive estimates is precisely Cayley’s table for Klein four group. The hypothesis of Hypercomplexity for estimates of self-reference sentences, where generalized estimates are vectors in 4D-vector space ₮ = a0T + ia1V + ja2A + ka3K, is proposed. We offer a calculus for newly introduced true values, formulated as a partial system of the propositional calculus which is based on the biconditional and negation according to Church (PEN, or P↔¬). We propose a logical matrix whose set of the designated values is {T, V, A, K}. 20 new inference rules are demonstrated. We formulate a hypothesis about the applicability of the proposed biconditional to all self-reference predicated, which allows us to formulate a type-free Comprehension Axiom in a (¬, ↔)-language. Finally, we provide some considerations on the interaction between many-valuedness and multi-vectorness as properties of logics.В семантически замкнутом языке со связками (¬, ↔), с переменными по формулам x, y, z и предикатом истинности Тарского Tr(x) самореферентность отмечается явно квантором самореферентности Sx, приписываемым слева к ядру самореферентной формулы. Предложена динамическая интерпретация атомарных самореферентных формул, которая описывается логической матрицей с 8 истинностными значениями. Таблица связки эквиваленция ↔ для положительных оценок совпадает с таблицей Кэли четверной группы Клейна. Вы-двинута гипотеза Гиперкомплексности оценок самореферентных предложений, где обобщен-ные оценки суть векторы в 4D-векторном пространстве ₮ = a0T + ia1V + ja2A + ka3K. Построено исчисление для вновь введенных истинностных значений как частичная система пропозиционального исчисления, базирующегося на эквиваленции и отрицании, по Черчу: PEN, или P↔¬. Сформирована логическая матрица, множество выделенных значений которой состоит из {T, V, A, K}. Предъявлено 20 новых правил вывода. Выдвинута гипотеза о приложении сформированной связки эквиваленции ко всем самореферентным предикатам. Это позволило сформулировать бестиповую Аксиому свертывания в (¬, ↔)-языке. Изложены соображения по взаимодействию многозначности и многовекторности логики
ОБУЧЕНИЕ ГРАФАМИ — ДИАГРАММЫ Ч. С. ПИРСА И ПРЕПОДАВАНИЕ ЛОГИКИ
Get PDFThe paper explains how Peirce’s Existential Graphs theory can be fruitfully used in logic classes. This theory is the last logical project of the American philosopher that allows to observe logical relations. In other words, it provides a new perspective of logical analysis. First, I offer a brief introduction of the theory, which is more philosophical than technical. After that, I cite some opinions of scholars who have applied these ideas in their classes (logic for philosophy or computer science departments). The paper demonstrates both the proper logical and philosophical advantages of the theory. However, the philosophical part concerns the questions of philosophy of logic. Finally, I mention some obviously perplexing features of the approach which point to the limits of its applicability.В статье речь пойдет о возможностях, которые открывает студентам диаграмматический способ по-строения логических теорий Ч. С. Пирса — теория экзистенциальных графов. Этот последний логиче-ский проект американского философа позволяет наблюдать за логическими отношениями, то есть предлагает оригинальный ракурс логического анализа. В начале работы приводятся оценки исследо-вателей, которые прибегали к теории экзистенциальных графов на своих курсах по логике (как при обучении студентов-философов, так и при обучении специалистов в области компьютерных техноло-гий), а после дает общее представления теории, разбираются некоторые собственно логические пре-имущества подхода и очерчиваются возможные направления его применения в области философии логики
ПРОБЛЕМА СУЩЕСТВОВАНИЯ И ПРИНЦИП ДОПОЛНИТЕЛЬНОСТИ ФИЛОСОФСКИХ КАТЕГОРИЙ
Get PDFThe paper introduces a new principle called the principle of duality of philosophical categories by example of the four pairs of concepts: perception/accepting, recognition/support, believing/supposition, thing/would. This principle consists in the following: certain philosophical categories cannot be correctly considered with-out a parallel study of dual categories. We also consider the problem of the relation between the notions of being and existence and the connection between categories related to existence and three dimensions of time.В статье рассматривается новый принцип, который назван принципом дополнительности философских категорий, на примере четырех пар категорий: восприятие/принятие, признание/поддержка, полага-ние/предположение и вещь/мир. Этот принцип заключается в следующем: некоторые философские категории не могут быть корректно проанализированы без параллельного рассмотрения категорий, которые их дополняют. Также рассматривается вопрос о соотношении понятий бытия и существова-ния и связь категорий существования между собой и с тремя измерениями времени
Семиотические факты
Get PDFI proceed from the well-known examples of double acquaintance, double vision and non-specific de re, and, relying on the heuristics of applied ontology, I propose to distinguish among pragmatic circumstances their particular kind — semiotic facts, or circumstances that reveal the naming relationship established by agents between de re readable expressions and objects. Representation of semiotic facts uses situations of speech and fields of deictic referents. Both situations and referents may be connected by relations of transformation. The retention of a deictic referent by an agent and the establishment of the identity of two deictic referents belonging to different situations are done through atomic cognitive actions. The sequences of situations constitute deictic referents and allow us to use internal situational descriptions. The hierarchy of semiotic facts is built: the first level is constituted by non-verbal indication, which is a demonstration performed without the expression of a language, on the second level we find a demonstrative expression in combination with a common name and context data, on the third level — a proper name, and on the fourth — a definite description. Raising the level increases the independence from the situation. As a component of a proposition that belongs to the scope of an agent’s attitude, the deictic referent can be referred to by the author of the attitude, as well as by another agent who describes this installation. The communicative success of using such an expression is granted by the possibility of abstraction of a naming relationship, which results in that a deictic referent becomes a component of a proposition, whereas the expression designating it appears as a sign complex chosen by a certain agent in a certain situation (not necessarily current) to denote a deictic referent. The abstraction of a naming relationship, or -abstraction, seems to clarify the cases of double acquaintance, double vision and nonspecific de re. The -abstraction exhibits the implicit con-textual parameters, while the other interpretation structures are herewith not affected.Я отталкиваюсь от известных примеров двойного знакомства, двойного видения и неспецифического de re, и, опираясь на эвристику прикладной онтологии, предлагаю вы-делить среди прагматических обстоятельств их особый вид — семиотические факты, или обстоятельства, раскрывающие отношение именования, установленное агентами между de re читаемыми выражениями и объектами. Репрезентация семиотических фактов использует ситуации произнесения и поля дейктических референтов. И ситуации и референты могут быть связаны отношениями трансформации. Удержание дейктического референта агентом и установление тождества двух дейктический референтов из разных ситуаций производится посредством атомарных когнитивных действий. Последовательности ситуаций конституируют дейктические референты и позволяют использовать внутренние для ситуации дескрипций. Способы указания задают иерархию семиотических фактов: первый уровень — невербализованное указание, когда осуществляется демонстрация без участия выражения языка, второй уровень — демонстративное выражение в сочетании с общим именем и данными контекста, третий уровень — имя собственное, четвёртый — определённая дескрипция. Возрастание уровня увеличивает независимость от ситуации. Как компонент пропозиции, нахо-дящейся в области действия установки агента, дейктический референт может именоваться как автором установки, так и другим агентом, который эту установку описывает. Коммуни-кативный успех использования такого выражения определяется возможностью осуществить абстракцию отношения именования, в результате которой компонентом пропозиции станвится дейктический референт, а обозначающее его выражение фигурирует как знаковый комплекс, выбранный определённым агентом в определённой ситуации (не обязательно актуальной) для обозначения дейктического референта. Абстракция отношения именования, или δ-абстракция, как мне кажется, позволяет прояснить случаи двойного знакомства, двойного видения и неспецифического de re. δ-абстракция «проявляет» имплицитные кон-текстуальные параметры, при этом прочие структуры интерпретации не затрагиваются
DIY-аргументация в системе социальной самоорганизации
Get PDFDIY-аргументация в системе социальной самоорганизаци