Что изучает классическая логика
ЛОГИКА КЛАССИЧЕСКАЯ
– раздел современной (математической, символической) логики, включающий классическую логику высказываний и классическую логику предикатов. Л.к. опирается на двузначности принцип, в соответствии с которым всякое высказывание является или истинным, или ложным.
У истоков Л. к. стоят, наряду со многими другими исследователями, Д. Буль (1815–1864), А. де Морган (1806–1871), Ч. Пирс (1839–1914). В их работах была постепенно реализована идея перенесения в логику тех методов, которые обычно применяются в математике. Последний шаг в математизации логики в прошлом веке был сделан Г. Фреге (1848–1925). Уже в этом веке важный вклад в развитие Л. к. внесли Б. Рассел (1872–1970), А. Уайтхед (1861–1947), Г. Гильберт (1862–1943) и др.
Л. к. ориентировалась главным образом на анализ математических рассуждений. С этим связаны многие ее особенности, нередко расценивающиеся теперь как недостатки. В частности, формальным аналогом условного высказывания в Л.к. является импликация материальная, для которой верны положения: истинное высказывание имплицируется любым высказыванием, ложное высказывание имплицирует каждое высказывание и другие парадоксы импликации.
Критика Л. к. началась в начале XX в. и велась в разных направлениях. Результатом ее явилось возникновение новых разделов современной логики, составляющих в совокупности логику неклассическую. Л. к. остается тем не менее ядром современной логики, сохраняющим свою теоретическую и практическую значимость. Явившись тем образцом, от которого отталкивались разнообразные неклассические системы, Л. к., как правило, оказывается в определенном смысле предельным и притом наиболее простым случаем последних. Многие из них могут быть представлены как расширения Л.к., обогащающие ее выразительные средства.
Классическая логика
КЛАССИЧЕСКАЯ ЛОГИКА — раздел символической логики, включающий ряд логических теорий, в основе которых лежат принципы двузначности и экстенсиональности, а также классическая трактовка истины как соответствия высказываний действительности. Базисный для систем К.л. принцип двузначности в его сильной формулировке гласит: всякая формула языка логической теории при некоторой интерпретации принимает ровно одно из двух значений — значение «истина» либо значение «ложь». Данный принцип предъявляет к логической системе следующие требования: а) в семантике системы имеется лишь два возможных значения формул — «истина» и «ложь» (слабая формулировка принципа двузначности); б) при каждой интерпретации каждая формула должна принять какое-то значение (всюду определенность истинностной оценки, запрет «провалов» значений); в) при одной и той же интерпретации формула не может принять двух разных значений, т.е. не может быть одновременно и истинной, и ложной (одна из формулировок принципа непротиворечия, запрет «пресыщенных» оценок).
Системы К.л. являются экстенсиональными: значения их сложных правильно построенных выражений зависят только от значений (а не от смыслов или каких-либо других характеристик) составляющих их выражений, т.е. если в составе такого выражения заменить правильно построенную часть равнозначной ей, значение сложного выражения не изменится.
Помимо перечисленных фундаментальных принципов системы К.л. отличаются от неклассических логик принятием ряда предпосылок, связанных с особенностями формализованных языков, в которых они формулируются. Так, в классической логике предикатов в отличие от некоторых неклассических систем (например, свободной логики) выдвигаются требования непустоты предметной области (области интерпретации) и наличия в последней значений всех термов — сингулярных терминов языка.
Каркас К.л. составляют следующие логические теории: классическая логика высказываний, классическая логика предикатов первого и высших порядков, классическая логика предикатов с равенством, булев логика классов, простая и разветвленная теории типов, е-исчисление (исчисление неопределенных дескрипций).
Большой вклад в создание К.л. внесли Г. Фреге, Б. Рассел, А. Уайтхед, Д. Гильберт.
Словарь философских терминов. Научная редакция профессора В.Г. Кузнецова. М., ИНФРА-М, 2007, с. 254.
Классическая логика
Классическая логика — термин, используемый в математической логике по отношению к той или иной логической системе, для указания того, что для данной логики справедливы все законы (классического) исчисления высказываний, в том числе закон исключения третьего. Неклассическая логика соответственно есть логика, в которой один или несколько законов классической логики не выполняются. Самым известным примером неклассической логики есть интуиционистская логика (отказ от закона исключения третьего). Кроме того существуют некоммутативная логика (отказ от коммутативности конъюнкции и дизъюнкции), линейная логика (отказ от идемпотентности конъюнкции и дизъюнкции), немонотонная логика (отказ от монотонности отношения выводимости), квантовая логика (отказ от дистрибутивности ), и огромное множество других.
Нередко приставку классическая употребляют также по отношению к некоторым неклассическим логикам, которые допускают несколько вариантов — с законом исключения третьего (или подобных ему) и без. Тогда первую называют классической. Например классическая линейная логика.
Полезное
Смотреть что такое «Классическая логика» в других словарях:
классическая логика — см.: Логика классическая … Словарь терминов логики
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
ЛОГИКА СИМВОЛИЧЕСКАЯ — ЛОГИКА СИМВОЛИЧЕСКАЯ математическая логика. теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин “символическая логика” был, по видимому … Философская энциклопедия
Логика — Гр … Википедия
Логика (философия) — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
Классическая точка зрения — Классика (от лат. classicus образцовый) Классика период в истории древнегреческого искусства (V в. до н. э. сер. IV в. до н. э.). Классика в широком смысле «образцовый, показательный, характерный, представительный, типичный». Возникший в… … Википедия
логика неклассическая — совокупность логических теорий, возникших в известной оппозиции к логике классической и являющихся во многом не только критикой последней и попыткой ее усовершенствования, но также ее дополнением и дальнейшим развитием идей, лежащих в основе… … Словарь терминов логики
КЛАССИЧЕСКАЯ НЕМЕЦКАЯ ФИЛОСОФИЯ — период развития нем. философии (кон. 18 1 я пол. 19 вв.), когда был создан преемственный ряд систем филос. идеализма (Кант, Фихте, Шеллинг, Гегель) и материализм Фейербаха. Термин «К. н. ф.» употребляется Ф. Энгельсом в его работе «Людвиг … Философская энциклопедия
КЛАССИЧЕСКАЯ НЕМЕЦКАЯ ФИЛОСОФИЯ — – философское направление 2 й пол. 18 и 1 й пол. 19 в. Родоначальник его был И.Кант,создатель трансцендентального идеализма.Его продолжатели и вместе с тем критики, развившие собственные философские системы, – И.Г.Фихте, Ф.В.И.Шеллинг,… … Философская энциклопедия
Логика: предикатная, формальная и сентенциальная. Кванторы и возникновение информатики
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 — Гильмутдинова Нина: «Логика и теория аргументации»;
Содержание
Характеристики
Каждая логическая система этого класса имеет общие характерные свойства: [3]
Хотя это и не вытекает из предшествующих условий, современные обсуждения классической логики обычно включают только пропозициональный и первый заказ логика. [4] [5] Другими словами, подавляющее большинство времени, потраченного на изучение классической логики, было потрачено на изучение именно пропозициональной логики и логики первого порядка, в отличие от других форм классической логики.
Большая часть семантики классической логики двухвалентный, что означает, что все возможные обозначения предложений можно разделить на истинные или ложные.
История
Лейбницс расчетный коэффициент можно рассматривать как предвестник классической логики. Бернар Больцано имеет понимание экзистенциальный импорт найдено в классической логике, а не у Аристотеля. Хотя он никогда не задавал вопросов Аристотелю, Джордж Бульалгебраическая переформулировка логики, так называемая Логическая логика, был предшественником современных математическая логика и классическая логика. Уильям Стэнли Джевонс и Джон Венн, который также имел современное понимание экзистенциального импорта, расширил систему Буля.
Оригинал первый заказ, классическая логика находится в Готтлоб Фрегес Begriffsschrift. Она имеет более широкое применение, чем логика Аристотеля, и способна выразить логику Аристотеля как частный случай. Это объясняет кванторы с точки зрения математических функций. Это также была первая логика, способная справиться с проблема множественной общности, для которого система Аристотеля была бессильна. Фреге, которого считают основателем аналитической философии, изобрел ее, чтобы показать, что вся математика выводится из логики, и арифметика строгий, как Дэвид Гильберт сделал для геометрия, доктрина, известная как логицизм в основы математики. Обозначения, которые использовал Фреге, никогда особо не прижились. Хью МакКолл опубликовал вариант логики высказываний двумя годами ранее.
Сочинения Огастес Де Морган и Чарльз Сандерс Пирс также был пионером классической логики с логикой отношений. Пирс оказал влияние Джузеппе Пеано и Эрнст Шредер.
Классическая логика достигла своего Бертран Рассел и А. Н. Уайтхедс Principia Mathematica, и Людвиг Витгенштейнс Tractatus Logico Philosophicus. Рассел и Уайтхед находились под влиянием Пеано (здесь используются его обозначения) и Фреге, и стремились показать, что математика произошла от логики. Витгенштейн находился под влиянием Фреге и Рассела и первоначально считал Tractatus решить все проблемы философии.
Уиллард Ван Орман Куайн настаивал на классической логике первого порядка как на истинной логике, говоря логика высшего порядка был «теория множеств в маскировке «.
Обобщенная семантика
С появлением алгебраическая логика стало очевидно, что классический пропозициональное исчисление допускает другие семантика. В Булевозначная семантика (для классических логика высказываний) значения истинности являются элементами произвольной Булева алгебра; «истина» соответствует максимальному элементу алгебры, а «ложь» соответствует минимальному элементу. Промежуточные элементы алгебры соответствуют значениям истинности, отличным от «истинного» и «ложного». Принцип бивалентности выполняется только тогда, когда в качестве булева алгебры берется двухэлементная алгебра, не имеющий промежуточных элементов.