Logical Investigations最新文献

{"title":"Феофил Коридаллевс о природе логики и её отличии от риторики","authors":"Лидия Валентиновна Спиридонова, Андрей Викторович Курбанов","doi":"10.21146/2074-1472-2023-29-1-43-69","DOIUrl":"https://doi.org/10.21146/2074-1472-2023-29-1-43-69","url":null,"abstract":"Феофил Коридаллевс (1574–1646), глава Патриаршей школы в Константинополе, был одним из ярких представителей одновременно как падуанской, так и греческой школы. Первое сочинение в своём логическом компендиуме Коридаллевс целиком посвящает исследованию природы логики. В первую очередь, он доказывает, что логика не может являться эпистеме (ἐπιστήμη / scientia), а только техне (τέχνη / ars). Для этого он делает подробный обзор значения данных понятий у Аристотеля, чем показывает различие в их понимании современными и латинскими авторами. Коридаллевс не признаёт выделения практической (utens) и теоретической (docens) логики, что позволяло схоластам относить последнюю к scientia. Коридаллевс также не соглашается с положением стоиков, согласно которому логика является частью философии, он считает её инструментом философии. Подробным образом он останавливается на предмете (ὑποκείμενον) логики, а точнее — её материи (поскольку логика является техне, то она имеет материю), а также её целях, т.е. родительном и дательном телосе (τέλος), которые выделял Аристотель на основании грамматических особенностей греческого языка. Таким образом, Коридаллевс пришёл к выводу, что логика  — это инструментальная техне философии, чью материю составляют понятия (νοήματα), выраженные словами (φωναί), означающими вещи; она даёт нам правила, с помощью которых из значащих слов составляются логические инструменты — это и есть её родительный телос, в свою очередь этими инструментами пользуется философия, что позволяет реализовать дательный телос — различение истины от лжи. Риторика, чью материю также составляют слова, отличается образом действия, узостью предмета и иной целью, которой является убеждение аудитории. Отсюда риторика, выходящая из «Топики», является инструментом практической философии, целью которой является благо, тогда как логика — это инструмент теоретической философии, целью которой является познание истины.","PeriodicalId":155189,"journal":{"name":"Logical Investigations","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128027599","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-2023-29-1-9-29","DOIUrl":"https://doi.org/10.21146/2074-1472-2023-29-1-9-29","url":null,"abstract":"В статье подвергаются сомнению некоторые классические принципы мышления, основанные на традиционной интеллектуальной интуиции. В частности, оспаривается интуитивная приемлемость требования непротиворечивости, принципа «из противоречия следует всё, что угодно», закона исключённого третьего и некоторых других. \u0000В литературе, особенно логической, этой проблематике посвящено множество исследований в течение XX-XXI веков. В настоящей работе формулируется новый подход, основанный на гипотезе «многомировой теории всего» – гипотезе, которая базируется на идее признания мультивселенной, как актуальной реальности. Такая гипотеза бросает вызов существующим подходам к научному исследованию, понятию и критериям научной теории. Она требует отказа от ряда традиционных представлений, как контринтуитивных, например, от роли классического эксперимента в обосновании теории. \u0000Работа исходит из допущения, что мультивселенная является объективной реальностью. Для обоснования основной идеи не важно, какая именно из распространённых в настоящее время многомировых моделей близка к действительности, значение имеет только что, что такая модель должна быть следствием актуальных исследований в современной физике и космологии (например многомировая интерпретация квантовой механики, струнный ландшафт, хаотическая инфляция и некоторые другие).Высказывается предположение, что интеллектуальная интуиция, соответствующая корректному описанию мира, должна основываться на многомировом подходе, поскольку именно такой подход позволяет снять некоторые нерешённые проблемы, как контринтуитивные. Обосновывается, что соответствующим логическим базисом для такой теории может стать паранепротиворечивая и квантовая логики, как строящиеся на интуитивных представлениях, приближенных к действительному состоянию мира (фундаментальному устройству мира).","PeriodicalId":155189,"journal":{"name":"Logical Investigations","volume":"870 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117199588","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":"On Finite Domains Based Slices in the Structure of Superintuitionistic Predicate Logics, Preview","authors":"D. Skvortsov","doi":"10.21146/2074-1472-2023-29-1-101-113","DOIUrl":"https://doi.org/10.21146/2074-1472-2023-29-1-101-113","url":null,"abstract":"The article presents a series of closely related papers that together make up a single piece of work,  devoted to the description of a hierarchy of slices in the structure of superintuitionistic predicate logics  and making probably the first attempt to transfer to the predicate case Hosoi's hierarchy of (finite) slices for the structure of superintuitionistic propositional logics.","PeriodicalId":155189,"journal":{"name":"Logical Investigations","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132774867","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-2023-29-1-30-42","DOIUrl":"https://doi.org/10.21146/2074-1472-2023-29-1-30-42","url":null,"abstract":"В статье рассматривается один из приемов оформления толкований в «Логике» Макария Пе́тровича – глоссирование заимствованного понятия разного происхождения при помощи союза или. На примере четырех сочетаний (копула vs. связка, термин vs. связка, метод vs. (философское) расположение, аналисис vs. разбирание понятий vs. произведение или формование идей) показано, что вторым компонентом пары является лексема со славянским корнем, которая освоена русским языком. Подобная модель лишь в редких случаях соотносится с латиноязычными источниками приведенных сочетаний: Institutionesphilosophiae rationalis methodo Wolfii conscripta (1735 г.) и Elementa philosophiae recentiorisusibus juventutis scholasticae accommodata (1747 г.) Ф.Х. Баумайстера – в большинстве случаев добавления Петровича являются продуктом его оригинального творчества. \u0000При построении объяснений о. Макарий использует как лексику русского языка, так и полонизмы, причем словообразовательные модели польского языка (например, прилагательные на -ичный: криптичнный, аналитичный, гипотетичный) характерны для всего текста «Логики».  Сопоставление лексем с историческими словарями русского языка и текстами XVIII в. и ранее из Национального корпуса русского языка показало, что некоторые слова (копула, еротематический, формование, формовать, диспутовать, криптичнный, аналитичный, гипотетичный) или их варианты (мефод и аналисис по Рейхлиновой системе чтения) впервые употребляются именно в «Логике» Макария Петровича.","PeriodicalId":155189,"journal":{"name":"Logical Investigations","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133569648","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-2-96-114","DOIUrl":"https://doi.org/10.21146/2074-1472-2022-28-2-96-114","url":null,"abstract":"Обычно (особенно в рамках учебных курсов логики) теорема о дедукции воспринимается как техническое средство, облегчающее построение выводов в данной логике. При этом обходится вниманием тот факт, что если для логики верна теорема о дедукции для некоторого множества формул, то это дает новые возможности при задании отношения логического следования данной логики. При некоторых условиях, используя теорему о дедукции, вопрос о принадлежности секвенции к отношению логического следования можно свести к вопросу о принадлежности формул некоторого вида ко множеству тавтологий. Таким образом, множество тавтологий логики, обладающей дедуктивным свойством, полностью определяет саму логику. Такие логики получили в работах Р. Вуйцицкого название $textit{вполне-определенных}$ логик (well-determined logic). Он же отметил, что для того, чтобы логика была вполне-определенной, в некоторых случаях достаточно, чтобы для логики был верен слабый вариант теоремы о дедукции (о выводимости из формулы). Заметим, что интерес к вполне-определенным логикам, в частности, связан с тем, что для их семантического задания достаточно полной семантики, а требование сильной полноты не обязательно. \u0000Множества формул, которые позволяют задать отношение стандартного логического следования, исследуя вопрос о принадлежности к этому множеству некоторых импликаций, были названыР. Вуйцицким $textit{импликационными системами}$ (entailment system) или $textit{дедуктивными множествами}$. При этом понятия вполне-определенной логики и дедуктивного множества рассматривались Р. Вуйцицким для логик в языках, содержащих конъюнкцию и импликацию. \u0000В нашей работе множества формул, которые позволяют задать отношение логического следования формулы из формулы, получили название $textit{ слабодедуктивных множеств}$. Найден критерий слабой дедуктивности. Построена минимальная слабодедуктивная логика в языке, в котором импликация является единственной связкой. \u0000Кроме того, понятия вполне-определенной логики и дедуктивного множества были расширены на языки, которые могут и не содержать конъюнкцию. Найден критерий дедуктивности множеств в таких языках. В языке, единственной связкой которого является импликация, построена минимальная вполне-определенная логика. Доказано, что теорема о дедукции не верна для этой логики.","PeriodicalId":155189,"journal":{"name":"Logical Investigations","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-01-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124803568","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-2-77-95","DOIUrl":"https://doi.org/10.21146/2074-1472-2022-28-2-77-95","url":null,"abstract":"В статье рассмотрены различные аспекты, связанные с определением паранепротиворечивых логик. Приведены критерии паранепротиворечивости логических систем, которые были предложены С. Яськовским и Н. да Костой. Даны различные формулировки принципа <<из противоречия следует все, что угодно>> ($textit{ex falso quodlibet}$) и соответствующие определения паранепротиворечивой логики.  Указано, в каких случаях эти определения могут быть эквивалентны. Также описана проблема эксплозивности отношения следования относительно некоторых операторов и связок, и приведены те решения, которые были предложены различными исследователями. В статье рассмотрены вопросы, связанные с паранепротиворечивым отрицанием, указаны  свойства классического отрицания, несовместимые  с отказом  от принципа <<из противоречия следует все, что угодно>>. Приведены различные взгляды на необходимость неверифицируемости в паранепротиворечивых логиках принципа непротиворечия.","PeriodicalId":155189,"journal":{"name":"Logical Investigations","volume":"76 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-01-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116978079","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-2-66-76","DOIUrl":"https://doi.org/10.21146/2074-1472-2022-28-2-66-76","url":null,"abstract":"Настоящая статья продолжает логические дискуссии, инициированные публикацией Биркгофом и фон Нейманом в 1946 г. статьи по квантвой логике. Однако статья концентрировается на дискуссии, развернувшейся в последние десятилетя прошлого вокруг статьи  Х.Патнема  \"Является ли логика эмпирической наукой?\" Патнем дал утвердительный ответ на этот вопрос. Мы, однако, воспроизводим также инструменталистскую позицию М.Рэдхеда, отрицающего универсалистский взгляд на логику. Квантовая логика, по Рэдхеду, именно логика, оперирующая понятиями \"истина\" и \"общезначимость\", понятиями, получающими смысл и значение при соотнесении логики с алгебраической структурой совокупности проекционных операторов, действующих в бесконечномеерном гильбертовом пространсте.   \u0000. ","PeriodicalId":155189,"journal":{"name":"Logical Investigations","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-01-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124289761","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-2-40-65","DOIUrl":"https://doi.org/10.21146/2074-1472-2022-28-2-40-65","url":null,"abstract":"Работа посвящена семантике многозначных логик и касается проблемы содержательной интерпретации значений в логических матрицах. Отправной точкой исследования служит тезис Р. Сушко, согласно которому каждая многозначная логика является логически двухзначной, а также анализ этого тезиса в последующей литературе. Как показал Сушко, любая многозначная матричная семантика может быть редуцирована к двум значениями. Это поставило вопрос о том, возможны ли в принципе многозначные логики. Положительный ответ был дан Г. Малиновским на основе предложенной им концепции инференциальной многозначности. Фундамент данной концепции составляют обобщения понятий логической матрицы и отношения следования, где наряду с классом выделенных значений задействованы другие подмножества универсума матрицы, рассматриваемые в качестве логических значений. Это позволяет Малиновскому привести примеры многозначных семантик, которые нельзя редуцировать к двум значениям, используя метод Сушко. Опираясь на результаты Малиновского и других авторов, разрабатывавших данную тему, мы предлагаем собственные обобщения понятий логической матрицы и следования. В качестве логических значений рассматриваются не подмножества универсума матрицы, а отношения, то есть, подмножества декартовых степеней универсума. Такое обобщение делает возможным построение бивалентных инстинносто-функциональных семантик для логик, которые, как вытекает из известных в литературе результатов, не имеют двухзначной семантики в стиле Сушко.","PeriodicalId":155189,"journal":{"name":"Logical Investigations","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-01-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128345804","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":"Towards World Identification in Description Logics","authors":"Farshad Badie","doi":"10.21146/2074-1472-2022-28-2-115-134","DOIUrl":"https://doi.org/10.21146/2074-1472-2022-28-2-115-134","url":null,"abstract":"\u0000 \u0000 \u0000The logical analysis of the usability of nominals, that are introduced by Hybrid Logic, informal descriptions of the world (within modern knowledge representation systems and semantic systems) is very important because nominals, as second sorts of propositional symbols, can support logical identification of the described world at specific states. This paper will focus on answering the philosophical-logical question of ‘how a fundamental world description in the description logic (DL) and a nominal can be related to each other?’. Based on my assumption that nominals can support more adequate identification of the world in DL, this paper will deal with the concept of ‘world identification’. Accordingly, based on a logical-terminological analysis of nominals, it will analyse hybridised fundamental world descriptions. Relying on the outcomes, this research will reach the idea that we can have a hybrid description logic with the analysed concepts. \u0000 \u0000 \u0000","PeriodicalId":155189,"journal":{"name":"Logical Investigations","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-01-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116925664","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-2-9-39","DOIUrl":"https://doi.org/10.21146/2074-1472-2022-28-2-9-39","url":null,"abstract":"Целенаправленное поведение – телеологическое понятие, наиболее адекватное для описания многих изменений в живой природе, не вписывающихся в доктрину детерминизма. Такого рода поведение обладает уникальными характеристиками. Оно законоподобно, так как характеризуется устойчивостью и повторяемостью при сходных начальных условиях. Оно способно контролировать энтропию, так как в зависимости от цели его результаты имеют меньшую или большую энтропию, чем начальные условия. Также оно обладает свойствами своеобразной обратной причинности, когда будущее целевое состояние через посредство агента поведения вызывает изменения в настоящем. \u0000Элементарные блоки целенаправленного поведения могут быть представлены правилами двух видов -- “Если имеет место C, сделай d, чтобы достичь G” и процессуальных “Если имеет место C, сделай d, чтобы запустить процесс P, который приведет к искомой цели G”. Сложное целенаправленное поведение может быть описано, как выполнение набора правил, определяющих, какие и в каком порядке следует производить действия для достижения искомой конечной цели. Успешные схемы целенаправленного поведения в последующем могут служить образцом для разработки различных технологий. \u0000Анализ целенаправленной деятельности людей при вычислении функций привел А. Тьюринга к построению математической модели, получившей название машины Тьюринга. По ряду причин невозможно создать теорию целенаправленного поведения, сравнимую с теорией эффективной вычислимости, но вполне возможно построить общую модель и логическую теорию такого рода поведения, что и является целью настоящей работы. Для этого был взят язык, содержащий динамические операторы и временные операторы U (Until) и S (Since). В работе определена семантика данного языка и осуществлена его аксиоматизация. В результате была построена минимальная комбинированная логика USD, допускающая дальнейшие расширения. Показано, каким образом в этой логике можно определить правила целенаправленного поведения и их разновидности.","PeriodicalId":155189,"journal":{"name":"Logical Investigations","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-01-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127022955","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}