Формы содержания мысли. Законы и правила логики

Оглавление:

Что изучает логику как науку и почему ее называют формальной логикой?

Слово «логика» происходит от греческих логотипов, что означает «мысль», «слово», «разум», «законность».

В современном языке это слово обычно используется в трех значениях:

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

Объекты логики

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

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

Познание — процесс познания мира. Существует два вида (источника) знаний:

Сенсорное познание — использование чувств и инструментов;
Рациональное (соотношение — разум) — познание с помощью абстрактной мысли.

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

Сенсорное познание осуществляется в трех основных формах:

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

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

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

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

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

Рациональное или абстрактное мышление развивается в трех основных формах — понятиях, суждениях, выводах.

Логическая форма и законы мысли

Мы уже говорили, что основные формы абстрактного мышления — это понятие, суждение и дедукция. Каждая из этих форм имеет свою специфическую внутреннюю структуру и подчиняется определенным правилам строительства.

В естественном языке мысли выражаются с помощью слов и словосочетаний и имеют конкретное содержание (то, что они говорят). Например, можно выразить понятие первого человека в космосе как «первый космонавт Юрий Гагарин». Внешней оболочкой простого суждения могут быть различные лингвистические выражения: снег — белый, снег — белый и т.д.

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

Они отражают различные объекты и отличаются по содержанию. Но есть ли между ними и сходства?

Мы абстрагируемся от конкретных объектов, отраженных в концепциях, и представляем их как классы неопределенных объектов X. В первом случае X — это класс всех возможных таблиц, во втором — класс лиц, а в третьем — набор всех возможных преступных деяний. Объекты могут быть обобщены в классы, так как они имеют некоторые общие свойства. В первом случае это свойство быть «объектом с горизонтальной поверхностью, предназначенным для какой-либо человеческой деятельности», во втором — «способность мыслить» и «способность работать», в третьем — «антиобщественное, незаконное, виновное и преступное деяние».

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

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

Логическая форма выводов

Обратите внимание на следующие выводы:

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

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

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

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

Ложное мышление может сделать ложные выводы из истинных суждений. Например, из истинных суждений «Если у человека жар, он болен» и «Человек N. — Больной» иногда приводит к суждению «Человек H. имеет жар», которое может быть ложным, потому что некоторые болезни происходят без жара.

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

Для правильного рассуждения должны быть выполнены два условия:

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

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

Язык логики

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

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

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

Искусственные языки — это вспомогательные знаковые системы, созданные группами людей специально для более точной передачи определенной информации. Искусственные языки включают в себя музыкальные знаки, знаки кодовых систем, шифры, азбуку Морзе, «преступный язык», используемый преступниками, и т.д.

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

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

Индексные знаки ассоциируются с объектами, которые они представляют в качестве последствий с причинами (симптомами, знаками, показаниями приборов и т.д.). Например, дым — признак наличия огня; повышенная температура человека — признак заболевания; изменение высоты ртутного столба — признак изменения атмосферного давления и т.д.

Символические знаки — это те знаки, которые сами по себе несут информацию об объектах, которые они представляют (рисунки, карты, картины, фотографии), поскольку они имеют отношение к объектам, которые они представляют.

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

Один тип знака — имя. Имя — это слово или фраза, представляющая объект. Поскольку имя — это знак, оно имеет значение и значение. Значение имени — это объект, который обозначается этим именем. Смысл имени — понятие объекта. Связь между именем, смыслом предмета и смыслом может быть визуально выражена треугольником, по углам которого находятся: имя, понятие, объект.

Это означает, что имя, понятие и объект не совпадают, а тесно взаимосвязаны: Имя обозначает объект и выражает понятие об объекте.

Переплетение мысли и языка

Одно и то же понятие может быть выражено разными словами. Например, словами из разных естественных языков или синонимами одного и того же языка. Синонимы — это слова, различающиеся по звучанию, но идентичные или близкие по значению: «работа» и «работа»; «договор» и «контракт».

С другой стороны, в любом языке существуют омонимы — слова, идентичные по форме, звуку, но разные по смыслу, понятию (например, «ключ», «смысл», «бор», «мир»).

Иногда слова теряют свой первоначальный смысл и выражают новые понятия (например, слово «чернила» изначально означало «то, что чернила», но сегодня оно означает «то, что пишет», и можно говорить о красных чернилах).

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

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

В зависимости от состава различают простые названия («государство») и сложные, состоящие из нескольких слов («спутник Земли», «российское государство»).

Имена могут также обозначать объекты, которые не существуют в объективной реальности. Например, «кентавр», «русалка», «самая дальняя точка во вселенной» и др. Эти имена воображаемые или пустые.

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

В логике проводится различие между языками логики позиционирования и логики предикатов. Для описания структуры высказываний, аргументов, предложений используется язык пропозиционной логики. Операции представляют собой простые или сложные абстрактные символические выражения, обозначающие суждения. Простые высказывания, объединенные в сложные высказывания с использованием аккордов «и», «или», «если, то» и т.д., называются высказываниями пропозиционного характера, а логика, используемая для описания таких высказываний, иногда называется логикой пропозиционного характера или пропозиционным исчислением. Позиционная логика может быть классической (двухзначной) или многозначной.

История логики

Логика — одна из древнейших наук, интенсивно развивалась в Древней Греции с IV века до нашей эры. Первоначально логика подчинялась риторике (риторика — изучение красноречия; ораторское искусство). В Древней Греции риторика и логика развивались в неразрывной связи из-за особенностей политической жизни древних государств: она происходила в постоянных «национальных» спорах, в открытой борьбе различных фракций и партий, в политических и юридических спорах. Успех политиков зависел от способности публично выражать свои мысли, отстаивать свою точку зрения и убеждать людей. Соревнования в оратории перед большой аудиторией были очень популярны.

Развитие оратории в Древней Греции в конце V — начале IV вв. до н.э. также в значительной степени стимулировалось известными законами Солона. В частности, эти законы предусматривали, что афинянин должен лично представлять свои интересы в суде. Конечно, это было возможно не для всех. Именно в этот период появились так называемые логографы — люди, которые составляли речи для судебных заседаний.

В это время в Древней Греции были основаны школы ораторий. Изучение красноречия становится не только модой, но и необходимостью для каждого культурного человека. Первыми учителями красноречия были софисты, путешествующие «учителя мудрости». Они основывали свое учение красноречия на понятии относительной истины: нет объективной истины, истина относительна и субъективна (любое утверждение может быть истолковано как в положительном, так и в отрицательном смысле). Речь шла об использовании системы доказательств, основанной на преднамеренном использовании хитрости и обмана для создания видимости закономерности (т.е. о том, что аргумент может быть выигран безотносительно правды защищаемых претензий). Эти трюки, как мы уже отмечали, назывались «софизмами».

Древнегреческий мыслитель Сократ (469-399 гг. до н.э.) первым открыто выступил против софистов, которые считали, что целью разговора, спора или спора является достижение объективной истины о вещах. В борьбе против софистики другой древнегреческий философ Аристотель (384-322 гг. до н.э.) пытался установить и систематизировать формы мышления, логические правила дедукции и доказывания, сформулировать некоторые законы рассуждения. Его работа «Риторика» представляет собой анализ языка, стиля и речевой структуры ораторов своего времени, мастерство которых можно признать образцовым по сей день. Для Аристотеля главной добродетелью речи является ясность. «Если речь неясна, — сказал он, — она не достигает своей цели.

Комментаторы Аристотеля сгруппировали его работы по логике под общим названием «Орган», что означает «инструмент познания». Аристотель на самом деле видел логику как инструмент доказательства, оправдания истины знания. Он считается основоположником науки логики. Его теория выводов и доказательств обычно называется «традиционной формальной» или «аристотелевской» логикой.

Большую роль в развитии логики сыграли Бекон, Р. Декарт, Х. Лейбниц и другие философы. Бэкон был английским философом, основателем научной индукции, индуктивной логики. В своей работе «Новый Органон» он призывал ученых обращаться к опыту, экспериментировать. Он объявил индукцию — движение мысли от конкретных фактов к общим выводам — универсальным методом исследования (и открытия). Позднее индуктивные методы познания явлений были разработаны английскими учеными Й. Гершелем, У. Уэйвелом и особенно Д. С. Миллом (XIX в.).

У немецкого философа Г. Лейбница возникла идея создать так называемую символическую или математическую логику. Он считал, что в будущем символическая логика, или «искусство вычисления», достигнет такого развития, что все споры между людьми будут решаться карандашом и бумагой. Единственный способ улучшить наши умозаключения, подумал Лейбниц, — сделать их видимыми, чтобы ошибки можно было найти глазами, а когда среди людей возникнет ссора, следует сказать: «Давайте посчитаем», тогда можно будет увидеть, кто прав, а кто нет, без особых формальностей.

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

Символическая логика возникла лишь к середине 19 века, а к началу 20 века она сформировалась как относительно самостоятельная дисциплина в рамках науки логики. Его развитие связано с работами Дж. Булла, А. М. де Моргана, К. Пирса, Б. Рассела, Х. Фреге и других известных ученых. Значительный вклад в создание символической логики внесли российские ученые П. С. Порецкий, Е. Л. Буницкий и другие.

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

Но вместе с формальной логикой в XIX-XX веках возникает и развивается так называемая диалектическая логика (идеи диалектики восходят к древней и древней философии). Диалектическая логика изучает формы мышления в процессе их изменения и развития.

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

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

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

Мы изучаем подполе современной формальной логики, которое называется традиционной формальной логикой. Поэтому термины «формальная», «символическая» и «современная» логика считаются идентичными, если только не требуется более тонкое различие.

На странице рефераты по философии вы найдете много готовых тем для рефератов по предмету «Философия».

Здесь темы курсовых работ по философии

Читайте дополнительные лекции: