К вопросу о критерии паранепротиворечивости логик

Logical Investigations Pub Date : 2023-01-11 DOI:10.21146/2074-1472-2022-28-2-77-95

Наталья Евгеньевна Томова

{"title":"К вопросу о критерии паранепротиворечивости логик","authors":"Наталья Евгеньевна Томова","doi":"10.21146/2074-1472-2022-28-2-77-95","DOIUrl":null,"url":null,"abstract":"В статье рассмотрены различные аспекты, связанные с определением паранепротиворечивых логик. Приведены критерии паранепротиворечивости логических систем, которые были предложены С. Яськовским и Н. да Костой. Даны различные формулировки принципа <<из противоречия следует все, что угодно>> ($\\textit{ex falso quodlibet}$) и соответствующие определения паранепротиворечивой логики. Указано, в каких случаях эти определения могут быть эквивалентны. Также описана проблема эксплозивности отношения следования относительно некоторых операторов и связок, и приведены те решения, которые были предложены различными исследователями. В статье рассмотрены вопросы, связанные с паранепротиворечивым отрицанием, указаны свойства классического отрицания, несовместимые с отказом от принципа <<из противоречия следует все, что угодно>>. Приведены различные взгляды на необходимость неверифицируемости в паранепротиворечивых логиках принципа непротиворечия.","PeriodicalId":155189,"journal":{"name":"Logical Investigations","volume":"76 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2023-01-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Logical Investigations","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.21146/2074-1472-2022-28-2-77-95","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

Abstract

В статье рассмотрены различные аспекты, связанные с определением паранепротиворечивых логик. Приведены критерии паранепротиворечивости логических систем, которые были предложены С. Яськовским и Н. да Костой. Даны различные формулировки принципа <<из противоречия следует все, что угодно>> ($\textit{ex falso quodlibet}$) и соответствующие определения паранепротиворечивой логики. Указано, в каких случаях эти определения могут быть эквивалентны. Также описана проблема эксплозивности отношения следования относительно некоторых операторов и связок, и приведены те решения, которые были предложены различными исследователями. В статье рассмотрены вопросы, связанные с паранепротиворечивым отрицанием, указаны свойства классического отрицания, несовместимые с отказом от принципа <<из противоречия следует все, что угодно>>. Приведены различные взгляды на необходимость неверифицируемости в паранепротиворечивых логиках принципа непротиворечия.

查看原文本刊更多论文

关于矛盾逻辑的标准

这篇文章涵盖了与定义并列逻辑有关的不同方面。这些是s·雅斯科夫斯基和n·达·科斯塔提出的矛盾逻辑系统的参数。给出了不同的>公式(exfalso quodlibet)和相应的并列逻辑定义。说明在哪些情况下，这些定义可以等价。还描述了跟踪关系相对于一些操作员和韧带的应用问题，以及不同研究人员提出的解决方案。本文讨论了与矛盾否定有关的问题，列出了经典否定的性质，与拒绝>原则不相容。有不同的观点认为，需要在矛盾的一致性原则中缺乏可信度。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Logical Investigations

CiteScore

0.40

自引率

0.00%

发文量