Предмет и значение логики. Формальная логика и диалектика.

Предмет и значение логики. Формальная логика и диалектика.

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

Предмет логики – объективно сложившаяся структура мысли.

Значение логики состоит в следующем:

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

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

3) традиционная формальная логика остается важнейшим средством в сфере всех видов образования. Она является основой организации всех видов знания для его подачи в процессе обучения;

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

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

 

Понятие как форма отражения действительности.

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

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

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

 

Логические операции с понятиями

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

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

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

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

Деление — это логическая операция, которая раскрывает его объем. Деление понятия состоит из трех частей: 1) делимое понятие; 2) результаты деления; 3) основание деления (признак, по которому производится деление). Например, люди бывают мужчинами и женщинами. Делимым является понятие «люди», результаты деления — это понятия «мужчины и женщины», а основание данного деления — пол, т.к. люди в нем разделены по половому признаку.

Виды понятий. Содержание и объем понятия.

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

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

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

В зависимости от объема различают три вида понятий:

а) общие, объем которых образует два и более предметов, - «служащий», «вещество», «собака» и т.п.

б) единичные - «губернатор Ростовской области», «Тихий океан», «Москва» и т.п.

в) пустые (нулевые) понятия - «шайтан», «непорочное зачатие», «человек, дышащий жабрами» и т.п.

По содержанию понятия относят к следующим видам:

а) Конкретные и абстрактные понятия

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

б) Относительные и безотносительные понятия

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

в) Положительные и отрицательные понятия.

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

г) Собирательные и разделительные понятия

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

 

Модальность суждения

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

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

Вторая группа - несомненная (эпистемическая) модальность суждений. Она представляет собой выраженную в суждении информацию о характере принятия и степени обоснованности знания. Утверждение "Я знаю, что знаю мало в области философии" показывает обоснованность понимания данной проблемы. Знания в такого рода суждениях могут быть: достоверными, проблематичными, верифицированными, внелогическими.

Третья группа - обязательная (деонтическая) модальность суждений. Этот вид модальности является выражением в суждении побуждения людей к конкретному поведению в форме совета, команды, пожелания. Такой вид модальности суждений дает возможность логически анализировать следующие нормы: правопредставляющие -"имеет право", "может" и др.; правозапрещающие - "не может", "не в праве" и правообязывающие - "должен", "обязан".

 

Дедуктивные умозаключения

Дедуктивные умозаключения - те умозаключения, у которых между посылками и заключениями имеется отношение логического следования. Например: «Все рыбы дышат жабрами. Все окуни - рыбы. Значит, все окуни дышат жабрами». Здесь первая посылка "Все рыбы дышат жабрами" является общеутвердительным суждением и выражает большую степень обобщения по сравнению с заключением, также являющимся общеутвердительным суждением "Все окуни дышат жабрами". Мы строим умозаключения от признака, принадлежащего роду ("рыба"), к его принадлежности к виду - "окунь", т.е. от общего класса к его частному случаю, к подклассу. Частный случай при этом не надо путать с частным суждением вида "Некоторые S есть P" или "Некоторые S не есть P".

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

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

Превращение - вид непосредственного умозаключения, при котором изменяется качество посылки без изменения ее количества, при этом предикат заключения является отрицанием предиката посылки.
По качеству связи категорические суждения делятся на утвердительные и отрицательные. Например: 1) S есть P. 2) S не есть не P. При этом частноутвердительное суждение превращается в частноотрицательное и наоборот, а общеутвердительное суждение превращается в общеотрицательное и наоборот.
Обращением называется такое непосредственное умозаключение, в котором в заключении субъектом является предикат, а предикатом - субъекта исходного суждения, т.е. происходит перемена мест субъекта и предиката при сохранении качества суждения. Например: S есть P. -> P есть S.
Обращение подчиняется правилу распределенности терминов, согласно которому субъект распределен в общих и не распределен в частных суждениях, предикат распределен в отрицательных и не распределен в утвердительных суждениях.

Противопоставление предикату - это такое непосредственное умозаключение, при котором (в заключении) предикатом является субъект, субъектом - понятие, противоречащее предикату исходного суждения, и связка меняется на противоположную. Например: S есть P. -> не P не есть S.

 

Индуктивные умозаключения

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

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

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

Аналогия. Виды аналогии

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

Виды аналогии

По характеру уподобляемых объектов различают: аналогию предметов и аналогию отношений.

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

Если обозначить символами а и b два единичных предмета или события, а Р, Q, S, Т — их признаки, то вывод по аналогии можно представить следующей схемой:

Посылки:

а присущи Р, Q, S, Т

b присущи Р, Q, S

Заключение: b присуще Т

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

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

 

Индукция и дедукция

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

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

С современной точки зрения вопрос о взаимных "преимуществах" Дедукции или индукции в значительной мере утратил смысл. Уже Ф. Энгельс писал, что "индукция и дедукция связаны между собой столь же необходимым образом, как синтез и анализ. Вместо того чтобы односторонне превозносить одну из них до небес за счет другой, надо стараться применять каждую из них на своем месте, а этого можно добиться лишь в том случае, если не упускать из виду их связь между собой, их взаимное дополнение друг друга". Однако и независимо от отмечаемой здесь диалектической взаимосвязи дедукции и индукции и их применений изучение принципов дедукции имеет громадное самостоятельное значение. Именно исследование этих принципов как таковых и составило по существу основное содержание всей формальной логики - от Аристотеля до наших дней. Более того, в настоящее время всё активнее ведутся работы по созданию различных систем "индуктивной логики", причём своего рода идеалом здесь представляется создание "дедуктивноподобных" систем, т.е. совокупностей таких правил, следуя которым можно было бы получать заключения, имеющие если не 100% -ную достоверность, то хотя бы достаточно большую "степень правдоподобия", или "вероятность".

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

Предмет и значение логики. Формальная логика и диалектика.

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

Предмет логики – объективно сложившаяся структура мысли.

Значение логики состоит в следующем:

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

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

3) традиционная формальная логика остается важнейшим средством в сфере всех видов образования. Она является основой организации всех видов знания для его подачи в процессе обучения;

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

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