Abstract:According to truth pluralism, sentences from different areas of discourse can be true in different ways. This view has been challenged to make sense of logical validity, understood as necessary truth preservation, when inferences involving different areas are considered. To solve this problem, a natural temptation is that of replicating the standard practice in many-valued logic by appealing to the notion of designated values. Such a simple approach, however, is usually considered a non-starter for strong vers… Show more
“…Анализируя тезис Сушко и Редукцию Сушко, А. Стролло приходит к схожим выводам [Strollo, 2022]. Он усматривает в рассуждении Сушко отождествление выделенности референциального значения с семантическим значением предложения, свойством истины (property of truth).…”
Section: что такое инференциальное значение?unclassified
“…Devyatkin L.Yu. "Neklassicheskij vzglyad na prirodu znachenij istinnosti" [A non-classical view of the nature of truth values], Logicheskie Issledovaniya / Logical Investigations, 2022, Vol. 28, No.…”
Работа посвящена семантике многозначных логик и касается проблемы содержательной интерпретации значений в логических матрицах. Отправной точкой исследования служит тезис Р. Сушко, согласно которому каждая многозначная логика является логически двухзначной, а также анализ этого тезиса в последующей литературе. Как показал Сушко, любая многозначная матричная семантика может быть редуцирована к двум значениями. Это поставило вопрос о том, возможны ли в принципе многозначные логики. Положительный ответ был дан Г. Малиновским на основе предложенной им концепции инференциальной многозначности. Фундамент данной концепции составляют обобщения понятий логической матрицы и отношения следования, где наряду с классом выделенных значений задействованы другие подмножества универсума матрицы, рассматриваемые в качестве логических значений. Это позволяет Малиновскому привести примеры многозначных семантик, которые нельзя редуцировать к двум значениям, используя метод Сушко. Опираясь на результаты Малиновского и других авторов, разрабатывавших данную тему, мы предлагаем собственные обобщения понятий логической матрицы и следования. В качестве логических значений рассматриваются не подмножества универсума матрицы, а отношения, то есть, подмножества декартовых степеней универсума. Такое обобщение делает возможным построение бивалентных инстинносто-функциональных семантик для логик, которые, как вытекает из известных в литературе результатов, не имеют двухзначной семантики в стиле Сушко.
“…Анализируя тезис Сушко и Редукцию Сушко, А. Стролло приходит к схожим выводам [Strollo, 2022]. Он усматривает в рассуждении Сушко отождествление выделенности референциального значения с семантическим значением предложения, свойством истины (property of truth).…”
Section: что такое инференциальное значение?unclassified
“…Devyatkin L.Yu. "Neklassicheskij vzglyad na prirodu znachenij istinnosti" [A non-classical view of the nature of truth values], Logicheskie Issledovaniya / Logical Investigations, 2022, Vol. 28, No.…”
Работа посвящена семантике многозначных логик и касается проблемы содержательной интерпретации значений в логических матрицах. Отправной точкой исследования служит тезис Р. Сушко, согласно которому каждая многозначная логика является логически двухзначной, а также анализ этого тезиса в последующей литературе. Как показал Сушко, любая многозначная матричная семантика может быть редуцирована к двум значениями. Это поставило вопрос о том, возможны ли в принципе многозначные логики. Положительный ответ был дан Г. Малиновским на основе предложенной им концепции инференциальной многозначности. Фундамент данной концепции составляют обобщения понятий логической матрицы и отношения следования, где наряду с классом выделенных значений задействованы другие подмножества универсума матрицы, рассматриваемые в качестве логических значений. Это позволяет Малиновскому привести примеры многозначных семантик, которые нельзя редуцировать к двум значениям, используя метод Сушко. Опираясь на результаты Малиновского и других авторов, разрабатывавших данную тему, мы предлагаем собственные обобщения понятий логической матрицы и следования. В качестве логических значений рассматриваются не подмножества универсума матрицы, а отношения, то есть, подмножества декартовых степеней универсума. Такое обобщение делает возможным построение бивалентных инстинносто-функциональных семантик для логик, которые, как вытекает из известных в литературе результатов, не имеют двухзначной семантики в стиле Сушко.
Truth pluralists say that there are many ways to be true. Aaron Cotnoir (“Pluralism and Paradox” in: Pedersen and Wright (eds) Truth and pluralism: current debates, Oxford University Press, Oxford, 2013) has suggested a “uniquely pluralist response to the liar”. The basic idea is to maintain that, if a sentence says of itself that it is not true in a certain way, then that sentence is not apt to be true in that way, but is instead apt to be true in a different way. While this is consistent with the basic tenets of truth pluralism, it is an open question whether or not it is amenable to any actual pluralist theory. The primary goal of this paper is to argue that Cotnoir's proposal is amenable to form-based pluralism, rather than domain-based pluralism. In particular, in Section 1, I argue that there are several serious obstacles in the way of the domain-based pluralist who wishes to endorse Cotnoir's proposal; in Section 2, I show how the form-based pluralist can overcome these difficulties. The secondary goal of the paper is to argue that most, if not all, substantivists about truth should find form-based pluralism independently attractive. As such, the possibility of a form-based pluralist solution to the liar is not merely a technical curiosity, but something in which substantivists about truth have a vested interest.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.