«логика»
Скачать 3.51 Mb.
|
Понятие логической формы. Логика – теоретическая дисциплина о правильных формах мышления. Содержание и форма мысли в реальном процессе мышления находятся в неразрывном единстве. Нет «чистых», бессодержательных логических форм, как и нет «чистого», лишенного формы содержания. Однако в целях исследования логических форм безотносительно к их конкретному содержанию можно отвлечься от того, что каждому высказыванию, кроме особого содержания, принадлежит также определенная форма высказывания, и сделать предметом анализа форму мысли. Разберем три суждения: «Сократ был мудр», «вечер был ясный» и «сражение было успешным». Во всех этих высказываниях говорится о различных объектах: в первом – о Сократе, во втором – о вечере, в третьем – о сражении. Во всех этих трех высказываниях речь идет о различных свойствах самих объектов: о мудрости Сократа, о ясности вечера и об успешном исходе боя. Разобрав мысль об объектах этих суждений, а также мысль об их свойствах, мы можем сделать вывод: во всех трех предложениях составные части содержания предложений будут различны. В этих трех высказываниях говорится о разном. Но оказалось, что у них есть и общая им всем черта. В каждом из них утверждается о принадлежности объекту известного свойства, хотя в каждом предложении речь идет о различных объектах и о различных свойствах. И, тем не менее, в каждом предложении эти свойства рассматриваются как принадлежащие объекту. Свойство мудрости также принадлежало Сократу, как свойство ясности принадлежало вечеру и как свойство успешности принадлежало сражению. Во всех трех высказываниях есть общее, выраженное в них посредством слова «был». Слово «был» не выражает мысль о составных частях содержания высказываний, а дает основания для заключения: во всех этих трех предложениях один и тот же способ связи между частями содержания. Способ связи составных частей мыслимого содержания, строение мысли получили название логической формы – в отличие от самого содержания. В приведенных трех предложениях логическая форма была одна и та же, а составные части содержания различными. Рассмотрим теперь другое предложение и будем в нем последовательно заменять каждую из составных частей его содержания другой. Например, «Суворов выигрывал сражения». Заменим мысль о Суворове мыслью о Кутузове, чтобы получить новое предложение: «Кутузов выигрывал войны», – уже с другой составной частью содержания. Заменим в этом втором предложении мысль о сражениях мыслью о войнах и получим новое высказывание: «Кутузов выигрывал войны». Сравним все три предложения, чтобы установить: к чему привела двукратная замена составных частей содержания. Эти все части изменились. В высказываниях «Суворов выигрывал сражения» и «Кутузов выигрывал войны» составные части мыслимого в них содержания различны. А что же в этих предложениях сохранилось общего? Общей сохранилась логическая форма высказываний, то есть мыслимый способ связи его составных частей. Одинаковость логической формы во всех трех высказываниях подтверждается словом «выигрывал», которое присутствует в каждом высказывании и подводит к заключению: способ связи различных частей содержания остался тот же самый. На основании этих примеров легко можно установить, что логическая форма – лишь способ, связывающий составные части содержания между собой. Понятая таким образом логическая форма и является предметом изучения логики как теоретической науки. Структуру мысли (ее логическую форму) принято выражать при помощи символов. «S» (субъект) обозначает понятие о предмете суждения и «P» (предикат) – понятие о признаке предмета. Кроме субъекта и предиката в состав суждения входит связка, которая соединяет оба термина суждения. Связка выражается словами «есть» (не есть), «является» (не является). Если в русском языке связка подразумевается, то обычно используют тире («−»). «S» и «P» могут обозначать любые предметы и их свойства, а знак («−») – любую связь (утвердительную и отрицательную). Логическая форма всех приведенных выше примеров (о Сократе, о вечере, о сражении, о Суворове и о Кутузове) окажется, таким образом, одинаковой:
Логика отвлекается от конкретного содержания суждений и фиксирует их логическую форму. Изучение формы мышления крайне необходимо, иначе наше мышление будет безотчетным, лишенным последовательности, точности и убедительности. Одного понимания содержания еще недостаточно для понимания высказывания. Можно даже понимать содержание, но не уловить его логической формы, т.е. способ связи между содержательными частями. Логические формы мышления являются общими для самых различных областей знания. Поэтому логичность мышления для всех научных областей обязательна. Логической формой конкретной мысли будет строение этой мысли, то есть способ связи ее составных частей. Из сказанного можно понять, что логика не ставит перед собой задачу непосредственного познания действительности. Она исследует формы мышления, познающего действительность. Для логики непосредственным предметом изучения будут формы и законы правильного мышления. Семантические категории.В современной логике знаки свойств и знаки отношений включены в семантические категории – категории знаков. Отношения тем и отличаются от свойства, что связано с несколькими предметами. Семантические категории используются в логике тогда, когда выражения языка распределяются по классам в зависимости от типов смыслов, которые они выражают, а также от типов объектов ими обозначаемых или представляемых. Прежде всего рассматривают предложения и их части, выполняющие самостоятельные функции в составе предложения. Деление предложений на классы происходит в зависимости от того, выражают ли они суждения, вопросы, нормы. Под семантическими категориями обычно имеют ввиду слова и словосочетания естественного языка, имеющие самостоятельный смысл. Семантические категории включают в себя две больших составляющих:
Операция уточнения квантора носит название «квантификация». В прямом суждении квантифицируется субъект («всякий пятак – монета пятикопеечного достоинства»); в обратном – предикат («всякая монета пятикопеечного достоинства – пятак»). Обычное употребление кванторов перед подлежащими является их особенностью, так как перед сказуемыми они отсутствуют. Связка и квантор, будучи знаками-индексами, используются в единстве, так как эти индексы дополняют друг друга, совместно указывая качество – количество суждения. – квантор общности выражает кванторные слова «все», «ни один», «каждый», «всегда», «всякий». Например, суждение «все тарелки – столовые приборы» можно записать следующим образом: х Р(х). Квантор существования обозначается и символизирует выражения: «некоторые», «иногда», «бывает», «встречается», «существует». Символическая запись х Р(х) расшифровывается следующим образом: «Иногда люди бывают вежливы» или «Некоторые люди – академики». Логические связки обычно перечисляют, начиная с конъюнкции. Логическая связка – это константа, при помощи которой из простых суждений образуется сложное суждение. Конъюнкция соответствует союзу «и» и обозначается а b (или ab, или а &b). Например, «трамвай подошел к остановке (а) и пассажиры вошли в вагон (b)». Конъюнкция может также выражаться словами: «а», «да», «но», «поскольку», «потому что». Дизъюнкция заменяет союз «или». При нестрогой, соединительной дизъюнкции дизъюнктивное выражение обозначается а b, при строгой (разделительной) – а b. При нестрогой дизъюнкции истинными могут быть одновременно оба высказывания, например, «Он – школьник или любитель рыбалки». При строгой дизъюнкции сложное суждение истинно в том случае, если истинно одно из составляющих суждений, а не оба. Например, «Сейчас школьник находится на уроке или отдыхает на перемене». Составляющие строгой дизъюнкции исключают друг друга. Импликация – это логическая связка, которая заменяет союз «если…то». Это сложное условное суждение обозначается ab (или ab). Например, «Если подвернется случай, совершу прогулку по реке». Импликация ab истинна во всех случаях, кроме одного: если «a» истинно, а «b» – ложно. Здесь «a» – антецедент (т.е. основание) импликации, первый ее член, а «b» – консеквент (т.е. следствие, второй член импликации). Эквиваленция является логической связкой, которая соответствует словам «если и только если», «тогда и только тогда, когда», «эквивалентно». Сложное эквивалентное суждение обозначается ab (или ab, или ab). Эквиваленция будет истинной в случаях, когда оба высказывания истинны, или оба ложны. Отрицание выражается словами «неверно, что» и записывается символически: ā, (или а, или а). Например, «этот юноша учится» (а); «неверно, что этот юноша учится» (ā). При отрицании (ā) истины получается ложь и наоборот. Абстрактное мышление называют понятийным мышлением. Мышление начинается с использования понятий. Сами понятиямысли особого вида. Понятия – это мысли, посредством которых выражаются субъект, предикат и отношения между ними. Предметом нашей мысли являются вещи, их свойства, отношения между ними. Понятие есть мысль, указывающая на признаки предметов, явлений. Признаки – это то, в чём предметы сходны и различны между собой. Только сравнивая предметы между собой можно заметить какие-то признаки, то есть черты сходства и различия. Признаком будет не только наличие свойств у предметов, а также и отношений между ними, но и отсутствие свойств у предметов и отношений между ними. По типам логических форм можно выделить следующие признаки: простые и сложные, положительные и отрицательные. Простой признак, если его выразить в языке логике предикатов, будет предикатом, не содержащим логических терминов за исключением кванторов и одного знака отрицания .Сложным будет признак, не отвечающий этим условиям. Примеры простых признаков: “быть районным центром ”, “не быть районным центром”. Пример сложного признака: “делиться на 5 и на 10”.Только простые признаки обычно делятся на положительные и отрицательные. Отрицательный признак – это признак, содержащий отрицание. Например, “не есть староста группы”.Простым положительным будет признак, не содержащий отрицания, например, “есть староста группы”.В языке отрицательные признаки выражаются как при помощи связки “не есть (суть)”,так и при помощи приставок “бес”, “без”(безударный, бесхозный, безусловный). Не получается разделение сложных признаков на положительные и отрицательные по отсутствию и наличию знака отрицания в формуле, дающей этот признак на языке логики предикатов. Признаки также бывают единичными, если они принадлежат отдельному предмету (явлению) и общими, когда они присущи определённой группе предметов и явлений. Но не все признаки имеют одинаковое значение, как для этого предмета (явления), так и для нашего познания. В понятие о предмете может входить неисчислимое множество признаков, среди которых могут быть случайные, несущественные и неотличительные. Нет никакой необходимости выискивать все эти признаки, так как их познавательная значимость невелика. Задача познания состоит в том, чтобы обратить внимание на признаки, выражающие сущность предмета, т. е. существенные признаки, играющие первостепенную роль при формировании понятия. Существенные признаки могут быть общими и единичными. Люди часто пользуются лишь представлениями о предмете, выделяя при этом у предмета некоторые признаки, но они не всегда бывают существенными. Признаки выделяемые в представлении, это признаки, которые стали предметом внимания.. Признаки же, выделяемые в понятии, не зависят от особенностей того или иного внимания, не подвергаются случайным изменениям. Существенные признаки, установленные в понятии, характеризуются точностью и необходимостью (квадрат необходимо будет прямоугольником, у которого все стороны равны, иначе это не квадрат). Возникшие понятия вмещают в себя множество связанных между собой различных групп существенных признаков. Признаки также бывают отличительными, т.е. выделяющими данный предмет (явление) из группы однородных предметов (явлений), например, третья по удалённости от солнца планета солнечной системы. Неотличительные – это такие признаки, которые принадлежат группе однородных предметов (явлений), например, планеты земной группы, или голубые звёзды. Существенные признаки всегда связаны с определёнными сторонами содержания предмета (явления). Существенные признаки – это признаки, каждый из которых, взятый отдельно, окажется совершенно необходимым, а все признаки, взятые вместе, окажутся совершенно достаточными для отличения данного предмета от всех других. Особенность существенных признаков: из них отдельно взятый необходим, а все вместе взятые достаточны для отличения (выделения) данного предмета (явления) от других. Несущественные признаки – это такие признаки, которые могут принадлежать или не принадлежать данному предмету (явлению), т. к. не отражают его сущности. Понятием является мысль о предмете, выделяющая в нём существенные признаки. С помощью существенных признаков любой предмет может быть легко выделен не только из группы явно несходных с ним предметов, а и также от предметов сходных, но не тождественных с тем самым, о котором говорится. Понятие – абстрактная, обобщённая форма мышления, лишённая всякой наглядности. Понятие не включает в себя всего богатства индивидуальных признаков предметов (явлений). Каждая группа существенных признаков, которая заключена в мысли о предмете, представляет собой особое понятие об этом предмете. Но из этого не следует, будто для каждого понятия о предмете имеется только одна единственная группа существенных признаков. Всякий предмет содержит множество всяких связанных между собой свойств, которые приходится выделять в зависимости от цели рассмотрения. Поэтому не следует приписывать предмету одну единственную группу признаков. Каждая группа сущ. признаков предмета (явления) будет всегда только часть, в том числе и существенных признаков, которые имеются у предмета. Хотя любая группа сущ. признаков берётся из собственного содержания предмета и принадлежит ему, тем не менее, существенность признаков имеет момент относительности и зависит от точки зрения на предмет. Например, подход к свойствам воды физика и химика. |
Похожие:
 | Учебный курс «Логика» предназначен для студентов Мурманского государственного педагогического университета | | Значение и логика целеполагания в обучении, воспитании и педагогической деятельности. 42 |
| Правила передачи информации о заказах в электронном виде и правила передачи заказов курьеру Компании «Логика» |  | ... |
| ... | | ... |
| Логика подачи материала выстраивается вокруг лица, принимающего решения, и подкреплена примерами из практики управления российскими... | | Логика настроек правил для Деловой почты на примере прокси-сервера User Gate 8 35 |
| Учебно-методический комплекс подготовлен Уткиным В. Г, кандидатом философских наук, доцентом | | Рассмотрены логика интеллектуальных систем, например система перевода Promt, FineReader. Частично рассмотрены базовые понятия и самые... |