Понятие «Ложность основания»
(error fundamentalis) – логическая ошибка в доказательстве, состоящая в том, что тезис начинают доказывать не истинными, а ложными аргументами, принимая, однако, последние (чаще всего непреднамеренно) за истинные.
отношение между двумя высказываниями, из которых одно является отрицанием др.; А и не-А. Формально-логические П. недопустимы в строгом рассуждении, поскольку смешивают истину и ложь.
Связь между истинностью мысли и формальной правильностью рассуждений
Определение 1
Неправильные...
Понятие формальной правильности рассуждения характеризует логические действия и операции мышления....
В непротиворечивом мышлении рассуждения лишены внутренних противоречий, которые разрушают необходимые...
Непротиворечивость мышления базируется на принципе непротиворечия (противоречия);
определенность....
Закон противоречия (принцип непротиворечивости мышления).
Анализируется отношение между «А и не-А» и формальным противоречием. Показано, что при логической интерпретации не отвергается методологический принцип непротиворечия
Общая характеристика логики первого порядка
Определение 1
Логика первого порядка – это формальное...
Свойства логики первого порядка
Логика первого порядка – привлекательный инструмент формализации математики...
Действительно, для противоречивых теорий в каждой модели будет содержаться противоречие, поскольку пара...
Значит, теория будет непротиворечивой, если для нее удается построить модель, свободную от противоречий...
Кроме перечисленных свойств, логика первого порядка обладает свойством компактности.
(error fundamentalis) – логическая ошибка в доказательстве, состоящая в том, что тезис начинают доказывать не истинными, а ложными аргументами, принимая, однако, последние (чаще всего непреднамеренно) за истинные.
(от греч. antitesis - противоположение) – суждение, противоречащее тезису доказательства. Используется в косвенном доказательстве тезиса.
то же самое, что и правдоподобные умозаключения.