Конструктивная и интуиционистская логики
Характеристика конструктивных исчисления высказываний В.И. Гливенко и А.Н. Колмогорова. Проведение исследования проблемы конструктивного понимания логических связок, в частности отрицания и импликации. Анализ редукционного отрицания высказывания.
Подобные документы
Мыслительная логика как инструмент познания окружающего мира. Понятие, высказывание и умозаключение как основные формы мышления. Характеристика основных видов логических операций. Изучение конъюнкции, дизъюнкции, отрицания, импликации и эквивалентности.
презентация, добавлен 05.12.2016Категория отрицания и ее понимание в диалектике и метафизике. Отрицание в метафизике как акт отбрасывания и окончательного устранения старого. Суть диалектического закона отрицания отрицания Гегеля как закон развития природы, общества и мышления.
контрольная работа, добавлен 17.02.2013Триединый процесс диалектического "отрицания". Реальный аналог "отрицания отрицания" в природе и обществе. Диалектическое отрицание и его роль в развитии. Диалектическое и метафизическое понимание отрицания. Развитие как прогресс, спиралевидный характер.
реферат, добавлен 04.06.2011Круговые схемы Эйлера и диаграммы Венна для выражения отношений между понятиями. Образование сложных суждений из простых с помощью логических связок: конъюнкции, дизъюнкции, импликации, эквиваленции и отрицания. Условия истинности сложных суждений.
контрольная работа, добавлен 22.10.2013Исследование языка и семантики классической логики высказываний. Алгоритм построения таблицы истинности. Характеристика законов утверждения консеквента и отрицания антецедента. Анализ отношений совместимости по правде, ложности и логического следования.
реферат, добавлен 29.11.2016Анализ законов диалектики как философской теории развития материи, духа и сознания. Диалектико-материалистические взгляды на роль триады в развитии реальных объектов и явлений. Действие закона двойного отрицания в сложных информационных структурах.
статья, добавлен 05.05.2017Единство корпускулярных и волновых свойств электромагнитного излучения. Изучение волновых свойств света: дисперсии и дифракции. Действие закона отрицания отрицания (диалектического синтеза) в развитии живых организмов (в онтогенезе и филогенезе).
реферат, добавлен 30.09.2013Основы методологии "снятия" Гегеля. Критика философом софистов и космологии Канта. Формы и содержание закона отрицания отрицания. Механизм образования диалектических понятий. Понимание единства противоположных смыслов. Критерии истинности доказательства.
статья, добавлен 04.02.2021Закон отрицания отрицания - закон прогрессивного развития объективного мира и отображающего его мышления. Выявление истоков противоречивых толкований этого закона в философской литературе и их разрешение при переходе к новой концепции спирали развития.
лекция, добавлен 04.01.2010Логические союзы и способы их определения. Элементарные и сложные законы логики высказываний. Исследование теории введения двойного отрицания. Особенность отношений следования и полной совместимости. Изучение правил введения и удаления конъюнкции.
лекция, добавлен 01.09.2017- 11. Основы логики
Общее описание и содержание логики как научного направления, предмет и методы ее исследования. Характеристика логики высказываний, имен. Формирование силлогических выводов. Логический закон как схема, порождающая только истинные сложные высказывания.
учебное пособие, добавлен 31.03.2015 Основные законы диалектики как логики видимости, теории и метода познания действительности. Законы единства и борьбы противоположностей, перехода количественных изменений в качественные, отрицания отрицания. Диалектические закономерности и категории.
реферат, добавлен 13.05.2013Первые учения о рассуждении, о формах и способах мышления. Раскрытие Аристотелем в учении "Аналитики" темы построения суждений как логической формы утверждения или отрицания. Примеры законов противоречия, отрицания, основания и исключённого третьего.
реферат, добавлен 13.10.2017- 14. Сложные суждения
Рассмотрение суждения как формы мысли. Наличие утверждения или отрицания как отличительные характеристики суждения. Понятие логических связок, модальности, аналитических и синтетических суждений. Установление истинности или ложности сложного суждения.
реферат, добавлен 17.12.2016 Теория логических форм и основ, заложенных в фундамент логики Аристотеля. Логическое суждение и мышление по Аристотелю. Понятие о двухчленных и трехчленных суждениях. Законы противоречия, отрицания, доказательства. Доктрина силлогизма в работе Аристотеля.
контрольная работа, добавлен 28.09.2011Особенности историко-философских форм диалектики. Анализ законов диалектики: единства и борьбы противоположностей, взаимного перехода количества в качество, отрицания отрицания. Специфика диалектики и метафизики как альтернативных концепций развития.
реферат, добавлен 12.12.2015Характеристика понятия и сущности, анализ истории возникновения и развития диалектики как метода познания. Анализ закона единства и борьбы противоположностей. Описание закона отрицания отрицания. Характеристика основных принципов и категорий диалектики.
реферат, добавлен 29.12.2020Методы записи выражения на языке логики высказываний, порядок выполнения логических действий. Особенности общеутвердительных, общеотрицательных, частноутвердительных и частноотрицательных суждений. Определение объемов субъекта и предиката в суждениях.
контрольная работа, добавлен 21.11.2013Анализ видов социальных антагонизмов в обществе. Рассмотрение форм диалектического возражения: усовершенствование, ограничение, социальная революция. Характеристика закона отрицания. Гегель как автор закона диалектики. Понятие тождественности, виды.
реферат, добавлен 02.01.2013Необходимость логического мышления для решения головоломки. Рассмотрение логики как общей, фундаментальной математики. Разновидности популярных логических головоломок. Использование символов эквивалентности и отрицания для решения задачи Эддингтона.
реферат, добавлен 30.11.2014Составление логических выражений из высказываний. Истинность сложного высказывания при значениях входящих переменных. Последовательность действий построения таблиц истинности. Нахождение значения логических выражений путем построения таблиц истинности.
конспект урока, добавлен 25.01.2014Отражение проблемы всеобщности и существенности развития в философском трактате Карла Маркса "Капитал. Ознакомление с основными законами материалистической диалектики: правила производства прибавочной и меновой стоимости, концепция отрицания отрицания.
реферат, добавлен 01.08.2010- 23. Законы философии
Основные принципы философского учения о диалектике. Характеристика категории противоречия в философии. Закон единства и борьбы противоположностей. Сущность закона взаимного перехода количественных и качественных изменений. Закон отрицания отрицания.
контрольная работа, добавлен 23.02.2016 Жизнь и литературная деятельность греческого философа Платона; ознакомление с его взглядами на систему воспитания личности. Содержание законов перехода количественных изменений в качественные, взаимодействия противоположностей и отрицания отрицания.
курсовая работа, добавлен 19.12.2011Диалектика и ее исторические формы. Принципы диалектики: системность, структурность, целостность. Законы и категории диалектики (законы единства и борьбы противоположностей, перехода количественных изменений в качественные, отрицания отрицания).
реферат, добавлен 11.12.2011