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) логика как методология (неокантианство) и логистика, которая находится в центре споров о логике.

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

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

Общая характеристика

Итак, что такое логика? Определение логики очень многогранно. В переводе с греческого она означает «мысль», «разум», «слово» и «закономерность». В современной интерпретации данное понятие используется в трех случаях:

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

Задачи логики

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

Неформальная логика

Главным образом логику классифицируют на:

1. Неформальную.
2. Формальную.
3. Символическую.
4. Диалектическую.

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

Формальная и символическая логика

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

Диалектическая логика

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

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

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

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

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

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

1. Чувственное познание. Осуществляется с помощью органов чувств или приборов.
2. Рациональное познание. Осуществляется с помощью абстрактного мышления.

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

Чувственное познание

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

1. Ощущение . Отражает отдельные свойства предмета.
2. Восприятие . Отражает предмет в целом, представляет собой его целостный образ.
3. Представление . Это образ предмета, сохранившийся в памяти.

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

Рациональное познание

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

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

Понятие

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

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

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

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

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

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

Суждение

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

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

Умозаключения

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

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

Заключение

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

Логика. Учебное пособие Гусев Дмитрий Алексеевич

Введение, Или что такое логика и зачем она нужна?

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

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

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

Для пояснения этой мысли приведем простой пример. Рассмотрим три совершенно различных по содержанию высказывания:

1. Все караси – это рыбы;

2. Все треугольники – это геометрические фигуры;

3. Все стулья – это предметы мебели.

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

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

1. Если наступает осень, то опадают листья;

2. Если завтра будет дождь, то на улице будут стоять лужи;

3. Если вещество – металл, то оно электропроводно.

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

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

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

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

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

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

Все планеты движутся.

Юпитер – это планета.

Юпитер движется.

Железо электропроводно.

Медь электропроводна.

Ртуть электропроводна.

Железо, медь, ртуть – это металлы.

Все металлы электропроводны.

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

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

1. Закон тождества.

2. Закон противоречия.

3. Закон исключенного третьего.

4. Закон достаточного основания.

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

Итак, логика – это наука о формах и законах правильного мышления.

Логика появилась приблизительно в V в. до н. э. в Древней Греции. Ее создателем считается знаменитый древнегреческий философ и ученый Аристотель (384–322 гг. до н. э.). Как видим, логике 2,5 тысячи лет, однако она до сих пор сохраняет свое практическое значение. Многие науки и искусства Древнего мира навсегда ушли в прошлое и представляют для нас только «музейное» значение, интересны нам исключительно как памятники старины. Но некоторые немногие создания древних пережили века, и в настоящее время мы продолжаем ими пользоваться. К их числу относится геометрия Евклида (в школе мы изучаем именно ее) и логика Аристотеля, которая также часто называется традиционной логикой.

В XIX веке появилась и стала быстро развиваться символическая или математическая, или современная логика , в основе которой лежат идеи, выдвинутые задолго до Х1Х в. немецким математиком и философом Готфридом Лейбницем (1646–1716 гг.), об осуществлении полного перехода к идеальной (т. е. совершенно освобожденной от содержания) логической форме при помощи универсального символического языка, аналогичного языку алгебры. Лейбниц говорил о возможности представить доказательство как математическое вычисление. Ирландский логик и математик Джордж Буль (1815–1864 гг.) истолковал умозаключение как результат решения логических равенств, в результате чего теория умозаключений приняла вид своеобразной алгебры, отличающейся от обычной алгебры лишь отсутствием численных коэффициентов и степеней. Таким образом, одно из основных отличий символической логики от традиционной заключается в том, что в последней при описании правильного мышления используется обычный, или естественный язык; а символическая логика исследует тот же предмет (правильное мышление) с помощью построения искусственных, специальных, формализованных языков, или, как их еще называют, исчислений.

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

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

Движение вечно.

Хождение в школу – это движение.

Следовательно, хождение в школу вечно.

Каждый заметит, что ложный вывод получается из-за употребления слова «движение» в разных смыслах (в первом исходном суждении оно употребляется в широком, философском смысле, а во втором – в узком, механическом смысле). Однако найти ошибку в рассуждении не всегда просто. Рассмотрим такой пример:

Все мои друзья знают английский язык.

Нынешний президент Америки тоже знает английский язык.

Следовательно, нынешний президент Америки – мой друг.

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

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

Петербург не находится за полярным кругом.

Следовательно, в Петербурге не бывает белых ночей.

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

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

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

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

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

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

Наконец, в повседневной жизни каждый из нас часто слышит и сам употребляет такие выражения, как: Почему я должен тебе верить? Чем ты это докажешь? На каком основании? Обоснуй! Мотивируй! и т. п. Когда мы так говорим, то используем логический закон достаточного основания. Тот, кто не изучал логику, скорее всего, не знаком с этим законом и ничего о нем не слышал. Однако, как видим, незнание данного логического закона не мешает нам практически, или интуитивно им пользоваться.

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

Отвечая на этот вопрос, можно отметить, что то же самое происходит с родным языком: практически мы начинаем им пользоваться в 2,5–3 года своей жизни, а изучать его начинаем только со школьного возраста. Для чего же мы изучаем родной язык в школе, если задолго до нее и так хорошо им владеем? В 2,5–3 года мы пользуемся языком интуитивно, или бессознательно: практически владея им, мы ничего не знаем не только о склонениях и спряжениях, но также – о словах и буквах и даже – о самом факте того, что в жизни мы постоянно используем язык. Обо всем этом мы узнаем только тогда, когда начинаем изучать его в школьном (или старшем дошкольном) возрасте, в результате чего наше интуитивное использование языка постепенно превращается в осознанное – мы начинаем владеть им намного лучше.

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

Из книги Ангелы страшатся автора Бейтсон Грегори

XVII. ИТАК, ЗАЧЕМ НУЖНА МЕТАФОРА? (МКБ) Эта книга заставила меня избегать вечеров с коктейлями, таких социальных мероприятий, когда дружелюбные незнакомцы, узнав, что я провожу время весной за работой над книгой, спрашивали бы меня о ее содержании. Сначала я бы рассказала им о

Из книги Философия науки и техники автора Стёпин Вячеслав Семенович

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

Из книги Философия: Учебник для вузов автора Миронов Владимир Васильевич

Введение: что такое философия?

Из книги Разговоры ученого с Учителем автора Зеличенко Александр

Разговор 5-й. О картине Мира -- для чего она нужна, что она такое и как на нее смотреть у. Учитель! В самом начале ты обещал показать мне идиллическую картину Мира, в которой любые, даже внешне непохожие идеи мирно сосуществуют. Кажется, я начал понимать, что это за картина. И

Из книги Основы философии автора Канке Виктор Андреевич

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

Из книги Введение в философию автора Фролов Иван

ВВЕДЕНИЕ: ЧТО ТАКОЕ ФИЛОСОФИЯ Философия - одна из древнейших областей знания, духовной культуры. Зародившись в VII–VI веках до н. э. в Индии, Китае, Древней Греции, она стала устойчивой формой сознания, интересовавшей людей все последующие века. Призванием философов

Из книги «Симпсоны» как философия автора Халвани Раджа

3. Зачем нужна Мэгги: Звуки тишины, восток и запад Эрик Бронсон Никто не принимал во внимание Мэгги Симпсон. Да и с чего бы вдруг? Тень подозрения падала на Смитерса - раболепного поклонника, которым слишком часто пренебрегали. Еще больше можно было подозревать Гомера

Из книги Избранное. Логика мифа автора Голосовкер Яков Эммануилович

Из книги По законам логики автора Ивин Александр Архипович

Глава 2 ЧТО ТАКОЕ ЛОГИКА? «ПРИНУДИТЕЛЬНАЯ СИЛА НАШИХ РЕЧЕЙ…» В рассказе Л. Толстого «Смерть Ивана Ильича» есть эпизод, имеющий прямое отношение к логике.Иван Ильич видел, что он умирает, и был в постоянном отчаянии. В мучительных поисках какого-нибудь просвета он

Из книги «Я почему-то должен рассказать о том...»: Избранное автора Гершельман Карл Карлович

Из книги Новый ум короля [О компьютерах, мышлении и законах физики] автора Пенроуз Роджер

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

Из книги Адвокат философии автора Варава Владимир

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

Из книги Занимательная философия [Учебное пособие] автора Балашов Лев Евдокимович

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

Из книги Популярная философия. Учебное пособие автора Гусев Дмитрий Алексеевич

К разделу «Введение. Что такое философия?» 1. Что я знаю о философии, философах и что я о них думаю?Эта задача предлагается для письменной студенческой работы на первом семинарском занятии по философии. На написание работы отводится не более 20-и минут. Возможен вариант

Из книги автора

Тема 1. Что такое философия и зачем она нужна? 1. «Наука обо всем»2. «Я не мудрец, но только философ»3. Философия и философоведение4. «Азбука»

Из книги автора

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

ЛОГИКА

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

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

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

В логической семантике язык и логические теории изучаются с содержательной их стороны; Так как ЯЗЫКОВЫЕ конструкции не только обозначают, но и нечто описывают (имеют ), в логической семантике различают теорию значения и теорию смысла. В первой решается вопрос, какие объекты обозначают знаки и как именно они это делают. Аналогично в теории смысла решается вопрос о том, что является смысловым содержанием языковых выражений и каким образом они описывают это содержание.

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

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

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

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

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

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

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

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

Еще одно важное членение логических теорий связано с использованием для представления логического знания языков с различной категориальной сеткой. В этой связи можно говорить о теориях, построенных на языках фреге-расселовского типа (многочисленные варианты исчисления предикатов), силлогистического (разнообразные силлогистики, а также Лесневского, являющаяся современной формой сингулярной силлогистики) или алгебраического (различные алгебры логики и алгебры классов - Булева алгебра, алгебра Жегалклна, алгебра де Моргана, алгебра Хао Вана и др.). Для многих теорий, построенных на языках с различной категориальной сеткой, показана их взаимная переводимость. В последнее время в логических исследованиях начинает активно использоваться теоретико-категорный язык, основанный на новом математическом аппарате - теории категорий.

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

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

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

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

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

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

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

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

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

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

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

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

Сводная энциклопедия афоризмов

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

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

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

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

Что такое логическое мышление?

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

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

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

Теперь мы можем дать определение самому логическому мышлению.

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

Также выделяют несколько видов логического мышления, перечислим их, начиная с самого простого:

Образно-логическое мышление

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

Чтобы понять, насколько у вас развит этот вид мышления, предлагаем вам пройти Тест на IQ «Прогрессивные матрицы Равена»

Тест Равена - это шкала прогрессивных матриц для оценки коэффициента интеллекта и уровня умственных способностей, а также логичности мышления, разработанная в 1936 году Джоном Равеном в соавторстве с Роджером Пенроузом. Данный тест может дать максимально объективную оценку IQ тестируемых людей, независимо от их уровня образования, социального сословия, рода деятельности, языковых и культурных особенностей. То есть можно с большой вероятностью утверждать, что данные, полученные в результате данного теста у двух людей из разных точек мира будут одинаково оценивать их IQ. Объективность оценки обеспечивается тем фактом, что основу этого теста составляют исключительно изображения фигур, а поскольку матрицы Равена относятся к числу невербальных тестов интеллекта, его задания не содержат текста.

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

Абстрактно-логическое мышление

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

Словесно-логическое мышление

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

Применение логики

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

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

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

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

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

1. Знание теоретических основ логики.
2. Умение правильно совершать такие мыслительные операции, как: классификация, конкретизация, обобщение, сравнение, аналогия и другие.
3. Уверенное использование ключевых форм мышления: понятие, суждение, умозаключение.
4. Способность аргументировать свои мысли в соответствии с законами логики.
5. Навык быстро и эффективно решать сложные логические задачи (как учебные, так и прикладные).

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

Как этому научиться?

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

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

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

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

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

Уроки логики

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

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

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

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

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

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

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

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

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

Как проходить занятия?

Сами уроки со всеми упражнениями можно пройти за 1-3 недели, усвоив теоретический материал и немного попрактиковавшись. Но для развития логического мышления важно заниматься системно, много читать и постоянно тренироваться.

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

Дополнительный материал

Помимо уроков в данном разделе мы постарались подобрать много полезного материала по рассматриваемой тематике:

• Логические задачи;
• Тесты на логическое мышление;
• Логические игры;
• Самые умные люди России и мира;
• Видеоуроки и мастерклассы.

А также книги и учебники, статьи, цитаты, вспомогательные тренинги.

Книги и учебники по логике

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

• «Прикладная логика». Николай Николаевич Непейвода;
• «Учебник логики». Георгий Иванович Челпанов;
• «Логика: конспект лекций». Дмитрий Шадрин;
• «Логика. Учебный курс» (учебно-методический комплекс). Дмитрий Алексеевич Гусев;
• «Логика для юристов» (сборник задач). А.Д. Гетманова;