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

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

Рубрика Философия
Вид реферат
Язык русский
Дата добавления 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

  • Лев Шестов как русский философ, затронувший в статьях и книгах массу философских и литературных тем. Скандальный выход книги "Апофеоз беспочвенности". Ощущение трагизма человеческого существования. Философия Льва Шестова - закон "отрицания отрицания".

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

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

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

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

    задача [15,7 K], добавлен 10.02.2015

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

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

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

    контрольная работа [31,0 K], добавлен 13.08.2010

  • Критическая философия Канта. Критика чистого разума. Критика практического разума. Объективный идеализм Гегеля. Закон взаимного перехода количественных и качественных изменений. Закон отрицания отрицания. Закон единства и борьбы противоположностей.

    курсовая работа [23,8 K], добавлен 28.10.2004

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

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

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

    контрольная работа [42,6 K], добавлен 18.02.2013

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

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

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

    контрольная работа [37,5 K], добавлен 30.01.2014

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