Логика и язык

Но мышление - это сложный, многосторонний процесс, высшая форма познания мира, свойственная только человеку. Основными формами абстрактного мышления являются понятия, суждения и умозаключения.

Понятие - форма мышления, в которой  отражаются существенные признаки одноэлементного класса или класса однородных предметов. Понятия в языке выражаются словами(например, "дерево", "самолет") или группой слов, т.е. словосочетаниями, например, "студент гуманитарного института", "создатель художественных картин", "река Дон", "космический корабль" и др.

Суждение представляет собой форму  мышления, в которой что-либо утверждается или отрицается о предметах, их свойствах  или отношениях. Суждение выражается в форме повествовательного предложения. Суждения бывают простыми и сложными. Пример простого суждения: "Колорадский жук опустошает картофельное поле". Пример сложного суждения: "Наступила осень, и лебеди улетают". Оно состоит из двух простых суждений.

Умозаключение - это такая форма  мышления, посредством которой из одного или нескольких суждений, называемых посылками, по определенным правилам получается заключение. Виды умозаключений и изучает логика. Приведем пример.

Все металлы - вещества

Железо - металл

Железо - вещество

Первые два суждения, которые  находятся над чертой, называются посылками, а третье суждение называется заключением.

Необходимо отметить, что в процессе познания человек стремится к  достижению истинного знания. Развиваясь на основе общественно-трудовой деятельности, внутренняя структура мыслительного  процесса формировалась в соответствии с закономерностями природы и свойствами человеческого мозга. Логическая форма обусловлена наиболее общими, чаще всего встречающимися свойствами, непосредственными связями и отношениями реального мира. Поэтому она вполне закономерно выражает устойчивые черты любого правильного мышления.

Логическая форма представляет собой исторически установившийся способ связи между составными элементами человеческой мысли. При этом в каждом мыслительном акте можно выделить как  предмет мысли, так и то, что мыслится о предмете: его свойствах, состоянии, действиях, а также отношениях с другими предметами. Мысль о предмете вступает в логические связи с другими мыслями в доказательном рассуждении, умозаключении и т.д. Связь элементов правильной мысли носит устойчивый характер, который обусловлен исторически сложившейся внутренней структурой мыслительного процесса. Свои формальные операции и законы логика не излагает произвольно, а лишь отражает и формулирует в них объективно закономерные отношения между структурными элементами мысли. Такие отношения в конечном счете определяются наиболее общими свойствами объективного мира.

Необходимо подчеркнуть, что логику в мышлении интересует отнюдь не все. Ряд важных проблем, в том числе  сущность мышления, его генезис и отношение к материальному миру, а также его познавательные возможности изучает философия. Физиология, в свою очередь, интересуется тем, как зависит мышление от состояния мозга, материального субстрата мысли. Психология изучает условия нормального функционирования и развития мышления, влияние на него социально-психологической среды, чувств. Генетика старается раскрыть тайны наследования детьми от родителей способностей к какой-либо деятельности. Ученые-кибернетики изучают технические возможности моделирования человеческого мышления. Свою специфическую сторону мышления изучает логика.

Предмет формальной логики

Выяснение специфической особенности  логической формы служит предпосылкой для определения предмета формальной логики. Он, как и предмет любой науки, представляет объективный характер. Формальная логика изучает объективно сложившуюся структуру мыслительного процесса, установившиеся связи понятий и суждений при выведении нового знания в умозаключениях. Вполне естественно, что устойчивые связи элементов правильной мысли приобретают характер законов. Анализ таких связей наряду с описанием структурных форм мышления составляет предмет изучения формальной логики. Логика есть наука о законах и формах правильного мышления.

Задача формальной логики - установить правила обеспечения стройности и последовательности истинного мышления. Не охватывая всех сторон познавательного процесса, формальная логика не представляет собой всеобщего метода познания. Законы этой науки остаются специфическими законами мышления, они не распространяются на всю окружающую действительность.

Особенностью предмета формальной логики служит также анализ форм и  законов мышления вне их возникновения  и развития.

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

Логическая форма и законы мышления являются общими для всех людей. Внутренняя структура мысли, как и синтаксические правила языка, непосредственно  вплетены в конкретную деятельность человека, определяются свойствами и  отношениями объективного мира.

Так, вполне очевидно, что в содержательном плане мысли юриста отличаются от мыслей биолога, музыкант думает иначе, нежели экономист; ученый использует в своих исследованиях такие понятия и термины, которые не употребляются в повседневном мышлении.

Однако во многих различных по содержанию мыслях можно обнаружить нечто существенно общее. Общее характеризуется не конкретным содержанием этих мыслей, а схемой, способом построения. Дело в том, что логический строй мышления человека обладает важнейшей особенностью - какую бы словесную оболочку не принимали наши мысли, на каком бы языке они не излагались, они обязательно должны принять общечеловеческие формы. Без этого невозможны осуществление "обмена" мыслями людей разных поколений и профессий, а также взаимное понимание представителей различных стран и народов. Единство человеческого мышления обусловлено единством материального мира и его законов, отражающихся в законах человеческого мышления.

Великий русский писатель-мыслитель  Л.Н. Толстой не без основания  считал, что "мысль - начало всего. И мыслями можно управлять. И потому главное дело совершенствования: работать над мыслями". Управлять мыслью можно по следующим направлениям:

• со стороны содержания, т.е. предельно просто и всесторонне отражать основные признаки исследуемого объекта;
• со стороны логической формы (структуры) нашей мысли, добиваясь ее определенности, непротиворечивости, последовательности и обоснованности.

Первое направление исследуется  диалектической логикой, а второе - логикой формальной, которая и  является объектом нашего внимания. Но формальная логика, хотя и отвлекается от конкретного содержания мыслей, вовсе не пренебрегает вопросом о том, являются истинными или ложными те утверждения, которыми мы оперируем в мышлении. В зависимости от того, истинны или ложны исходные утверждения, можно получить истину или ложь в выводе. Поэтому формальная логика, чтобы быть средством обнаружения истины, должна на основе изучения формальных структур мышления обнаруживать законы зависимости между истинными и ложными суждениями.

Вот почему формальная логика позволяет  отвлекаться от содержания объекта  и концентрировать внимание только на формах, в которых протекает  тот или иной мыслительный процесс. Эти аспекты взаимозависимости  логики и мышления определяют особенности логики как науки.

Таким образом, логика - это наука  об общезначимых формах и средствах  мысли, необходимых для рационального  познания в любой области. Следовательно, предмет логики составляют:

1. Законы, которым подчиняется мышление  в процессе познания объективного мира.

2. Формы мыслительного процесса - понятия, суждения и умозаключения. 

3. Методы получения нового выводного  знания -сходства, различия сопутствующих  изменений, остатков и другие.

4. Способы доказательства истинности  полученных знаний: прямое и косвенное доказательство, опровержение и т.д.

Итак, логика (в наиболее широком  понимании ее предмета) исследует  структуру мышления, раскрывает лежащие  в его основе закономерности. При  этом абстрактное мышление, обобщенно, опосредствованно и активно отражая действительность, неразрывно связано с языком. Языковые выражения являются той реальностью, строение и способ употребления которой дает нам знание не только о содержании мыслей, но и об их формах, о законах мышления. Поэтому в исследовании языковых выражений и отношений между ними логика видит одну из своих основных задач. А язык в целом является при этом косвенным объектом ее внимания и интереса.

Доказательство, опровержение. Спор, полемика, дискуссия

Доказательство - это выведение одного знания из другого, истинность которого ранее установлена и проверена человеческой практикой. Вот почему оно в конечном счете является сверкой теоретических положении и выводов с реальной действительностью. Использование научных открытий в практической деятельности трудно представить без подобной сверки.

Логически стройное и убедительное доказательство необходимо как в  естественных, так и в гуманитарных науках. Следует подчеркнуть, что  термин "доказательство" употребляется  в нескольких значениях.

Во-первых, под доказательством понимают факты, при помощи которых обосновывается истинность того или иного положения.

Во-вторых, "доказательство" обозначает источники сведений о фактах: летописи, рассказы очевидцев, мемуары, документы  и т.п. Например, аттестат зрелости П. -доказательство имеющегося у него среднего образования.

В-третьих, "доказательство" - это  процесс мышления, в котором обосновывается истина какого-либо суждения (положения). В логике термин "доказательство" употребляется именно в этом значении.

Доказательство образует довольно расплывчатую совокупность, которую невозможно охватить одним универсальным определением. В логике принято говорить не о доказуемости вообще, а о доказуемости в рамках данной конкретной системы или теории. При этом допускается существование разных трактовок понятия "доказательство", относящихся к разным системам. Это необходимо иметь в виду при рассмотрении доказательства в рамках традиционной логики.

Итак, доказательство - это логическое рассуждение, в процессе которого подтверждается истинность какой-либо мысли с помощью других положений, проверенных теорией и практикой. Путем доказательства совершается переход от вероятного, недостоверного знания к достоверному. Его назначение - служить сверкой теоретических положений и выводов с реальной действительностью.

Тезисом доказательства называется то положение, истинность которого требуется  доказать. Если нет тезиса, то и доказывать нечего. Поэтому все доказательное  рассуждение целиком подчинено  тезису и служит для его подтверждения (или опровержения). Известный русский логик С.И. Поварнин сравнивал роль тезиса в доказательстве со значением фигуры "короля" в шахматной игре. Этой фигуре подчинен весь процесс игры, с ее "интересами" сообразуется каждое движение других шахматных фигур. Аналогично и в доказательстве: главная цель всех рассуждений - подтверждение или опровержение тезиса.

Тезис может быть сформулирован  как в начале доказательства, так  и в любой другой его момент. Обозначают тезис по-разному, например: "Положение, которое я доказываю состоит в следующем"; "Вот мой тезис"; "Передо мной стоит задача доказать"; "Вот мое положение"; "Я глубоко убежден, что ..." и т.п. Таким образом, тезис часто высказывается в форме категорического суждения. Но нередко его формулируют и в форме вопроса, например: "Каким же образом связаны язык и мышление в процессе дискуссий?"

Таким образом, в процессе доказательства по известному заключению (тезису) восстанавливаются  посылки вывода (аргументы). Обоснование  тезиса может принимать форму  дедукции, индукции или аналогии, которые применяются самостоятельно или в различных сочетаниях.

Доказательства делятся  на прямые и косвенные. Прямым называется такое доказательство, в котором тезис обосновывается непосредственно аргументами. Если для доказательства тезиса приводятся аргументы, из которых непосредственно вытекает истинность, или, наоборот, ложность данного тезиса, то такое доказательство является прямым.

Таким образом, при прямых доказательствах  задача состоит в том, чтобы найти  убедительные аргументы, из которых логически вытекает тезис.

Косвенные доказательства

Косвенным называется такое доказательство, которое устанавливает истинность доказываемого тезиса, исследуя не сам тезис, а некоторые другие положения. Эти положения так  связаны с доказываемым тезисом, что из установления их ложности необходимо вытекает истинность доказываемого тезиса. В косвенном доказательстве поэтому задача состоит в выяснении ложности положений, обусловливающих истинность доказываемого тезиса.

Косвенные доказательства бывают двух видов: апагогические и разделительные. В апагогическом доказательстве к истинности тезиса приходят путем доказательства ложности антитезиса. Антитезисом называется суждение, противоречащее тезису.