Конструктивные исчисления высказываний В.И. Гливенко и А.Н. Колмогорова

Искусство правильно мыслить. Конструктивные и интуиционистские логики. Проблема конструктивного понимания логических связок. Направления современной неклассической математической логики. Законы и принципы формальной логики. Интуиция и интуитивная ясность.

Рубрика Философия
Вид реферат
Язык русский
Дата добавления 22.04.2014
Размер файла 31,4 K

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.


Подобные документы

  • Сущность логики, отражение закономерности движения мышления к истине. Понятие, суждение и умозаключение - основные типы логических форм. Отражение объективной реальности в законах логики. Отличительные признаки формальной и математической логики.

    контрольная работа [18,1 K], добавлен 29.09.2010

  • Возникновение и этапы развития традиционной формальной логики. Аристотель как основатель логики. Создание символической логики, виды логических исчислений, алгебра логики. Метод формализации. Становление диалектической логики, работы И. Канта, Г. Гегеля.

    реферат [26,9 K], добавлен 19.01.2009

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

    статья [31,9 K], добавлен 30.07.2013

  • Особенности формальной логики. Диалектическая логика Г. Гегеля, ее развитие в работах русских философов. Законы диалектики. Функции диалектической логики в структуре марксистской философии. Сходство и отличия формальной и диалектической логики.

    реферат [25,4 K], добавлен 19.01.2009

  • Аксиоматическое построение математической теории. Основная идея математической логики. Основные принципы операций: отрицание, конъюнкция, дизъюнкция, импликация и эквивалентность логических высказываний. Неформальный аксиоматический метод логики.

    реферат [32,9 K], добавлен 14.12.2012

  • История возникновения и дальнейшего развития логики как науки, а также анализ ее современного значения и содержания. Особенности становления и сравнительная характеристика символической (математической), индуктивной, диалектической и формальной логики.

    контрольная работа [33,4 K], добавлен 01.12.2010

  • Логика как самостоятельная наука. Предмет и значение логики. Теоретические проблемы логики. Основные этапы развития логики. Логика и мышление. Предмет формальной логики и ее особенности. Мышление и язык. Основные правила научного исследования.

    курс лекций [29,4 K], добавлен 09.10.2008

  • С чего началась наука логика. Формирование логики как самостоятельной науки. Внутренняя структура человеческого мышления. Законы и правила логики. Двухчленные и трехчленные суждения. Закон противоречия с логических позиций. Основные элементы силлогизма.

    контрольная работа [22,4 K], добавлен 26.03.2011

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

    реферат [25,2 K], добавлен 16.05.2013

  • Предмет и значение логики. Мышление как логическая ступень познания. Субъект и предикат - главные элементы мысли. Соотношение логики формальной и диалектической. Социальное назначение и функции логики. Логические формы и правила соединения наших мыслей.

    реферат [29,1 K], добавлен 31.10.2010

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.