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