Логический критерий корректности (правильности) некоторого утверждения, рассуждения или их совокупности (теории)

Примеры употребления слова непротиворечивость в литературе.

После голосования и оформления вопросного листа присяжные возвращаются в зал судебного заседания, передают вопросный лист председательствующему, который должен его проверить на предмет ясности и непротиворечивости ответов присяжных.

Для исчисления логики отношений программа финитизма Гильберта представляется, таким образом, выполнимой, в частности, вопрос о непротиворечивости этой системы может быть решен средствами, которые в ней же формализуются, поскольку она своей интерпретацией имеет язык логики предикатов.

Поскольку объектом, на котором выполнимы и выполняются принципиально возможные системы аксиом, является объект логики, формальный язык, или формализм, то в этом случае следует признать, что непротиворечивость, независимость, полнота системы аксиом не является присущей им внутренне, но выражает такую сторону их интерпретации, как десигнация.

Сделаем также замечание о том, что полнота системы доказывается той системой, которую она формализует, ее же непротиворечивость доказывается системой, которая формализует ее самое.

Роль логики представляется здесь таковой, что со стороны прагматики найдена та точка зрения, с которой реферируется значение логики как парадокса, переменной математической задачи по поводу общего математического решения проблемы разрешимости, что составит смысл, требующий результатов Геделя, так как теория, таким образом, является для себя и целью и средством, так что ее непротиворечивость может быть установлена формальным языком конструирования этой теории, который с этой целью должен быть эксплицирован средствами прагматики.

В данном случае применяются техники, используемые при обучении пациента максимальной конгруэнтности общения, например, принятие на себя роли режиссера, проверку употребления предикатов, характеризующих репрезентативную систему на непротиворечивость, и т.

Источник: библиотека Максима Мошкова