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