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