Формальная логика (стр. 3 из 3)

Суждения.

Суждение – мысль, посредством которой выделяется предмет, раскрывается часть его содержания и утверждается его отношение между предметом и выделенной частью его содержания. [6]

Категорические суждения – множественные атрибутивные суждения

Логические типы суждений.

По логическому характеру отношения субъекта S и предиката Р суждения делятся на группы:

Группа 1. Отношение S и Р мыслится как принадлежность свойств предмету.

Группа 2. Отношение S и Р – как принадлежность предмета классу предметов.

Группа 3. Отношение S и Р - как отношение двух предметов по какому-либо признаку.

Качество суждений.

Утвердительная форма – соединение в действительности.

Отрицательное суждение – разъединение.

Количество суждений.

Общие суждения «все S-Р»;

Частное суждение «некоторое S-Р»;

Единичное суждение «это S-Р».

Виды суждений по отношению.

Категорические, без ограничения по условиям;

Условные, истинность состоит в зависимости от условий;

Разделительные, «А есть или В, или С, или Д».

Модальность суждений.

Аподиктические – выражают необходимость утверждения, обусловлены самим предикатом;

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

Суждения одновременно по количеству и качеству:

Общеутвердительные – стандартная, логическая форма – «все S суть Р»;

Общеотрицательное - «ни одно S не есть Р»;

Частноутвердительное - «некоторые S суть Р»;

Частноотрицательные – «некоторые S не суть Р».

Преобразования формы суждений.[7]

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

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

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

Противопоставление предикату – вывод последовательным применением превращением исходного суждения и далее обращением полученного суждения.

Выполнение задания

5)Преобразуйте суждение по правилам "превращения":

Дом человека - его крепость (Э. Коук)

Ни одно строение, которое является домом человека, не есть не его крепость.

6)Преобразуйте суждение по правилам "обращения":

Ни один человек не должен делать зла.

Ни один сделавший зло не должен называться человеком.

7)Преобразуйте суждение по правилам "противопоставления предикату": Благодарность - память сердца.

Неблагодарность – не память сердца.

«Логический квадрат» [8]

А противные Е

Общеутвердительное (всякое S есть Р)		Общеотрицательное (ни одно S не есть Р)
подчиненые		подчиненые
Частноутвердительное (некоторые S принадлежат к Р)		Частноотрицательное (некоторые S не принадлежат Р)

I подпротивные О

Выполнение задания

8)Осуществите умозаключение по логическому квадрату, следующего суждения:

Благоразумие - лучшая черта храбрости (У.Шекспир)

А - Благоразумие - лучшая черта храбрости

Е – неблагоразумие – не лучшая черта храбрости

I – некоторые благоразумные поступки – черта храбрости

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

Сложное суждение.[9]

Суждение, взятое вместе со знаковой формой, в логике принято называть высказыванием.

Сложное суждение содержит в качестве своей правильной части некоторое (некоторые) другое суждение. Вид сложного суждения определяется той логической константной, которая представляет последнюю операцию при образовании данного суждения, но эта последняя операция не определяет всей структуры высказывания. Основные виды сложных суждений: конъюнктивные (А&В), дизъюнктивные (АÚВ), импликативные (АÉВ), образованные из других операцией отрицания (¬А).

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

термины дескриптивные (описательные)

ИМЕНА - слова и словосочетания, являющиеся знаками предметов; могут быть охарактеризованы, как языковое выражение такого рода, которое, будучи соотнесенное с каким-либо предметом, явлением, процессом действительности превращает его в предмет мысли.

ПРЕДИКАТОРЫ – выражения языка предметными значениями, которых являются свойства и отношения, которые употребляются, как предметы познания;

ПРЕДМЕТНЫЕ ФУНКТОРЫ – предметными значениями, которых являются предметно-предметные функции, их основная роль образование сложных, описательных имен и степеней свойств;

термины логические

ЛОГИЧЕСКИЕ КОНСТАНТЫ – это логические связки: «если…, то...», «и», «или», «не»; операторы - кванторные слова: «всякий», «любой», «некоторые», «каждый»; оператор определенной дискрипции: «то, который»; оператор неопределенной дискрипции: «некий из».

и, отдельно термин

ПРЕДЛОЖЕНИЯ – знаки особого рода – повествовательные, вопросительные, побудительные предложения.

Перечень знаков синтаксических категорий языка логических высказываний (ЯЛВ) называют исходными символами языка.

Исходные символы ЯЛВ:

1. Пропозициональные переменные p, g, r, s;
2. Логические константы (связки): конъюнкция (&, Ù, союз «и»), дизъюнкция (Ú, «или»), импликация (É, ® «если…, то…»), отрицание (¬), эквиваленция, логическая равнозначность (≡ «…если, и только если,…», «…тогда, и только тогда, когда…»);
3. Технические знаки: левая скобка ( ( ), правая скобка ( ) ).

ВЫПОЛНЕНИЕ ЗАДАНИЯ

9)Установите термины, входящие в состав данного сложного суждения и напишите его в символической форме, используя логические знаки конъюнкции, дизъюнкции, импликации и эквиваленции:

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

В состав данного сложного суждения входят следующие термины:

ИМЕНА – Характерная особенность, Россия, неравномерность освоение, территория, процесс организации, природные и территориальные ресурсы, ресурсообмен, управление.

ПРЕДИКАТОРЫ – вовлеченность, иных, общий.

ПРЕДМЕТНЫЕ ФУНКТОРЫ – диспропорции, неравномерность, неполная.

ЛОГИЧЕСКИЕ КОНСТАНТЫ - и, всегда, содержащий, является.

ПРЕДЛОЖЕНИЯ – повествовательные.

Символическая форма суждения:

( aÙb) ≡(cÙ(dÚt))Ég

Литература

Асмус В.Ф. Логика. – М., 1947

Войшвилло Е.К., Дегтярев М.Г. Логика. Учебник. – М., 2001.

Гетманова А.Д. Логика. Словарь и задачник. – М., 1998.

Маклаков А.Г. Общая психология – СПб., - 2001.

Общая психология. Учебник. \ Под ред. А.В.Петровского. – М., 1986.

Тоноян Л.Г. Сборник задач и упражнений по логике. – СПб., 2000.

[1] Асмус В.Ф. Логика. – М., 1947

[2] Войшвилло Е.К., Дегтярев М.Г. Логика. Учебник. – М., 2001.

[3] Общая психология. Учебник. \ Под ред. А.В.Петровского. – М., 1986.

[4] Маклаков А.Г. Общая психология – СПб., - 2001.

[5] Тоноян Л.Г. Сборник задач и упражнений по логике. – СПб., 2000.

[6] Асмус В.Ф. Логика. – М., 1947

[7] Войшвилло Е.К., Дегтярев М.Г. Логика. Учебник. – М., 2001.

[8] Асмус В.Ф. Логика. – М., 1947

[9] Войшвилло Е.К., Дегтярев М.Г. Логика. Учебник. – М., 2001.