какая наука изучает логику

Логика. Краткий курс

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

Оглавление

Приведённый ознакомительный фрагмент книги Логика. Краткий курс предоставлен нашим книжным партнёром — компанией ЛитРес.

1. Предмет и значение логики

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

Слово «логика» используется для обозначения науки о мышлении, о его формах и законах. Термин «логика» происходит от греческого слова logos, которое означает «мысль», «слово», «разум», «смысл» и т. д. Для обозначения науки этот термин ввел в начале III в. до н. э. основатель стоического направления в философии Зенон из Китиона (ок. 336–264 до н. э.). Аристотель (384–322 до н. э.), подлинный создатель науки логики, использовал для ее обозначения слово «аналитика».

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

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

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

Логика как наука зародилась в Древней Греции и много столетий считалась критерием образованности. В начале XIX в. Г. В. Ф. Гегель указал на ее ограниченность и недостаточность с точки зрения отражения процесса движения мысли.

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

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

Диалектическая логика — это один из способов познания диалектики реальности. Формальная логика, использующая математические методы изучения реальности, в начале XX в. получила название «логистика», означающее искусство вычисления. Теперь данный термин почти вышел из употребления, уступив место терминам «математическая логика», или «символическая логика».

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

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

Структура мышления — это различные способы группировки мыслей в процессе мышления.

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

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

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

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

Источник

Логика: предикатная, формальная и сентенциальная. Кванторы и создание информатики

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 — Гильмутдинова Нина: «Логика и теория аргументации»;

Источник

Логика как наука: понятие, объект и предмет, законы логики

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

Что такое логика?

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

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

Термин «логика» образован от греческого слова λόγος (логос – мысль, слово, причина). Сегодня у него есть два основных значения. Им может обозначаться как научная дисциплина, изучающая закономерности мыслительных процессов и логических построений, так и совокупность правил, которых необходимо придерживаться при построении непротиворечивых умозаключений.

Объект и предмет логики

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

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

Формы логического мышления

Форма мышления – это структура мысли, определяющая взаимосвязи между отдельными её элементами.

Существует три основных формы мышления:

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

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

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

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

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

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

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

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

Есть три основных типа логических противоречий:

Контактные противоречия обычно не пытаются скрыть. Их используют сознательно, чтобы смягчить негативное высказывание («Ты хорошо справился, но это не совсем то, о чём я просил») или, наоборот, усилить его («Отлично! Ты опять всё испортил!»). Дистантные противоречия могут применять демагоги, чтобы запутать собеседника, но чаще их используют по ошибке неопытные или плохо подготовившиеся ораторы.

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

Если одно суждение отрицает другое, то одно из них является ложным, а второе – истинным. Здесь важно не путать, что подразумевается под отрицанием.

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

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

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

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

Нарушение законов логики

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

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

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

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

Виды логики

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

1. Формальная логика

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

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

2. Математическая логика

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

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

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

Это философская дисциплина, изучающая мышление вообще. Её основателем считается немецкий философ Георг Гегель (1770-1831). Она основывается на формальной логике, и всё же в ней учитывается содержание явлений, объектов и процессов. В ней используются такие принципы как:

Зачем нужна логика?

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

Заключение

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

Источник