Насколько мне известно, сохранение истины является свойством действительного дедуктивного аргумента, но я не могу найти его определение. Я чувствую, что моего не хватает, но вот мое предварительное определение:
«Сохранение истины - это свойство действительного дедуктивного аргумента, которое гарантирует, что истина в посылках вовлечена / перенесена в / в заключение».
Спасибо.
Не совсем. Аргумент называется сохраняющим истину, если он не приводит к ложным выводам при истинных посылках. Действительные или логически обоснованные аргументы — это те, в которых вывод является логическим следствием посылок. Существуют разные определения логических следствий, которые приводят к разным определениям действительности. В частности, в некоторых определениях могут быть аргументы, сохраняющие истину, которые недействительны, потому что понятие достоверности является ограничительным.
Например, аргумент Гёделя в пользу истинности его предложения недействителен, если логическое следствие определяется как дедуктивная доказуемость, но оно сохраняет истину. Согласно семантическому понятию логических следствий действительные аргументы — это в точности аргументы, сохраняющие истину, но в сложных теориях может не быть эффективного способа выяснить, является ли данный аргумент семантически верным.
Увидьте логическую истину и логическое следствие .
Джо Велер
ищущий
Джо Велер