- Book学术

发布求助

文献互助智能选刊最新文献

Logical Investigations Pub Date : 2018-05-30 DOI:10.21146/2074-1472-2018-24-1-26-45

Владимир Иванович Шалак

{"title":"Анализ vs дедукция","authors":"Владимир Иванович Шалак","doi":"10.21146/2074-1472-2018-24-1-26-45","DOIUrl":null,"url":null,"abstract":"В настоящей работе рассматриваются четыре вида задач, которые естественным образом возникают в связи с определением логического вывода: 1) проверка доказательства: $\\varGamma \\langle A_{1},..,A_{n}\\rangle A $; 2) поиск интересных следствий: $ \\varGamma \\langle ...\\rangle ?$; 3) поиск доказательства: $ \\varGamma \\langle .?.\\rangle A$; 4) поиск гипотез: $ ?\\langle ...\\rangle A $. В современной логике основное внимание уделяется задаче поиска доказательств. Ограничительные теоремы Гёделя имеют прямое к ней отношение. В то же время в реальной практике задача поиска гипотез, из которых следует целевое предложение, встречается гораздо чаще, чем задача поиска доказательства. Подробному ее исследованию и посвящена основная часть настоящей работы. Дано предложение $A$, и требуется найти множество гипотез (посылок) $\\varGamma$, из которых оно логически выводимо. Выбор подходящих гипотез $\\varGamma$происходит на основе логического анализа предложения $A$. Мы можем выделить шесть различных оснований для выбора этих гипотез: 1) принятие явных определений для предикатных и функциональных символов; 2) принятие неявных аксиоматических определений для предикатных и функциональных символов; 3) принятие ранее доказанных теорем; 4) принятие эмпирически истинных предложений; 5) принятие предложений, описывающих результат некоторого действия; 6) принятие правдоподобных гипотез, которые могут иметь отношение к решаемой задаче. В работе построено исчисление, которое формализует задачу аналитического поиска гипотез для данного целевого предложения.DOI: 10.21146/2074-1472-2018-24-1-26-45","PeriodicalId":155189,"journal":{"name":"Logical Investigations","volume":"30 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2018-05-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Logical Investigations","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.21146/2074-1472-2018-24-1-26-45","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

摘要

本文讨论了四种类型的问题，这些问题自然是由逻辑推理定义的:1)证据检验:那是一块钱吗?寻找有趣的结果:varGamma / langle…\ rangle ?美元;(3)寻找证据:varGamma / langle。\ rangle A $;寻找假设:美元?-一块钱在现代逻辑中，重点是寻找证据。哥德尔的限制定理与此有关。与此同时，在实际实践中，找到目标命题的假设比找到证据的命题更常见。她的研究是详细的，并致力于实际工作的主要部分。提供了A美元，需要找到许多假设(包裹)美元/ varGamma美元，这在逻辑上是可以推断的。根据A美元报价的逻辑分析，选择合适的varGamma假设。我们可以为选择这些假设提供六个不同的理由:1)为序言和功能符号采用明确的定义;2)接受谓词和功能符号的隐性公理定义;(3)提奥姆先前证明的接受;4)接受实证实句;5)接受描述某一行动结果的建议;6)接受可信的假设，这可能与手头的任务有关。工作中建立了一个微积分，使分析假设搜索的任务格式化为这个目标命题。DOI: 10.21146/2074 1472 - 2018 - 24 - 1 - 26 - 45

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

查看原文本刊更多论文

Анализ vs дедукция

В настоящей работе рассматриваются четыре вида задач, которые естественным образом возникают в связи с определением логического вывода: 1) проверка доказательства: $\varGamma \langle A_{1},..,A_{n}\rangle A $; 2) поиск интересных следствий: $ \varGamma \langle ...\rangle ?$; 3) поиск доказательства: $ \varGamma \langle .?.\rangle A$; 4) поиск гипотез: $ ?\langle ...\rangle A $. В современной логике основное внимание уделяется задаче поиска доказательств. Ограничительные теоремы Гёделя имеют прямое к ней отношение. В то же время в реальной практике задача поиска гипотез, из которых следует целевое предложение, встречается гораздо чаще, чем задача поиска доказательства. Подробному ее исследованию и посвящена основная часть настоящей работы. Дано предложение $A$, и требуется найти множество гипотез (посылок) $\varGamma$, из которых оно логически выводимо. Выбор подходящих гипотез $\varGamma$происходит на основе логического анализа предложения $A$. Мы можем выделить шесть различных оснований для выбора этих гипотез: 1) принятие явных определений для предикатных и функциональных символов; 2) принятие неявных аксиоматических определений для предикатных и функциональных символов; 3) принятие ранее доказанных теорем; 4) принятие эмпирически истинных предложений; 5) принятие предложений, описывающих результат некоторого действия; 6) принятие правдоподобных гипотез, которые могут иметь отношение к решаемой задаче. В работе построено исчисление, которое формализует задачу аналитического поиска гипотез для данного целевого предложения.DOI: 10.21146/2074-1472-2018-24-1-26-45

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Logical Investigations

CiteScore

0.40

自引率

0.00%

发文量