Пройти Антиплагиат ©



Главная » Базовые категории логики » Суждение как форма мышления



Суждение как форма мышления

Creative Commons «Attribution» («Атрибуция») 4.0 Всемирная. Уникализировать текст 



 
1. Общая характеристика суждения.
2. Классификация суждений.
3. Соотношение терминов в категорических суждениях.
4. Логические отношения между суждениями.
5. Символики логических высказываний.
 
1. Суждение - это логическая конструкция, с помощью которой что-либо утверждается или отрицается о предметах, их признаки, отношения и связи.
По грамматической форме суждения - это повествовательное предложение. Однако при разнице в количестве членов суждения и предложения (в предложении значительно большее количество членов) они не тождественны друг другу. Однако органическая связь суждения и предложения видится в сходстве их строения, то есть грамматических составляющих предложения (подлежащее и сказуемое) аналогичных логическим составляющим суждения (субъект, связка, предикат).
Общая структура простого суждения выражается формулой:
 
                                                                    J = g S (есть, не есть) P (1)
 
Где J - judicium - суждение; g - guantum - (сколько) целостность; S - subjektum - предмет суждения (лицо, явление, вещь); (Есть не является) - связка, утверждает или отрицает наличие у субъекта полной признаки; P - praedikatum - признак предмета, предикат.
В упрощенном виде:
                                                                     J = S (есть, не есть) P (2)
 
S, P - субъект, предикат - логические переменные, которые называются терминами суждения.
Например, Библия является священной книгой христиан "-
S - Библия; P - священная книга христиан;
Суждение как форма мышления имеет решающее значение в раскрытии содержания и объема понятий, а также в формировании умозаключений.
 
2. Все суждения можно разделить на отдельные виды в зависимости от принципа разделения. По структуре (строению) суждения делятся на простые, выражаются формулой (1), и сложные, состоящие из нескольких простых.
Важнейшими в формальной логике есть атрибутивные суждения.
Атрибутивные суждения - это такие суждения, в которых утверждается или отрицается наличие определенных свойств у предметов.
J = g S (есть, не есть) P
Например, "Все Студеты молодые", "Ни один грешник не является праведником", "Некоторые грибы ядовиты", "Некоторые преподаватели не является снисходительными".
Все эти суждения категоричны, потому что у них наличие или отсутствие признаков субъектов констатируется в безусловной форме.
Атрибутивные суждения разделяются: а) по количеству; б) по качеству; в) по количеству и качеству вместе.

а) Разделение АС по количеству субъекта S:
Общее - суждение, в котором по каждому предмету определенного множества утверждается или отрицается какая признак.
Формула:
Все S есть P; ни S не есть P
Частичное - суждение, в котором признаки соотносятся части предметов определенного множества.
Формула:
Некоторые S (есть, не есть) P
Одиночное - суждение, в котором признак соотносится с отдельным, единичным предметом.
Формула:
S (есть, не есть) P

б) Разделение по качеству связи (есть не является):
Утвердительное - суждение, в котором утверждается наличие признака в предмете.
Формула:
S есть P
Отрицательное - суждение, в котором отрицается наличие признака в предмете.
Формула:
S не есть P

в) Разделение по количеству и качеству:
Общеутвердительное - суждение, в котором утверждается определенный признак по всей множеством предметов.
Формула:
Все S не есть P, или S А P
В логике оно обозначается буквой А (первой гласной латинского слова affirmo - утверждаю). Например, "Все планеты являются космические тела"
Частноутвердительное- суждение, в котором признак утверждается по части множества предметов.
Формула:
некоторые S есть P, или S I P
В логике оно обозначается буквой I (второй гласной affirmo).
Например, "Некоторые студенты являются отличниками"
Общеотрицательное - суждение, в котором отрицается верный признак по каждому из членов множества предметов.
Формула:
ни S не есть P, или S Е P
В логике оно обозначается буквой Е (первая громкая слова nego - возражаю). Например, "Ни один инвалид не является военным".
Частноотрицательное - суждение, в котором признак отрицается по какой частью множества предметов.
Формула
некоторые S не есть Р, или S O P
В логике оно обозначается буквой О (второй гласной слова педо) << O >>. Например, "некоторые дети не являются послушными". → Asserit A, negat E, verum generaliter
    Asserit I, negat O, sed particulariter ambo
В суждениях отношения отражаются связи между предметами и отношением (по размеру, положению в пространстве, последовательность во времени и т.д.). Например, "река Дон длиннее реки Усманка", "город Москва находится южнее Питера".
По логической модальности простые суждения делятся (в зависимости от степени их доказательства) на вероятные (достоверные) и неопределённые.
Вероятное - суждение, обоснованно выражает наличие или отсутствие признака в предмете. Например, "рыбы покрыты чешуей", "снежинки - кристаллики замерзшей воды".
Неопределённое - суждение, в котором утверждается или отрицается возможность наличия признака в предмете. Например, "возможно, завтра выпадет град", "по-видимому, я не пойду в театр".
 
Сложные суждения
Бывают условные или безусловные.
Безусловные бывают: связующие, в которых используется союз "и", например, "Маяковский - талантливый поэт и выдающийся прозаик", и разделительные, в которых используется союз "или", например, "сегодня писать реферат или посетить больного друга". Условное суждение характеризуется конструкцией "если ... то". Например, "если число 6 делится на 3, то и 12 делится на 3".
Особенно для физико-математических наук важны такие элементы сложного условного суждения (импликации если ..., то ...). как достаточное и необходимое условия.
В сложных суждениях возможные комбинации безусловных и условных суждений (связующие-разделительные, условно-связующие, условно-разделительные). Например, "если в треугольнике все стороны равны, то углы равны и высоты уровне".
3. Из всех суждений только категорические, выделенные по количеству и качеству, имеют практическое значение в формальной логике. Решающую роль в этом процессе играет соотношение видов суждений А, Е, И, О, ​​в которых заложена конкретная информация об объемах S и Р. Именно соотношение между этими объемами и определяет распределенность терминов S и Р в категорических суждениях.
Распределенный термин - термин, объем которого полностью включается в объем другого термина или исключается из него.
Например, в суждении А "Все параллелограммы является четырехугольниками" субъект (параллелограмм) по объему полностью включен в объем предиката (четырехугольники), который представляет семью этих геометрических фигур. В суждении Е "ни один параллелограмм не является кругом" S (параллелограмм) по объему полностью исключается из объема предиката (круги), которое не является множеством для многоугольников → как в первом, так и во втором примере термин S "параллелограммы" является распределенным.
Нераспределенная термин - термин, объем которого только частично включается в объем второго или только частично включается из него.
Например, в суждении и "некоторые студенты являются спортсменами" S (студенты), как и Р (спортсмены) по своим объемам является лишь частью людей молодого возраста, о чем указывает квантор (некоторые) и соотношение между объемами S и Р, которые в этом суждении совпадают лишь частично.
4. Для определения истинности суждения его сравнивают (соотносят) с другими суждениями.
Сравнимыми есть такие два суждения, в которых S и Р являются соответственно одними и теми же, но отличаются между собой только по количеству и качеству (т.е. когда суждения А, И, Е, В имеют одинаковые термины S и Р). Иногда эти суждения называются однородными суждениями.
Например, 1) "все рыбы живут в воде"; 2) "некоторые рыбы не живут в воде". Суждение 1) и 2) - несовместимы, поскольку 2) противоречит общему принципу существования рыб.
Однако при сравнении суждений 1) "Все рыбы живут в воде" и 3) "некоторые рыбы живут в воде" очевидно, что 1) и 3) - совместимы, поскольку 3) подчинено по объему и содержанию первом (1).
В логических отношениях между суждениями совместимость и несовместимость является основой определения их истинности или ложности. Совместимость может быть полной, подчиненной и частичной. Несовместимость может быть противоположной и противоречивой.
Отношение между простыми сравнимыми суждениями иллюстрируют с помощью схемы, которая называется логический квадрат.
Логический квадрат - наглядная схема взаимных отношений между суждениями типа А, Е, И, О, ​​в которых субъект и предикат одни и те же, но которые отличаются между собой по качеству и количеству.
 
5. Символика логических высказываний применяется к сложным суждениям. В алфавите логики высказываний есть 3 группы знаков:
1. Переменные пропозициональные знаки г., q, r, которыми обозначают простые суждения. (Proposition - предложения).
2. Постоянные логические союзы, которые определяют связи между простыми суждениями:
- конъюнкция (coniunctio - соединение), проявляется в грамматическом союзе «и». Сложное конъюнктивные суждение будет истинным, если истинны все простые высказывания, входящие в него.
- дизъюнкция (disiunctio - разъединение) – проявляется в грамматическом союзе "или" (слабая дизъюнкция) и "или ... или" (сильная дизъюнкция). Сложное дизъюнктивное суждение будет истинным, если хотя бы одно простое суждение, что входит в его состав, будет истинным.
- импликация (implication - тесная связь) "если ... то". Сложное импликативных высказывания будет истинным всегда, кроме случая истинности первого простого высказывания и ложности второго.
- эквиваленция (equivalentio - равноценность) "если и только если ... то". Сложное эквивалентное высказывание будет истинным, когда логические значения простых высказываний, которые связаны этим союзом, совпадают. Например, "если и только если геометрическая фигура является квадратом, то она является равносторонним прямоугольником".
 



Лекция, реферат. Суждение как форма мышления - понятие и виды. Классификация, сущность и особенности. 2021.



« назад Оглавление вперед »
Понятие как форма мышления « | » Умозаключение как форма мышления






 

Похожие работы:

Законы. Объяснение. Предсказание

13.08.2010/реферат

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

Суждение как категория логики

23.09.2010/реферат

Суждение как форма мышления. Структура простого категорического суждения в логике. Суждение как логическая форма мышления. Суждение и вопрос. Требование истинности предпосылок при постановке вопроса, логические ошибки. Принципы классификации суждений.


 

Учебники по данной дисциплине

Философия
Философия. Конспект лекций
Философия - шпаргалки.
Философия - кратко
Введение в философию
Философия - подробный курс лекций
Основы философии
Философия учебник
Ключевые вопросы философии