Правильность и истинность

ПРЕДМЕТ И ОСНОВНЫЕ ПОНЯТИЯ ЛОГИКИ

Предмет логики

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

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

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

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

Каждая наука имеет собственный предмет исследования, собственную методологию, свои цели и задачи, свою структуру и свое определенное место в системе наук, свое значение. Специфика предмета логики очевидна. Логика изучает формы мысли, существующие сами по себе, независимо от средств (знаковых систем), в которых мысль выражается и от предметов, которые мысленно отражаются. Но эта особенность форм мысли является существенной трудностью – логика как бы оторвана от действительности, она носит отвлеченный, абстрактный характер. Очень часто отождествляют или подменяют мысль реальным предметом, который её лишь отражает и в этом заключается основная ошибка. В действительности, мысль сама по себе, в какой бы форме не проявлялась, остается качественно отличной и от предмета, и от слова.

Мысль – отражение реальных предметов, явлений и свойств, которые им присущи, но реальные вещи – объективны, а мысли идеальны и они не выразимы сами по себе, а выражаются в знаковой системе. Освоить логику сможет только тот, кто научится отличать мысль от реальных предметов. Таким образом, специфика предмета формальной логики в том, что формы мысли идеальны, их невозможно непосредственно наблюдать, её можно исследовать только мысленно.

Логика помогает строить правильно мысли, верно, их излагать, отстаивать свои убеждения, избегать ошибок при рассуждении. По содержанию человеческое мышление многообразно, он может думать о чем угодно, но главное в том, что мысли возникают и строятся по одним и тем, же законам, укладываются в одни и те, же формы, которых не так уж и много. Если рассмотреть разные по содержанию суждения, то можно заметить, что их объединяет не что общее, а именно форма. «Все волки - это хищники», «Все люди - это разумные существа» и «Все берёзы – это деревья» - три совершенно разные по содержанию суждения, но форма у них одна и та же: «Все А – это В», где А и В какие-либо предметы.

Кроме форм мыслительного процесса - понятия, суждения и умозаключения, предметом логики так же являются: законы, которым подчиняется мышление в процессе познания объективного мира; способыдоказательства истинности полученных знаний; методы получения нового выводного знания - сходства, различия сопутствующих изменений, остатков и др.. Логика, как и философия в целом, выполняет по отношению к другим наукам методологическую роль своим учением об общенаучных (общечеловеческих) формах и методах мышления.

Основные понятия формальной логики

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

Пример: «Города есть населённые пункты».

«Школы есть учебные заведения».

«Кутузов есть полководец».

По содержанию эти три суждения – различны, но общим является предмет, о котором что утверждается, то, что утверждается, и связка «есть».

Структура выглядит таким образом: S есть Р,

где S - предмет обозначения, Р - утверждение о предмете. S и Р – переменные знаки, «есть» – постоянный знак.

Возможны две формулы логического выражения формы мысли: «Все S есть Р»; «Некоторые S есть Р». Независимо от того, что мы подставим вместо S и Р, в результате будет общее логическое выражение смысл которого: во-первых, подставив в первую формулу слова вместо S и Р получим утверждение о том, что один класс предметов S целиком содержится в другом классе Р, а общие признаки второго класса Р присущи каждому из предметов первого класса S; во – вторых, подставив во вторую формулу слова вместо S и Р получим утверждение о том, что некоторая часть одного класса предметов S содержится в другом классе предметов Р, и что общие признаки предметов второго класса Р присущи части предметов первого S.

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

Пример: «Все цветы есть растения.

Все тюльпаны – цветы.

Следовательно, все тюльпаны растения».

Выразим символически логическую структуру:

Все М есть Р

Все S есть М

Следовательно, все S есть Р,

где М – символ обозначающий одинаковые по смыслу выражения, Р – элемент, содержащийся после слова «есть», S – элемент перед словом «есть».

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

Формально – логический закон – это отношение между логическими формами мысли.

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

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

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

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

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

Пример: «Все звезды есть спутники Земли.

Марс – звезда.

Следовательно, Марс – спутник Земли».

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

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

Пример: «Все коровы – позвоночные.

Все страусы – позвоночные.

Следовательно: все страусы – коровы».

Пример: «Все птицы - позвоночные.

Лебеди - позвоночные.

Следовательно, лебеди – птицы».

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

Правильность и истинность

Как уже говорилось выше, логика изучает не всякое мышление, а лишь то которое направлено на поиск и обоснование истины. Различение понятий «истинность» и «правильность» связано с выделением в мышлении содержания и формы мысли. Истинность относится к содержанию мыслей, которое соответствует действительности (проверяется практикой), а правильность - к их форме. Если мысль по своему содержанию не соответствует действительности, то это ложь. Например, мысль о том, что русский великий писатель А.П. Чехов был врачом, является истинной, так как он действительно являлся практикующим врачом. А мысль о том, что на груше растут сливы, будет ложной, ибо дает искаженное представление о груше.

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

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

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

Пример: «Все свидетели дают верные показания. (Ложь).

Ветров - свидетель.

Значит ли это, что Ветров дает верные показания»?

Вывод здесь неопределенный. Но истинность исходных суждений - недостаточное условие получения истинного вывода.

Пример: «Все врачи – медики.

Иванова – медик.

Следовательно, Иванова – врач».

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

Пример: «Все врачи – медики.

Нехно - врач.

Следовательно, Нехно – медик».

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

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

Черты отличия правильного мышления:

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

-последовательность - свойство правильного мышления воспроизводить те структурные связи и отношения, которые присущи самой действительности и обнаруживается в непротиворечивости мысли самой себе;

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

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

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

1.2. ОСНОВНЫЕ ЭТАПЫ РАЗВИТИЯ ЛОГИКИ

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

Несмотря на то, что многие культуры выработали сложные системы рассуждения, логика как эксплицитный анализ методов рассуждения получила развитие изначально в трёх традициях: китайской, индийской и греческой. Точные даты не достоверны, но, скорее всего, логика возникла во всех трёх культурах в IV веке до н. э.. Коротко рассмотрим период.