Логика

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

Предложения делятся.

Повествовательные.

Вопросительные.

Побудительные.

1) Повествовательные предложения выражают суждения. Они могут быть не только двусоставными, но и односоставными.

2) Вопросительные предложения, не выражают суждений. Бывают лишь правильными и неправильными.

3) Побудительные предложения, подобно вопросительным, тоже основаны на каких - либо суждениях.

- 18 -

Классификация суждений.

Простые суждения характеризуются тем, что в них

нельзя выделить правильную часть, которая, в свою

очередь, была бы самостоятельным суждением.

Сложные суждения состоят из двух и более простых

суждений, тем или иным способом связанных между

собой.

Простые суждения ( категорические ).

1) Качество суждения - одна из важнейших его логических характеристик. Под ним разумеется не фактическое содержание суждения, а его самая общая логическая форма - утвердительная или отрицательная.

а) В утвердительных суждениях раскрывается наличие какой - либо связи между субъектом и предикатом.

б) В утвердительных суждениях, наоборот, раскрывается отсутствие той или иной связи между субъектам и предикатом. Они делятся на суждения с положительным предикатом, и суждения с отрицательным предикатом.

2) Количество суждения - это его другая важнейшая логическая характеристика. Под количеством здесь разумеется отнюдь не какое - нибудь конкретное число мыслимых в нем объектов. Выделяются общие, частные, единичные суждения.

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

б) Частные суждения - те, в которых что - либо высказывается о части какой - то группы предметов.

в) Единичные суждения - это такие, в которых нечто высказывается об отдельном предмете мысли.

3) Исключающие суждения - носят в логике промежуточный характер.

- 19 -

Классификация суждений по их количеству и качеству.

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

по характеру субъекта, общие, а по качеству, т.е. по характеру

связки, утвердительные.

Частноутвердительные суждения - частные по количеству,

отрицательные по качеству.

Общеотрицательные суждения - общие по количеству,

отрицательные по качеству.

Частноотрицательные суждения - частные по количеству,

отрицательные по качеству.

Распределенным считается термин, мыслимый во всем объеме, нераспределенным - если он мыслится не во всем объеме, а частично.

1) Субъект распределен в общих и не распределен в частных случаях.

2) Предикат распределен в отрицательных и не распределен в утвердительных суждениях.

Предикат суждения, будучи носителем новизны, может иметь самый различный характер. С этой точки зрения во всем многообразии суждений выделяются три группы: атрибутивные, реляционные и экзистенциальные.

Атрибутные суждения - суждения о свойствах чего - либо, раскрывают наличие или отсутствие у предмета мысли тех или иных свойств.

Реляционные суждения, или суждения об отношениях чего - либо к чему - то, раскрывают наличие или отсутствие у предмета мысли того или иного отношения к другому предмету.

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

- 20 -

Модальными называются высказывания, в состав которых входят так называемые « модальные понятия ».

В каждую из групп модальности входят три основных модальных понятия. Первое и третье сильно положительной и сильно отрицательной. Второе слабой характеристикой.

Сложные суждения.

1) Конъюнктивные или соединительные суждения.

а) Один субъект и два предиката - «S есть ( не есть ) P1 и P2»

б) Два субъекта и один предикат - «S1 и S2 есть (не есть) P»

в) Два субъекта и два предиката - «S1 и S2 есть (не есть) P1 и P2».

2) Дизъюнктивные, или разделительные суждения. Бывает две их разновидности.

а) Слабая дизъюнкция обладает логической связкой « или ». Она характеризуется тем, что объединяемые ей суждения не исключают друг друга.

б) Сильная дизъюнкция образуется логической связкой

« либо....либо ». Она отличается от слабой тем, что ее составляющие исключает друг друга.

3) Импликативные, или условные суждения.

4) Эквивалентные, или равнозначные суждения.

Отношения между простыми суждениями.

Простые суждения делятся:

реляционные.

атрибутивные.

сравнимости. несравнимости.

- 21 -

Суждения между сложными суждениями.

Сложные суждения.

Сравнимыми. Несравнимыми. Совместимыми. Несовмести -

мыми.

Преобразование суждений.

1) Общеутвердительные суждения преобразуются в частноутвердительное.

2) Частноутвердительное суждение обращается в частноутвердительное.

3) Общеотрицательное суждение обращается в общеотрицательное.

Превращение.

1) Общеутвердительное суждение преобразуется в общеотрицательное.

2) Общеотрицательное суждение, наоборот, превращается в общеутвердительное.

3) Частноутвердительное суждение превращается в частноотрицательное.

4) Частноотрицательное суждение превращается в частноутвердительное.

Логические операции преобразования.

1) Конъюнкция может быть выражена через дизъюнкцию.

2) Дизъюнкция может быть выражена через конъюнкцию.

3) Импликация может быть выражена через конъюнкцию.

4) Импликация может быть выражена через дизъюнкцию.

- 22 -

Отрицание суждений.

Отрицание конъюнкции.

Отрицание дизъюнкции.

Отрицание импликации.

УМОЗАКЛЮЧЕНИЕ.

Умозаключения делятся на:

1) Дедуктивные.

2) Индуктивные.

3) Умозаключение по аналогии.

Модусы категорического силлогизма.

Силлогизмы делятся на:

1) Правильные.

2) Неправильные.

Модусами силлогизма называются разновидности фигур, отличающихся характером посылок и заключения.

Сорит.

Прогрессивный сорит получается из

прогрессивного полисиллогизма путем

выбрасывания заключений предшествующих

силлогизмов.

Регрессивный сорит получается из регрессивного

полисиллогизма путем выбрасывания заключени

предшествующих силлогизмов и меньших посыл.

- 23 -

СЛОВАРЬ.

Язык - средство повседневного общения людей, средство общения в научной и практической деятельности.

Имя - это слово или словосочетание, обозначающие какой - либо определенный предмет.

Именная функция - это выражение, которое при замене переменных постоянными превращается в обозначение предмета.