Валидност (логика): Разлика помеѓу преработките
| [проверена преработка] | [проверена преработка] |
Избришана содржина Додадена содржина
с →top: Правописна исправка, replaced: преставува → претставува |
|||
Ред 9:
:
::Сите луѓе се смртни
::Сократ е човек
::Затоа, Сократ е смртен.
Валидниот аргумент не е валиден само заради тоа што има точни премиси и точен заклучок, туку чинот на логичка невозможност да биде поинаку. За разлика од горниот, овој аргумент е невалиден:
::Сите луѓе се смртни
::Сократ е смртен
::Затоа, Сократ е човек.
Ред 23:
Стандардно гледиште за тоа дали аргумент е валиден зависи од неговата [[логичка форма]]. Логичарите употребуваат многу техники за прикажување на логичката форма на еден аргумент. Прост пример, којвцажи за двете илустрации погоре, е следниов: Нека буквите ‘P’, ‘Q’ и ‘s’ бидат множество луѓе, множество смртници, и Сократ. СО помош на овие симболи, првиот аргумент можеме да го претставиме како:
::Сите P се Q
::s е P
::Затоа, s е Q
Така, вториот аргумент е:
::Сите P се Q
::s е Q
::Затоа, s е P.
Овие кратенки јасно ја покажуваат '''логичката форма''' на секој од аргументите. Ова важи за ''било кој'' аргумент кој се вклопува во горенаведените облици, заменувајќи ги ''P'', ''Q'' и ''s'' со соодветни изрази. Од особен интерес е фактот дека можеме да ја истражиме формата на аргументот за да видиме дали аргументот од кој е добиен е валиден или не. За да го направиме ова дефинираме „толкување“ на аргументот како дозначување на множества предмети на големите букви во аргументната форма, и дозначуваме поединечен член на множество малите букви во таа аргументна форма. Така, со тоа што P претставува множество луѓе, Q
:* Еден аргумент е '''фомално валиден''' ако неговата форма е таква за која не постои толкување каде сите премиси се точни, но заклучокот е неточен.
| |||