Конструктивная и интуиционистская логики

Характеристика конструктивных исчисления высказываний В.И. Гливенко и А.Н. Колмогорова. Проведение исследования проблемы конструктивного понимания логических связок, в частности отрицания и импликации. Анализ редукционного отрицания высказывания.

Рубрика Философия
Предмет Философия
Вид реферат
Язык русский
Прислал(а) incognito
Дата добавления 18.11.2022
Размер файла 18,2 K

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

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


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

  • Понятие, развитие и систематизация диалектики. Идеи диалектики Гегеля и диалектического материализма. Сущность закона отрицания отрицания (закона диалектического синтеза), его мировоззренческое и методологическое значение, противоречивые толкования.

    контрольная работа [35,3 K], добавлен 25.01.2010

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

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

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

    контрольная работа [38,2 K], добавлен 06.08.2013

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

    презентация [239,2 K], добавлен 29.11.2012

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

    реферат [19,5 K], добавлен 12.06.2012

  • Важнейшая функция логики. Аксиоматическое построение исчислений высказываний. Системы без доказательства. Эквивалентные системы исчисления высказываний. Системы Д. Гильберта и В. Аккермана. Правило подстановки, схема заключения, метод допущений.

    реферат [27,7 K], добавлен 12.08.2010

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

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

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

    контрольная работа [216,2 K], добавлен 11.03.2010

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

    реферат [85,0 K], добавлен 24.03.2011

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

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

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