Формальная логика
Контрольная работа - Разное
Другие контрольные работы по предмету Разное
ние S и Р мыслится как принадлежность свойств предмету.
Группа 2. Отношение S и Р как принадлежность предмета классу предметов.
Группа 3. Отношение S и Р - как отношение двух предметов по какому-либо признаку.
Качество суждений.
Утвердительная форма соединение в действительности.
Отрицательное суждение разъединение.
Количество суждений.
Общие суждения все S-Р;
Частное суждение некоторое S-Р;
Единичное суждение это S-Р.
Виды суждений по отношению.
Категорические, без ограничения по условиям;
Условные, истинность состоит в зависимости от условий;
Разделительные, А есть или В, или С, или Д.
Модальность суждений.
Аподиктические выражают необходимость утверждения, обусловлены самим предикатом;
Проблематические выражают вероятность и возможность противоположного утверждения.
Суждения одновременно по количеству и качеству:
Общеутвердительные стандартная, логическая форма все S суть Р;
Общеотрицательное - ни одно S не есть Р;
Частноутвердительное - некоторые S суть Р;
Частноотрицательные некоторые S не суть Р.
Преобразования формы суждений.
Преобразования формы суждений, операциями обращения, превращения, преобразования, производится посредством противопоставления предикату.
Превращение это вывод, в котором заключение получается посредством эквивалентного преобразования утвердительного суждения в отрицательное и наоборот. Эквивалентность достигается за счет того, что при изменении качества суждения изменяется его предикат он заменяется противоречащим понятием.
Обращение это умозаключение, при котором из данного суждения, не являющегося частноотрицательным, выводится такое, субъектом которого является предикат исходного, а предикатом - субъект исходного, т.е. преобразование Р в S, S в Р, с сохранением логического содержания.
Противопоставление предикату вывод последовательным применением превращением исходного суждения и далее обращением полученного суждения.
Выполнение задания
5)Преобразуйте суждение по правилам "превращения":
Дом человека - его крепость (Э. Коук)
Ни одно строение, которое является домом человека, не есть не его крепость.
6)Преобразуйте суждение по правилам "обращения":
Ни один человек не должен делать зла.
Ни один сделавший зло не должен называться человеком.
7)Преобразуйте суждение по правилам "противопоставления предикату": Благодарность - память сердца.
Неблагодарность не память сердца.
Логический квадрат
А противные Е
Общеутвердительное
(всякое S есть Р)Общеотрицательное (ни одно S не есть Р)
подчиненыеподчиненыеЧастноутвердительное (некоторые S принадлежат к Р)Частноотрицательное (некоторые S не принадлежат Р) I подпротивные О
Выполнение задания
8)Осуществите умозаключение по логическому квадрату, следующего суждения:
Благоразумие - лучшая черта храбрости (У.Шекспир)
А - Благоразумие - лучшая черта храбрости
Е неблагоразумие не лучшая черта храбрости
I некоторые благоразумные поступки черта храбрости
О некоторые благоразумные поступки не являются чертами храбрости
Сложное суждение.
Суждение, взятое вместе со знаковой формой, в логике принято называть высказыванием.
Сложное суждение содержит в качестве своей правильной части некоторое (некоторые) другое суждение. Вид сложного суждения определяется той логической константной, которая представляет последнюю операцию при образовании данного суждения, но эта последняя операция не определяет всей структуры высказывания. Основные виды сложных суждений: конъюнктивные (А&В), дизъюнктивные (АВ), импликативные (АВ), образованные из других операцией отрицания (А).
При рассмотрении языка, как системы знаков, вместе с синтаксическим и прагматическим аспектами, важно рассматривать и семантический аспект, который составляет совокупность отношений знаков к объектам внеязыковой действительности, т.е. к тому, что они обозначают. Семантические категории это класс выражений с однотипными предметными значениями, при этом включающие все выражения с предметным значением данного типа, их можно разделить на:
термины дескриптивные (описательные)
ИМЕНА - слова и словосочетания, являющиеся знаками предметов; могут быть охарактеризованы, как языковое выражение такого рода, которое, будучи соотнесенное с каким-либо предметом, явлением, процессом действительности превращает его в предмет мысли.
ПРЕДИКАТОРЫ выражения языка предметными значениями, которых являются свойства и отношения, которые употребляются, как предметы познания;
ПРЕДМЕТНЫЕ ФУНКТОРЫ предметными значениями, которых являются предметно-предметные функции, их основная роль образование сложных, описательных имен и степеней свойств;
термины логические
ЛОГИЧЕСКИЕ КОНСТАНТЫ это логические связки: если…, то..., и, или, не; операторы - кванторные слова: всякий, любой, некоторые, каждый; оператор определ?/p>