Рассмотрение суждения как формы мысли. Наличие утверждения или отрицания как отличительные характеристики суждения. Понятие логических связок, модальности, аналитических и синтетических суждений. Установление истинности или ложности сложного суждения.
Аннотация к работе
Это - мышление, т.е. способность ориентироваться в окружающем мире, рассуждать, строить объяснения тех или иных явлений, делать предсказания. Наука о мышлении называется логика. Слово "логика" в повседневной речи часто означает для нас взаимосвязанность, последовательность. Мысль может быть простой или сложной, состоящей из нескольких простых. Такие мысли в логике называются понятиями.Суждение есть такая форма мысли, в которой что-либо утверждается или отрицается о существовании предметов и явлений, о связях между предметами и их свойствами или об отношениях между предметами. В этом заключается величайшая ценность суждений для познания: именно в суждении выражается та истина, которую мы ищем, на которую опираемся в своей деятельности и в своих рассуждениях. Вопросительные предложения не выражают суждений, ибо не содержат в себе ни утверждения, ни отрицания, характерных для суждений. Правда, вопрос опирается на суждение или, как говорят, неявно содержит в себе суждение. Если предложение имеет такие составляющие его элементы как подлежащее, сказуемое, дополнение, обстоятельства места, времени, причины и пр., то в суждении выделяются несколько иные составляющие: предмет мысли (логическое подлежащее), признак предмета мысли (логическое сказуемое), связка между ними (логическая связь) и количественный показатель предмета мысли (квантор).Сложным называют суждение, содержащее логические связки и состоящее из нескольких простых суждений. Здесь ощущается гораздо большая связь мысли с языком, поэтому в дальнейшем вместо слова «суждение», обозначающего чистую мысль, часто будет использоваться слово «высказывание», обозначающее мысль в ее языковом выражении. Отрицание обычно обозначается знаком «-», стоящим перед буквой, представляющей некоторое суждение: «-а» читается «Неверно, что а». Когда отрицание стоит внутри простого суждения перед связкой «есть», то в этом случае мы имеем дело с простым отрицательным суждением, например: «Земля не шар». Если же отрицание внешним образом присоединяется к суждению, например: «Неверно, что Земля - шар», то такое отрицание рассматривается как логическая связка, преобразующая простое суждение в сложное.Выше рассматривались суждения, которые просто констатировали, что между субъектом и предикатом некоторого суждения или между двумя суждениями имеется какая-то связь, никак не оценивая этой связи. Такие суждения называются ассерторическими. Наряду с ними в наш язык входят суждения, так или иначе оценивающие характер утверждаемой связи. Слова, стоящие перед суждением и оценивающие характер выражаемой им связи называются модальными словами или модальными операторами. Большой интерес современной логики вызывают контрфактические высказывания - условные высказывания, выраженные в сослагательном наклонении.Предметом изучения логики являются формы мысли, которыми пользуются люди в своей интеллектуальной и практической деятельности. Мысленным содержанием предложений является суждение - форма мысли, представляющая собой логическую связь двух и более понятий, могущая быть истинной или ложной. Между понятиями устанавливаются отношения тождества, подчинения, частичного совпадения, которые выразимы утвердительной логической связкой "есть"; отношения же противоречия, противоположности и соподчинения выразимы логической связкой "не есть". Чтобы понять особенности и законы этой структуры, необходимо исследовать и понятие как составную часть этой структуры, а потом и всю эту новую форму мысли уже как единство двух входящих в нее понятий.