Institute of Philosophy of Saint-Petersburg State University
Not a member yet
686 research outputs found
Sort by
ПРОГРАММА ШКОЛЬНОГО КУРСА ПО ЛОГИКЕ В ВИЗАНТИИ XI–XV ВВ.
Get PDFIn the studies on Byzantine education and Byzantine logic, it is usually assumed that the standard content of a course in logic covered only Porphyry’s Eisagoge, Aristotle’s Categories, De interpreta-tione, and Prior Analytics (only chapters 1–7). The other texts of the Organon—in particular the Pos-terior Analytics and the Sophistical Refutations—allegedly did not belong to the standard school edu-cation. In this article we refute this opinion by analazyng Byzantine school textbooks on logic.В исследованиях, посвящённых византийскому образованию и византийской логике, принято считать, что стандартный курс по логике включал в себя изучение «Исагоги» Порфирия, а также «Категорий» Аристотеля, его же «Об истолкованиях», первых семи глав 1-й «Аналити-ки»; тогда как другие тексты «Органона»: 2-я «Аналитика», «Топика» и «Софистические опро-вержения» — не включалась в стандартное школьное образование. В данной статье мы опро-вергаем это мнение посредством анализа сохранившихся византийских школьных учебников по логике
ЛЮБОПЫТНЫЙ ФАКТ ОБ ИНФЕКЦИОННЫХ ЛОГИКАХ
Get PDFThis work is devoted to the study of some properties of logical consequence in infectious logics. Two four-valued systems—Deutsch’s Sfde and Szmuc’s dSfde—are of particular interest. In this short note, I prove the following two facts: (1) if we define a consequence relation via preservation of truth and non-falsity in the context of dSfde, then the resulting consequence relation is equivalent to the one from recently discovered logic Setl, (2) if we define a consequence relation via preservation of non-falsity (in the strong sense) in the context of dSfde, then the resulting consequence relation is equivalent to the one from recently discovered logic Snfl. Since both Setl and Snfl were originally obtained by analogous modification of Sfde, the main thesis of my work can be formulated as follows: the exactly true and non-falsity versions of Sfde and dSfde are equivalent. From the philosophical point of view, their equivalence allows to broaden the domain of possible applications, because it suggests that they can be equally interpreted in the context of infectious gaps as well as in the context of infectious gluts.Работа посвящена исследованию свойств логического следования в контек- сте так называемых инфекционных логик. Среди последних особый интерес представляют две четырехзначные логики, которые также можно отнести к классу релевантных: логи- ка Дойча Sfde и логика Шмуца dSfde. В этой короткой заметке я докажу, что если в dSfde отношение следования определить через сохранность истинности и неложности, то результат эквивалентен отношению следования в другой недавно открытой логике Setl, а если определить его через сохранность неложности (в сильном смысле), то мы получим следование, эквивалентное следованию в логике Snfl, также предложенной совсем недав- но. Поскольку обе логики Setl и Snfl получаются в результате аналогичной модификации логики Sfde, главный тезис моей работы сводится к следующему: «в точности истинност- ная» и «неложностная» версии логик Sfde и dSfde эквивалентны. С содержательной точки зрения эквивалентность исследуемых систем позволяет расширить область их возможных приложений, поскольку она свидетельствует о том, что эти системы могут быть интер- претированы как в контексте семантики с инфекционными истинностно-значными прова- лами, так и в контексте семантики с инфекционными пресыщенными оценками
ПРЕПОДАВАНИЕ ЛОГИКИ В ИМПЕРАТОРСКОМ МОСКОВСКОМ УНИВЕРСИТЕТЕ XVIII ВЕКА
Get PDFBasing on the announcements of lectures and other historical documents, I reconstruct the process of logic teaching at Moscow University during its first half-century (from 1755 till 1800). Its most significant characteristics are the combination of logic and metaphysics teaching, tuition based on a textbook approved by the university’s conference, and the lack of competition among the professors. For the second half of the 18th century, there were four logic professors at Moscow University: J. H. Frommann, J. M. Schaden, D. S. Anichkov and A. M. Bryantsev. Anichkov was the first professor who taught logic in Russian. Despite there being many logic textbooks in Latin or German and their Russian translations, only three texts were used: those by J. H. Winckler, F. Chr. Baumeister and J. G. H. Feder. At university gymnasiums, logic was taught by Schaden, Ch. A. Chebotarev, E. B. Syreyshchikov, D. N. Sinkovskiy, M. I. Snegirev and M. G. Gavrilov. They exploited textbooks by Baumeister and especially by J. G. Heineccius. Except for Anichkov (“Annotationes inlogicam et metaphysicam”, 1782), nobody among the mentioned lectures left behind proper logic papers. For most of the 18th century, logic teaching at Moscow University did not rely on the best textbooks. In fact, the teaching process was at the level of gymnasiums. The situation began to improve only by the end of the 18th and the beginning of the 19th centuries. The current paper identifies the most likely reasons for choosing the mentioned books. In addition, it includes an annex detailing the list of logic classes at Moscow University and university gymnasiums from 1756 till 1800 with respect to lectures and textbooks. The annex is based on the available lecture announcements and the contents of logic textbooks used at Moscow University and university gymnasiums in the 18th century.На основе анонсов лекций и иных документов автор реконструирует процесс преподавания логики в Московском университете в первые полвека его существования (с 1755 по 1800 гг.). Среди его важных черт оказывается комбинация преподавания логики с метафизикой, опора на одобренный университетской конференцией учебник, отсутствие конкуренции между профессорами. За всю вторую половину XVIII века в Московском университете логику преподавали лишь четыре профессора: И. Г. Фромман, И. М. Шаден, Д. С. Аничков и А. М. Брянцев, причем начиная с Аничкова — уже на русском языке. Несмотря на наличие довольно большого количества учебников по логике как на латыни или немецком языке, так и в переводе на русский язык, за весь этот период в самом университете использовались лишь три учебника: И. Г. Винклера, Ф. Хр. Баумайстера и И. Г. Г. Федера. В университетских гимназиях в разные годы логику преподавали Шаден, Х. А. Чеботарев, Е. Б. Сырейщиков, Д. Н. Синьковский, М. И. Снегирев и М. Г. Гаврилов, используя для этого учебники Баумайстера и особенно И. Г. Гейнекция. За исключением Аничкова («Annotationes in logicam et metaphysicam», 1782) никто из указанных преподавателей Московского университета не оставил после себя специальных работ по логике. Большую часть второй половины XVIII века преподавание логики в Московском университете велось не по лучшим учебникам и фактически на гимназическом уровне, и эта ситуация стала исправляться лишь к концу XVIII — началу XIX вв. В статье указываются наиболее вероятные причины выбора указанных учебных пособий. В качестве приложений работа содержит список курсов логики в Московском университете и университетских гимназиях с 1756 по 1800 гг. по преподавателям и учебникам на основе доступных анонсов лекций, а также оглавления учебников логики, использовавшихся в процессе преподавания в Московском университете и университетских гимназиях в XVIII в
ФЕНОМЕНОЛОГИЧЕСКАЯ ОНТОЛОГИЯ СУЖДЕНИЯ И ОТРИЦАНИЯ
Get PDFAbstract. In the present article we consider the phenomenological conception of judgement and negation in relation to the origin of scientific objectivation. Basing on the later works of Edmund Husserl and on earlier as well as fundamental-ontological period of Martin Heidegger’s thought, analysis of onto-logical status and cognitive value of negative judgements is undertaken. Thus, our investigation addressing the issue of logic as Wissenschaftlehre, goes on to consider the question of the necessary modalization of judgement as manifestation of the scientist’s critical attitude to the world. We set forth the topicalization of judgement in traditional logic understood as the science of science. Through pointing out the intentionality of judgemental activity, we carry out a problematization of negative judgements. At first, our research addresses Heidegger’s fundamental ontology for the clarification of the relation between negation and Nothing, as well as the thesis of ontological difference and the existentials of anxiety (Angst) and being-in-the-world (In-der-Welt-Sein). Attention is also paid to the early academic work of the German thinker where the hermeneutics of negation reaches the originally bimodal character of the copula. After that, this sense-investigation continues within the framework of Husserl’s genetic phenomenology, according to which the origin of judgement in the form “S is not P” is shown to lie in the reality of experience. Both the secondary intentional character of negation and the fundamentality of the normal perception and, consequently, of affirmation is proved. We demonstrate the impossibility of finding out the pre-predicative root for double negation and the proximity of the potential conclusions to the non-classic intuitionist logic. Finally, we make an attempt to explicate the results in the given context of the philosophical foundations of scientific knowledge.В предлагаемой статье рассматривается феноменологическая концепция суждения и отрицания в связи с происхождением научной объективации. На основе поздних работ Э. Гуссерля, а также раннего и фундаментально-онтологического периода мысли М. Хайдеггера проводится анализ логического и бытийного статуса негативных суждений, в том числе и их когнитивной значимости. Так, наше осмысление, затрагивая проблему логики, понятой в качестве наукоучения, обращается к вопросу необходимой модализации суждения как проявления критического отношения ученого к миру. Нами излагается изначальная тематизация суждения в традиционной логике как науке науки. Посредством указания на интенциональность суждения мы совершаем проблематизацию суждения отрицания. В первую очередь наше исследование апеллирует к проекту онтологии Хайдеггера для объяснения связи между отрицанием и Ничто, а также тезисом онтологической дифференции и экзистенциалами ужаса (Angst) и бытия-в-мире (In-der-Welt-Sein). Внимание уделяется также ранней академической работе немецкого мыслителя, где герменевтика отрицательного суждения касается принципиально бимодального характера копулы. Далее наше смысловое исследование проходит в рамках генетической феноменологии Э. Гуссерля, в соответствии с которой показывается происхождение суждения по форме «S не есть P» в опытной действительности. Обосновывается как надстроенный «интенциональный характер» негации, так и первичность нормального восприятия и, следовательно, утвердительного суждения. Мы доказываем невозможность нахождения до-предикативного истока двойного отрицания и близость потенциальных выводов неклассической интуитивистской логике. Наконец, нами предпринимается попытка экспликации полученных результатов в заданном контексте философских оснований научного знания
ЛОГИКА ОТНОШЕНИЯ ИМЕНОВАНИЯ И ИДЕНТИФИКАЦИЯ
Get PDFIn this article I want to show that trans-world identification is based on a naming relation, requires deictic referents of situations for its description, and can be expressed using de re terms. The theory of rigid designators is not adequate to either the cognitive foundations of identification or linguistic practice, and operates not with the names of objects, but with complex concepts. I analyze such concepts in Montague’s intensional logic. It is also used to describe the logic of the naming relation. Using the indexing of situations and agents, it is possible to show under what circumstances the cases of transparent and opaque naming are selected when reporting the attitudes of agents. In particular, the idiolectal de re of the attitude holder must be replaced by a transparent naming of the reporter as well as the idiolectal de dicto. Opaque naming is appropriate only pragmatically, namely, in cases when it is required to interact with the idiolect speaker without addressing the specification and correction of naming, as well as when using sign complexes explicitly, i.e. in combination with the predicates “to name”, “to designate”, etc. This is also shown by the example of counterfactual naming, in which the dynamic effect of modifying the language convention arises. Identification based on the cognitive interaction of an agent with an object is considered as an irreducible basis for a naming relation.В статье я хочу показать, что трансмировая идентификация основывается на отношении именования, требует для своего описания дейктических референтов ситуаций и может быть выражена с использованием термов de re. Теория жёстких десигнаторов не адекватна ни когнитивным основаниям идентификации, ни лингвистической практике, и оперирует не именами объектов, а сложными концептами. Я даю анализ таким концептам в интенсиональной логике Монтегю. Она используется и при описании логики отношения именования. С помощью индексации ситуаций и агентов удаётся показать, при каких обстоятельствах выбираются случаи прозрачного и непрозрачного именования при передаче установок агентов. В частности, идиолектное de re носителя установки должно замещаться прозрачным именованием передающего, как и идиолектное de dicto. Непрозрачное именование уместно лишь прагматически, а именно, в случаях, когда требуется осуществить взаимодействие с носителем идиолекта, не обращаясь к уточнению и коррекции именования, а также при использовании знаковых комплексов явно, т. е. в сочетании с предикатами «именовать», «обозначать» и пр. Это показано и на примере контрафактического именования, в ходе которого возникает динамический эффект модификации языковой конвенции. Идентификация на основании когнитивного взаимодействия агента с объектом рассматривается как нередуцируемое основание отношения именования
ОТНОШЕНИЕ ИМЕНОВАНИЯ И ПРОПОЗИЦИОНАЛЬНЫЕ УСТАНОВКИ
Get PDFIn this article I will try to demonstrate how naming relation functions as a specific kind of the proposi-tional attitudes of agents that help to carry out cross-identification as well as attitude reports, within which the subject’s de re expressions are substituted with some expressions of the agent transmitting that attitude. I regard the naming relation as an aspect of contextual dependence of intentional and interpret the intension as a procedure. The abstraction of the naming relation of a de re term becomes an instrument to render this term to be used de dicto. As this operation is being carried out, the cir-cumstances connected with the act of naming come to light, and they become indices of the context. The naming relation itself appears to be a function of the sit-uations of uttering in the orderly structured collection of situations in which some deictic element is retained. This provides cross-identification of objects. I also discuss what happens when two de re expressions collide in a sentence or in any given fragment of discourse. It turns out that the expres-sions that retain their de re character to the utmost degree require some data for their interpretation, which also suffices to establish meanings of all other expressions. It is for the agent that pursues some specific communicational goals, to make the choice of the expression that would require the condi-tions of its truth to be delineated. As regards the cases of double acquaintance, “third readings” and non-specific de re readings, I believe that the “intrusion” of a signifying attitude de re of a speaker into that of an agent for its description requires the properties of a specific relation to be taken into consideration; the relation that is formed between the order of naming and the cross-identification of a speaker, and the worlds of situations that are associated with the interpretations of the agent’s atti-tude.В этой статье я хочу изложить аргументы в пользу гипотезы, согласно которой отношение именования между употребляемыми агентом de re выражениями и объектами в текущей или иной ситуации произнесения являются содержанием специфических пропозициональных установок агентов. В этом качестве они становятся индексами контекста и имеют черты, отли-чающие их от установок, содержанием которых являются положения вещей, не описывающие явления сигнификации. Рассматриваемая гипотеза связана с проблемой передачи наблюда-телем содержания установки агента, а также её аскрипции агенту. Я постараюсь показать также, что установки, относительно отношения именования, выявляются при анализе праг-матики. Сначала обсуждается вопрос о параметризации интенсионала, в частности предложе-ний, находящихся в области действия оператора установки, затем я перейду к вопросу о выяв-лении контекстных параметров, связанных с отношением именования и их специфике, после чего обсужу вопрос о моделировании кросс-идентификации с помощью абстракции отноше-ния именования. Последним сюжетом станет взаимовлияние двух de re термов во фразе и во фрагменте дискурса, что выводит на вопрос о соотносительном характере дифференциации de re / de dicto и о роли в ней отношения именования
ТРЕХЗНАЧНЫЕ ЛОГИЧЕСКИЕ МАТРИЦЫ С ОДНИМ ВЫДЕЛЕННЫМ ЗНАЧЕНИЕМ, АДЕКВАТНЫЕ КЛАССИЧЕСКОЙ ИМПЛИКАТИВНОЙ ЛОГИКЕ
Get PDFThe proposed work relates to the study of multivalued characterizations of classical implicative logic. Nine three-valued logical matrices are presented, each of which has one designated value and is adequate to classical implicative logic Cl⊃. The set of all these logical matrices we call the three-one-complete set. In this article it is proved that for every logical matrix K whose carrier is f1, 1/2, 0g and whose designated set is f1g, the following is true: K is a logical matrix adequate to Cl⊃ if and only if K belongs to the three-one-complete set. Here it is proved that for every three-valued logical matrix K with one designated value the following is true: K is adequate to Cl⊃ if and only if there exists a logical matrix Q from the three-one-complete set such that Q is isomorphic to K. We build all sets X such that X satisfies the following conditions: (1) X is a set of pairwise nonisomorphic logical matrices adequate to the logic Cl⊃ and has the form hf1, 1/2, 0g, f1g, gi (where g is a binary operation on f1, 1/2, 0g), and (2) for any three-valued logical matrix K with one designated value, adequate to the logic Cl⊃, there is a logical matrix Q from X such that Q is isomorphic to K.Предлагаемая работа относится к исследованиям многозначных характеризаций классической импликативной логики. Здесь заданы девять трехзначных логических матриц, каждая из которых имеет одно выделенное значение и адекватна классической импликативной логике Cl⊃. Множество всех этих логических матриц названо три-один-комплектом. В статье доказано, что для всякой логической матрицы K, носитель которой есть f1, 1/2, 0g и выделенное множество которой есть f1g, верно следующее: K является логической матрицей, адекватной логике Cl⊃, тогда и только тогда, когда K принадлежит три-один-комплекту. Здесь доказано также, что для всякой трехзначной логической матрицы K с одним выделенным значением верно следующее: K адекватна логике Cl⊃ тогда и только тогда, когда существует логическая матрица из три-один-комплекта, изоморфная K. В статье построены все множества, каждое множество X из которых выполняет следующие два условия: (1) X является множеством попарно неизоморфных логических матриц, адекватных логике Cl⊃ и имеющих вид hf1, 1/2, 0g, f1g, gi (где g есть бинарная операция на f1, 1/2, 0g), и (2) для всякой трехзначной логической матрицы K с одним выделенным значением, адекватной логике Cl⊃, существует логическая матрица из X, изоморфная K
О ПЕРВОМ ПРЕПОДАВАТЕЛЕ ЛОГИКИ НА ФИЛОСОФСКОМ ФАКУЛЬТЕТЕ ЛГУ В. Д. РЕЗНИКЕ (ДНЕПРОВЕ)
Get PDFThe paper presents the biography of the first lecturer in logic at the philosophical faculty of Leningrad State University, V. D. Resnik (pen name: Vladimir Dneprov). The story is based on archive materials, memoirs and recollections. We also consider some questions concerning the short-term existence of the chair of logic and psychology at the philosophical faculty of Leningrad University, the fact which has not been previously discussed in the literature.В статье на основе архивных материалов, личных мемуаров и воспоминаний современников излагается биография первого преподавателя логики на философском факультете ЛГУ — В. Д. Резника (литературный псевдоним — Владимир Днепров). Затрагивается ранее не освещавшийся в литературе вопрос, связанный с кратковременным существованием в 1942–1944 гг. на философском факультете ЛГУ кафедры логики и психологии
The Adjoint Situation and Categorial Foundations of Logic
Get PDFАвтор в своей статье исходит из убеждения, что ситуация сопряжения является одной из фундаментальных в теории категорий. Автор последовательно демонстрирует, что существование сопряженных функторов к некоторым элементарым функторам тождественно фиксированию некоторой логической структуры и логических ресурсов. Именно данная неожиданно глубокая идея выдающегося математика Уильяма Ловера, что все логические операции должны возникать как сопряжение к некоторым базовым функторам между категориями, убедила в свое время математиков в том, что категорный анализ логики может оказаться чрезвычаийно продуктивным и правильным. В данной статье попытка такого анализа предпринимается, в частности, с целью прояснения природы логических кванторов существования и всеобщности.The author bases his work on the conviction that in category theory the adjoint situation is one of the fundamentals. The author consistently demonstrates that existence of adjoints to certain elementary functors amounts to a specification of logical structures and resources. The surprisingly deep insight, due to the prominent mathematician William Lavwere, that all logical operations must arise as adjunction to some basic functors has convinced the mathematical community of the time that the categorial analysis of logic might be fruitful and coherent. In the present article such an analysis is applied in particular to revealing the nature of existential and universal logical quantifiers
К ВОПРОСУ О ФОРМИРОВАНИИ ИДЕИ УНИВЕРСАЛЬНОЙ ГРАММАТИКИ
Get PDFIn the history of thought about language, Universal—or Philosophical—Grammar has been understood as a concept according to which language is not considered to be a set of rules determining correct word usage, but a system based on certain principles of thought. This article examines the premises of shaping the con-cept of Universal Grammar in Europe in the 12th and 13th centuries, providing a brief survey of the history of grammar from the 5th century BC to the 13th century AD with a special focus on a third grammar, namely Modist philosophical and grammatical theory. The paper also investigates the premises and peculiarities of the concept of Universal Grammar within the context of the contemporary intellectualism in the 12th and 13th centuries, characterized by the rediscovery of texts by Greek and Arabic authors, an academic approach, the exceptional position of the Liberal Arts Faculty, and scholasticism as a new philosophy.Под именем универсальной, или, иначе, философской грамматики в истории мысли о языке понима-ют концепцию, согласно которой язык предстает не как совокупность правил, а как система, органи-зованная вокруг определенных принципов мышления. Статья посвящена вопросу о предпосылках формирования идеи универсальной грамматики в Европе XII–XIII веков. В настоящем тексте дается краткий обзор истории грамматики, начиная с V века до н. э. до XIII века н. э. Рассматриваются пред-посылки и особенности формирования идеи универсальной грамматики в контексте интеллектуаль-ной ситуации XI–XIII веков (заново открытые тексты греческих и арабских авторов, университетский тип учености, особое положение факультета свободных искусств, схоластика как новая философия)