Развитие логики в 20 веке

Форма мысли, представляющая собой логическую связь двух и более понятий, могущая быть истинной или ложной, называется суждением. Между понятиями, как известно, устанавливаются отношения тождества, подчинения, частичного совпадения (пересечения, перекрещивания, сходства), которые выразимы утвердительной логической связкой «есть». Отношения же противоречия, противоположности и соподчинения выразимы логической связкой «не есть». Эти отношения, корректно выраженные в соответствующей языковой форме, в грамматических предложениях, и будут выражать суждения разного вида.
Модальность - это явно или неявно выраженная в суждении дополнительная информация о степени его обоснованности, логическом или фактическом статусе, о регулятивных, оценочных и др. его характеристиках.
Слово, с помощью которого фиксируется модальность высказывания, называется модальным функтором, а высказывание, содержащее модальный фактор называется модальным. Раздел логики, где изучаются свойства модальных высказываний, называется модальной логикой.
Модальная логика относится к неклассическим логикам (классическая логика двузначна, а модальная - многозначна).
Наиболее распространенными являются модальности: алетическая (от греч. «алетейя» - истина); аксиологическая (от греч. axios - ценный); деонтическая (от греч. deonte - как должно быть); эпистемическая (от греч. «episteme» - достоверное знание)
Цель работы: проанализировать особенности модальных суждений.
Структура работы: введение, основная часть, заключение, список литературы.
Объем работы: 11 страниц печатного текста.

Итак, суждение является второй формой логического мышления. Существуют различные виды суждений: простые, сложные, атрибутивные, релятивные, экзистенциальные, модальные и др. Классическая классификация суждений по логическому квадрату включает четыре разновидности атрибутивных суждений (общеутвердительные общеотрицательные, частковоутвердительные, частковоотрицательные). Сроки в суждениях могут быть распределенными, так и нераспределенными. Истинность сложных суждений (коньюнктивных, дизбюнктивных, условных, эквивалентных) определяется по таблице истинности.
Мы выяснили, что модальная логика является разделом современной логики, где изучаются модальные высказывания и их отношения в структуре соображений. Существуют такие виды модальных логик и модальных высказываний: алетические, эпистемические, темпоральные, деонтические.
Алетические высказывания включают такие модальности: «необходимо», «возможно», «случайно» и их модификации.
Эпистемические высказывания включают в свой состав такие модальности: «знаю», «верю», «считаю», «доказано», «известно», «опровергнуто» и т.д. Например: «Верю, потому что абсурдно».
Темпоральные высказывания включают такие оценки содержания, в которых необходимые уточнения с использованием временных характеристик.
Деонтические высказывания характеризуют наличие или отсутствие в суждении определенных норм с помощью таких модальностей: «обязательно», «не обязательно», «разрешено», «не разрешено», «запрещено», «не запрещено».
То есть, модальные понятия, или модальности - понятия, выражающие контекстную рамку суждения: время суждения, место суждения, знания о суждении, отношение говорящего к суждению.