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