1. Основные законы логики.

Закон тождества.

В процессе рассуждения мысль должна сохранять своё основное содержание:

p -> p.

Закон непротиворечия.

Два противоположных (а также два противоречащих) суждения не могут быть истинными в одно и то же время и в одном и том же отношении:

неверно, что p и не-p.

Закон исключённого третьего.

Из двух противоречащих друг другу суждений одно истинно, другое – ложно, третьего суждения не дано:

либо p, либо не-p.

Закон достаточного основания.

Достоверны лишь те суждения, относительно истинности которых могут быть приведены достаточные основания:

p истинно, так как истинно q.

2. Превратить следующие суждения.

См. билет №7.

Русский музей расположен в Михайловском дворце.

Русский музей не расположен в не-Михайловском дворце.

Эрмитаж не является частным собранием картин.

Эрмитаж является не-частным собранием картин.

Некоторые музеи - художественные.

Некоторые музеи не являются не-художественными.

Многие известные картины не выставлены в Эрмитаже.

Многие известные картины выставлены не в Эрмитаже.

Билет №12.

1. Общая характеристика умозаключения.

Умозаключение – это непосредственный переход от одного или нескольких высказываний А1, А2, А3 и т.д. к высказыванию В.

Можно ещё накидать информации про силлогизмы.

2. Обратите следующие суждения.

См. билет №7.

Все жители блокадного Ленинграда - участники Великой Отечественной войны.

Некоторые участники Великой Отечественной войны – жители блокадного Ленинграда.

Некоторые гранитные монолиты - триумфальные памятники.

Некоторые триумфальные памятники – гранитные монолиты.

Билет №13.

1. Общая характеристика доказательства.

Доказательство – логическая процедура установления истинности какого-либо суждения при помощи других суждений, истинность которого уже установлена.

Состав доказательства:

• Тезис (суждение, истинность которого следует доказать);

• Аргументы или основания (истинные суждения, из которых следует тезис);

• Форма или демонстрация (умозаключение, с помощью которого связываются аргументы с тезисом).

Виды доказательства:

• Прямое (истинность тезиса непосредственно следует из истинности аргумента);

• Косвенное:

  • Антитезис (отрицание тезиса);

  • Апагогическое (от противного, «предположим обратное»);

  • Разделительное (либо А, либо В, либо С, либо D -> не-А и не-В и не-С -> значит, D).

Опровержение – доказательство ложности или необоснованности, несостоятельности тезиса. Состав идентичен (тезис, аргументы, форма).

2. Следуя отношениям суждений в логическом квадрате, вывести опосредованным путём из ложности суждения вида I ложность суждения вида A.

См. билет №7.

Вариант 1.

Если I ложно, то Е истинно;

Если Е истинно, то А ложно.

Вариант 2.

Если I ложно, то О истинно;

Если О истинно, то Е истинно;

Если Е истинно, то А ложно.

Вариант 3.

Если I ложно, то О истинно;

Если О истинно, то А ложно.

Билет №14.

1. Определение и структура доказательства.

См. билет №13.

2. Проанализируйте состав следующего простого категорического силлогизма.

Все станции Петербургского метро построены на общественные средства.

Эти подземные сооружения не построены на общественные средства.

----------

Эти подземные сооружения не станции метро.

P a M;

S o M;

S o P.

Это вторая фигура, модус АОО (bArOcO).

Билет №15.

1. Прямое и косвенное доказательство.

См билет №13.

2. Определите фигуру и модус следующего категорического силлогизма.

Все мои друзья простудились.

Тем, кто простужен, нельзя петь.

Всем моим друзьям нельзя петь.

S a M

M e P

S e P

Это первая фигура, модус EAE (чото как-то всё представлено не в том порядке, надо менять вторую посылку с первой местами, чтобы получился модус)

Билет №16.

1. Доказательство и опровержение.

См. билет №13.

2. Восстановите энтимему (сокращённый силлогизм) в полный силлогизм, укажите фигуру и модус.

Частноотрицательные суждения не обращаются, а это суждение - частноотрицательное.

Значит это суждение не обращается.

Первая фигура, модус cElArEnt.