Валидность (логика)
- Аргумент в логике действителен, если он делает невозможным истинность посылок и ложность вывода.
- Обоснованные аргументы должны быть четко выражены с помощью правильно сформированных формул (wffs).
- Обоснованность аргумента может быть проверена, доказана или опровергнута в зависимости от его логической формы.
- Аргумент является обоснованным, если вывод следует из исходных данных, не нарушая правильности логической формы.
- Обоснованность не требует истинности посылок, а только требует, чтобы вывод следовал из исходных данных.
- Если доказана истинность посылок, лежащих в основе обоснованного аргумента, это считается обоснованным.
- Логическая форма аргумента определяет его правильность, и логики используют множество приемов для представления логической формы.
- Формула формального языка является допустимой формулой тогда и только тогда, когда она верна при любой возможной интерпретации языка.
Полный текст статьи: