Logical Investigations最新文献

{"title":"An Occurrence Description Logic","authors":"Farshad Badie, H. Götzsche","doi":"10.21146/2074-1472-2022-28-1-142-156","DOIUrl":"https://doi.org/10.21146/2074-1472-2022-28-1-142-156","url":null,"abstract":"\u0000 \u0000 \u0000Description Logics (DLs) are a family of well-known terminological knowledge representation formalisms in modern semantics-based systems. This research focuses on analysing how our developed Occurrence Logic (OccL) can conceptually and logically support the development of a description logic. OccL is integrated into the alternative theory of natural language syntax in Deviational Syntactic Structures under the label ‘EFA(X)3’ (or the third version of Epi-Formal Analysis in Syntax, EFA(X), which is a radical linguistic theory). From the logical point of view, OccL is a formal logic that mainly deals with the occurrences of symbols as well as with their priorities within linguistic descriptions, i.e. natural language syntax, semantics and phonology. In this article—based on our OccL-based definitions of the concepts of strong implication and occurrence value as well as of the logical concept Identical Occurrence Constructor (IDOC) that is the most fundamental logical concept in our formalism—we will model Occurrence Description Logic (ODL). Accordingly, we will formally-logically analyse ‘occurrence(s) of symbol(s)’ within descriptions of the world in ODL. In addition, we will analyse and assess the logical concepts of occurrence and occurrence priority in ODL. This research can make a strong logical background for our future research in the development of a Modal Occurrence Description Logic. \u0000 \u0000 \u0000","PeriodicalId":155189,"journal":{"name":"Logical Investigations","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126806350","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Лексические особенности терминологического аппарата в «Логике» Макария Пéтровича","authors":"Оксана Юрьевна Гончарко, Мария Владимировна Семиколенных","doi":"10.21146/2074-1472-2022-28-1-60-75","DOIUrl":"https://doi.org/10.21146/2074-1472-2022-28-1-60-75","url":null,"abstract":"Статья посвящена истории формирования русской логической терминологии на примере «Логики феоретической» Макария Петровича, сербского автора, работавшего в России в середине XVIII века. Уроженец Тимишоары (румынский Банат), он покинул родину, чтобы учиться сначала в Киево-Могилянской, а потом и в Славяно-греко-латинской академии, где со временем стал префектом и преподавателем философских дисциплин, в том числе и логики. В этот период им и был написан учебник логики, при составлении которого он опирался уже не на схоластическую аристотелевскую традицию, а на современные ему европейские учебники вольфианцев (Institutiones philosophiae rationalis methodo Wolfii conscripta (1735) и Elementa philosophiae recentioris usibus juventutis scholasticae accommodata (1747) Ф. Х. Баумейстера) и картезианцев (Institutiones philosophicae ad faciliorem veterum, ac recentiorum philosophorum lectionem comparatae (1695) Э. Пуршо). \u0000Помимо рассмотрения исторических обстоятельств, повлиявших на логическое образование Петровича (региональная специфика Баната, немецкая колонизация этой области Габсбургами и распространение в регионе католичества; особенности образовательных традиций юго-восточной Европы и, в частности, широкое использование учебников Баумейстера; переориентация на западные стандарты образования в Славяно-греко-латинской академии), в статье основное внимание уделяется особенностям его курса логики — первого пособия по логике на русском языке. \u0000В качестве иллюстрации метода работы Петровича, а в особенности — процесса подбора им лексических решений и связанных с ними трудностей, мы разбираем синонимический ряд терминов опыт/искус/експериенция/експеримент/эмпейрия, что позволяет показать, каким образом, перенимая греческую и латинскую логическую терминологию, Макарий Пе́трович варьирует переводы слов, исторически сформировавших терминологический аппарат логики, приспосабливая их к употреблению в русском языке. \u0000В статье показано, что Макарий Петрович не просто дает кальки греческих и латинских слов из популярных учебников, по которым преподавали логику в Европе того времени, но внимательно подбирает славянские корни, предлагая иногда различные варианты перевода.","PeriodicalId":155189,"journal":{"name":"Logical Investigations","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121757577","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"История термина и понятия «рассуждение» в русской логике","authors":"Анастасия Владимировна Петровская","doi":"10.21146/2074-1472-2022-28-1-98-124","DOIUrl":"https://doi.org/10.21146/2074-1472-2022-28-1-98-124","url":null,"abstract":"Предпринята попытка проследить историю термина и понятия «рассуждения» в русской логике с середины XVIII до начала XIX века. Становление понятия «рассуждения» в России происходит в период эпохи Просвещения и связано с развитием академической науки и образования, появлением национальных учебников по логике, риторике и грамматике. В этот период термин «рассуждение» встречается в трех случаях: (1) как архаизм термина суждение – «разсуждение», (2) как самостоятельный термин риторики, обозначающий тип литературного произведения, ближе всего по смыслу к «научному дискурсу», и (3) в качестве обыденного употребления в смысле «рассуждение о чем-то» как в логике, так и вне ее. Логическая проблематика выводится из общих начал философии, в которой представлена теоретическая трактовка познавательных способностей человека, что в последствии составит содержание психологии и антропологии. Логика при этом понимается в качестве пропедевтики философии, обеспечивающей получение истинного знания, что сейчас проблематизируется эпистемологией или теорией познания. \u0000В центре логической проблематики на протяжении всей ее истории остается слово «рассуждение», в разных своих значениях употребления как в теоретической части логики, изучающей основные логические действия: понятия, суждения, умозаключения (силлогизмы), так и в практической, включающей материал от эристики (искусство спора) и педагогики до теории доказательства и методологии науки.  В полной мере логическим термином «рассуждение» становится уже в формальной логике XX веке, когда выступает общим понятием для любых логических действий, включая умозаключение и силлогизм. Однако будет показано, как в XIX веке в практической части логик понятие «рассуждение» из риторического термина становится логическим, вбирая в себя значение понятия доказательства, но сохраняя при этом специфику риторического понятия: дискурсивность, материалистичность, неформальность, требование убедительности, что, в свою очередь, найдет свое развитие в отдельной философской дисциплине нашего времени – теории аргументации.","PeriodicalId":155189,"journal":{"name":"Logical Investigations","volume":"129 6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130112885","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Дом, который построил Кэрролл: регресс и адоптация в формальном обосновании","authors":"Е Г Драгалина-Черная","doi":"10.21146/2074-1472-2022-28-1-27-49","DOIUrl":"https://doi.org/10.21146/2074-1472-2022-28-1-27-49","url":null,"abstract":"Статья посвящена регрессу обоснования, описанному Кэрроллом в эссе «Что Черепаха сказала Ахиллу». Дискуссии о регрессе обоснования, начавшиеся задолго до его описания Кэрроллом и уходящие корнями в проблематику топического обоснования в античной и средневековой логике, продолжаются до сих пор. Большинство исследователей согласно, однако, с тем, что ключевой причиной бесконечного регресса является превращение правила вывода в дополнительную посылку этого вывода. В статье рассматриваются попытки преодоления этого затруднения, связанные с различением Пирсом логических и материальных руководящих принципов рассуждения и с диспозициональным истолкованием Райлом логического знания как. Особое внимание уделяется проблеме адоптации Крипке, ставящей под сомнение возможность рационального признания и пересмотра базисных принципов логики. Показывается неадекватность предложенной Крипке интерпретации «картезианской» процедуры ревизии законов и принципов логики.  Намечается динамический подход к разрешению проблемы адоптации, предполагающий преодоление дихотомии правил вывода, конститутивных и не конститутивных для значения логических констант – в логической теории (logica docens), и оппозиции исчерпывающего логического знания как и полного его отсутствия – в практике рассуждений реальных когнитивных агентов (logica utens). На основе учения Витгенштейна о внутренних отношениях предлагается динамическое истолкование принципа композициональности.","PeriodicalId":155189,"journal":{"name":"Logical Investigations","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132150676","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Источники Логики Софрония Лихуда","authors":"Лидия Валентиновна Спиридонова, Андрей Викторович Курбанов","doi":"10.21146/2074-1472-2022-28-1-76-97","DOIUrl":"https://doi.org/10.21146/2074-1472-2022-28-1-76-97","url":null,"abstract":"В данной публикации мы сравнили пятичастный логический компендиум Софрония Лихуда — первый курс по логике в России — с реконструируемым нами аналогичным сборником Герасима Влаха, виднейшего греческого дидаскала XVII в., с которым братьев Лихудов многое связывало. Прежде всего, мы сравнили следующие сочинения Софрония Лихуда: «Изложение всего логического учения, разделённое на три части» (учебник в привычном нам понимании) из автографа (РГБ ф. 173.I, № 300) с аналогичным ему сочинением Герасима Влаха «Введение во всё логическое учение» по сохранившей его рукописи из монастыря Ивирон (Афон), № 118, а также сочинение «Вступительные вопросы ко всему логическому учению Аристотеля» с соответствующим ему сочинением Герасима Влаха «Вступительные вопросы перед изучением логического учения Философа» из кодекса Национальной библиотеки св. Марка в Венеции, gr. IV. 60. Сравнение этих текстов позволяет с уверенностью утверждать, что Софроний Лихуд полностью следует Герасиму Влаху. Между тем, Софроний значительно сжимает материал, рассмотренный у Герасима Влаха, выделяя из него основную, с его точки зрения, информацию, при этом не нарушая общей структуры сочинения и последовательности изложения. Тем не менее, даже сжатый и пересказанный Софронием Лихудом текст Герасима Влаха существенно превышает по объёму современные ему латинские учебные пособия. Содержание учебников позволяет отнести их авторов к традиции неоаристотелизма, также в подаче материала можно усмотреть влияние падуанской школы — основного центра аристотелизма того времени, наиболее близкой и Герасиму Влаху, и Софронию Лихуду, который был доктором Падуанского университета. При этом в публикации отмечается оригинальность выдвигаемых ими тезисов для падуанской университетской среды.","PeriodicalId":155189,"journal":{"name":"Logical Investigations","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124558062","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"О трудностях определения имплицитного знания группы","authors":"Виталий Владимирович Долгоруков","doi":"10.21146/2074-1472-2022-28-1-9-26","DOIUrl":"https://doi.org/10.21146/2074-1472-2022-28-1-9-26","url":null,"abstract":"Статья посвящена трудностям определения имплицитного знания группы $~-$ знания, которое могло бы возникнуть в группе в результате полного обмена информацией. Обсуждаются два подхода к логическому моделированию этого типа группового знания: синтаксический подход (следствие из множества знаний отдельных агентов) и семантический подход (модальность пересечения индивидуальных отношений достижимости). Рассматриваются два соответствующих модальных оператора: оператор имплицитного знания, опирающийся на синтаксический подход, и оператор дистрибутивного знания, выражающий семантический подход. В статье демонстрируется, что в общем случае данные операторы не эквивалентны, но совпадают в классе конечных модально различимых моделей. Утверждается, что несовпадение двух модальных операторов не означает, что мы имеем дело с двумя содержательно различными видами группового знания, а означает, что модели Крипке, которые не являются модально различимыми, не могут рассматриваться в качестве интуитивно приемлемого описания эпистемического сценария. Мы утверждаем, что принцип полной коммуникации, требующий возможности полного обмена информацией между агентами группы, не совместим со стандартной версией оператора имплицитного знания и требует рассмотрения его компактных версий. Мы предлагаем четыре новых версии оператора компактного имплицитного знания, различающихся условием извлечения информации (общезначимость в модели, общее знание среди агентов группы, <<каждый в группе знает>>, <<хотя бы кто-то в группе знает>>). Утверждается, что все рассмотренные версии оператора компактного имплицитного знания в классе конечных модально различимых моделей совпадают с оператором дистрибутивного знания. Тем самым демонстрируется, что стандартное требование логического следования для условия извлечении информации является избыточным и может быть ослаблено до модальности <<хотя бы кто-то к группе знает>>.","PeriodicalId":155189,"journal":{"name":"Logical Investigations","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122379190","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Иоанн Дамаскин. Диалектика: глава 5, обновленный перевод","authors":"Валерий Владимирович Воробьев","doi":"10.21146/2074-1472-2022-28-1-50-59","DOIUrl":"https://doi.org/10.21146/2074-1472-2022-28-1-50-59","url":null,"abstract":"\"Диалектика\" Иоанна Дамаскина (ок. 675$-$ок. 750), последнего из \"отцов церкви\", является первой частью его основополагающего логико-философского и теологического труда \"Источник знания\". Она представляет собой компилятивное изложение, основанное на текстах Аристотеля (\"Категории\"), Порфирия (\"Введение\"), (\"Комментарии на десять категорий\") Аммония Гермия и некоторых других авторов. Перевод этого текста на современный русский язык (впервые изданный в 1913 г., более ста лет назад) и перепечатанный в начале XXI века несколькими изданиями, требует, на наш взгляд, использования и современной логико-философской терминологии, взятой из соответствующих соврменных переводов вышеупомянутых источников Иоанна Дамаскина. В предыдущих работах нами были сделаны уточнения, а иногда$~-$ существенные изменения, переводов ряда терминов \"Диалектики\" (прежде всего логических$~-$ так называемых пяти предикабилий Порфирия и некоторых других) и был сделан вывод о необходимости значительной переработки имеющихся переводов. Будет предложен новый перевод главы пятой (традиционное название$~-$ \"О звуке\"$~-$ новый вариант$~-$ \"О звуковом знаке\" или \"О термине\"). В этой главе, впервые в тексте \"Диалектики\", объясняется, что обозначают \"род\", \"вид\", \"видовое отличие\" (\"различающий признак\"), \"собственный признак\" и \"привходящий признак\". Объяснены предложенные новые варианты переводов терминов \"разность\" (\"различие\"), \"свойство\" и \"акциденция\".","PeriodicalId":155189,"journal":{"name":"Logical Investigations","volume":"72 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131458406","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Интенсиональные семантики для некоторых систем позитивной силлогистики","authors":"Maria M. Legeydo","doi":"10.21146/2074-1472-2021-27-2-9-30","DOIUrl":"https://doi.org/10.21146/2074-1472-2021-27-2-9-30","url":null,"abstract":"Статья посвящена рассмотрению интенсиональных семантик для некоторых систем позитивной силлогистики: фундаментальной силлогистики и ее подсистем, силлогистики ${bf С2}$ и силлогистики Больцано. \u0000Интенсиональные семантики, представленные в статье, строятся на основе синтаксического подхода, предложенного В.И. Шалаком и далее развитого В.И. Маркиным, при котором общим терминам приписываются формулы пропозиционального языка, а значимость силлогистических констант определяется через отношение классического, а потом и релевантного следования. \u0000Первый раздел статьи содержит описание уже имеющихся интенсиональных семантик с релевантным следованием для фундаментальной силлогистики и ее подсистемы ${bf ИФС}$, а также предлагаются две новые системы (промежуточные между ${bf ФС}$ и ${bf ИФС}$), для одной из которых доказана адекватность семантики исчислению. \u0000Второй и третий разделы посвящены двум другим известным силлогистическим системам: силлогистике ${bf С2}$ и силлогистике Больцано. Для обеих систем представлена интенсиональная семантика с классическим и релевантным следованием, доказаны адекватность данных семантик соответствующим исчислениям. \u0000Предложенные семантики расширяют выразительные возможности силлогистики, а также представляются интересными в свете развивающегося интенсионального подхода к трактовке силлогистических семантик. Также в статье обозначены еще нерешенные проблемы в данной области: предложены возможные семантики для некоторых систем, поиск аксиоматизаций для которых представляет дальнейший интерес.","PeriodicalId":155189,"journal":{"name":"Logical Investigations","volume":"107 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131428209","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Image of Soviet and Russian logic in the West. Latter Half of the XXth Century","authors":"Валентин Александрович Бажанов, I. Anellis","doi":"10.21146/2074-1472-2021-27-2-133-152","DOIUrl":"https://doi.org/10.21146/2074-1472-2021-27-2-133-152","url":null,"abstract":"The article attempts to overview Western scientific knowledge of research in mathematical logic and its history in the USSR and Russia in the first half of the 20th century. We claim that Western scholars followed and were generally aware of the main works of their Soviet and Russian colleagues on mathematical logic and its history. It was possible, firstly, due to the fact that a number of Western scientists knew the Russian language, and, secondly, because Soviet and Russian logicians published their works in English (sometimes in German) in the original journals of mathematical logic or Soviet publishing houses (mainly Mir Publishers) translated Soviet authors into English. Thus, the names of A.G. Dragalin, Yu.L. Ershov, A.S. Karpenko, A.N. Kolmogorov, Z.A. Kuzicheva, Yu.I. Manin, S.Yu. Maslov, F.A. Medvedev, G.E. Mints, V.N. Salii, V.A. Smirnov, A.A. Stolyar, N.I. Styazhkin, V.A. Uspensky, I.M. Yaglom, S.A. Yanovskaya, A.P. Yushkevich, A.A. Zinov’ev were quite known to their Western counterparts. With the dawn of perestroika, contacts of Soviet / Russian logicians expanded significantly. Nevertheless, the analysis of Western works on mathematical logic and the history of logic suggests that by the end of the 20th century the interest of Western scientists in the works of their Russian colleagues had noticeably waned.","PeriodicalId":155189,"journal":{"name":"Logical Investigations","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121435979","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Undecidability of QLTL and QCTL with two variables and one monadic predicate letter","authors":"M. Rybakov, D. Shkatov","doi":"10.21146/2074-1472-2021-27-2-93-120","DOIUrl":"https://doi.org/10.21146/2074-1472-2021-27-2-93-120","url":null,"abstract":"We study the algorithmic properties of the quantified linear-time temporal logic QLTL in languages with restrictions on the number of individual variables as well as the number and arity of predicate letters. We prove that the satisfiability problem for QLTL in languages with two individual variables and one monadic predicate letter in Σ 11 -hard. Thus, QLTL is Π 11 -hard, and so not recursively enumerable, in such languages. The resultholds both for the increasing domain and the constant domain semantics and is obtained by reduction from a Σ 11 -hard N×N recurrent tiling problem. It follows from the proof for QLTL that similar results hold for the quantified branching-time temporal logic QCTL, and hence for the quantified alternating-time temporal logic QATL. The result presented in this paper strengthens a result by I. Hodkinson, F. Wolter, and M. Zakharyaschev, who have shown that the satisfiability problem for QLTL is Σ 11 -hard in languages with two individual variablesand an unlimited supply of monadic predicate letters.","PeriodicalId":155189,"journal":{"name":"Logical Investigations","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129094038","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}