Подходы к обоснованию математики: сквозь парадоксы к прозрачной непротиворечивой теории
Сущность программы логицизма - определение основных, исходных понятий чистой математики в терминах логики, а её фундаментальные законы доказать как теоремы логики. Перевод на язык логики основных понятий арифметики. Первый известный логицист Г. Фреге.
Подобные документы
Понятие, сущность и характеристика математики и философии как науки. Влияние математики на философию, последствия их роль и описание. Соотношение математики и логики, а также полученные результаты. Понятие об иррациональном числе, особенности исчисления.
реферат, добавлен 08.02.2009Логика как самостоятельная наука. История становления классической математической логики. Виды и направления в развитии неклассической логики. Учение о силлогизме. Становление неформальной логики. Основные разделы современной математической логики.
контрольная работа, добавлен 17.06.2013Периодизация 6-уровневого развития математического знания при использовании психолого-гносеологических оснований отражения действительности в сознании человека. Изменение логики и математики по линии число-уравнение-функция-алгоритм-непредикативность.
статья, добавлен 26.04.2019Определение булевой алгебры (алгебры логики, алгебры суждений) – раздела математики, в котором изучаются логические операции над высказываниями. Характеристика логических операций: отрицания, конъюнкции, дизъюнкции, импликации, а также эквиваленции.
презентация, добавлен 06.02.2020Определение взаимодействия законов логики и правил алгебры. Основные понятия и термины двух наук – логики и алгебры. Примеры логических и алгебраических выражений. Математический анализ и математическая логика выдающегося ученого Огастесе де Моргана.
реферат, добавлен 23.12.2017Основные понятия алгебраической логики. Проведение отрицания, конъюнкции, дизъюнкции, импликации и эквиваленции над высказываниями. Перевод текстов на язык предикатов, определение их истинности. Этапы формирования законов логики в трудах Аристотеля.
контрольная работа, добавлен 01.02.2012Содержание и специфика основных законов логики. Свойства человеческой мысли вычленять вещи из окружающего мира и рассматривать их раздельно. Диалектические противоречия процесса познания и их выражения в форме формально-логических противоречий и гипотез.
реферат, добавлен 30.10.2010Форма классической логики и теории множеств, базирующиеся на понятии нечёткого множества. Применение нечетких множеств в экономическом, финансовом анализе и в современных технологиях управления. Алгоритм по формализации задачи в терминах нечеткой логики.
презентация, добавлен 29.06.2022Множество как одно из ключевых понятий математики, в частности, теории множеств и логики. Операции разности и дополнения и их антидистрибутивность относительно операций объединения и пересечения. Множества высших мощностей. Свойства операции объединения.
реферат, добавлен 20.09.2015- 10. Законы логики
Предмет и основные законы логики. Понятие как логическая форма. Логические действия с понятиями. Определение количества и качества суждений, их связка. Умозаключение как форма мысли, простой категорический силлогизм. Доказательство и опровержение.
контрольная работа, добавлен 25.03.2014 Софизм - рассуждение, кажущееся правильным, но содержащее скрытую логическую ошибку и служащее для придания видимости истинности ложному заключению. Парадоксы на примере математической науки. Преднамеренное, сознательное нарушение правил логики.
презентация, добавлен 17.02.2015История возникновения математической логики. Основное содержание, формулы, элементы, символы. Таблицы истинности, логические функции, основные логические операции. Законы логики и упрощение логических выражений. Решения задач по математической логике.
реферат, добавлен 06.06.2012Определение и анализ сущности комплементарной логики, которая создаётся путём синтеза экстенсиональной и интенсиональной логики. Характеристика особенностей интерпретации редукции волновой функции на основе принципа психофизического параллелизма.
статья, добавлен 25.12.2021- 14. Алгебра логики
Возникновение логики. Элементы математической логики. Операции над логическими функциями. Булевы функции. Преобразование выражений булевых функций. Нахождение исходного выражения по его значениям. Применение в вычислительной технике и информатике.
реферат, добавлен 14.07.2008 - 15. Алгебра логики
Сущность логики как науки о формах и способах мышления. Характеристика основных видов мышления: понятие, высказывание, умозаключение. Описание базовых логических операций: инверсия, дизъюнкция, конъюнкция. Порядок применения закона Моргана, его цель.
презентация, добавлен 06.12.2013 Теоретические и психолого-педагогические основы изучения элементов математической логики в начальной школе. Высказывания и операции над ними. Числовые равенства, уравнения и неравенства, правильные и неправильные рассуждения, высказывания с кванторами.
курсовая работа, добавлен 06.11.2010Рассмотрение основных свойств функций алгебры логики. Базис и основные законы булевых функций. Реализация сочетательного закона при использовании логической функции И для трех переменных. Конъюнктивная и дизъюнктивная формы закона поглощения переменных.
лекция, добавлен 15.11.2017Понятие и предназначение функции алгебры логики, характеристика табличного, графического, координатного, числового и аналитического способа её задания. Специфика составления карты Карно с помощью функции алгебры логики, таблица истинности переменных.
реферат, добавлен 15.11.2017- 19. Основы логики
Ознакомление с основными понятиями и методами формальной логики и применению их при построении умозаключений. Характеристика основных типичных ошибок в организации мыслительного процесса, в осуществлении системы процедур доказательства и опровержения.
методичка, добавлен 16.05.2017 Изучение истории математики как учебного предмета. Формирование умений по построению логических доказательств и математических моделей как общие направления обучению математике в школе. Особенности теоретической и прикладной математики в школьном курсе.
статья, добавлен 05.07.2013Элементы комбинаторики, перестановки, размещения, сочетания. Формульное задание элементарных функций алгебры логики. Принцип двойственности. Разложение булевой функции по переменным. Задачи и упражнения по алгебре логики. Минимизация булевых функций.
учебное пособие, добавлен 08.02.2015Рассмотрение математики в античной Греции. Построение греками математики как целостной науки с собственной методологией, основанной на чётко сформулированных законах логики. Провозглашение о постижимости законов природы для человеческого разума.
реферат, добавлен 21.03.2012Определяются фундаментальные понятия матричного исчисления: линейно зависимые и независимые совокупности строк (столбцов) матрицы, ранг матрицы, сумма и произведение матриц, определитель матрицы, обратная матрица. Свойства определителей алгебры логики.
статья, добавлен 30.08.2020Изучение истории развития математики - науки о величинах и количествах. Характеристика основных разделов математики: арифметики, элементарной алгебры, геометрии (планиметрии и стереометрии), теории элементарных функций и элементов анализа. Цифры майя.
реферат, добавлен 10.11.2011Зарождение арифметики и элементарной математики, развитие строительных технологий и геометрии. Создание дифференциального, интегрального исчисления. Изучение основных законов механики. Открытия Пифагора и Ньютона. Развитие математики в современный период.
статья, добавлен 20.07.2018