Institute of Philosophy of Saint-Petersburg State University
Not a member yet
686 research outputs found
Sort by
К ПОНЯТИЮ ФИЛОСОФСКОЙ РИТОРИКИ
Get PDFIn this article, I turn to Max Stirner’s book The Ego and His Own to use it as an example of philosophical rhetoric. I propose the concept to describe deliberately ambiguous texts that are especially characteristic of the continental school of thought. I need philosophical rhetoric to clarify what is the basis of the eternal conflict between the crowd and the philosopher. As I suppose, this foundation lies in different ways of relation to the world, which is also expressed in the way of reading of texts. The article sequentially examines three possible levels of interpretation of Max Stirner. The conclusion I draw is that philosophical rhetoric turns out to be, on one hand, a political strategy for isolating friends for oneself among a potentially hostile society. On the other hand, it is indispensable in the education of philosophers and thinkers, since it immediately makes it possible to understand whether a person has a desire to think, or wants to solve completely different problems through reading.В данной статье я обращаюсь к книге Макса Штирнера «Единственный и его собственность», чтобы использовать ее в качестве примера философской риторики — понятия, которым я предлагаю описывать намеренно многозначные тексты, которые осо- бенно характерны для континентальной школы мысли. Философская риторика нужна мне для прояснения того, в чем основание извечного конфликта толпы и философа. Как я предполагаю, это основание заключается в различных способах относиться к миру, который выражается и в чтении текстов. В статье последовательно рассматриваются три возможных уровня интерпретации Макса Штирнера. Вывод, который я делаю, состоит в том, что философская риторика оказывается, с одной стороны, политической стратегией вычленения себе друзей среди потенциально враждебного общества. С другой стороны, она незаменима в деле воспитания философов и мыслителей, поскольку сразу позволяет понять, есть ли у человека желание мыслить или он решает посредством чтения совер- шенно иные задачи
Система личных местоимений естественного языка: мереотопологический подход
Get PDFThe logical structure of the system of subjects in the natural language is examined. The subjects were limited to those expressed by either pronouns or other similar (from a linguistic viewpoint) phenomena, namely: personal pronouns (both explicit and implicit), subjects of indefinite sentences, subjects of impersonal sentences (pro), and subjects of non-finite clauses (PRO). The implicit propositions corresponding to different modes of choosing the subjects (agents) from the universe of agents are analysed. For this purpose, a mereotopological method has been developed which allows to deal with both consistent (classical) and inconsistent logics. It was demonstrated that, in the natural language, the subjects (agents) can be chosen using the procedures that are governed by either consistent or inconsistent logic. Namely, the subjects of impersonal sentences (pro) are to be chosen according to the paracomplete logic (allowing the contrary contradiction), and the subjects of non-finite clauses (PRO), according to the paraconsistent logic (allowing the subcontrary contradiction), whereas the subjects of both indefinite and self-referential sentences are to be chosen according to the non-alethic logic (allowing the contradictory contradiction).Проанализирована логическая структура системы подлежащих естественного языка, выраженных местоимениями или аналогичными с лингвистической точки зрения, объектами, а именно: личными местоимениями, как эксплицитными, так и имплицитными, подлежащими неопределенно-личных и безличных (pro) предложений, а также нефинитных клауз (PRO). В процессе анализа оценивалось содержание имплицитных пропозиций, соответствующих тому или иному выбору подлежащего (агента) из универсума агентов. Для процедуры логического анализа был разработан мереотопологический метод, позволяющий работать как с классической, так и неконсистентными логиками. Показано, что подлежащие (агенты) в естественном языке могут выбираться как по процедурам, соответствующим классической логике, так и по процедурам, соответствующим различным неконсистентным логикам. А именно, подлежащие безличных предложений (pro) выбираются соответственно паракомплектной логике (допускающей контрарное противоречие), подлежащие нефинитных клауз (PRO) выбираются соответственно параконсистентной логике (допускающей субконтрарное противоречие), а подлежащие как неопределенно-личных, так и автореферентных предложений выбираются соответственно неалетической логике (допускающей контрадикторные противоречия)
A. N. Prior’s System Q: A Review
Get PDFIn his “Time and Modality”, based on his own philosophical motivations, Arthur Norman Prior proposed the modal logic Q as a correct modal logic in 1957. Prior developed Q in order to offer a logic for contingent beings, in which one could rationally state that some beings are contingent and some are necessary. One may say that Q is an actualist modal logic with a natural semantics. This review article is a developed description/discussion of/on “The System Q” that is the fifth chapter of “Time and Modality”. I have attempted to analyse the logical structure of system Q in order to provide a more understandable description as well as logical analysis for today’s logicians, philosophers, and information-computer scientists. In the paper, the Polish notations are translated into modern notations in order to be more comprehensible and to support the developed formal descriptions and semantic analysis.In his “Time and Modality”, based on his own philosophical motivations, Arthur Norman Prior proposed the modal logic Q as a correct modal logic in 1957. Prior developed Q in order to offer a logic for contingent beings, in which one could rationally state that some beings are contingent and some are necessary. One may say that Q is an actualist modal logic with a natural semantics. This review article is a developed description/discussion of/on “The System Q” that is the fifth chapter of “Time and Modality”. I have attempted to analyse the logical structure of system Q in order to provide a more understandable description as well as logical analysis for today’s logicians, philosophers, and information-computer scientists. In the paper, the Polish notations are translated into modern notations in order to be more comprehensible and to support the developed formal descriptions and semantic analysis
К ПРОБЛЕМЕ РАСШИРЕНИЯ МАТРИЧНОЙ СЕМАНТИКИ, АДЕКВАТНОЙ КЛАССИЧЕСКОЙ ИМПЛИКАТИВНОЙ ЛОГИКЕ, ДО МАТРИЧНОЙ СЕМАНТИКИ, АДЕКВАТНОЙ КЛАССИЧЕСКОЙ ИМПЛИКАТИВНО-НЕГАТИВНОЙ ЛОГИКЕ (ЧАСТЬ 4)
Get PDFThis article is in the mainstream of research into the problem of expansion of a semantics adequate to a proper fragment of a logic to semantics adequate to this logic. The main content of the article is presented in two sections, the first section and the second section. The first section establishes the following: ⟨(1/2, 0, 1, 1), ¬(1/2, 1, 1)⟩ and ⟨(1/2, 0, 1, 1), ¬(0, 1, 1)⟩ are all ⊃¬-matrices of the form ⟨(1/2, 0, 1, 1), ⟩ adequate to the classical implicativenegative logic ⊃¬, and ⟨(0, 1/2, 1, 1), ¬(1/2, 1, 1)⟩ and ⟨(0, 1/2, 1, 1), ¬(0, 1, 1)⟩ are all ⊃¬-matrices of the form ⟨(0, 1/2, 1, 1), ⟩ adequate to the classical implicative-negative logic ⊃¬. In the second section we give a list of all ⊃¬-matrices of the form ⟨{1, 1/2, 0}, {1}, , ⟩ each of which is adequate to the classical implicative-negative logic ⊃¬.Эта статья находится в русле исследований проблемы расширения семантики, адекватной собственному фрагменту логики, до семантики, адекватной этой логике. Основное содержание статьи представлено в двух разделах (первый раздел и второй раздел). В первом разделе установлено следующее: ⟨(1/2, 0, 1, 1), ¬(1/2, 1, 1)⟩ и ⟨(1/2, 0, 1, 1), ¬(0, 1, 1)⟩ — все ⊃¬-матрицы вида ⟨(1/2, 0, 1, 1), ⟩, адекватные классической импликативно-негативной логике ⊃¬, а ⟨(0, 1/2, 1, 1), ¬(1/2, 1, 1)⟩ и ⟨(0, 1/2, 1, 1), ¬(0, 1, 1)⟩ — все ⊃¬-матрицы вида ⟨(0, 1/2, 1, 1), ⟩, адекватные классической импликативно-негативной логике ⊃¬. Во втором разделе перечислены все ⊃¬-матрицы вида ⟨{1, 1/2, 0}, {1}, , ⟩, адекватные классической импликативно-негативной логике ⊃¬
О «ЛОГИЧЕСКОМ ИСЧИСЛЕНИИ» ДЖ. БУЛЯ
Get PDFIn the present paper, the small article by George Boole, published the next year after the publication of his famous work The Mathematical Analysis of Logic, is analyzed. We discuss to what extent it can be considered as an adequate and representative overview of his logical views. The mathematical, extralogical and philosophical foundations of Boole’s logic are explored. It is pointed out that the mathematical basis of his logical system was his research in the field of linear differential equations. Moreover, his pioneering discoveries were based on arbitrary philosophical and methodological assumptions that were not directly related to the field of logic and mathematics. Some of the original psychological theory of mind, its philosophy of mathematics, which presupposes the existence of a universal mathematical calculus, and some provisions of Immanuel Kant’s logico-philosophical doctrine should be recognized as such assumptions.Проводится разбор и анализ небольшой статьи Джорджа Буля, опубликованной на следующий год после выхода его знаменитой работы «Математический анализ логики». Исследуется вопрос о том, насколько ее можно рассматривать как адекватный и репрезентативный обзор его логической концепции. Также исследуются математические, экстралогические и философские основания логики Буля. Указывается, что математическим основанием его логической системы послужили его исследования в области линейных дифференциальных уравнений. Кроме того, в основании его пионерских открытий лежали произвольные философско-методологическим допущения, которые напрямую не относились к области логики и математики. Такими допущениями следует признать некоторую оригинальную психологическую теорию сознания, его философию математики, предполагающую существование универсального математического исчисления, и некоторые положения логико-философской концепции И. Канта
ПРОСТРАНСТВО МЫШЛЕНИЯ: КАТЕГОРНАЯ СТРУКТУРА И АКСИОМА СКЛЕЙКИ
Get PDFThe present article attempts to investigate a logical model of the space of thought by the formal means of category theory. The concept of the space of thought was elaborated by the modern Russian psychologist Andrey Kurpatov. According to the present author, it would be appropriate to use the category of complete Heyting-valued sets as a modelof space of thought, provided that certain methodological assumptions are accepted. The same model could be used in anarray of approaches in the area of perspective AGI developementsВ статье предпринимается попытка исследования логической модели пространства мышления формальными теоретико-категориальными средствими. Концепт пространства мышления был в свое время разработан современным отечественным психологом А. В. Курпатовым. По мнению автора статьи, в качестве модели пространства мышления при соблюдении ряда методологических допущений может быть использована категория полных гейтингозначных множеств, которая затем может быть положена в основу ряда перспективных разработок AGI
Кросс-мировая предикация: теоретико-типовая и теоретико-множественная формализация
Get PDFThe paper examines some potential problems of the theory of cross-world predication by E. Borisov and suggests alternative formalizations in terms of type theory with dependent types and set theory. The advantage of the type-theoretical formalization lies in its simplicity based on the presence of functions to dependent types. The advantage of the proposed set- theoretical formalization is a greater closeness to traditional approaches and the lack of some non-intuitive effects such as the predication on non-existing objectsВ статье описываются некоторые потенциальные проблемы теории кросс-мировой предикации Е. Борисова и предлагаются альтернативные формализации в терминах теории типов с зависимыми типами и теории множеств. Преимущество теоретико-типовой формализации состоит в её простоте, связанной с наличием в теории типов функций в зависимые типы. Преимущество предлагаемой теоретико-множественной формализации состоит в большей близости к традиционным подходам и отсутствии некоторых неинтуитивных следствий, таких как предикация по несуществующим объектам
Nominal Conceptualism and Logical Modelling of Agents’ Conceptions
Get PDFIn the view of my philosophical position ‘nominal conceptualism’, cognitive/knowledge agents, who are in some way aware of expressing the world based on their mental concepts, deal with their linguistic and/or symbolic expressions. In this paper I rely on nominal conceptualism to logically characterise agents’ concept-based descriptions of the world and analyse a fundamental logical system for conception representation.In the view of my philosophical position ‘nominal conceptualism’, cognitive/knowledge agents, who are in some way aware of expressing the world based on their mental concepts, deal with their linguistic and/or symbolic expressions. In this paper I rely on nominal conceptualism to logically characterise agents’ concept-based descriptions of the world and analyse a fundamental logical system for conception representation
О ПЕРВОЙ УЧЕБНОЙ ПРОГРАММЕ КУРСА «ЛОГИКА» В ЛГУ И ЕЁ АВТОРЕ ПРОФЕССОРЕ А. Н. ШЕМЯКИНЕ
Get PDFThe paper outlines the history of appearance of the first syllabus for the logic course, the place of the course in the curriculum and the alumni of the faculty of philosophy for 1942/43 and 1943/44 school years. Special attention is paid to exposing the biography and scholarly background of Prof. A. N. Shemyakin, who has developed the syllabus under discussion.В статье рассматривается история появления в 1942 году программы учебной дисциплины «Логика», её место в учебных планах на 1942/43 и 1943/44 учебные годы; излагается биография и исследуется научная квалификация автора программы профессора А. Н. Шемякина
Cognitive Basis of Focal Points: Evolution and Correlated Equilibrium Emergence
Get PDFThe paper sketches a way to connect cognitively realistic notion of relevance needed for social coordination and game-theoretic models of such coordination, in particular, that of correlated equilibrium. Such a connection would help to answer the question of how social coordination described in game theory is evolutionary and cognitively possible. The main argument put forward is to equate a signal’s relevance to its information quantity — the more relevant a signal is, the more it changes probabilities of action.The paper sketches a way to connect cognitively realistic notion of relevance needed for social coordination and game-theoretic models of such coordination, in particular, that of correlated equilibrium. Such a connection would help to answer the question of how social coordination described in game theory is evolutionary and cognitively possible. The main argument put forward is to equate a signal’s relevance to its information quantity — the more relevant a signal is, the more it changes probabilities of action