Что есть логика. Что такое логика и зачем она нужна? Главные правила логики

(9 голосов : 5.0 из 5 )

Толковый словарь В.И. Даля
Питер Крифт
А.А. Волков
проф.
архим.
В.Ю. Питанов

Ло́гика - 1) ход рассуждений; 2) внутренняя закономерность, свойственная процессам, явлениям и т. д.; 3) наука о способах, законах, формах мышления.

Возлюби Господа Бога твоего всем сердцем твоим и всею душею твоею и всем разумением твоим ()

Если Богу, как Всеведущему, всё известно от вечности, то можно ли говорить о логике Его мышления, направленного на заботу о мире и человеке?

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

Если Бог непостижим, то можно ли его познавать при помощи логических умопостроений?

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

Понимая, что Бог - абсолютно прост (то есть не состоит из частей, не сложен из элементов), мы, тем не менее, изучаем Его свойства по отдельности. Например: отдельно рассматриваются свойства Божеского Разума, отдельно - свойства воли, отдельно - свойства чувств. Это не значит, что мы противоречим учению о Божественной простоте.

Опять же, что нелогичного в утверждении, что чтобы стать истинно верующим, необходимо знать веры? Наука о догматах веры называется: «Православное Догматическое Богословие». Как и всякая наука она, естественно, опирается, на доводы рационального мышления.

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

Можно ли использовать логику при изучении догмата о Пресвятой Троице?

Поскольку Бог Троица бесконечен, познать Его в полноте не может ни одно Его творение: ни , ни человек. Однако это не значит, что мы не можем познать Его частично, в той мере, в какой Он открылся для нас и в той мере, в какой мы способны это Откровение постичь.

1) Логика - В книге: 1) универсальная граница данности вещей в мире, сама остающаяся незримой; 2) методика косвенного выявления этой границы.

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

3) Логика - - учение о связях и последовательностях человеческого мышления, о формах его развития, о различных соотношениях мыслительных форм и их преобразованиях. Л. рассматривает вопросы о средствах существования мышления, языках закрепления, воспроизводства, трансляции мыслительных процессов. В широком смысле Л. есть усмотрение связей не только мышления, но и бытия, т. е. Л., выявляющая "логику вещей", "логику событий", " связь времен". В этом аспекте Л. сближается с онтологией. В своих содержательных аспектах Л. сопрягается с учениями о познании, его развитии, функционировании и консервации и напрямую включается в гносеологию. Т. о., Л. является одним из основных подразделений философии и постоянно играет ведущую роль в философствовании, поскольку последнее всегда так или иначе занимается вопросом о мышлении. В XIX в. Л. как особая наука отделяется от философии и в этом качестве занимается формальным анализом мышления и его языков. Вопросы ж развития мышления, эволюции его средств, его культурно-исторической и социальной обусловленности остаются в компетенции философии. Сама Л. в ее конкретных социально-исторических и культурных формах становится важным разделом философских исследований. В рамках такого подхода можно выделить несколько основных этапов в эволюции Л. и ее понимания. В древнем мире разработка логической проблематики связана с процессами классификации искусственных и естественных вещей, инструментов человеческой деятельности, актов человеческих взаимодействий. Л. вырабатывает обобщающие понятия и техники оперирования ими. В составе философии она выступает важным инструментом создания картины мира, использования ее в практике общества. В эпоху средневековья Л. ориентирована на исследования форм мышления и их взаимосвязей; содержательное познание рассматривается с т. зр. его соответствия логическим формам. Учение об устойчивых (или незыблемых) структурах человеческого мышления, обеспечивающих его правильность, оказывается важной предпосылкой для возникающих стандартов научной рациональности. Когда, вслед за естествознанием, формальная Л. отделяется от философии, вопрос о рациональности человеческого мышления оказывается в центре философской полемики. С одной стороны, выявляется недостаточность формальной рациональности для нужд новейшей науки, для развития человеческой личности и расширения ее духовных горизонтов. С другой - подтверждается потребность в сохранении рациональности и Л. в самом широком смысле как условий воспроизводства культуры (Баденское неокантианство). В XX столетии философская критика рациональности (трактуемо обычно как жесткая связь логически форм) усиливается и ведется с различны позиций (экзистенциализм, марксизм, деконструктивизм). Вместе с тем в философии усиливается тенденция трактов Л с культурно-исторических позиций, исследования различных Л., присущих разным культурам и видам человеческой деятельности. В свете этих подходов меняются акценты в понимании содержательности Л. Если прежде это качество связывалось в основном с выяснением предметной направленности мышления, то теперь в центре внимания оказывается связь мыслительных форм, возникающая во взаимодействии человеческих субъектов, это взаимодействие закрепляющая и воспроизводящая. В. Е. Кемеров

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

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

6) Логика - - этимологически восходит к древнегреческому слову "logos", означавшему " слово ", " мысль ", " понятие ", " рассуждение ", " закон ". Это наука о законах и формах мышления человека. Она занимается исследованием мыслительных процедур. Различают традиционную логику, начало которой положил Аристотель, изучающей умозаключения, понятия и операции над ними. Применение методов формализации и математических методов привело к созданию классической логики (символической или математической). Неклассическая (модальная или философская) логика, которая использует формальные методы для анализа содержательных реалий. Упрощенное понимание логики - ход рассуждений,правила рассуждений.

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

8) Логика - (греч. logos - слово, рассуждение, понятие, разум) - наука о формах, законах и методах познавательной деятельности; способность правильно (логически) мыслить. С древности замечено важное свойство познающего мышления человека: если вначале высказываются некоторые утверждения, то затем могут быть признаны и другие утверждения, но не любые, а лишь строго определенные. Познающее мышление, т.обр., подчинено некоей принудительной силе, его результаты во многом детерминированы и предопределены предшествующим знанием. Данное свойство широко использовал Сократ в своих диалогах. Умелой постановкой вопросов он направлял своего собеседника к принятию вполне конкретных выводов. (Характеризуя свой метод, Сократ пояснял, что его манера вести беседу подобна тому, что делает акушерка, которая сама не рожает, но принимает роды. Так и он лишь спрашивает других, способствуя рождению истины, самому же ему нечего сказать.) Поэтому свой метод Сократ назвал майевтикой - искусством повивальной бабки.) Ученик Сократа Платон, затем Аристотель сделали детерминированность мышления предметом специального исследования. Результаты Аристотеля особенно впечатляющи. Его успех связан с тем, что он устранил из рассуждений то, что может быть названо их содержанием, сохранив только форму. Этого он достиг, подставив в суждениях вместо названий с конкретным содержанием буквы (переменные). Например, в импликативном рассуждении: "Если все В суть С и все А суть В, то все А суть В". Подход Аристотеля продемонстрировал тот факт, что достоверность результатов различных по содержанию рассуждений зависит не только от истинности исходных положений (посылок), но и от отношений между ними, способа их соединения, т.е. от формы рассуждения. Аристотель сформулировал важнейшие принципы перехода от истинных посылок к истинным заключениям. Впоследствии эти принципы стали называться законами тождества, противоречия и исключенного третьего. Он предложил первую теоретическую систему форм рассуждений - т.н. ассерторическую силлогистику, имеющую дело с суждениями вида "Все А суть В", "Некоторые А суть В", "Ни одно А не есть В", "Некоторые А не суть В". Тем самым он положил начало науке об общезначимых средствах и формах мышления, законах рационального познания. Позже эту науку стали называть Л.Л. не ограничилась выяснением случаев, когда истинность посылок гарантирует истинность заключения. Эта разновидность рассуждений стала предметом одной ее ветви - дедуктивной Л. Но уже Демокрит обсуждает проблему индуктивных умозаключений, посредством которых осуществляется переход от частных утверждений к общим положениям, имеющим вероятностный характер. Особый интерес к индукции проявляется в 17-18 вв. когда быстро стали развиваться опытные науки. Английскому философу Ф. Бэкону принадлежит первая попытка теоретического осмысления индукции, которая, как он думал, способна служить единственным методом познания природных явлений в целях их применения на пользу людям. Дедуктивизм и индуктивизм - главные направления в развитии Л. вплоть до 19 в. Представители рационалистической философии (Декарт, Спиноза, Мальбранш, Лейбниц) отдавали предпочтение дедукции, в то время как представители эмпирической (сенсуалистической) философии (вслед за Ф. Бэконом - Гоббс, Локк, Кондильяк, Беркли, Юм) были индуктивистами. Вольф, предложивший всеобъемлющую, по его мысли, систему философского знания как "науку о всех возможных предметах, насколько они возможны", попытался примирить указанные направления. Будучи, в целом, рационалистом, он, тем не менее, энергично подчеркивал решающее значение индукции и опытного знания в отдельных научных дисциплинах (напр., в физике). Однако вольфианские представления о формах и законах мышления, методах познания, сложившиеся в Л. к 19 в., не смогли удовлетворить потребностей бурно развивающейся науки и общественной практики. Кант и особенно Гегель подвергли критике ограниченность рационалистически-метафизического метода. Перед Л. встала задача выработать средства, которые позволяли бы сознательно подходить к изучению сущностных отношений. Серьезная попытка решить эту задачу была предпринята Гегелем. Его выдающейся заслугой является введение в Л. идеи развития и взаимосвязи. Это позволило ему заложить основы диалектической Л. как теории движения человеческой мысли от явления к сущности, от истины относительной к истине абсолютной, от знания абстрактного к знанию конкретному. На основе категорий, принципов и законов диалектической Л. вырабатываются методологические ориентиры исследования содержания предметов во всем их многообразия и противоречивости. В настоящее время Л. представляет собой достаточно разветвленную научную дисциплину. Ее важнейшим и наиболее зрелым разделом является формальная Л. Свое наименование она получила от предмета, которым занимается с древности, - форм мыслей и рассуждений, обеспечивающих получение новых истин на основе уже установленных, и, в первую очередь, критериев правильности и обоснованности этих форм. Долгое время формальная Л. была известна прежде всего в том виде, который придали ей Аристотель и его комментаторы. Отсюда название, соответствующее данному этапу, - аристотелевская Л. Восходящая к Аристотелю традиция породила также другой равнозначный термин - традиционная Л. Неизменность проблематики и методов ее разрешения в рамках аристотелевской Л. на протяжении многих веков дала основание Канту, впервые употребившему термин "формальная Л.", считать, что за две тысячи лет, прошедших со времени Аристотеля, эта Л. не сделала ни одного шага вперед и имеет по существу законченный характер. Кант и не предполагал, что через какие-то полвека после его смерти начнется "второе дыхание" в развитии формальной Л. Этот качественно новый этап был вызван тем, что проблемы, поставленные исследованием логических оснований математики, было невозможно решить средствами аристотелевской Л. Почти одновременно идут процессы логизации математики и математизации Л. При решении логических проблем активно используются математические методы, создаются логические исчисления. Делаются конкретные шаги по реализации идей Лейбница об использовании вычислительных методов в любой науке. Дж. Буль разрабатывает первую систему алгебры Л. Благодаря работам О. де Моргана, У. Джевонса, Э. Шредера, П.С. Порецкого, Пирса, Фреге, Дж. Пеано, Рассела создаются основные разделы математической Л., становящейся важнейшей ветвью формальной Л. В 20 в., особенно в 20-е и 30-е, в работах Я. Лукасевича, Э. Поста, К. Льюиса, С. Яськовского, Д. Вебба, Л. Брауэра, А. Гейтинга, А.А. Маркова, А.Н. Колмогорова, Г. Рейхенбаха, С.К. Клини, П. Детуш-Феврие, Г. Биркгофа и др. закладываются основы неклассических разделов формальной Л.: многозначных Л., модальной, вероятностной, интуиционистской, конструктивистской и др. Л. Переход к числу истинностных значений, большему чем два ("истинно", и "ложно"), составляет одну из характерных особенностей неклассических, или, как их часто называют, нехрисипповых Л. В 1930-е развитие формальной Л. связано с решением многих проблем металогики (греч. meta - после, сверх), изучающей принципы построения и общие свойства формальных систем, например, проблемы непротиворечивости, полноты, независимости системы аксиом, разрешимости, возможностей этих систем выражать содержательные теории и др. Закладываются основы т.наз. "машинного мышления". Исследование указанных проблем ознаменовалось выдающимися открытиями, имеющими важное мировоззренческое и методологическое значение и связанными с именами Тарского, К. Геделя, А. Черча. Наибольшую известность получила теорема К. Геделя о неполноте формализованных систем, в т.ч. арифметики натуральных чисел и аксиоматической теории множеств. В соответствии с этой теоремой, в каждой из таких систем имеются предложения, которые в их рамках нельзя ни доказать, ни опровергнуть. Тем самым было показано, что ни одна действующая научная теория не может быть втиснута в рамки формализма. А. Черч доказал теорему, согласно которой, не существует алгоритмов для решения многих классов задач, не говоря уже об алгоритме, позволяющем решать любую задачу (об изобретении такого алгоритма мечтали многие выдающиеся логики и математики). Сегодня развитие формальной логики идет в двух основных направлениях: 1) выработка новых систем неклассической Л. (Л. императивов, оценок, вопросов, временной, индуктивной Л., теории логического следования и т.д.), исследование свойств этих систем и отношений между ними, создания их общей теории; 2) расширение сферы применения формальной Л. Важнейший конечный результат, полученный в этом направлении, - то, что формальная Л. стала не только инструментом точной мысли, но и " мыслью " первого точного инструмента - компьютера, непосредственно в роли партнера включенного человеком в сферу решения стоящих перед ним задач. Л. (в сумме всех своих разделов) стала неотъемлемой частью человеческой культуры. Ее достижения используются в самых разнообразных областях деятельности людей. Она широко применяется в психологии и лингвистике, теории управления и педагогике, юриспруденции и этике. Ее формальные разделы являются исходной основой кибернетики, вычислительной математики и техники, теории информации. Без принципов и законов Л. не мыслима современная методология познания и общения. Изучению Л. всегда придавалось большое значение. Уже Парменид поучал еще неопытного в философии Сократа: "Твое рвение к рассуждениям, будь уверен, прекрасно и божественно, но, пока ты еще молод, постарайся поупражняться больше в том, что большинство считает пустословием (т.е. оперировании абстрактными понятиями - В.Б.) в противном случае истина будет от тебя ускользать". Как видим, уже в древности понимали, что дисциплина, которой позже было присвоено имя Л., играет прежде всего большую методологическую роль - как средство отыскания истины. В.Ф. Берков

9) Логика - - в широком смысле - это философская наука о законах правильного мышления; в узком смысле - последовательность выстраиваемых в поиске истины необходимостей.

10) Логика - (от греч. logos - логос) 1) способность правильно, т.е. логически, мыслить; 2) учение о тождестве и его отрицании (Г. Якоби), учение о последовательности и методах познания (наука логики). В качестве "элементарной формальной логики" она имеет дело с самыми общими свойствами, присущими всем (имеющимся) понятиям. Осн. свойства понятий выражаются в логических аксиомах (см. Аксиома). Сначала рассматривается учение о понятии, затем следует учение о суждении и, наконец, умозаключении. Учения о логических аксиомах, понятии, суждении и умозаключении, взятые вместе, образуют чистую логику. Прикладная логика охватывает в традиционной логике учение об определении, о доказательстве, о методе. Ей часто предпосылаются не научно-логические, а теоретико-познавательные, психологические учения о переживании, описании и формулировании (особенно с помощью специального языка, терминологии) и об образовании понятий. Иногда к ней присоединяют учение о системе. Логика (как наука) - лишь учение о мышлении в понятиях, но не о познании посредством понятий; она служит повышению формальной точности сознания и объективности содержания мышления и познания. Основателем западноевропейской логики (как науки) является Аристотель, "отец логики". Слово "логика" появилось впервые у стоиков; они и неоплатоники уточнили отдельные моменты ее, а в эпоху средневековья схоластика разработала ее в мельчайших подробностях, в тонкостях. Гуманизм изгнал из логики схоластику, но обновить ее не мог. Реформация взяла на вооружение логику Меланхтона, Контрреформация - логику Суареса. Поднявшись принципиально над схоластикой, развивал логику Иоганнес Штурм из Страсбурга; более известным стал Пьер Раме. С 17 в. стало заметным влияние на логику сфер мысли, связанных с математикой, причем в геометрическом методе Спинозы оно было меньше, чем у Лейбница, который использовал в логике совершенствующиеся естественнонаучные методы. От Лейбница и математики, а также и от неосхоластики пошла логика школы Вольфа. Кантовская " трансцендентальная логика " есть в действительности критическая теория познания, логика нем. идеализма (особенно логика Гегеля) - спекулятивная метафизика. Шопенгауэр, Ницше, Бергсон и сторонники философии жизни отбросили традиционную логику. В настоящее время логика распалась на множество направлений: 1) метафизическая логика (гегельянство); 2) психологическая логика (Т.Липпс, отчасти В.Вундт); 3) теоретико-познавательная, или трансцендентальная, логика (неокантианство); 4) семантическая логика (Аристотель, Кюльпе, современный номинализм); 5) предметная логика (Ремке, Мейнонг, Дриш); 6) неосхоластическая логика; 7) феноменологическая логика; 8) логика как методология (неокантианство) и логистика, которая находится в центре споров о логике.

11) Логика - - cм. Диалектическая логика. Математическая логика, Формальная логика.

Логика

В книге: 1) универсальная граница данности вещей в мире, сама остающаяся незримой; 2) методика косвенного выявления этой границы.

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

Учение о связях и последовательностях человеческого мышления, о формах его развития, о различных соотношениях мыслительных форм и их преобразованиях. Л. рассматривает вопросы о средствах существования мышления, языках закрепления, воспроизводства, трансляции мыслительных процессов. В широком смысле Л. есть усмотрение связей не только мышления, но и бытия, т. е. Л., выявляющая "логику вещей", "логику событий", " связь времен". В этом аспекте Л. сближается с онтологией. В своих содержательных аспектах Л. сопрягается с учениями о познании, его развитии, функционировании и консервации и напрямую включается в гносеологию. Т. о., Л. является одним из основных подразделений философии и постоянно играет ведущую роль в философствовании, поскольку последнее всегда так или иначе занимается вопросом о мышлении. В XIX в. Л. как особая наука отделяется от философии и в этом качестве занимается формальным анализом мышления и его языков. Вопросы ж развития мышления, эволюции его средств, его культурно-исторической и социальной обусловленности остаются в компетенции философии. Сама Л. в ее конкретных социально-исторических и культурных формах становится важным разделом философских исследований. В рамках такого подхода можно выделить несколько основных этапов в эволюции Л. и ее понимания. В древнем мире разработка логической проблематики связана с процессами классификации искусственных и естественных вещей, инструментов человеческой деятельности, актов человеческих взаимодействий. Л. вырабатывает обобщающие понятия и техники оперирования ими. В составе философии она выступает важным инструментом создания картины мира, использования ее в практике общества. В эпоху средневековья Л. ориентирована на исследования форм мышления и их взаимосвязей; содержательное познание рассматривается с т. зр. его соответствия логическим формам. Учение об устойчивых (или незыблемых) структурах человеческого мышления, обеспечивающих его правильность, оказывается важной предпосылкой для возникающих стандартов научной рациональности. Когда, вслед за естествознанием, формальная Л. отделяется от философии, вопрос о рациональности человеческого мышления оказывается в центре философской полемики. С одной стороны, выявляется недостаточность формальной рациональности для нужд новейшей науки, для развития человеческой личности и расширения ее духовных горизонтов. С другой - подтверждается потребность в сохранении рациональности и Л. в самом широком смысле как условий воспроизводства культуры (Баденское неокантианство). В XX столетии философская критика рациональности (трактуемо обычно как жесткая связь логически форм) усиливается и ведется с различны позиций (экзистенциализм, марксизм, деконструктивизм). Вместе с тем в философии усиливается тенденция трактов Л с культурно-исторических позиций, исследования различных Л., присущих разным культурам и видам человеческой деятельности. В свете этих подходов меняются акценты в понимании содержательности Л. Если прежде это качество связывалось в основном с выяснением предметной направленности мышления, то теперь в центре внимания оказывается связь мыслительных форм, возникающая во взаимодействии человеческих субъектов, это взаимодействие закрепляющая и воспроизводящая. В. Е. Кемеров

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

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

Этимологически восходит к древнегреческому слову "logos", означавшему " слово ", " мысль ", " понятие ", " рассуждение ", " закон ". Это наука о законах и формах мышления человека. Она занимается исследованием мыслительных процедур. Различают традиционную логику, начало которой положил Аристотель, изучающей умозаключения, понятия и операции над ними. Применение методов формализации и математических методов привело к созданию классической логики (символической или математической). Неклассическая (модальная или философская) логика, которая использует формальные методы для анализа содержательных реалий. Упрощенное понимание логики - ход рассуждений,правила рассуждений.

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

(греч. logos - слово, рассуждение, понятие, разум) - наука о формах, законах и методах познавательной деятельности; способность правильно (логически) мыслить. С древности замечено важное свойство познающего мышления человека: если вначале высказываются некоторые утверждения, то затем могут быть признаны и другие утверждения, но не любые, а лишь строго определенные. Познающее мышление, т.обр., подчинено некоей принудительной силе, его результаты во многом детерминированы и предопределены предшествующим знанием. Данное свойство широко использовал Сократ в своих диалогах. Умелой постановкой вопросов он направлял своего собеседника к принятию вполне конкретных выводов. (Характеризуя свой метод, Сократ пояснял, что его манера вести беседу подобна тому, что делает акушерка, которая сама не рожает, но принимает роды. Так и он лишь спрашивает других, способствуя рождению истины, самому же ему нечего сказать.) Поэтому свой метод Сократ назвал майевтикой - искусством повивальной бабки.) Ученик Сократа Платон, затем Аристотель сделали детерминированность мышления предметом специального исследования. Результаты Аристотеля особенно впечатляющи. Его успех связан с тем, что он устранил из рассуждений то, что может быть названо их содержанием, сохранив только форму. Этого он достиг, подставив в суждениях вместо названий с конкретным содержанием буквы (переменные). Например, в импликативном рассуждении: "Если все В суть С и все А суть В, то все А суть В". Подход Аристотеля продемонстрировал тот факт, что достоверность результатов различных по содержанию рассуждений зависит не только от истинности исходных положений (посылок), но и от отношений между ними, способа их соединения, т.е. от формы рассуждения. Аристотель сформулировал важнейшие принципы перехода от истинных посылок к истинным заключениям. Впоследствии эти принципы стали называться законами тождества, противоречия и исключенного третьего. Он предложил первую теоретическую систему форм рассуждений - т.н. ассерторическую силлогистику, имеющую дело с суждениями вида "Все А суть В", "Некоторые А суть В", "Ни одно А не есть В", "Некоторые А не суть В". Тем самым он положил начало науке об общезначимых средствах и формах мышления, законах рационального познания. Позже эту науку стали называть Л.Л. не ограничилась выяснением случаев, когда истинность посылок гарантирует истинность заключения. Эта разновидность рассуждений стала предметом одной ее ветви - дедуктивной Л. Но уже Демокрит обсуждает проблему индуктивных умозаключений, посредством которых осуществляется переход от частных утверждений к общим положениям, имеющим вероятностный характер. Особый интерес к индукции проявляется в 17-18 вв. когда быстро стали развиваться опытные науки. Английскому философу Ф. Бэкону принадлежит первая попытка теоретического осмысления индукции, которая, как он думал, способна служить единственным методом познания природных явлений в целях их применения на пользу людям. Дедуктивизм и индуктивизм - главные направления в развитии Л. вплоть до 19 в. Представители рационалистической философии (Декарт, Спиноза, Мальбранш, Лейбниц) отдавали предпочтение дедукции, в то время как представители эмпирической (сенсуалистической) философии (вслед за Ф. Бэконом - Гоббс, Локк, Кондильяк, Беркли, Юм) были индуктивистами. Вольф, предложивший всеобъемлющую, по его мысли, систему философского знания как "науку о всех возможных предметах, насколько они возможны", попытался примирить указанные направления. Будучи, в целом, рационалистом, он, тем не менее, энергично подчеркивал решающее значение индукции и опытного знания в отдельных научных дисциплинах (напр., в физике). Однако вольфианские представления о формах и законах мышления, методах познания, сложившиеся в Л. к 19 в., не смогли удовлетворить потребностей бурно развивающейся науки и общественной практики. Кант и особенно Гегель подвергли критике ограниченность рационалистически-метафизического метода. Перед Л. встала задача выработать средства, которые позволяли бы сознательно подходить к изучению сущностных отношений. Серьезная попытка решить эту задачу была предпринята Гегелем. Его выдающейся заслугой является введение в Л. идеи развития и взаимосвязи. Это позволило ему заложить основы диалектической Л. как теории движения человеческой мысли от явления к сущности, от истины относительной к истине абсолютной, от знания абстрактного к знанию конкретному. На основе категорий, принципов и законов диалектической Л. вырабатываются методологические ориентиры исследования содержания предметов во всем их многообразия и противоречивости. В настоящее время Л. представляет собой достаточно разветвленную научную дисциплину. Ее важнейшим и наиболее зрелым разделом является формальная Л. Свое наименование она получила от предмета, которым занимается с древности, - форм мыслей и рассуждений, обеспечивающих получение новых истин на основе уже установленных, и, в первую очередь, критериев правильности и обоснованности этих форм. Долгое время формальная Л. была известна прежде всего в том виде, который придали ей Аристотель и его комментаторы. Отсюда название, соответствующее данному этапу, - аристотелевская Л. Восходящая к Аристотелю традиция породила также другой равнозначный термин - традиционная Л. Неизменность проблематики и методов ее разрешения в рамках аристотелевской Л. на протяжении многих веков дала основание Канту, впервые употребившему термин "формальная Л.", считать, что за две тысячи лет, прошедших со времени Аристотеля, эта Л. не сделала ни одного шага вперед и имеет по существу законченный характер. Кант и не предполагал, что через какие-то полвека после его смерти начнется "второе дыхание" в развитии формальной Л. Этот качественно новый этап был вызван тем, что проблемы, поставленные исследованием логических оснований математики, было невозможно решить средствами аристотелевской Л. Почти одновременно идут процессы логизации математики и математизации Л. При решении логических проблем активно используются математические методы, создаются логические исчисления. Делаются конкретные шаги по реализации идей Лейбница об использовании вычислительных методов в любой науке. Дж. Буль разрабатывает первую систему алгебры Л. Благодаря работам О. де Моргана, У. Джевонса, Э. Шредера, П.С. Порецкого, Пирса, Фреге, Дж. Пеано, Рассела создаются основные разделы математической Л., становящейся важнейшей ветвью формальной Л. В 20 в., особенно в 20-е и 30-е, в работах Я. Лукасевича, Э. Поста, К. Льюиса, С. Яськовского, Д. Вебба, Л. Брауэра, А. Гейтинга, А.А. Маркова, А.Н. Колмогорова, Г. Рейхенбаха, С.К. Клини, П. Детуш-Феврие, Г. Биркгофа и др. закладываются основы неклассических разделов формальной Л.: многозначных Л., модальной, вероятностной, интуиционистской, конструктивистской и др. Л. Переход к числу истинностных значений, большему чем два ("истинно", и "ложно"), составляет одну из характерных особенностей неклассических, или, как их часто называют, нехрисипповых Л. В 1930-е развитие формальной Л. связано с решением многих проблем металогики (греч. meta - после, сверх), изучающей принципы построения и общие свойства формальных систем, например, проблемы непротиворечивости, полноты, независимости системы аксиом, разрешимости, возможностей этих систем выражать содержательные теории и др. Закладываются основы т.наз. "машинного мышления". Исследование указанных проблем ознаменовалось выдающимися открытиями, имеющими важное мировоззренческое и методологическое значение и связанными с именами Тарского, К. Геделя, А. Черча. Наибольшую известность получила теорема К. Геделя о неполноте формализованных систем, в т.ч. арифметики натуральных чисел и аксиоматической теории множеств. В соответствии с этой теоремой, в каждой из таких систем имеются предложения, которые в их рамках нельзя ни доказать, ни опровергнуть. Тем самым было показано, что ни одна действующая научная теория не может быть втиснута в рамки формализма. А. Черч доказал теорему, согласно которой, не существует алгоритмов для решения многих классов задач, не говоря уже об алгоритме, позволяющем решать любую задачу (об изобретении такого алгоритма мечтали многие выдающиеся логики и математики). Сегодня развитие формальной логики идет в двух основных направлениях: 1) выработка новых систем неклассической Л. (Л. императивов, оценок, вопросов, временной, индуктивной Л., теории логического следования и т.д.), исследование свойств этих систем и отношений между ними, создания их общей теории; 2) расширение сферы применения формальной Л. Важнейший конечный результат, полученный в этом направлении, - то, что формальная Л. стала не только инструментом точной мысли, но и " мыслью " первого точного инструмента - компьютера, непосредственно в роли партнера включенного человеком в сферу решения стоящих перед ним задач. Л. (в сумме всех своих разделов) стала неотъемлемой частью человеческой культуры. Ее достижения используются в самых разнообразных областях деятельности людей. Она широко применяется в психологии и лингвистике, теории управления и педагогике, юриспруденции и этике. Ее формальные разделы являются исходной основой кибернетики, вычислительной математики и техники, теории информации. Без принципов и законов Л. не мыслима современная методология познания и общения. Изучению Л. всегда придавалось большое значение. Уже Парменид поучал еще неопытного в философии Сократа: "Твое рвение к рассуждениям, будь уверен, прекрасно и божественно, но, пока ты еще молод, постарайся поупражняться больше в том, что большинство считает пустословием (т.е. оперировании абстрактными понятиями - В.Б.) в противном случае истина будет от тебя ускользать". Как видим, уже в древности понимали, что дисциплина, которой позже было присвоено имя Л., играет прежде всего большую методологическую роль - как средство отыскания истины. В.Ф. Берков

В широком смысле - это философская наука о законах правильного мышления; в узком смысле - последовательность выстраиваемых в поиске истины необходимостей.

(от греч. logos - логос) 1) способность правильно, т.е. логически, мыслить; 2) учение о тождестве и его отрицании (Г. Якоби), учение о последовательности и методах познания (наука логики). В качестве "элементарной формальной логики" она имеет дело с самыми общими свойствами, присущими всем (имеющимся) понятиям. Осн. свойства понятий выражаются в логических аксиомах (см. Аксиома). Сначала рассматривается учение о понятии, затем следует учение о суждении и, наконец, умозаключении. Учения о логических аксиомах, понятии, суждении и умозаключении, взятые вместе, образуют чистую логику. Прикладная логика охватывает в традиционной логике учение об определении, о доказательстве, о методе. Ей часто предпосылаются не научно-логические, а теоретико-познавательные, психологические учения о переживании, описании и формулировании (особенно с помощью специального языка, терминологии) и об образовании понятий. Иногда к ней присоединяют учение о системе. Логика (как наука) - лишь учение о мышлении в понятиях, но не о познании посредством понятий; она служит повышению формальной точности сознания и объективности содержания мышления и познания. Основателем западноевропейской логики (как науки) является Аристотель, "отец логики". Слово "логика" появилось впервые у стоиков; они и неоплатоники уточнили отдельные моменты ее, а в эпоху средневековья схоластика разработала ее в мельчайших подробностях, в тонкостях. Гуманизм изгнал из логики схоластику, но обновить ее не мог. Реформация взяла на вооружение логику Меланхтона, Контрреформация - логику Суареса. Поднявшись принципиально над схоластикой, развивал логику Иоганнес Штурм из Страсбурга; более известным стал Пьер Раме. С 17 в. стало заметным влияние на логику сфер мысли, связанных с математикой, причем в геометрическом методе Спинозы оно было меньше, чем у Лейбница, который использовал в логике совершенствующиеся естественнонаучные методы. От Лейбница и математики, а также и от неосхоластики пошла логика школы Вольфа. Кантовская " трансцендентальная логика " есть в действительности критическая теория познания, логика нем. идеализма (особенно логика Гегеля) - спекулятивная метафизика. Шопенгауэр, Ницше, Бергсон и сторонники философии жизни отбросили традиционную логику. В настоящее время логика распалась на множество направлений: 1) метафизическая логика (гегельянство); 2) психологическая логика (Т.Липпс, отчасти В.Вундт); 3) теоретико-познавательная, или трансцендентальная, логика (неокантианство); 4) семантическая логика (Аристотель, Кюльпе, современный номинализм); 5) предметная логика (Ремке, Мейнонг, Дриш); 6) неосхоластическая логика; 7) феноменологическая логика; 8) логика как методология (неокантианство) и логистика, которая находится в центре споров о логике.

Асимметричная противоположность абсолюта характеризующаяся отрицательной протяженностью антисубстанциональностью, самоуничтожающейся...

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

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

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

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

О «Топика», «Категории», «Об опровержении софистических аргументов», «Об истолковании». Византийские логики объединили все перечисленные работы Аристотеля иод общим названием «Органон» (Орудие знания). - См.: Аристотель . Соч. Т. 2. М., 1978.

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

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

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

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

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

Следовательно, объект логики как науки - это мышление человека.

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

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

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

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

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

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

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

Таким образом, мы можем дать определение логики как науки.

Логика (от греч. Аоуо

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

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

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

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

Например, следующие два суждения:

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

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

Таня Петрова изучает логику». Содержание этих рассуждений разное, а логическая структура (форма) одинакова. В логике ее записывают часто так:

Суждения «М есть Р» и «S есть М» связаны друг с другом общим для них термином «М» (буквой «М» обозначается понятие, которое имеет одинаковое содержание в первом и втором высказываниях. Оно называется средним термином (от лат. medium - средний)) и благодаря этому возможен вывод: «S есть Р».

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

История логики насчитывает более 2,5 тысячелетий и делится на два основных этапа. Первый начался с трудов Аристотеля и продолжался до начала XX в. Второй - с этого времени и до наших дней. Практически невозможно перечислить всех выдающихся мыслителей, которые развивали логику. Этому вопросу следует посвящать специальный курс. Вместе с тем, следует обратить внимание на то, что уже в Древней Греции огромное внимание логике уделяли представители школы «стоиков» (Хринсиии). Одной из наиболее ярких личностей в логической культуре средневековья является И. Д. Скот. Значительный вклад в развитие формальной логики как науки внес Ф. Бэкон. Он заложил фундамент логического учения об индукции, целью которой является обнаружение причинных связей между явлениями окружающего мира посредством наблюдений и экспериментов. Дж. С. Милль разработал методы научной индукции на основании установления причинных связей. Г. Лейбниц обосновал идею о возможности представить доказательство как математическое вычисление. Д. Буль истолковал умозаключение как результат решения логических равенств. Г. Фреге применил логику для исследования оснований математики. Существенный вклад в развитие логики в дальнейшем внесли Б. Больцано, О. Де Морган, У. С. Джевонс, Ч. С. Пирс, Э. Шредер и др.

Начало XX века знаменует своеобразная революция в логике. Фундаментальные результаты были получены К. Геделем, Д. Гильбертом, Б. Раселом, А. Тарским, А. Н. Уайтхедом, А. Черчем и др.

Наши соотечественники также внесли большой вклад в развитие логики. Эволюция логических идей в России связана с блестящим созвездием имен: это братья Лихуды, М. В. Ломоносов, П. С. Порецкий, Н. А. Васильев, А. А. Мар- ков-сын и др. В последние десятилетия многое для разработки современного учебного курса логики сделали А. П. Алексеев, Л. Б. Баженов, В. А. Бочаров, Е. К. Войшвилло, А. Д. Гетманова, Д. П. Горский, А. А. Ивин, Ю. В. Ивлев, В. И. Кириллов, С. А. Лебедев, В. И. Маркин, А. Л. Никифоров, С. И. Повар- нин, Г. И. Рузавин, П. Сергеич, В. И. Свинцов, А. А. Старчен- ко, М. К. Треушников, А. И. Уемов и др.

В отличие от диалектической логики, которая в известном смыслесовпадает с теорией познания.

ЛОГИКА КАК НАУКА

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

2. Возникновение и развитие логики

3. Язык логики

4. Формы и законы мышления

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

Ключевые слова: логика, мышление, чувственное познание, абстрактное мышление.

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

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

Нам известно, что первым уровнем выступает чувственное познание. Оно осуществляется на основе органов чувств, их осмысления и синтеза. Напомним основные формы чувственного познания:

1) ощущение;

2) восприятие;

3) представление.

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

а) понятие;

б) суждение;

в) умозаключение.

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

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

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

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

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

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

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

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

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

Задачи и упражнения

1. Один и тот же кубик, на гранях которого расположены цифры (0, 1, 4, 5, 6, 8), находится в трёх различных положениях.

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

2. Светлана, Лариса и Ирина изучают в вузе разные иностранные языки: немецкий, английский и испанский. На вопрос, какой язык изучает каждая из них, их подруга Марина робко ответила: «Светлана изучает английский, Лариса не изучает английский, а Ирина не изучает немецкий». Оказалось, что в этом ответе лишь одно утверждение является истинным, а два – ложным. Какой язык изучает каждая девушка?

3. Иванов, Петров, Степанов и Сидоров – жители г.Гродно. Их профессии – кассир, врач, инженер и милиционер. Иванов и Пертов – соседи, они всегда ездят на работу вместе на автомобиле. Петров старше Сидорова. Иванов всегда обыгрывает Степанова в шахматы. Кассир всегда ходит на работу пешком. Милиционер не живёт рядом с врачом. Инженер и милиционер встречались единственный раз, когда первый оштрафовал второго за нарушение правил дорожного движения. Милиционер старше врача и инженера. Кто есть кто?

4. Друзья-мушкетёры Атос, Портос, Арамис и д’Артаньян решили позабавиться перетягиванием каната. Портос с д’Артаньяном легко перетянули Атоса с Арамисом. Но когда Портос стал вместе с Атосом, то они одержали более трудную победу над д’Артаньяном и Арамисом. А когда Портос с Арамисом боролись против Атоса с д’Артаньяном, то никто не смог перетянуть канат. Как по силе распределяются мушкетёры?

Составьте логическую схему взаимосвязи уровней и форм познания.

2. Возникновение и развитие логики

Ключевые слова: дедукция, формальная логика, индуктивная логика, математическая логика, диалектическая логика.

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

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

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

Основоположником логики как науки, создателем формальной логики принято считать древнегреческого философа, античного ученого энциклопедического ума Аристотеля (384 – 322 гг. до н.э.). В книгах «Органона»: «Топика», «Аналитики», в «Герменевтике» и др. мыслитель разрабатывает важнейшие категории и законы мышления, создает теорию доказательства, формулирует систему дедуктивных умозаключений. Дедукция (лат.: выведение) позволяет выводить истинное знание о единичных явлениях, исходя из общих закономерностей. Аристотель впервые подвергает исследованию само мышление как активную субстанцию, форму познания и описывает условия, при которых оно адекватно отражает действительность. Логическую систему Аристотеля часто называют традиционной, поскольку в ней содержатся основные теоретические положения о формах, и приемах мыслительной деятельности. Учение Аристотеля включает в себя все основные разделы логики: понятие, суждение, умозаключение, законы логики, доказательство и опровержение. По глубине изложения и общезначимости проблематики его логику называют классической: пройдя испытания на истинность, она и сегодня сохраняет свою актуальность, оказывает мощное воздействие на научную традицию.

Развитие логического знания. Дальнейшим развитием античной логики стало учение философов-стоиков, которые вместе с философско-этической проблематикой логику считают «проистечением мирового логоса», его земной, человеческой формой. Стоики Зенон (333 – 262 гг. до н.э.), Хрисипп (ок.281 – 205 до н.э.) и др. дополняют логику системой высказываний (пропозиций) и выводов из них предложили схемы умозаключений на основе сложных суждений, обогатили категориальный аппарат и язык науки. К этому времени (3 в. До н.э.) относится возникновение самого термина «логика». Логическое знание преподносилось стоиками несколько шире классического воплощения. Оно соединило в себе учение о формах и операциях мышления, искусство ведения дискуссии (диалектика), мастерство публичных выступлений (риторика) и учение о языке.

В Новое время в период широкого распространения в Европе естественнонаучного знания (механика, география и т. Д.) возникают потребности в дополнении системы дедуктивных умозаключений принципами индуктивного мышления. Накопленный эмпирический, фактический материал, частные случаи из практики и жизни путем сравнений и обобщений оказалось возможным построить так, что они приведут к истинным суждениям общего характера. Знание о единичных вещах может «навести» (лат.: inductio) на мысль о наличии общих закономерностей их существования. Это свойство мышления как научную закономерность в противоположность схоластическим рассуждениям отметил в своем труде «Новый Органон или Истинные указания для истолкования природы» английский философ и естествоиспытатель Фрэнсис Бэкон (1561 – 1626). Он выступил, таким образом, родоначальником индуктивной логики

Специфику научного познания отразил в рационалистической методологии французский мыслитель Нового времени Рене Декарт (1596 – 1650). В «Рассуждении о методе, чтобы верно направлять свой разум и отыскивать истину в науках» и «Правилах для руководства ума» он формулирует важнейшие методы познания: аксиоматический, аналитический и синтетический, а также, в завершении познания, метод систематический. Высшей формой реализации рационалистической методологии, по Декарту, является математика. Логике отводится роль методологии познания, способной обнаружить пути обретения новых истин, приращения знания.

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

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

В ХIХ в. символическая логика становится наиболее привлекательной сферой логического знания. Среди наиболее известных представителей математической логики выделяется английский математик Д. Буль (1815 – 1864). В работах «Математический анализ логики» и «Исследование законов мышления» он закладывает основы алгебраических исчислений конкретных элементов (классов) как отношений (операций). Буль стремился перевести на язык знаков отношения между идеями, объектами и абстрактными системами. Булева алгебра – это решение логических задач путем использования трех операций: а) сложение классов (А U В), умножение классов (А ∩ В), и дополнение к классу (А′). Алгебра Буля была применима и в прикладных случаях, например, при интерпретациях конкретно-релейных схем, в исчислениях при программировании в ЭВМ и т.д.

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

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

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

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

В отличие от формальной, логика диалектическая своим предметом имеет исследование возникновения и развития фрагментов действительности, в том числе и логических форм и законов. Это – познание развивающегося мышления. В основе логики диалектической находится ряд принципов: а) принцип развития, б) принцип историзма, в) принцип всесторонности, г) принцип конкретности и др. Центральным понятием диалектической логики является диалектическое противоречие.

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

Новый этап в понимании диалектической логики связан с именами К. Маркса (1818 – 1883) и Ф. Энгельса (1820 – 1895). В работах Ф. Энгельса «Анти-Дюринг», «Диалектика природы», К. Маркса «Капитал» и др. толкование развивающихся форм основывается не на изначальности «саморазвивающегося понятия», а на обнаружении диалектических изменений в самом объективном (материальном) мире. Природа и общество, с их точки зрения, являются основанием для понимания законов диалектического мышления. В марксистской диалектике с материалистических позиций формулируются три важнейших закона диалектики (закон единства и борьбы противоположностей, закон взаимного превращения количественных и качественных изменений, закон отрицания отрицания), основные принципы и категории материалистической диалектики.

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

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

Задачи и упражнения

1. Пользуясь математической последовательностью действий, раскройте секрет угадывания чисел. Задумайте любое число, отнимите от него 1, результат умножьте на 2, из полученного произведения отнимите задуманное число и сообщите результат. Как отгадать задуманное товарищем число?

2. Как отмерить 6 литров воды, если имеются ёмкости 9 литров и 4 литра:

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

произношение, словесное оформление, изобретение, план, запоминание.

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

3. Язык логики

Ключевые слова: язык, семиотика, семантические категории, искусственный язык, термин.

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

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

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

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

Существует еще один тип отношений, без которого немыслимо ни построение языка, ни его практическая реализация. Это – семантическое отношение: отношение между знаками системы и обозначаемыми ими объектами, предметом и его именем (теория референции), отношение знаков и содержания ими замещаемого, смыслового выражения языка (теория смысла). Этот раздел называется семантикой. Семантические категории обозначают такой класс языковых смыслов и референций, который сохраняет свою осмысленность при замене одного знака другим. Например, высказывание 3 + 2 = 5 остается осмысленным при замене знака «2» на знак «3», или, скажем, если знак «+» заменить на знак «-». Теряя при этом истинность, оно останется семантически определенным. В языке традиционной логики существует три общих класса семантических категорий: имя, функтор, высказывание.

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

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

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

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

а) простые и сложные (описательные): например, соответственно - земля и столица Республики Беларусь);

б) единичные (собственные) и общие (например, соответственно - Василь Быков и закон).

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

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

Выражение, служащее в высказывании средством образования новых осмысленных высказываний, называется функтором. Функтор не является ни именем, ни высказыванием. Это – служебное языковое образование, посредством которого так называемые аргументы образуют новое высказывание. Например, Если а = в, то 2а = 2в, 2 + 3 = 5. В этих примерах функторами выступают знаки математических связей: «=» и «+». Функторы бывают одноаргументными (Лес зазеленел), двухаргументными («Подлость опаснее лжи», 3 + 4 и т.д.). В традиционной логике двухаргументные функторы часто называют логическими союзами (логическими связками).

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

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

Пропозициональная функция выражает собой форму высказывания, в которой при подстановке вместо переменных соответствующих значений образуется семантически определенное высказывание. Например, х больше у, х открыл закон прибавочной стоимости. Пропозициональная функция, аргументы которой – имена, называется предикатом. Например, R является президентом фирмы. Предикат, обозначающий свойство предмета и имеющий одну переменную – имя, называется одноместным предикатом (А обозначает качество). Двух (n - местные) предикаты, располагая двумя и более количеством переменных обозначают отношения между именами – переменными: «а любит в», «а находится между в и с» и пр.

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

Обобщая общепринятую и чаще всего используемую логическую терминологию, следует ее запечатлеть в формализованном виде:

1) имя - А, В, С и т.д.;

2) функторы (логические константы) –

Ú - «или»;

® - «если, то»;

« - «тогда и только тогда, когда»;

ù , ¯¯¯ - «неверно, что»;

- «необходимо» ;

à - «возможно»,

3) предметные переменные – а, в, с;

4) пропозициональные переменные – p, q, r, s;

5) именная функция - а (х);

6) пропозициональная функция - х Р(х);

7) предикатор - P, Q, R; одноместный предикат - Р (х): (х имеет свойство Р); двухместный предикат Р (х; у): (х и у имеют отношение к Р);

8) скобки - (;);

9) квантор общности - " х (для всякого х верно, что…);

10) квантор существования - $ х (существует х, для которого верно, что…).

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

Задачи и упражнения

1. Вставьте пропущенные цифры и буквы в пустые квадраты, используя скрытые последовательности цифр и букв.

3. Составьте языковые выражения, отражающие:

а) отношение доказательства; б) отношение следования, в) осмысленное, но ложное высказывание; г) именную функцию; д) квантификацию существования.

4. Проведите сравнительную характеристику формализованного и естественного языков логики.

5. Преобразуйте пропозициональные и именные функции в истинные высказывания: а) х причина у; б) х – простое число; в) А – город в Беларуси; г) Х – автор романа «У»; д) между а и в расположено с; е) если р то q.

4. Формы и законы мышления

Ключевые слова: форма мысли, логический закон, логическое следование.

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

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

Форма мышления, устанавливающая качественные и количественные отношения между предметами мысли и фиксирующая их в виде утверждений либо отрицаний называется суждением. Так, например, отношение человека к благам посредством производственной деятельности может быть выражено в суждении «Человек в процессе трудовой деятельности создает материальные и духовные блага». Суждения, различные по содержанию, по эмоционально-оценочным и прочим аспектам, всегда можно свести к единой унифицированной форме (структуре) мысли. Способ соединения всех его частей с точки зрения формальной логики будет одинаков. Если мы обозначим понятия, входящие в структуру суждения, знаками S (субъект мысли), т. е. то, о чем (о ком) идет рассуждение) и Р (предикат – констатация, выражение признаков либо свойств обозначенного субъекта (S)). Если способ их связи мы представим в виде логической связки «есть» (является, значит и т. п.), то получим логическую форму, общую для любых суждений: S - Р (Все S суть Р). К примеру, структура высказываний: «Всякий человек достоин счастья», «Река – водная артерия земли» и «Сумма углов треугольника равняется 180 градусам» в принципе одинакова, несмотря на их содержательную, смысловую полифонию. В них можно выделить S(человек, река, сумма углов треугольника), Р (достоин счастья, водная артерия земли, 180 градусов) и утвердительную логическую связку, в данных примерах подразумевающуюся, но лингвистически невыраженную.

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

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

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

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

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

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

Законы логики следует разделять на 1) формально-логические и 2) диалектические. Первые отражают формальную правильность рассуждений, вторые – закономерности объективно изменяющейся реальности. Формально-логические законы утверждают, что правильно построенная схема мыслей является необходимым условием для истинности выводов. В противном случае, если не соблюдается это правило, то ложный вывод (неистинное следствие) возможен даже из истинных суждений.

Основными формально-логическими законами считаются:

1. закон тождества: всякая мысль в процессе рассуждения должна быть тождественна самой себе. ((р → р): если р, то р). «Всякий человек – это человек», «Duralex, sedlex» (суров закон, но закон).

2. закон непротиворечия: из двух несовместимых друг с другом суждений одно является ложным.ù(р Ùùр): (неверно, что р и не-р). Т. е. не может быть одновременно ложными две мысли, если одна из них отрицает другую. Причем, речь идет об одном и том же предмете мыслимом в одно и то же время и в конкретном отношении. « Некоторые ученые хотят быть признанными» и «Некоторые ученые не хотят быть признанными».

3. закон исключенного третьего: истинно либо само высказывание, либо его отрицание: (р Úùр): (р или не-р). «Некоторые студенты первого курса связаны с экономической деятельностью. Ни один студент первого курса не связан с экономической деятельностью». Т. е. одновременно истинным не могут быть два противоречивых высказывания, одно из них обязательно ложно. Третьего варианта не дано. Снег бел, либо не бел.

4. закон достаточного основания: мысль является истинной, если она имеет достаточное для этого основание. (р → q); (р есть потому, что есть q). Доказанность мысли наступает лишь тогда, когда она опирается на обоснованные, существенные, основополагающие аргументы. Вот один из примеров: «Для того чтобы треугольник был равносторонним необходимо и достаточно, чтобы все его углы были равны».

Законы мышления – это проявление так называемого логического следования. Логическим следованием называется мыслительное отношение, которое существует между посылками (суждениями) и выводимыми из них заключениями (выводами). Логическое следование выступает своеобразной моделью построения мысли по принципу: когда из нашего высказывания р логически следует высказывание q и это высказывание истинно как р → q, то на этом основании новое высказывание ùq → ùp также будет истинным. То есть, истинность высказывания р → q, гарантирует истинность высказывания ùq → ùр. Основным принципом логического следования является утверждение о том, что правильность более общей схемы гарантирует правильность менее общей схемы, но не наоборот.

Задачи и упражнения

1. Приведите примеры основных логических форм мышления из выбранной вами профессиональной деятельности:

а) понятие; б) суждение; в) умозаключение.

2. Являются ли следующие высказывания проявлением законов логики:

а) достаточного основания: «У человека повышена температура тела, следовательно, он заболел», «Данная мысль построена правильно, поэтому она истинна»;

б) исключенного третьего: «Все студенты изучают логику или ни один из студентов не изучает логику», «Постановление суда является законным или не является таковым»?

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

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

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

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

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

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

Предметом логики являются логические формы, операции с ними и законы мышления.

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

чувственное познание - с помощью органов чувств и приборов;

рациональное (ratio - разум) - познание с помощью абстрактного 1 мышления.

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

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

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

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

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

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

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

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

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

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

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

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

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

Всякий человек – смертен

Сократ - человек

Сократ – смертен 2 .

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

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

Например, исходя из суждений «Если шел дождь, то дорога будет мокрая» и «Шел дождь», можно с уверенностью сказать, что «Дорога будет мокрая». Но неправильно делать вывод: «Если шел " дождь, то дорога будет мокрая» и «Дорога мокрая», следовательно, «Шел дождь», так как дорогу могли просто полить. Неправильным будет рассуждение, когда из двух суждений «Если человек совершил кражу, то он совершил - преступление» и «Человек не совершил кражу» делается заключение «Человек не совершал преступление», так как человек мог совершить какое-либо другое преступление.

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

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

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