Творчість Альбера Камю, Детальна інформація

Творчість Альбера Камю
Тип документу: Реферат
Сторінок: 10
Предмет: Особистості
Автор: Чайківська Оля
Розмір: 35.9
Скачувань: 1375
2) Заперечно-ствердний модус (modus tollendo ponens – MNP) – менший засновок заперечує один диз’юнкт, висновок стверджує інший:

а чи в В символічному записі:

не а <р v q>, ~р < ... > - закрит. v.

в q

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

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

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

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

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

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

а або в (p(r) \x039B (q(r), p v q

с r

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

в чи d

&

0

o

c

¤

d



^„



^„

(еречення істинності наслідків до заперечення істинності основ.

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

не-в чи не-с (p(r) \x039B (р(r), ~q v ~r

не-а ~p

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

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

The online video editor trusted by teams to make professional video in minutes