-
доктор философских наук, ведущий научный сотрудник Института философии РАН
The ontological status of evidence is reduced to reducing to absurdity. The problem is that in such evidence, an impossible (or still possible?) Situation is allowed as the initial one. What is the ontological status of such situations, do they have an ontological justification? The answer to this question involves considering the structure of evidence by reducing to absurdity, choosing the appropriate logic and searching for an adequate ontology. The article shows that in the classical calculus of predicates of the first order, proofs by reduction to absurdity are included as a special case of proof by contradiction. The intuitionistic predicate calculus uses evidence to reduce to absurdity, but evidence from the contrary is not accepted in it. Further, the key concept of “absurdity” is discussed. It is shown that the treatment of absurdity as nonsense leads to a dead end, because the problem of meaning does not have an adequate solution in modern science. We can not guarantee the presence of a semantic meaning for correctly constructed expressions of the sign system, but we can ensure the presence of a denotational value for such expressions in artificial sign systems. As applied to our problem, this indicates the need to search for the denotational significance of contradictions. Since the models of logical calculi are constructed by means of set theory, the domain of the search is narrowed to the choice of an appropriate set theory. The modified set theory ZF is considered in which the axiom of the existence of an empty set is replaced by its negation. In this case, it is possible to give the denotational significance to the contradictions, but then the contradictions of the type A and not- A get an ontological justification, since both A and non- A are fulfilled.
Обсуждается онтологический статус доказательств сведением к абсурду. Проблема в том, что в таких доказательствах в качестве исходной допускается невозможная (или все-таки возможная?) ситуация. Каков онтологический статус подобных ситуаций, имеют ли они онтологическое оправдание? Ответ на поставленный вопрос предполагает рассмотрение структуры доказательств сведением к абсурду, выбор подходящей логики и поиск адекватной онтологии. В статье показано, что в классическом исчислении предикатов первого порядка доказательства сведением к абсурду включают как частный случай доказательства от противного. Интуиционистское исчисление предикатов использует доказательства сведением к абсурду, однако доказательства от противного в нем не принимаются. Далее разбирается ключевое понятие «абсурд». Показано, что трактовка абсурда как бессмыслицы ведет в тупик, поскольку проблема смысла не имеет адекватного решения в современной науке. Мы не можем гарантировать наличие смыслового значения у правильно построенных выражений знаковой системы, но можем обеспечить наличие денотационного значения у таких выражений в искусственных знаковых системах. Применительно к нашей проблеме это указывает на необходимость поиска денотационного значения у противоречий. Поскольку модели логических исчислений строятся средствами теории множеств, область поиска суживается до выбора подходящей теории множеств. В статье рассматривается модифицированная теория множеств ZF, в которой аксиома существования пустого множества заменяется на ее отрицание. В этом случае удается придать противоречиям денотационное значение, но тогда противоречия вида A и не- A получают онтологическое оправдание, поскольку как A , так и не- A оказываются выполненными.