Логика в мышлении. Основные формы мышления. Формы мышления в психологии. Какие виды логического мышления бывают

Формы мышления. В психологической науке различают такие логические формы мышления, как:

суждения;

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

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

общими и единичными;

конкретными и абстрактными;

эмпирическими и теоретическими. (См. дополнительный иллюстративный материал.)

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

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

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

Суждения образуются двумя основными способами:

непосредственно, когда в них выражают то, что воспринимается;

опосредствованно - путем умозаключений или рассуждений. (См. дополнительный иллюстративный материал.)

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

Суждения могут быть:

истинными;

частными;

единичными.

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

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

индуктивное;

дедуктивное;

по аналогии.

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

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

сравнение;

абстрагирование;

обобщение;

классификация;

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

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

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

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

общие как сходные признаки;

общие как существенные признаки.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Индуктивное умозаключение – это суждения, в котором на основании конкретного, частичного делается обобщение (например: “Серебро, железо, медь – металлы; серебро, железо, медь при нагревании расширяются: итак, металлы при нагревании расширяются”).

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

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

Исследование мышления

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

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

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

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

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

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

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

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

К параметрам, формирующим отличительные особенности интеллектуальной системы человека относят:

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

многоуровневую (6 слоев нейронов) иерархию системного отбора ценной информации,

сознание,

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

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

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

Процесс создания образов воображения

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

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

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

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

Виды воображения

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

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

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

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

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

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

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

Источники информации.

Основная литература:

Гамезо М.В., Домашенко И.А. Атлас по психологии. – М., 2001.

Введение в психологию / Под общ. ред. проф. Петровского А.В. – М., Изд. Центр “Академия”, 1996.

Крутецкий А.В. Психология. – М., Просвещение, 1986.

Максименко С.Д. Общая психология. – М.- К., 2004.

Практическая психодиагностика. Методики и тесты / Сост. Д.Я. Райгородский. – Самара, 2002.

Психические состояния / Сост. и ред. Л.В. Куликова. – СПб., 2001.

Психология внимания / Под ред. Ю.Б. Гиппенрейтер. – М., 2001.

Психология ощущений и восприятия / Под ред. Ю.Б. Гиппенрейтер. – М., 2002.

Психология памяти / Под ред. Ю.Б. Гиппенрейтер. – М., 2002.

Психология мотивации и эмоций / Под ред. Ю.Б. Гиппенрейтер. – М., 2002.

Психология индивидуальных различий / Под ред. Ю.Б. Гиппенрейтер. – М., 2002.

Рубинштейн С.Л. Основы общей психологии. – М., Педагогика, 1989.

Дополнительная литература:

Бондарчук Е.И., Бондарчук Л.И. Основы психологии и педагогики: Курс лекций. – К., МАУП, 1999.

Головаха Е.И., Панина Н.В. Психология человеческого взаимопонимания. – К., 1989.

Джини Г. Скотт. Конфликты. Пути их решения. – К., 1991.

Климов Е. Общая психология. Общеобразовательный курс. – М.,1999.

Климов Е. Основы психологии. Практикум. Уч. пособие. – М., 1999.

Клиническая психология / Сост. и ред. Н.В. Тарабриной. – СПб, 2002.

Межличностное общение / Сост. и общ. ред. Н.В.Казариновой. – СПб., 2001.

Основы психологии: в помощь студентам-иностранцам: в 2-х ч., Ч.2. Практикум. /сост. Лазуренко Е.А. – К., 2005.

Практикум по общей психологии / Под ред. Щербакова А.И. – М., Просвещение, 1990.

Практикум по общей и медицинской психологии / Под общ. ред. проф. В.П. Блохиной. – Киев, 1990 г.

Практикум по общей, экспериментальной и прикладной психологии / Под ред. А.А. Крылова. – СПб., 2003.

Психология (словарь) /Под ред. Петровского, Ярошевского. – М., 1990.

Психология и психоанализ характера. Хрестоматия по психологии и типологии характеров./ Сост. Д.Я. Райгородский. – Самара, 1997.

Психология человека от рождения до смерти./ Под ред. А.А. Реана. – СПб., 2002.

Хьелл Л., Зиглер Д. Теории личности. – СПб.: Питер, 1997.

Ярошевский М.Г. История психологии. – М., 1985.

Утверждено на заседании кафедры

«____»_____________ 201__г. Протокол № ________

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

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

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

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

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

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

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

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

Индийская логика

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

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

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

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

Школа навья-ньяя («новая ньяя», «новая логика») была основана в XIII веке Ганешей Упадхьяей из Митилы, автора «Таттвачинтамами» («Сокровище мысли о реальности»). Впрочем, он и опирался на работы своих предшественников X века.

Европейская и ближневосточная логика

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

Логика античности

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

После Аристотеля в Древней Греции логика также разрабатывалась представителями школы стоиков. Большой вклад в развитие этой науки внесли оратор Цицерон и древнеримский теоретик ораторского искусства Квинтилиан.

Логика в Средневековье

По мере приближения к Средним векам логика получала более широкое распространение. Её начали разрабатывать арабоязычные исследователи, например, Аль-Фараби (ок. 870-950 гг.). Средневековая логика называется схоластической, а её расцвет в XIV веке связывают с именами учёныхУильяма Оккама, Альберта Саксонского и Уолтера Берли.

Логика в эпоху Возрождения и в Новое время

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

Френсис Бэкон в 1620 году опубликовывает свой «Новый органон», содержащий основы индуктивных методов, усовершенствованных позднееДжоном Стюартом Миллем и получивших название методов установления причинных связей между явлениями Бэкона-Милля. Суть Индукции(Обобщения) в том, что знания нужно возводить в принципы. Также необходимо искать причину своих ошибок.

В 1662 году в Париже издан учебник «Логика Пор-Рояля», авторами которого являются П. Николь и А. Арно, создавшие логическое учение на основе методологических принципов Рене Декарта.

Современная логика

В конце XIX - начале XX веков были заложены основы т. н. математической, или символической, логики. Её суть заключается в том, что для обнаружения истинностного значения выражений естественного языка можно применять математические методы. Именно использование символической логики отличает современную логическую науку от традиционной.

Огромный вклад в развитие символической логики внесли такие учёные, как Дж. Буль, О. де Морган, Г. Фреге, Ч. Пирс и др. В XX векематематическая логика оформилась в качестве самостоятельной дисциплины в рамках логической науки.

Начало XX века ознаменовалось становлением идей неклассической логики, многие важные положения которой были предвосхищены и/или заложены Н. А. Васильевым и И. Е. Орловым.

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

В 80-х годах XX века начались исследования в области искусственного на базе языков и систем логического программирования. Началось и создание экспертных систем с использованием и развитием автоматического доказательства теорем, а также методов доказательного программирования для верификации алгоритмов и программ для ЭВМ.

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

Основные понятия науки логики

Традиционная логика

Дедуктивное и индуктивное рассуждение в традиционной логике

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

Силлогистика

• Силлогизм
• Силлогистические теории

Классическая математическая логика

Аппарат математической логики

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

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

Важную роль в математической логике играют понятия дедуктивной теории и исчисления. Исчислением называется совокупность правил вывода, позволяющих считать некоторые формулы выводимыми. Правила вывода подразделяются на два класса. Одни из них непосредственно квалифицируют некоторые формулы как выводимые. Такие правила вывода принято называть аксиомами. Другие же позволяют считать выводимыми формулы A , синтаксически связанные некоторым заранее определённым способом с конечными наборами выводимых формул. Широко применяемым правилом второго типа является правило modus ponens: если выводимы формулы A и , то выводима и формула B .

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

Математическая логика изучает логические связи и отношения лежащие в основе логического (дедуктивного) вывода с использованием языка математики.

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

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

Пропозициональная логика

• (Пропозициональная логика)

Логика предикатов

• Логика кванторов
• Логика первого порядка
• Логика второго порядка

Исчисления и логические методы

• Разрешимость,
• Семантическое древо
• Таблицы Бета
• Аксиоматика
• Натуральный вывод
• Секвенция (логика)

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

• Алгебраические семантики
• Теоретико-множественные семантики
• Реляционные семантики возможных миров
• Проблема содержательности семантик логических систем
• Категорная семантика
• Теория семантических категорий

Законы логики

• Закон тождества
• Закон исключённого третьего
• Закон противоречия
• Закон достаточного основания
• Законы де Моргана
• Законы дедуктивных умозаключений
• Закон Клавия
• Законы деления

Теория моделей

Раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория моделей получила в работахТарского, Мальцева и Робинсона.

Теория доказательств

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

Теории логического вывода

• Теории логического вывода (теория логического вывода)
• Теории следования (теория следования)
• Теории импликаций (теория импликаций)
• Материальная импликация

Неклассические логики

Логики с неклассическим пониманием следования

• Релевантная логика
• Паранепротиворечивая логика
• Немонотонные логики
  • Динамическая логика

Логики, отменяющие закон исключённого третьего

• Интуиционистская логика
• Конструктивная логика
• Логика квантовой механики (Квантовая логика)

Логики, меняющие таблицы истинности

• Многозначная логика
• Двузначная логика
• Трёхзначная логика

Логики, расширяющие состав высказывания

• Логика вопросов
• Логика оценок
• Логика норм

Модальная логика

• Модальность
• Алетические модальности (алетическая модальность, алетическая модальная логика, алетические модальные логики)
• Деонтические модальности (деонтическая модальность, деонтическая модальная логика, деонтические модальные логики)
• Эпистемологические модальности (эпистемологическая модальность, эпистемологическая модальная логика, эпистемологические модальные логики)
• Временные модальности (временная модальность, временные модальные логики, временная модальная логика)

• Строгая импликация
• Материальная импликация

Недедуктивные логические теории

• Индуктивная логика
• Вероятностная логика
• Логика решений
• Логика нечётких понятий (логика нечётких множеств, нечёткая логика)
• Аналогия (умозаключение по аналогии).

Другие неклассические логики

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

Приложения логики

Прикладные проблемы логики и логической семантики

• Приложения логики в философии
• Приложения логики в теологии
• Приложения логики в правовых науках
• Приложения логики в других дисциплинах

Приложения логики в анализе познавательных процедур

Логический анализ форм и приёмов познания

• Формы мышления
• Определение
• Классификация
• Абстракция
• Идеализация
• Аксиоматизация
• Формализация
• Логические проблемы аргументации
• Логика доказательств

Приложения логики в методологии науки

• Методология науки
• Логика науки
• Логика и эмпиризм

Приложения логики в философии

• Приложения логики в философии
• Приложения логики в онтологии
• Приложения логики в эпистемологии
• Приложения логики в этике
• Логические проблемы аргументации (теория аргументации)
• Аналитическая философия

Приложения логики в психологии

• Когнитивная наука
• Когнитивная психология
• Логика открытий

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

Приложения логики в лингвистике

• Логический анализ языка
• Аналитическая философия

Приложения логики в компьютерных науках

• Динамические логики (динамическая логика)
• Логики программ (логика программ)
• Логика экспертных систем (логики экспертных систем)
• Логика в информатике
• Доказательное программирование
• Автоматическое доказательство теорем
• Логическое программирование

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

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

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

Какие виды логического мышления бывают?

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

Выделяют следующие основные виды логического мышления:

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

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

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

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

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

Логические мыслительные операции

Логические мыслительные операции состоят из:

• сравнения,
• абстракции,
• обобщения,
• конкретизации,
• анализа,
• синтеза.

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

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

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

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

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

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

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

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

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

1. Подбирать необходимый метод решения проблемы;
2. Быстрее мыслить;
3. Качественно излагать свои мысли;
4. Избегать самообмана;
5. Находить и корректировать ошибки других людей в их умозаключениях;
6. Подбирать необходимые аргументы для убеждения собеседника в своей правоте.

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

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

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

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

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

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

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

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