Формальная логика является: Логика формальная это

Что такое и как устроены логика и софистика? Как доказать невозможное? — Алексей Черныш на vc.ru

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

2951 просмотров

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

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

Что значит о формах?
Возьмем формочку в детской песочнице, насыплем туда чего-нибудь и содержимое стало такой же формы, что и формочка. Чего туда не сыть или лей все примет ту же форму. Формула также придает форму и в зависимости от того, что считаем то и подставляем в неё.

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

Как договорились определять истину?

Сначала определяются понятия. И есть 2 способа их определения:

1) Дедуктивное – это объяснение накопленных фактов используя общее понятие, добавляя к нему специфические признаки. Например, что такое зеркало? Это приспособление, имеющее высокую отражающую способность, и применяется для подачи заднего вида в глаза водителя.

2) Эмпирическое – накопление понимания при употреблении понятия в контексте, по которому можно понять зачем оно нужно. Например. Он пускал солнечные зайчики по комнате; пока он ехал, глаза поглядывали назад; он взглянул на себя с утра и увидел следы помады на щеке. То есть по контексту мы понимаем, что за слово.

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

1) Дедуктивные – от общего к частному. (круги эйлера)

2) Индуктивные – из нескольких частных случаев выводится общее правило. (не достоверные, а вероятностные)

По каким законам получают в итоге истинные суждения?

1) закон тождества — любая мысль должна быть тождественна самой себе.

2) закон противоречия — если одно суждение что-то утверждает, а другое это одновременно отрицает, то такие суждения не могут быть истинными, если речь об одном и том же предмете в одном и том же отношении.

3) закон исключенного третьего – не может быть высокий/низкий/средний, а может быть высокий/не высокий

4) закон достаточного основания – утверждение должно быть обосновано

Софистика

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

В софистике можно выделить несколько основных видов используемых логик.

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

Прагматическая логика – это формальная логика, использующая софизмы. Целью прагматической логики является достижение психологического чувства правоты. Правота и истина не одно и то же. Это видно на примере стреляющих друг в друга солдат или столкновения полиции с протестующими. Каждый считает, что его сторона права, а другого неправа. С точки зрения формальной логики нельзя провести по 1 точки единственную прямую, по 2м точкам можно. С точки зрения прагматической логики можно. Провести туда куда нравится. Прагматическую логику часто называют «женской», так как чаще её применяют женщины, хотя, как мне кажется, чиновники применяют чаще.

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

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

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

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

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

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

4 вариант, когда оба отказываются от выгоды ради сохранения отношений.

5 вариант – перемаркировка. Заменить выгоду другой, которую могут получить обе стороны.

Т.е. 5 вариантов выигрыша обеих сторон: компромисс, уточнение выгоды, выигрыш за счет 3-ей стороны, отказ от выгоды и перемаркировка.

Эклектическая логика

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

Интуитивная логика

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

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

логика тест 2

Вопрос	Ответ	Верно
1.1. Логика – это:	наука о формах и законах правильного мышления	да
1.10. Укажите вид модальности высказывания «Запрещено переходить перекресток на красный сигнал светофора»:	деонтическая модальность	да
1. 12. Формальная логика появилась:	в Античности	да
1.13. Формальная логика является:	аристотелевской	да
1.14. Интуитивная логика – это:	стихийно сформированное в процессе жизненного опыта знание форм и принципов правильного мышления	да
1.16. Создателем логики считается древнегреческий философ:	Аристотель	да
1.17. Математическая или символическая логика появилась:	в XIX в.	да
1. 19. Английский ученый конца XVI — начала XVII века, разработавший в произведении «Новый Органон» основы индуктивной логики:	Ф. Бэкон	да
1.2. С точки зрения формальной логики высказывание: «Все Снегурочки – это геометрические фигуры»:	построено по форме: «Все A есть B»	да
1.20. Английский ученый XIX века, развивший теорию научной индукции:	Д.С. Милль	да
1.3. Понятие – это	форма мышления	да
1.4. Истинность в логике означает:	соответствие мысли объекту	да
1. 6. Символическая логика является разделом:	математики	да
1.7.Что означает слово «logos»?	закон, мысль, слово, смысл.	да
1.8. Модальная логика относится к:	неклассической логике	да

Соседние файлы в предмете Логика

• #

  20.01.201912.88 Кб228логика тест 2.docx

• #

  20.01.201915.16 Кб149логика тест.docx

Формальная логика Определение и значение

• Основные определения
• Викторина
• Связанное содержимое
• Примеры
• Британский

Показывает уровень оценки в зависимости от сложности слова.

Сохрани это слово!

См. синонимы формальной логики на Thesaurus.com

Показывает уровень обучения в зависимости от сложности слова.

---

сущ.

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

ТЕСТ

МОЖЕТЕ ЛИ ВЫ ОТВЕЧАТЬ НА ЭТИ ОБЫЧНЫЕ ГРАММАТИЧЕСКИЕ СПОРЫ?

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

Вопрос 1 из 7

Какое предложение верно?

Происхождение формальной логики

Впервые записано в 1855–1860 гг.

Слова рядом с формальной логикой

формалин, формализм, формальность, формализовать, формальный язык, формальная логика, формально, формальный режим, формальная система, парадная одежда, Форман

Dictionary. com Unabridged На основе Random House Unabridged Dictionary, © Random House, Inc. 2023

Слова, относящиеся к формальной логике

Силлогизм

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

Сила рационального мышления в мире, который кажется неразумным|Ник Ромео|8 октября 2021 г.|Washington Post

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

Сила рационального мышления в мире, который кажется неразумным|Ник Ромео|8 октября 2021 г.|Washington Post

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

Это 10 самых ошибочных научных результатов|Том Зигфрид|10 ноября 2020|Новости науки

Ошибки Антисфена — отчасти зависели от несовершенной формальной логики того времени.

Платон и другие сподвижники Сократа, 3-е изд. Том III (из 4)|George Grote

• Ответ формальной логики (принятый, кроме того, Кантом и в той или иной мере сопровождаемый всеми неокантианскими логиками) однозначен.

  Очерки экспериментальной логики|Джон Дьюи

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

  Беседы в Америке|Мэттью Арнольд

• Схоластическое образование того времени уделяло особое внимание формальной логике и метафизике.

  The New Gresham Encyclopedia|Various

• Формальная логика учит, что наш интеллект должен разделять все вещи, но не учит, что он также должен их соединять.

  The Positive Outcome of Philosophy|Joseph Dietzgen

Британский словарь определений формальной логики

формальная логика

---

существительное

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

конкретная формальная система, которая может быть интерпретирована как представляющая фрагмент естественного аргумента

Collins English Dictionary — Complete & Unabridged 2012 Digital Edition © William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009, 2012

Введение в формальную логику. Понимание принципов логики

• Лекция (24)
• ДЕТАЛИОбзор
• Отзывы

Оценка 1 из 5 к MarkG Огайо из Слишком сложно Мне очень понравился очень информативный курс доктора Гимбела по «Великим вопросам философии и физики». Мне не понравился этот класс. В нем есть полезные идеи, пока после главы 8 он не переходит в длинную и почти непонятную алгебраическую нотацию. В реальной жизни ни один разумный человек не стал бы принимать какое-либо решение, используя описанную систему, отнимающую много времени. Вы действительно хотели бы использовать расчет из 22 шагов, чтобы доказать очевидное в одном простом абзаце? Зачем менять ясный обыденный язык на запутанные абстрактные символы, которыми манипулируют причудливыми наборами правил? Кроме того, содержательные суждения о том, что истинно, а что ложно, выносятся перед использованием сложного исчисления «истинно-функциональной логики» и «логики предикатов первого порядка». Мой этический долг состоит в том, чтобы предложить большинству потенциальных слушателей избегать этого занятия. Это курс для выпускников факультетов философии.

Дата публикации: 19.01.2023

Оценка 1 из 5 к jklnaba из Сложно следовать (не из-за содержания) Меня особенно отвлекает манера речи инструктора. Я не знаю точной причины этого; Я предполагаю, что это связано с частыми колебаниями тона и/или ударениями в словах. Это, в сочетании с адекватной наглядной помощью (кстати, я предпочитаю использовать классную доску), делало курс сложным для понимания. Обязательно купите выписку. Что касается самого содержания, то у меня не было особых проблем с ним. К счастью, это было предназначено только для переподготовки для меня. В целом, я ценю усилия.

Дата публикации: 04.11.2022

Рейтинг 5 из 5 к Харун из Отличная работа На данный момент я посмотрел первые 6 лекций. Они очень четкие с четким контурным текстом. Лектор использует графику, чтобы показать процесс мышления для хорошей логики и ошибочной логики. Затем он резюмирует на нескольких примерах и показывает процесс определения правильности логики. Было бы трудно избежать улучшения вашего логического мышления и выявления ошибочной логики вокруг вас в повседневной жизни.

Дата публикации: 10.01.2022

Рейтинг 5 из 5 к Talken49 от Отличный. Настоятельно рекомендуется. Я изучал философию в колледже на уровне бакалавриата. Я купил этот курс по двум причинам: 1) в качестве переподготовки и 2) чтобы посмотреть, может ли презентация в этом курсе быть более полным введением в тему. Оказывается, не забыл большую часть темы, и Стивен отлично справляется с тем, чтобы освещать эту тему в ясной и всеобъемлющей манере. Для новичка полезно то, что Стивен разбивает тему на краткие, но подробные сегменты. Это более комплексный подход, чем можно было бы получить в курсе колледжа. Если вы хотите узнать больше об этом предмете, а не ходить на курсы в колледже по этому предмету, этот курс — отличное начало. Предупреждающее примечание: как сказал мне 50 лет назад заведующий кафедрой философии в моем колледже, как только вы пройдете этот курс (и/или станете специалистом в области философии), вы будете все время замечать вокруг себя иррациональные аргументы. Он был прав. Пройдите этот курс, и, по крайней мере, вы заметите элементы «Матрицы» вокруг себя, поскольку политики, СМИ, маркетологи, коллеги, родственники — почти все, с кем вы сталкиваетесь, — весь день осаждают вас иррациональными аргументы, отстаивая свои взгляды.

Дата публикации: 27.12.2021

Рейтинг 5 из 5 к видел раньше от Отличное дополнительное видео Качество спикера является ключом к качеству отличных курсов. Профессор Гимбел первоклассный. Этот курс тщательно наслаивает технические детали, по одной лекции за раз. Меня больше не пугает модальная логика. Как и в случае со всеми другими логическими структурами, без истинных предпосылок аргумент, не относящийся к логической форме, никогда не сможет (может быть, это задатки аксиомы для шестого уровня модальной логики?) совершить скачок от достоверности к обоснованности. Доктор Гимбел вырезал запутанные символы, чтобы углубить мое понимание, расширив это понимание до модальной логики. Каждое объяснение и каждое доказательство представлены во всех подробностях, поэтому повторение лекции в конечном итоге приведет к мастерству. Этот курс является превосходной подготовкой к прохождению любого курса логики в колледже.

Дата публикации: 21.11.2021

Оценка 4 из 5 к каппи из Информация представлена ​​хорошо и понятно Я рад, что купил это. Это во многом укрепило курс логики, который я изучал в колледже много лет назад. Вероятно, мне следовало купить это до того, как я начал свою карьеру в качестве прокурора.

Дата публикации: 06.10.2021

Оценка 1 из 5 к Skipp0710 от недоставка Извините, но мой заказ на этот товар еще не доставлен

Дата публикации: 24.08.2021

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

Дата публикации: 23.08.2021

Обзор

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

Около

Steven Gimbel

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

ALMA MATER

Университет Джонса Хопкинса

УЧРЕЖДЕНИЕ

Геттисбергский колледж

Профессор Стивен Гимбел занимает почетную кафедру гуманитарных наук Эдвина Т. Джонсона и Синтии Ширер Джонсон в Геттисбергском колледже в г. Пенсильвания, где он также является председателем отделение философии. Он получил степень бакалавра физики и философии в Университете Мэриленда, округ Балтимор, и степень доктора философии в Университете Джона Хопкинса, где он написал диссертацию об интерпретациях и философских разветвлениях теории относительности. В Геттисберге он был удостоен Премии Лютера В. и Бернис Л. Томпсон за выдающиеся педагогические заслуги. Исследования профессора Гимбеля сосредоточены на философии науки, особенно на природе научных рассуждений и способах взаимодействия науки и культуры. Он опубликовал множество научных статей и четыре книги, в том числе «Еврейская наука Эйнштейна: физика на пересечении политики и религии»; и Эйнштейн: его пространство и время. Его книги получили высокую оценку в периодических изданиях, таких как The New York Review of Books, Physics Today и The New York Times, которые приветствовали его мастерство как «увлекательного писателя…[вовлекающего] читателей в познавательные экскурсии… любопытство ведет».

Этот профессор

Прицеп

01: Зачем изучать логику?

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

26 мин

02: Введение в логические концепции

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

30 минут

03: Неформальная логика и заблуждения

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

30 минут

04: Заблуждения неправильного авторитета

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

33 мин.

05: Заблуждения причины и следствия

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

28 мин

06: Заблуждения неуместности

Узнайте, как удерживать дискуссию в фокусе, распознавая распространенные отвлекающие заблуждения. Атаки ad hominem пытаются подорвать аргумент, а не аргумент. Тактика соломенного человека заменяет более слабый аргумент более сильным. И отвлекающие маневры вводят не относящуюся к делу тему. Как и в других лекциях, рассмотрите увлекательные случаи каждого….

28 мин

07: Индуктивное мышление

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

31 мин

08: Введение в опросы и науку

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

32 мин

09: Введение в формальную логику

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

29 мин

10: Функциональная логика истины

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

31 мин

11: Таблицы правды

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

28 мин

12: Таблицы истинности и достоверность

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

26 мин

13: Естественная дедукция

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

34 мин

14: Логические доказательства с эквивалентностями

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

33 мин.

15. Условные и косвенные доказательства

Дополните систему естественной дедукции, добавив новую категорию обоснования — обоснованное предположение. Затем посмотрите, как это понятие используется в условных и косвенных доказательствах. Благодаря этим дополнениям вы теперь полностью подготовлены для оценки обоснованности аргументов из повседневной жизни….

35 мин.

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

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

29 мин

17. Валидность в логике предикатов первого порядка

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

35 мин.

18: Демонстрация недействительности

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

31 мин

19: реляционная логика

Оттачивайте свое мастерство в логике предикатов первого порядка, расширяя отношения. Пример: «Если я выше своего сына, а мой сын выше моей жены, то я выше своей жены». Эта связь очевидна, но техники, которым вы научитесь, позволят вам доказывать более тонкие случаи…

31 мин

20: Знакомство с логической идентичностью

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

33 мин.

21: Логика и математика

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

34 мин

22: Доказательство и парадокс

Углубитесь в попытку доказать, что логическая непротиворечивость математики может быть сведена к основам арифметики. Следите за работами Давида Гильберта, Георга Кантора, Готтлоба Фреге, Бертрана Рассела и других. Узнайте, как теоремы Курта Гёделя о неполноте стали похоронным звоном для этого амбициозного проекта….

33 мин.

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

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