Розділювальні умовиводи

Умовно-розділювальний – умовивід, в якому один засновок умовне, а інший розділове судження (чи лемматичний умовивід lemma – припущення). Розділове судження може містити дві і більше альтернативи, тому тематичний умовивід ділиться на дилеми, трилеми і т.д.

Розглянемо на прикладі дилеми структуру і види умовно-розділового умовиводу.

Розрізняють дві дилеми: конструктивну і деструктивну.

В простій конструктивній дилемі умовний засновок містить дві основи з яких витікає один і той же наслідок. Міркування направлене від ствердження істинності основи до ствердження істинності наслідку.

Якщо а, то с; якщо в, то с В символічному записі:

а або в (pàr)Λ (qàr), pvq

с r

В складній конструктивній дилемі умовний засновок містить дві основи і два наслідки. Міркування направлене від ствердження істинності основ до ствердження істинності наслідків:

а чи с.

в чи d

В простій деструктивній дилемі умовний засновок містить одну основу, з якого випливає два можливих наслідки. Міркування направлене: від заперечення істинності наслідків до заперечення істинності основ.

Якщо а, то с; якщо a, то с В символічному записі:

не-в чи не-с (pàr)Λ (рàr), ~qv~r

не-а ~p

В складній деструктивній дилемі умовний засновок містить дві основи і два наслідки. Міркування направлене від заперечення істинності наслідків до заперечення істинності основи:

Якщо а, то в; якщо с, то d В символічному записі:

не-в чи не-d (pàq)Λ (ràs), ~qv~s

не-аабо не-с ~pv~r

Правила фігур силогізмів. Правила засновків

Правила засновків:

хочаби один іззасновків повинен бути стверднимсудженням (правиловитримане: обидвазасновки - стверджувальні) якщо б один іззасновків – заперечнесудження, то і висновок повиненбути заперечним (правило для даногоміркування не застосовується черезвідсутністьзаперечувальнихсуджень в ньому).хоча б один іззасновків повинен бути загальнимсудженням (більшийзасновок – загальнесудження, правило дотримане).якщо один іззасновківчастковесудження, то і висновок буде частковим(меншийзасновок і висновок – частковісудження, правило дотримане).

Не було порушено жодного правила простого категоричного силогізму, отжеданеміркування – вірне.