Логика является. Объект и предмет логики. Логика и язык. Операции над понятиями

Значение термина «логика» слишком размылось в повседневной речевой практике, а ведь на деле логика - одна из старейших наук. Долгое время она воспринималась как инструмент для правильного научного познания. Корпус посвященных логике работ Аристотеля - создателя первой логической теории - называли термином «органон» («инструмент» на древнегреческом).

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

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

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

Чем занимается логика как наука

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

Как логика смотрит на обобщения

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

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

Если сегодня 20-е число, а вы достаете одну бутылку и видите, что оно было произведено 18-го, то достаете другую бутылку - и опять 18-е. «Наверное, на второй полке может быть посвежее», - и вы берете бутылку со второй полки - 17-е число, еще одну - 17-е, еще - 18-е. Потом вы протягиваете руку вглубь полки и достаете еще одну бутылку, и она тоже произведена 18-го числа. После этого вы, скорее всего, сделаете вывод, что молоко, которое произвели 18-го числа - это самое свежее молоко из представленных и пойдете на кассу с ним.

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


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

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

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

Главные правила логики

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

Есть ряд дедуктивных рассуждений, которые просто необходимо усвоить.

1. Условно-категорические умозаключения

Modus ponens. Такое рассуждение имеет следующую структуру:

«если А , то B »;

«А » значит «B ».

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

«если сборная России выиграет у Испании, то я сделаю татуировку»;

«сборная России выиграла у Испании» - значит «я сделаю татуировку».

Modus tollens. Это рассуждение выглядит так:

«если А , то B »;

«не-B » значит «не-А ».

Опять переведем:

«если сборная России выиграет у Испании, то я сделаю татуировку»,

«я не сделал татуировку» - значит «сборная России не выиграла у Испании».

Оно может выглядеть и немного по-другому: «если А , то B » - значит «если не-B , то не-А ». В таком виде его называют «контрапозицией».


Вот для примера на недавнем Международном экономическом форуме в Санкт-Петербурге во время панельной дискуссии Алексей Кудрин использовал упомянутый modus tollens для демонстрации того, что антироссийские санкции - один из существенных факторов, влияющих на темп экономического роста российской экономики, притом что правительство ставит достаточно амбициозные задачи по его увеличению. Кудрин замечает: «Сейчас после последней волны санкций их влияние увеличилось примерно до 0,5 % ВВП. Здесь мы тоже должны видеть, что наши задачи и планы уменьшаются вот такими внешнеполитическими рисками». В рамках этой реплики можно реконструировать пресловутую «контрапозицию», благодаря которой Кудрин пришел к такому мнению: если экономические санкции применяются в отношении к России, то рост ее экономики снижается; следовательно, если экономическая политика направлена на увеличение экономического роста, то экономические санкции не должны применяться в отношении к России. И правильно сделал!

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

«если А, то B»; «B», следовательно, «А». И «если А, то B»; «не-А», следовательно, «не-B».

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

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

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

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

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

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

2. Сведение к абсурду и рассуждение «от противного»

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

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

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

Люди частенько используют эти две техники рассуждения. Рассмотрим например метод «от противного».


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

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

Как изучить логику

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

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

  1. Бочаров В.А., Маркин В.И. Введение в логику. М., 2011.
  2. Бочаров В.А., Маркин В.И. Основы логики. М., 2008.
  3. Войшвилло Е.К. Понятие как форма мышления. М., 1989.

Что касается интернет-ресурсов, то здесь тоже надо быть избирательными, однако есть и очень ценные экспонаты. Серия видеороликов, созданных силами БФУ им. И. Канта совместно со специалистами из других российских научных и учебных центров:

  1. Серия бесед двух профессоров логики - Д. В. Зайцева (МГУ) и И. Б. Микиртумова (СПбГУ).
  2. Серия бесед двух специалистов по теории аргументации - Д. В. Зайцева (МГУ) и Д. В. Хизанишвили (БФУ).

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

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

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

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

(9 голосов : 5.0 из 5 )
  • Толковый словарь В.И. Даля
  • Питер Крифт
  • А.А. Волков
  • проф.
  • архим.
  • В.Ю. Питанов

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

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

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

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

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

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

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

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

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

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

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

Логика – это наука о мышлении. Основатель науки Аристотель.

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

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

Предмет логики – человеческое мышление. Сам термин «мышление» является достаточно широким и не дает возможности определить специфику логики по отношению к другим наукам.

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

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

2) формальная логика применяется в науке и технике.

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

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

2. Формы мышления

Формами мышления явл : понятие, суждение, умозаключение.

Мышление начинается с форм чувственного познания мира – ощущения, восприятие, представление.

Мышление – это высшее по отношению к чувственной форме отражение бытия.

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

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

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

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. Избегать самообмана;
  5. Находить и корректировать ошибки других людей в их умозаключениях;
  6. Подбирать необходимые аргументы для убеждения собеседника в своей правоте.

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

Можно ли научиться логическому мышлению?

Ученые выделяют несколько аспектов, способствующих овладеть основными понятиями логики:

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

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

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

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

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