РЕФЕРАТ
по дисциплине: «Элементы математической логики»
На тему:
«Модальность суждений»
Выполнил:
Студент гр. КПР-23
Расстегаев Д.С.
Проверила:
Радько О.Ю.
Тамбов 2020
Введение
Форма мышления, представляющая собой логическую связь между двумя или более понятиями, которые могут быть истинными или ложными, называется суждением. Как известно, отношения тождества, подчинения и частичного совпадения (пересечения, пересечения, подобия) устанавливаются между понятиями, которые выражаются утвердительной логической связью проявляется. Отношения противоречия, противопоставления и подчинения выражаются логической связью "нет". Эти отношения, правильно выраженные в соответствующей языковой форме, в грамматических предложениях, и будут выражать различные типы суждений.
Каждое суждение выражается предложением, но не каждое предложение может выразить суждение. Они не отражают ни истины, ни лжи и не устанавливают логических связей между несколькими понятиями, вопросительными, мотивационными, именными и безличными предложениями. Хотя они и являются формами мышления, их нельзя признать суждениями. Суждения с адекватной рефлексией.
Однако признаки суждения и признаки приговора не совпадают и не тождественны друг другу. Важно, учитывая различные элементы суждения и повествовательных предложений, развить определенный навык перевода грамматических предложений в логические, адекватные им, что не всегда легко.
Логическая характеристика суждения
Человек с помощью сознания познает объективный мир. Познание мира начинается с экспериментального сравнения предметов и явлений друг с другом, с установления их сходства и различия. Содержание опыта становится знанием, когда оно имеет смысл и принимает форму определенного высказывания. В то же время понятие как логическая форма мышления не способно передать всего многообразия и богатства человеческого мышления; оно всегда является лишь основой человеческого рассуждения об определенных свойствах, качествах предметов и явлений. Между тем мышление, которое выражается как совокупность понятий, предполагает знание о свойствах и отношениях объектов в реальной действительности. В силу объективного хода вещей эта совокупность понятий имеет устойчивую структуру, внутреннюю естественную связь, образующую особую форму человеческого мышления - суждение.
Суждение-это такая форма мышления, при которой посредством объединения понятий утверждается или отрицается нечто относительно наиболее реальных вещей и явлений. Например: В. Соловьев-представитель русской религиозной философии", "все течет, все меняется", "я не своими руками памятник себе строил", "космонавты существуют".
В каждом суждении есть определенная мысль. Это форма выражения реальности в человеческом разуме. Эта форма является утверждением об объектах, их свойствах и состояниях, а также отношениях между ними. Мышление характеризуется двумя очень важными свойствами, которые человеку необходимо учитывать при логическом анализе. Во-первых, он что-то утверждает или отрицает: например, "Москва больше Пскова". Во-вторых, идея может быть как истинной, так и ложной: например, утверждение "сознание влияет на социальное бытие" истинно, поскольку человек, наделенный сознанием, изменяет окружающую его действительность, в том числе и социальные отношения.
По своему содержанию любое суждение имеет атрибутивный характер. Он всегда отражает, принадлежит ли атрибут определенному объекту или явлению. Следует подчеркнуть, что предметом суждения может быть любая вещь, свойство или отношение вещей, класс объектов или некоторые объекты класса.
Отмечая взаимосвязь между суждением и понятием, важно также видеть определенные различия между ними. Суть их сводится к следующему.
Во-первых, отношение между суждением и понятием отражает объективное отношение между общим и индивидуальным.
Во-вторых, суждение отличается от понятия в двух основных аспектах: генетическом и функциональном. В генетическом аспекте понятие возникает на основе логических операций по выявлению существенных признаков объектов, а суждение формируется на основе установления связи между понятиями. В функциональном аспекте понятие, как известно, отражает субъект только в существенных признаках, в то время как суждение отражает любые признаки объектов.
В-третьих, истинный акт мышления начинается с суждения, то есть с утверждения или отрицания чего-либо. Если понятие выражает объективную природу нашего мышления, то суждение раскрывает активное отношение мышления к окружающему миру - отражение объективных свойств, связей и отношений между предметами и явлениями.
В-четвертых, суждение отличается от понятия тем, как оно зафиксировано: оно выражается либо в понятии, либо в суждении.
Суждения выражают истинную или ложную мысль. Истинность суждения, как и понятия, определяется его соответствием объективной действительности. Истинными являются суждения, в которых связь понятия правильно отражает действительные свойства и отражения предмета мысли. Например: "содержание современной эпохи это переход от политики конфронтации и недоверия между государствами к политике сотрудничества и взаимной выгоды."
Ложные суждения это те, в которых связь понятий искажает объективные свойства и отношения субъекта мышления. 2. Мондальность рассуждения
Изучение модальных суждений имеет долгую и многогранную историю. Отметим лишь некоторые его аспекты. Модальность в логике была введена Аристотелем. Термин “возможность”, согласно Аристотелю, имеет другое значение. Он называет возможным то, что необходимо, то, что не нужно, и то, что возможно. Исходя из понимания модальности “возможности”, Аристотель писал о неприменимости закона исключенного третьего к будущим индивидуальным событиям.
Значительное внимание развитию модальных категорий уделяли философы Древней Греции, и особенно Диодор крон, который рассматривал модальности в связи с введенной им временной переменной. Возникновение модальной логики как системы восходит к 1918 году, когда американский логик и философ Кларенс Ирвинг Льюис (1883-1964) в работе " обзор символической логики” сформулировал модальное исчисление, которое он позже назвал S3.
В этике и праве они также интересуются нормами поведения людей в обществе, выясняют, что запрещено и разрешено этими нормами. Суждение как форма мышления содержит два вида информации - основную и дополнительную. Основная информация эксплицитно выражается в субъекте и предикате суждения, в логических связях и кванторах. Дополнительная информация относится к характеристике логического или фактического статуса суждения, к его оценочным и другим характеристикам. Эта информация называется модальностью суждения. Она может быть выражена отдельными словами, а может и не иметь эксплицитного выражения. В этом случае он обнаруживается путем анализа контекста.
Модальность-это дополнительная информация, эксплицитно или имплицитно выраженная в суждении о его действительности, логическом или фактическом статусе, регулятивных, оценочных и других характеристиках.
В модальных суждениях раскрывается характер отношения между субъектом и сказуемым или между отдельными простыми суждениями в сложном модальном суждении. Например: “необходимо, чтобы металлы были проводниками электрического тока” или “если будет попутный ветер, то возможно, что мы прибудем в гавань до наступления темноты.”
Модальные суждения это те, которые включают в себя модальные операторы (модальные понятия), то есть слова “необходимо", “возможно”, “невозможно", “случайно”, “запрещено”, “хорошо” и многие другие.
Список зависимостей между модальными суждениями:
истинность суждения о необходимости гарантирует истинность суждений о реальности и возможности.
ложность суждения о необходимости влечет за собой неопределенность суждений о реальности и возможности.
истинность пропозиции факта гарантирует истинность возможной пропозиции, но влечет за собой неопределенность необходимых суждений.
ложность суждений о действительности гарантирует ложность суждений о необходимости и неопределенность суждений об особенностях.