Правилност

Еден логички аргумент е правилен ако и само ако

1. аргументот е валиден
2. сите искази му се вистинити.

Оваа статија се однесува на поимот за правилност во неформалната логика. За правилност во математичката логика, погл. теорема на правилноста.

Доказната процедура (на пр. природна дедукција) на еден логички систем е правилна ако докажува само валидни формули (исто и тавтологии). Во нотација, еден логички систем е правилен ако ${\displaystyle X_{1},\ldots ,X_{n}\vdash Y}$ имплицира ${\displaystyle X_{1},\ldots ,X_{n}\models Y}$.

Правилни аргументи

Еве еден правилен аргумент (во овој случај силогизам):

Сите луѓе се смртни.

Сократ е човек.

Затоа, Сократ е смртен.

Аргументот е валиден (бидејќи заклучокот е вистинит врз основа на изказите, т.е. заклучокот следи од исказите) и бидејќи самите искази се вистинити, аргументот е правилен.

Еве еден валиден, но неправилен аргумент:

Сите животни можат да летаат.

Свињите се животни.

Затоа, свињите можат да летаат.

Бидејќи првиот исказ е невистинит, аргументот, иако валиден, не е правилен.

Наводи

• Irving Copi. Symbolic Logic, Vol. 5, Macmillian Publishing Co., 1979.
• Boolos, Burgess, Jeffrey. Computability and Logic, Vol. 4, Cambridge, 2002.

• Портал: Логика