Конструктивная и интуиционистская логики
Характеристика конструктивных исчисления высказываний В.И. Гливенко и А.Н. Колмогорова. Проведение исследования проблемы конструктивного понимания логических связок, в частности отрицания и импликации. Анализ редукционного отрицания высказывания.
Рубрика | Философия |
Предмет | Философия |
Вид | реферат |
Язык | русский |
Прислал(а) | 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