Вход

Интуиционистская логика

Рекомендуемая категория для самостоятельной подготовки:
Реферат*
Код 428660
Дата создания 20:56
Страниц 16
Мы сможем обработать ваш заказ (!) 10 июня в 12:00 [мск]
Файлы будут доступны для скачивания только после обработки заказа.
480руб.
КУПИТЬ

Содержание

ВВЕДЕНИЕ 3
ИНТУИЦИОНИСТСКАЯ ЛОГИКА 4
1.1 Основные идеи интуиционизма 4
1.2 Направление в философии 6
1.3 Математическое содержание интуиционизма 9
1.4 Отличия конструктивной и интуиционистской логики 12
ЗАКЛЮЧЕНИЕ 15
СПИСОК ЛИТЕРАТУРЫ 16

Введение

Цель работы - рассмотреть интуиционистскую логику.
Интуиционистская логика-это отрасль современной математической логики, имеющая свою логико-философскую предпосылку-программу интуиционизма, рассматривающую математику как совокупность "интуитивно убедительных" мыслительных конструкций. Интуиционистская логика отражает взгляд интуиционизма на природу логических законов, которые считаются с его точки зрения допустимыми в применении к доказательствам суждений из тех частей дедуктивных наук (особенно математики), которые по существу связаны с понятием математической бесконечности. Интуиционистская логика первоначально возникла как логика интуиционистской математики, которая позже получила более широкое применение. Неофициально развивалась Л. Э. Я. Брауэром с 1907 года. Первые формально-логичес кие системы были построены В. Гливенко и А. Геттингом в 1930 году.

Фрагмент работы для ознакомления

Реферат посвящен теме: "Интуиционистская логика"

Список литературы

1. Гетманова, А. Д. Логика / А.Д. Гетманова. - М.: КноРус, 2014.
2. Иванов, Е. И. Логика / Е.И. Иванов. - М.: БЕК, 2016
3. Строгович, М. С. Логика / М.С. Строгович. - М.: Едиториал УРСС, 2014.
4. Хоменко, И. В. Основы логики. Учебник и практикум для СПО / И.В. Хоменко. - М.: Юрайт, 2016
5. Челпанов, Г. И. Учебник логики / Г.И. Челпанов. - М.: Либроком, 2016.
Очень похожие работы
Пожалуйста, внимательно изучайте содержание и фрагменты работы. Деньги за приобретённые готовые работы по причине несоответствия данной работы вашим требованиям или её уникальности не возвращаются.
* Категория работы носит оценочный характер в соответствии с качественными и количественными параметрами предоставляемого материала. Данный материал ни целиком, ни любая из его частей не является готовым научным трудом, выпускной квалификационной работой, научным докладом или иной работой, предусмотренной государственной системой научной аттестации или необходимой для прохождения промежуточной или итоговой аттестации. Данный материал представляет собой субъективный результат обработки, структурирования и форматирования собранной его автором информации и предназначен, прежде всего, для использования в качестве источника для самостоятельной подготовки работы указанной тематики.
bmt: 0.00474
© Рефератбанк, 2002 - 2024