какие виды логики бывают
Что такое логика и зачем она нужна?
Логика – это наука, изучающая методы и способы правильного мышления и понимания реального мира. Она представляет собой закономерные, последовательные мыслительные процессы, с помощью которых можно увидеть и определить причинно-следственную связь, возникающую между предметами и явлениями.
Логическое мышление необходимо нам для того, чтобы вовремя проанализировать и применить ранее полученную информацию. Оно помогает нам для решения различных задач (начиная от составления кратчайшего пути до дома и до разработки масштабного бизнес-плана). Логическое мышление позволяет отделять главное от второстепенного, находить взаимосвязи и полностью анализировать ситуацию.
Благодаря логике мы можем давать обоснование разным явлениям, осознанно подходить к решению важных проблем и грамотно делиться своими мыслями.
Какие виды логического мышления бывают?
Мышление – процесс обработки полученной информации, которая поступает из внешнего мира. При получении любой информации человек способен представить ее в виде некого образа, представить предмет, когда его нет рядом.
Выделяют следующие основные виды логического мышления:
Понятие объединяет одно или несколько однородных предметов, разделяя их по существенным признакам. Такую форму мышления нужно развивать у детей в раннем возрасте, давая определения всем предметам и растолковывая их значение.
Суждение может быть как простым, так и сложным. Это может быть утверждением какого-то предмета или отрицанием его взаимосвязи с другими предметами. Примером простого суждения служат простые фразы: «Маша любит кашу», «Мама любит Аню», «Кошка мяукает» и т.д. Именно так рассуждают малыши, когда начинают познавать окружающий мир.
Умозаключение представляет собой логический анализ происходящего, который основывается из нескольких суждений.
Каждый человек может самостоятельно развивать логический тип мышления, решая специальные задачи, ребусы, кроссворды, головоломки.
Логические мыслительные операции
Логические мыслительные операции состоят из:
Путем сравнения мы можем понять причину нашей неудачи и впоследствии уделить должное внимание этой проблеме и условиям, при которых она была создана.
Процесс абстрагирования позволяет отвлечь внимание одного предмета от других тесно взаимосвязанных предметов. Абстракция дает возможность увидеть предмет, определить его сущность и дать собственное определение этому предмету. Абстракция относится к умственной деятельности человека. Она позволяет осмыслить явление, затрагивая его наиболее существенные характерные черты. Абстрагируясь от проблем, человек познает истину.
Обобщение позволяет объединять схожие предметы и явления по общим признакам. Обычно обобщение используется для подведения итогов или составления правил.
Такой мыслительный процесс как конкретизация совершенно противоположна обобщению. Она служит для правильного осознания действительности, не позволяя мышлению оторваться от реального восприятия явлений. Конкретизация не позволяет нашим знаниям приобретать абстрактные образы, которые в действительности становятся бесполезными.
Наш мозг каждый день использует анализ для детального разделения на части необходимого для нас предмета или явления. Анализируя явление или предмет, мы можем выделить самые необходимые его элементы, которые в дальнейшем помогут нам совершенствовать свои навыки и знания.
Синтез же напротив, позволяет из мелких деталей составить общую картину происходящего. С его помощью можно сопоставить происходящие события, перебирая несколько отдельных фактов. Примером синтеза выступают пазлы. Собирая мозаику, мы представляем ту или другую ее часть, откладывая при этом лишнее и присоединяя необходимое.
Применение логики
Логическое мышление применяется практически в каждой области человеческой деятельности (гуманитарные науки, экономика, риторика, творческая деятельность и т.п.). К примеру, в математических науках или философии применяют строгую и формализованную логику. В других же сферах логика служит источником полезных знаний необходимых для получения обоснованного вывода всей ситуации в целом.
Человек старается применять логические навыки на подсознательном уровне. Кто-то с этим справляется лучше, кто-то хуже. Но в любом случае используя нашу логику нам необходимо знать, что мы можем делать с ее помощью:
Для того чтобы разработать у себя правильное логическое мышление необходимо не только стремление, но и систематическое обучение основных составляющих данного вопроса.
Можно ли научиться логическому мышлению?
Ученые выделяют несколько аспектов, способствующих овладеть основными понятиями логики:
Логическое мышление должно строиться последовательно, на основе доводов и событий, которые помогают делать правильные выводы и принимать важные решения. У человека с хорошо развитым логическим мышлением не возникает проблем в решении серьезных вопросов, которые требуют быстрой реакции и аналитической деятельности.
Необходимо развивать эту способность еще в детском возрасте, но благодаря длительным тренировкам взрослые тоже могут овладеть навыками логического мышления.
В современной психологии существует большое количество упражнений, способных развить в человеке наблюдательность, мышление, интеллектуальные способности. Одним из действенных упражнений является «Логичность».
Основная идея упражнения – правильное определение взаимосвязи между суждениями и логичен ли составленный вывод. Например: «Все кошки умеют мяукать. Васька – кот, значит, он умеет мяукать» – данное утверждение логично. «Вишня красная. Помидор тоже красный, значит он – фрукт». В этом умозаключении допущена явная ошибка. Каждое упражнение позволяет выстраивать для себя логическую цепочку, которая позволит принять единственное верное решение.
Логика
Из Википедии — свободной энциклопедии
Ло́гика (др.-греч. λογική — «наука о правильном мышлении», «способность к рассуждению» от др.-греч. λόγος — «логос», «рассуждение», «мысль», «разум», «смысл») — нормативная наука о законах, формах и приёмах интеллектуальной деятельности. [1]
Логика, как наука, возникла в недрах древнегреческой философии. Далее в течение почти двух с половиной тысячелетий до второй половины XIX века логика изучалась как часть философии и риторики. Начало современной логики, построенной в форме исчисления, положил Г. Фреге в сочинении «Begriffsschrift» («Запись в понятиях», в другом переводе — «Исчисление в понятиях», 1879). [2]
Основная сущность логики, её цель и функция всегда оставались неизменными: исследование того, как из одних утверждений можно выводить другие. При этом рассматриваются только такие выводы, которые зависят только от способа связи и строения входящих в вывод утверждений, а не их конкретного содержания. Изучая, как одни мысли следуют из других, логика выявляет наиболее общие формальные условия правильного мышления. При этом сфера конкретных интересов логики в выявлении условий формального вывода на протяжении её истории существенно менялась.
Кроме главного значения, как науки, изучающей законы мышления со стороны формы мыслей, а не их содержания, слово «логика» обладает также близкими, но более специализированными значениями «внутренняя закономерность, присущая тем или иным явлениям» или «правильный, разумный ход рассуждений». [3] В частности, этим словом может называться следующее:
Логика: предикатная, формальная и сентенциальная. Кванторы и создание информатики
1 | Введение
Логика, как эпистемологический инструмент, изобретена независимо в трёх отдельных государствах: Греции (Аристотелем), Китае (до правления Цинь Шихуанди) и Индии. В последних двух перечисленных государствах логика не распространилась настолько, чтобы «прижиться» и получить своё полноценное развитие. В античной же Греции произошло наоборот — логика сформировалась в своих основах столь определённо, что дополнилась только через 2 тысячелетия.
Значительные изменения в греческую логику, помимо Дж. Буля, О. де Моргана и Б. Рассела, внёс Готлоб Фреге — он придумал 2 вида кванторов. А также Курт Гёдель, открыв знаменитые две теоремы о неполноте, описывающие невозможность объединения множества доказуемых утверждений со множеством истинных. Он утверждал, что доказательства математики зависят от начальных предположений, а не фундаментальной истины, из которой происходят ответы. Одна из главных идей его работ состоит в том, что ни один набор аксиом, — в том числе математических, — не способен доказать свою непротиворечивость.
На этом этапе некоторые заметят влияние платонизма на австрийского логика. Верно, ведь Гёдель не раз заявлял о влиянии метафизики Платона на собственную деятельность. Но сам Платон развитию формальной логики способствовал лишь косвенно: в истории он вносит вклад в развитие другого направления — философской логики. Платоном созданы вопросы, на которых основывается вся западная философия вплоть до наших дней. Философия, в том виде, котором она известна, возникла только благодаря учителю Аристотеля.
Платон — учитель Аристотеля
В другие периоды в логику также вносили дополнения:
античной школой стоицизма введены термины «модальности», «материальной импликации», «оценки смысла и истины», которые являются задатками логики высказываний;
также средневековыми схоластами введены несколько понятий;
Но главное, что сами логические операции не изменились. «Органон» Аристотеля, как сборник из 6 книг — первоисточник, где подробно описаны главные логические законы. «Органон» (с древнегреческого ὄργανον), означает — инструмент. Аристотель считал, что логика является инструментом к познанию. Он объединяет методом получения информации такие науки:
Физика — наука о природе;
Метафизика — наука о природе природы;
Биология — раздел физики, наука о жизни;
Психология — раздел физики, наука о душе;
Кинематика — раздел физики, наука о движении;
2 | Терминология
У каждой из наук должен быть идентичный фундамент в способе получения гнозисов (знаний), который позволит упорядочить информацию и выводить новые силлогизмы (умозаключения). Только таким образом получится прогресс в познании истины. Без логики наука была бы похожа на коллекционирование фактов, т.к. информация бы не поддавалась анализу.
Сам Аристотель находит логике как средству убеждения иное применение: в риторике, спорах, дебатах, выступлениях и т. д., описывая это в своём труде «Риторика». В западной философии принято давать чёткие определения перед рассуждениями, поэтому определимся с терминами. Логика — наука о правильном мышлении.
В языковой зависимости возникают трудности трактовки термина «наука», но даже в оригинальном названии труда Фридриха Гегеля «Наука логики» — «Wissenschaft der Logik», употребляется слово «наука» (Wissenschaft). Поэтому придём к консенсусу и будем считать, что научной можно назвать ту дисциплину, в которой возможны открытия, исследование и анализ. Логика в таком случае — наука, ибо внутри неё возможно совершать открытия. Яркий пример — комбинаторика Лейбница.
Слово «правильный» сразу веет нормативными коннотациями: правильное поведение, правильное выражение лица, и т.д. Перечисленное соответствует некоторым критериям и логика выставляет их (критерии) для правильного мышления.
Слово «мышление» понимается на интуитивном уровне, но чёткое объяснение затруднительно, обширно и иногда не объективно.
Бюст Аристотеля
3 | Формальная и неформальная логика
Первоначально, деление логики происходит на формальную и неформальную. Формальная логика отличается тем, что, в отличие от неформальной, записывается уравнениями. Неформальная же логика пишется выражениями в форме языка, поэтому она подходит для риторики, а формальная логика для абстрактных наук.
Формальная логика равным образом делится на дедуктивную и индуктивную. Они различаются тем, что в дедуктивном аргументе истинность условий гарантирует истинность умозаключения или вывода. В индукции же, при истинности условий одинаково возможен ложный и истинный вывод.
Законы формальной логики:
1. Закон тождества (А = А): эквивокация или двусмысленность недопустимы. Нельзя подменять одно понятие, другим.
2. Закон непротиворечия (А ∧ ¬А = 0): одно и то же утверждение не может быть истинным и ложным одновременно.
3. Закон исключения третьего или бивалентности (А ∨ ¬А = 1): утверждение может быть либо истинным, либо ложным — третьего не дано.
Принципы формальной логики:
1. Принцип достаточного обоснования: достаточными являются такие фактические и теоретические обоснования, из которых данное суждение следует с логической необходимостью.
4 | Сентенциальная логика (алгебра высказываний)
Базовые операции сентенциальной логики — логики высказываний, где заглавная буква означает предложение:
Отрицание (Утверждение ¬A истинно тогда и только тогда, когда A ложно): если имеем утверждение «А» и имеем утверждение «не А», то, когда утверждение «А» будет истинным, утверждение «не А» будет ложным. Также и когда утверждение «А» будет ложным — утверждение «не А» будет истинным.
Конъюнкция (Утверждение A ∧ B истинно, если и A, и B — истинны. Ложно в противном случае): в английском языке — союз «and/&»; в русском — «и». В утверждении «А и В», между «А» с «В» стоит знак конъюнкции — «∧». Утверждение «А и В» является истинным, если «А» с «В» являются истинными одновременно. Если хоть один элемент ложен, то всё утверждение ложно. «А и В» подразумевает, во-первых: истинность «А», во-вторых: истинность «В».
Дизъюнкция (Утверждение A ∨ B верно, если A или B (или оба) верны. Если оба не верны — утверждение ложно): в английском языке — союз «or»; в русском — «или». Существует два типа дизъюнкции — включающая и исключающая (в логике используется включающее «или»). Условия таковы, что утверждение «А или В» будет истинным, когда один или оба элемента истинны, но никогда — когда оба элемента ложны. Это противоречит нашему обыденному мышлению, т.к. когда спрашивают: «Чай или кофе?» мы выбираем один элемент, но в логике подразумевается выбор не только одного, а нескольких возможных.
Импликация (Утверждение A ⇒ B ложно, только когда A истинно, а B ложно): в английском языке — «therefore»; в русском языке — «следовательно». Подразумевает истинность одного элемента при истинности другого. Потому что условия истинности соблюдаются всегда, кроме случая, когда «А» истинно, а «B» ложно. Поэтому утверждение: «А» ложно, следовательно «B» ложно — истинно. Покажется, что когда «А» ложно, а «В» истинно — не соблюдаются условия, но это не так. Если вы скажете, что после дождя промокните — это утверждение будет истинным вне зависимости от того, пошёл дождь или нет.
Эквивалентность (Утверждение A ⇔ B истинно, только если оба значения A и B ложны, либо оба истинны): если истинно утверждение «А, следовательно В» и истинно утверждение «В, следовательно А», то истинными являются выражения «А эквивалентно В» и соответственно «В эквивалентно А». Условия истинности соблюдаются в случаях, когда оба элемента истинны или оба ложны.
5 | Предикатная логика первого порядка
В XX веке, после добавлений в логику работ Готфрида Лейбница и Готлоба Фреге, на основе этой дисциплины создаётся новая — информатика. Языки программирования основываются на видоизменённой логике Аристотеля — предикатной логике, описательная способность которой выше, чем у логики высказываний (сентенциальной). Прежде чем разобрать этот новый тип логики, поговорим об её отличии от сентенциальной. Главная особенность предикатной логики, что заглавными буквами обозначаются предикаты, а не целые высказывания. Можно сказать, что предикат — это математическая функция, которая «накладывает» множество субъектов на множество утверждений.
Высказывание «Я пошёл в зоопарк» — состоит из субъекта и предиката. В нём субъект — «Я», а предикат — то, что остаётся кроме субъекта («… пошёл в зоопарк»). Субъект — кто совершает действие в предложении или имеет выраженное свойство; предикат — всё оставшееся. Таким образом, если в сентенциальной логике высказывание «Я пошёл в зоопарк» выражалось бы одной заглавной буквой, то в логике предикатов использовались бы две буквы (заглавная и подстрочная): «P» — для предиката; «x» — для субъекта. Субъекты обозначаются переменной («x»), потому что в предикатной логике появляются две относительно новые операции: универсальный и экзистенциальный кванторы. Особенность кванторов заключается в том, что ими возможно записать выражение истинное при всех возможных переменных «х» или хотя бы при одном.
Универсальный квантор (квантор всеобщности) обозначается символом — «∀», с указанием переменной под ним. Возьмём утверждение «Все пингвины чёрно-белые». В логике высказываний оно бы выражалось как «X ⇒ P», где «X» — нечто являющееся пингвином, а «P» — нечто являющееся чёрно-белым. В предикатной логике же используются субъекты и предикаты, поэтому нечто являющееся пингвином (субъект), обозначалось бы переменной «х» снизу под предикатом. «»х» — является пингвином, следовательно, является чёрно-белым». Записывается так: P(х) ⇒ B(х), где P(х): х — пингвин; B(х): x — чёрно-белый.
Однако этого недостаточно, ведь непонятно, один субъект «х» чёрно-белый или больше одного, а может вообще все. Поэтому утверждение «»х» — является пингвином, следовательно, является чёрно-белым», берётся в скобки и перед скобками используется символ «∀» с переменной «х» под ним — которые вместе и будут универсальным квантором.
Универсальный квантор переводится как: «Для всех «х» истинно, что …». Теперь утверждение «х — является пингвином, следовательно, является чёрно-белым» с универсальным квантором перед ним, расшифровывается так: «Для всех «х» истинно, что «х» — является пингвином, следовательно, является чёрно-белым». Это означает, что чем бы ни был объект во вселенной, если этот объект пингвин — он является чёрно-белым. Полная запись будет выглядеть так:
Экзистенциальный квантор (квантор существования) обозначается символом — «∃» с указанием переменной под ним. Возьмём утверждение «Некоторые пингвины серые». Как и в прошлый раз, выражение «»x» — является пингвином и «х» — является серым» возносим в скобки и ставим перед ними квантор, в этом случае экзистенциальный с указанной переменной. «»x» — является пингвином и «х» — является серым» записывается так: P(х) ∧ C(х), где P(х): х — пингвин; C(х): x — серый.
Экзистенциальный квантор можно перевести так: «Есть такой «х», для которого будет истинно, что …». Подразумевается, что есть как минимум один «х», для которого выполняются условия выражения. Если вам говорят, что картофеля не существует, достаточно показать одну картофелину для опровержения этого утверждения. Также и с кванторами, если существует хотя бы один серый пингвин, то утверждение об отсутствии серых пингвинов будет ложно. Полная запись экзистенциального квантора для выражения «Есть такой «х», для которого будет истинно, что «x» — является пингвином и «х» — является серым», будет выглядеть так:
6 | Заключение
Примечательно, что есть возможность перевода одного вида квантора в другой. Возьмём утверждение «Все пингвины не являются серыми». Для универсального квантора текстовая запись будет такая: «Для всех «х», будет истинным утверждение о том, что если «х» — является пингвином, то «х» — не является серым объектом». Но утверждение изменяется и для экзистенциального квантора, используя знак отрицания: «Нет такого «х», для которого бы было истинным утверждение о том, что «x»— является пингвином и «х»— является серым».
В середине XIX века, Готлоб Фреге дополнил логику Аристотеля двумя этими операциями, которые позже сформировались в отдельную дисциплину — предикатную логику. С введением в логику экзистенциального квантора (после универсального) — предикатная логика, в основе своей, завершилась как система…
Источники:
1 — Аристотель: «Органон» — «Первая аналитика» и «Вторая аналитика»;
2 — Аристотель: «Риторика»;
3 — Готлоб Фреге: «Исчисление понятий»;
4 — «Monatshefte für Mathematik und Physik» 1931 г.: Курт Гёдель «О принципиально неразрешимых положениях в системе Principia Mathematica и родственных ей системах»;
5 — The Early Mathematical Manuscripts of Leibniz;
6 — Мельников Сергей: «Введение в философию Аристотеля»;
7 — Гильмутдинова Нина: «Логика и теория аргументации»;
Виды логик: хаос, анализ, синтез, совершенство
Виды логики: хаотическая, аналитическая, синтетическая, совершенная.
1. Хаотическая логика. Рассмотрим ее на философском примере противоположностей, духа и материи, яйца и курицы.
Этот вид логики использовался в марксистском учении.
Особенность данного вида логики заключается в парадигме «или»…или», т.е. или курица, или яйцо, или материя, или дух, иного не дано.
Данный вид логики рассматривает курицу и яйцо, дух и материю без понимания их связи. Это противоположности без единства. Отсюда возникает абсолютизация то одной, то другой из них.
Одно выводится из другого, поэтому возникает дихотомический вопрос о первичности и вторичности. Он абсолютизирует одну или другую противоположность, что неизбежно ведет к дисгармонии. Так, абсолютизация свободы есть хаос, абсолютизация порядка – тирания, дисгармоничные социальные формы. Этот тип описывается выражением: девизе энд импера, разделяй и властвуй.
2. Аналитическая логика. Это дальнейшая эволюция хаотической логики. Это уже не дихотомическая, а дуалистическая логика. Противоположности (курица и яйцо, дух и материя) рассматриваются не в отрыве друг от друга, а во взаимосвязи. Однако в этой логике и курица и яйцо понимаются как отдельные сущности, хоть и связанные между собой. Это человеческая логика. Эта логика описывается парадигмой «и….и…., т.е. и курица, и яйцо. Дух признается наравне с материей, уже нет первичного и вторичного, есть два разных но взаимосвязанных начала, равных между собой по значимости. Это принцип равенства.
3. Синтетическая логика. Это дальнейшая эволюция аналитической логики. Эта парадоксальная логика, логика гениев. Там где обычный человек видит две разные сущности, гений видит единство. Эта логика описывается парадигмой «не…не…, не курица и не яйцо, а одновременно курица и яйцо. Это принцип единства. В этой парадигме, там, где появляется яйцо, появляется и курица и наоборот, эти начала не существуют друг без друга. Единство в данной парадигме управляет противоположностями, они подчиняются единству.
4. Совершенная логика. Это завершение эволюции человеческой логики, это божественная логика. Ее особенность заключается в том, что отрицается не только противоположность курицы и яйца, но и единство курицы и яйца, духа и материи, они рассматриваются не как курица и яйцо, а как новая сущность, вообще не как курица и не как яйцо, не дух и материя, а синтез, совершенство.
Если синтетическая логика – это одновременное присутствие курицы и яйца друг в друге, то божественная логика – это одновременное отсутствие курицы и яйца друг в друге. Это синтез без яйца и курицы.
Применительно к теории относительности Эйнштейна божественная логика выглядит следующим образом: как то, что подвержено закону сохранения, бытие абсолютно, несотворимо и неуничтожимо. Оно не возникает из ничего и не переходит в ничто.
Как то, что подвержено закону трансформации, изменения, бытие относительно, одна ее форма переходит в другую форму.
Таким образом, бытие не относительно и не абсолютно, оно совершенно. Относительное и абсолютное – это просто формы организации бытия как эволюционного процесса, целью которого является не относительное и абсолютное, а совершенное.