Что такое формальная логика простыми словами
Что такое ЛОГИКА – зачем она нужна. Виды логики
Логика. Не каждый человек задумывался о том, что такое логика. Хотя логическое мышление присутствует в жизни повсеместно от простых бытовых дел до решения сложных математических задач. Оно неотделимо от науки и творчества, повседневных диалогов и решения насущных дел.
Логика – что это?
Этот термин имеет древнегреческие корни. Он образован от древнегреческого слова «логос», что понимают, как слово, рассуждение, мысль, смысл или разум. Самое простое определение логики – это наука о правильном мышлении, здравомыслии. Она зародилась примерно в V в. до н.э. благодаря трудам философа и мыслителя Аристотеля, который и считается основателем традиционной логики.
Существуют и другие толкования:
Зачем нужна логика?
Основной целью логического мышления является изучение определенной последовательности событий, явлений или действий, их взаимосвязи. То есть человек с помощью разума накапливает имеющиеся знания, аккумулируя их из разных источников, и строит причинно-следственные связи. Индивид руководствуется не своим эмпирическим опытом, а достоверными фактами.
Разобравшись с тем, что такое логика, можно сделать вывод о ее необходимости для:
Виды логики
Благодаря сохранившимся историческим документам доподлинно известно, что логика как наука о законах и формах мышления зародилась примерно 2500 лет назад. С тех пор она претерпевала определенные изменения, которые привели к выделению трех основных видов логики:
Формальная логика
Самым древним считается раздел философии под названием формальная, формально-фактическая или дискретная логика, отцом которой и был знаменитый Аристотель. Он рассматривал эту науку как возможность восприятия и оперирования формальными фактами и связями между ними без учета содержания. Выясняя, какие проблемы решает формальная логика, отметим, что она проверяет правильность рассуждений в современном мире. Важно абстрагироваться от конкретики и учитывать только общую форму суждения или вопроса.
Простым примером можно назвать констатацию факта: «на улице тепло и сухо, поэтому я пойду и прогуляюсь». Такой тип мышления заложен в каждом человеке, ведь впервые видя собеседника, индивид оценивает его внешний вид и подмечает другие особенности, складывая пазл в единую картину. Если же увиденное не соответствует принятым стандартам, то шаблон ломается.
Математическая логика
В начале XIX в. традиционная формальная теоретическая логика пополняется арсеналом математических методов с использованием искусственных языков. Так сформировалась символическая или современная логика, как ее принято называть. Математический подход позволил вывести способность к рассуждению ученых в разных областях науки на новый уровень,
Такая модель упрощает процесс познания благодаря замене слов привычного языка, которые могут нести двусмысленность и неточность, формальными символами. Многие проблемы, которые изучает математическая логика, невозможно сформулировать привычными словесными выражениями с использованием известных методов. Нередко такую науку в более широком плане причисляют к металогике или метаматематике.
Диалектическая логика
Немецкий философ Гегель и последователи марксистской материалистической теории основатели так называемую диалектическую логику, базой для развития которой стала дискретная логика. В ее основе лежит метод руководства не только формой, но и содержанием явлений, объектов и процессов. То есть такая наука о познавательной деятельности может рассматривать не отдельные противоположности, а их связь и схожесть между собой. У этого раздела философии существуют свои законы и принципы:
Законы логики
Как и в любой науке, здесь существуют определенные правила. Закон логики – это принцип, которому необходимо следовать, чтобы из истинных суждений получить правильный вывод. Их разработал и сформулировал еще Аристотель, изучая формальную логику, в которой использовались словесные суждения. Существует четыре базовых закона, нарушение которых приводит к появлению умышленных или неумышленных ложных выводов:
Закон тождества
Изучая, что такое наука логика, непременно сталкиваются с ее первым законом тождества или равенства. Некоторые именуют его принципом постоянства. Суть состоит в том, что на всем протяжении логического рассуждения изначальное понятие должно сохранять свой первоначальный смысл. Искажение, которое свойственно многим языкам и двойственность, многозначность, могут привести к ложным выводам.
Примером несоблюдения этого принципа является простой диалог:
Закон непротиворечия
Еще одним фундаментальным постулатом является закон непротиворечия. Его суть состоит в том, что два противоположных высказывания не могут быть одновременно истинными. Одно или оба из них обязательно окажутся ложными. Можно привести простой пример иллюстрации этого закона:
Закон исключенного третьего
Нередко студенты изучая, что такое наука логика, путают предыдущий закон с принципом исключенного третьего. Они схожи, но суть каждого все же отличится. Этот закон сформулирован так, что истинным может быть либо само суждение, либо же его отрицание. Третьего не дано. То есть закон оперирует не противоположными понятиями, а противоречащими друг другу. К примеру:
Закон достаточного основания
Четвертый закон – логического мышления, был сформулирован не Аристотелем, а лишь в XVIII в. озвучен Готфридом Лейбницем. Суть принципа состоит в том, что любой тезис будет иметь силу только тогда, когда будет подтвержден аргументами. Причем они должны быть такими, чтобы исходная мысль четко вытекала из них.
Самым ярким и знаменитым примером применения закона достаточного основания в жизни является принцип так называемой презумпции невиновности:
Как развить логику?
Многие философские термины и примеры могут показаться обывателю сложными и мало применимыми в обычной жизни. Однако каждый из указанных выше законов мы часто неосознанно можем встретить в любом споре или диалоге, когда собеседники, стремясь ввести друг друга в заблуждение, сознательно или неосознанно их нарушают. Навыки того, как развить логическое мышление, могут пригодиться каждому индивиду для достижения успехов в разных сферах науки и жизни.
Логическое мышление закладывается у человека в раннем возрасте, а умение мыслить абстрактно формируется примерно в 7-8 лет и развивается всю жизнь. Для качественного и полноценного его развития нейропсихологи советуют:
Логика как наука: понятие, объект и предмет, законы логики
Наверное, нет человека, который не использовал бы слово «логика». Умозаключения, кажущиеся нам правильными, мы называем «логичными». А если кто-то поступает странно, мы говорим, что в его действиях отсутствует логика. Но на самом деле, логика это не только разумный ход рассуждений. Это целая наука, изучающая, как из одних суждений следует истинность или ложность других. Сегодня мы поговорим о том, что она собой представляет, какие законы логики и формы логического мышления существуют, а также выясним, какие функции выполняет эта наука.
Что такое логика?
Логика – это наука о формах, приёмах и операциях мышления, позволяющих устанавливать или опровергать истинность определенных утверждений, исходя из заведомо известных фактов. Сложно сказать точно, когда она возникла. Отдельные элементы логики присутствуют в работах древнегреческих, древнекитайских и древнеиндийских мыслителей 6-5 веков до н. э., но первым её основные принципы сформулировал Аристотель в 4 веке до н. э.
Изначально она возникла как направление в философии, но со временем развилась в сложную систему знаний и стала самостоятельной научной дисциплиной – формальной логикой. От остальных наук, изучающих мышление, она отличается тем, что абстрагируется от содержания размышлений и высказываний, а изучает их структуру и внутренние закономерности.
Термин «логика» образован от греческого слова λόγος (логос – мысль, слово, причина). Сегодня у него есть два основных значения. Им может обозначаться как научная дисциплина, изучающая закономерности мыслительных процессов и логических построений, так и совокупность правил, которых необходимо придерживаться при построении непротиворечивых умозаключений.
Объект и предмет логики
Как и любая наука, логика имеет объект и предмет изучения. Объектом логики является мышление человека – отображение различных явлений и процессов в его мыслях, а также построение умозаключений на основе уже имеющихся знаний о внешнем мире. Здесь следует отметить, что мышление является объектом не только для логики, но и для большого количества других наук.
Предмет логики – это система закономерностей правильного мышления. По сути, логика изучает один аспект познавательного мышления – законы и принципы, ведущие к построению непротиворечивых умозаключений. А поскольку философия изучает все аспекты познания мира, логика является философской наукой.
Формы логического мышления
Форма мышления – это структура мысли, определяющая взаимосвязи между отдельными её элементами.
Существует три основных формы мышления:
Какие бы мысли ни крутились сейчас в вашей головы, каждая из них относится к одной из этих трёх форм. Наш жизненный опыт включает знание миллионов разных понятий, которые мы мгновенно объединяем в суждения и делаем на их основе определённые умозаключения.
Законы логики
Существует 4 закона, знание которых позволяет лучше понять, что такое логика. Придерживаясь этих законов, можно гарантированно делать правильные и логичные умозаключения при условии наличия достаточного количества точно установленных фактов:
1. Закон тождества
Суть данного закона состоит в том, что суждение сохраняет своё предметное и смысловое значение в рамках одного контекста (например, в пределах одного логического рассуждения). Иными словами, недопустимо в процессе размышления подменять одно значение понятия или суждения другим, поскольку это приведёт к ложному выводу.
К примеру, утверждение «Выучить новый язык можно, общаясь с носителями на житейские темы» истинно в отношение английского или испанского языка, но слабо применимо к языкам программирования. Подобная подмена понятий является одним из грубых нарушений закона тождества. В данном примере она очевидна, но в некоторых случаях она используется как успешный демагогический приём.
2. Закон непротиворечия
Этот закон (называемый также «законом противоречия») гласит, что два высказывания, противоречащих друг другу, не могут быть истинными одновременно. Как минимум одно из них ложно. К примеру, если на столе лежит шар, полностью выкрашенный в один цвет, утверждения «Этот шар белый» и «Этот шар чёрный» не могут быть истинными одновременно. Но они оба вполне могут быть ложными, если шар, к примеру, красный.
Есть три основных типа логических противоречий:
Контактные противоречия обычно не пытаются скрыть. Их используют сознательно, чтобы смягчить негативное высказывание («Ты хорошо справился, но это не совсем то, о чём я просил») или, наоборот, усилить его («Отлично! Ты опять всё испортил!»). Дистантные противоречия могут применять демагоги, чтобы запутать собеседника, но чаще их используют по ошибке неопытные или плохо подготовившиеся ораторы.
3. Закон исключённого третьего
Если одно суждение отрицает другое, то одно из них является ложным, а второе – истинным. Здесь важно не путать, что подразумевается под отрицанием.
К примеру, утверждения «Этот шар белый» и «Этот шар чёрный» являются всего лишь взаимоисключающими. А отрицающими друг друга являются утверждения «Этот шар белый» и «Этот шар не белый» (одно из них обязательно является истинным, какого бы цвета ни был шар).
4. Закон достаточного основания
Этот закон ввёл Готфрид Лейбниц. Его суть состоит в том, что для того, чтобы считать утверждение истинным, необходимо располагать однозначными доказательствами, исключающими другие варианты. В повседневной жизни люди пренебрегают этим законом логики чаще, чем любым другим, делая однозначные выводы по косвенным фактам.
К примеру, если в середине лета вы несколько дней подряд не видели соседа, которого обычно встречаете ежедневно, можно предположить, что он уехал в отпуск. Скорее всего, так и есть, но всё же этот вывод противоречит закону достаточного основания, поскольку нельзя исключать, к примеру, болезнь или командировку.
Нарушение законов логики
Когда законы логики нарушаются, возникают логические ошибки. Существует три основных типа логических ошибок:
Софизмы – это основной инструмент в софистике. Они используются для того, чтобы запутать собеседника, подвести его к неправильным выводам или заставить выглядеть глупо перед окружающими. Парадоксы могут возникать, в частности, когда смешиваются количественные и качественные характеристики предметов и явлений либо присутствуют неявные условия. В таком случае рассуждение, выглядящее логически правильным, может приводить к выводам, противоречащим действительности или другому логически правильному рассуждению.
В качестве примера можно привести «Парадокс кучи». Его суть состоит в следующем: если из кучи гравия убрать 1 камешек, куча останется кучей, однако если продолжать этот процесс, то в какой-то момент куча перестанет существовать. Противоречие здесь в том, что убирание одного (любого!) камня не должно приводить к исчезновению кучи. И всё же она исчезает именно от того, что из неё убирают один камень. Причина этого парадокса в том, что не сформулирована взаимосвязь между количественными и качественными характеристиками кучи.
Другой пример логической ошибки – известная апория Зенона про Ахиллеса, который никогда не догонит черепаху. Условие парадокса специально формулируется так, чтобы исключить из рассмотрения точку пути, в которой атлет обгоняет черепаху. В результате доказательство того, что он не сможет этого сделать, не противоречит законам логики. Ошибка заложена в самой формулировке задачи, в которой неявно присутствует условие «На отрезке до точки X».
Виды логики
Объясняя, что такое логика, обычно говорят в первую очередь о формальной логике. При этом существует ещё два раздела, фактически являющихся самостоятельными дисциплинами: математическая (символическая) логика и диалектическая логика. Рассмотрим каждый из разделов подробнее.
1. Формальная логика
Формальная логика – это научная дисциплина, изучающая структуру и истинность утверждений. Её создателем считается Аристотель (4 век до н. э.), рассматривавший её как возможность оперировать формальными фактами, абстрагируясь от их природы и содержания. Это позволяет обеспечить логическую правильность суждений, поскольку анализу подвергается только структура утверждения, но не его содержание.
По сути, наше мышление подчиняется формальной логике. Основываясь на имеющихся фактах, мы делаем логические выводы и принимаем решения. Однако мы не можем полностью абстрагироваться от природы и содержания суждений, кроме того, эмоции могут оказывать очень сильное влияние на наши выводы и действия. Поэтому людям свойственны нелогичные поступки.
2. Математическая логика
Изначально это была часть формальной логики, но в 19 веке она выделилась в самостоятельный раздел (при этом в ней по-прежнему соблюдаются все принципы формальной логики). Она пополнилась новыми математическими методами и специализированными нотациями. Благодаря этому символическая логика превратилась в мощный инструмент, применяемый современными науками при решении задач и доказательстве теорий.
Данная модель делает процесс познания более точным, поскольку в ней слова естественных языков с размытым смыслом заменяются формальными определениями, исключающими двусмысленность и размытость суждений. Все суждения математической логики формулируются на точном языке, не допускающем неоднозначных трактовок. Для таких языков чётко определена семантика (значения терминов) и синтаксис (совокупность формул или правил построения объектов языка).
3. Диалектическая логика
Это философская дисциплина, изучающая мышление вообще. Её основателем считается немецкий философ Георг Гегель (1770-1831). Она основывается на формальной логике, и всё же в ней учитывается содержание явлений, объектов и процессов. В ней используются такие принципы как:
Зачем нужна логика?
Главная цель логики заключается в том, чтобы обеспечить эффективный инструментарий для поиска решений и доказательств, применимый в любых сферах знаний. Благодаря логике мы можем оперировать фактами, достоверность которых установлена и доказана. Логика необходима при решении таких задач как:
Заключение
Логика – это наука о правильном мышлении и о способах рассуждения, не ведущих к ошибочным выводам. Это одна из важнейших научных дисциплин, ведь её принципами и законами пользуются все существующие науки. И даже если мы этого не замечаем, вся наша жизнь подчинена логике. Мы используем её в быту и общении, она заложена в законах, которые мы соблюдаем, без неё был бы невозможен научно-технический прогресс, достижениями которого мы пользуемся ежедневно.
Логика: предикатная, формальная и сентенциальная. Кванторы и возникновение информатики
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 — Гильмутдинова Нина: «Логика и теория аргументации»;