Литература:

1. Гетманова А.Д. Логика. Углубленный курс: Уч. пособие. М.: КНОРУС, 2007. Гл. 2 § 2.9 – § 2.10.

2. Зинченко Е.В., Эннс И.А. Логика. Томск, 2011. Раздел 5.1 – 5.2, 5.5.1, раздел 5.3.-5.6, раздел 5.7, 6.4.

3. Ивлев Ю.В. Логика. Сборник упражнений. М., 2004. Гл. 4.

4. Ивлев Ю.В. Логика для юристов. М.: Проспект, 2010. Гл. III, IV.

5. Кириллов В.И., Старченко А.А. Логика: учеб. 6-е изд. М., Проспект, 2009. Гл. IV, V.

6. Кобзарь В.И. Логика в вопросах и ответах: Уч. пособие. М.: Проспект, 2010. Гл. 4.

1. Какие из нижеприведенных предложений выражают суждения, а какие нет и почему?

«Никогда не злоупотребляйте достигнутым» (Анре Жид);

Лондон – столица Парижа, а Париж – столица Рима;

На миру и смерть красна;

«Я мыслю, следовательно, я существую» (Р.Декарт);

2. Установить вид суждений по характеру предиката (атрибутивное, суждение-существования, суждение-отношение):

«Добродетель расположена посредине между двумя пороками» (Аристотель);

Жизни после смерти нет;

Не все то золото, что блестит;

Убийство – худшее из зол;

3. Установить вид суждений (SaP, SeP, SiP, SoP), указать на распределенность терминов с помощью диаграмм Эйлера-Венна:

Ни один из римских рабов не обладал гражданскими правами;

Некоторые книги бесполезны;

Все квадраты – равносторонние прямоугольники.

Государственное право – юридическая наука.

Некоторые соглашения не являются выгодными ни для одной из сторон.

4. Составить суждения из следующих пар понятий при заданных условиях:

Комета (субъект, нераспределен), тело Солнечной системы (предикат, нераспределен);

Крестьянское восстание (субъект, распределен), восстание, закончившееся победой (предикат, распределен).

5. Установить по логическому квадрату отношения между следующими суждениями:

Ни в одном уголовном кодексе нет статьи о спекуляции. – В некоторых уголовных кодексах нет статьи о спекуляции;

Преступление является общественно опасным деянием. - Некоторые преступления являются общественно-опасными деяниями.

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

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

Некоторые лекарства опасней болезней;

Все хорошо, что хорошо кончается.

Совершеннолетние имеют право голоса;

7. Выяснить, в значении каких логических союзов употребляются грамматические союзы в следующих предложениях:

Плывет по реке не то лодка, не то бревно.

Ни берез, ни дубов мы больше не встречали.

Повсюду были видны либо озера, либо болота, либо речки.

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

Движение парусника было возможно лишь тогда, когда дул ветер.

8. Формализовать суждения на языке логики высказываний:

Если телеграмма запоздает, то либо мы вообще никогда больше не встретимся и конец нашей дружбе, либо надо начинать все сначала: писать письма, наводить справки и ждать.

Хлеба уцелеют тогда и только тогда, когда будут вырыты ирригационные каналы; если хлеба не уцелеют, то фермеры обанкротятся и оставят фермы.

Когда идет дождь, то Петя либо сидит дома и смотрит телевизор, либо идет в кино; но если дождя нет, он идет гулять.

Если бы Иван Грозный был зол по природе и не заботился об интересах государства, то он не отменил бы опричнины.

Занятие 4. Классическая и неклассическая логика высказываний. Исчисление высказываний. Классическая логика предикатов первого порядка.

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

1. Проблема истинности сложных суждений (таблицы истинности).

2. Язык классической логики предикатов первого порядка.

3. Натуральное исчисление предикатов. Правила введения и удаления кванторов, логических связок.

4. Теоремы логики предикатов.