Справочник от Автор24
Найди эксперта для помощи в учебе
Найти эксперта
+2

Пропозициональная логика

Предмет Логика
Разместил 🤓 TraStarm
👍 Проверено Автор24

[лат. propositio – предложение, выражение, высказывание]- раздел логики, изучающий рассуждения без учёта внутренней структуры простых суждений.

Научные статьи на тему «Пропозициональная логика»

Анализ пропозициональных установок

Общая характеристика анализа пропозициональных установок Определение 1 Анализ пропозициональных...
поскольку в них приоритет отводится прагматическим и рефлексивно-коммуникативным факторам, в частности: логико-семантической...
Анализ пропозициональных установок является важным инструментом для формальной логики и математики, а...
Менее известны его критика модальной логики и номинализм; их обсуждают в основном логики и философы языка...
обозначения, но и понятия смысла и информативности, эти контексты предстают областью, в которой проблемы логики

Статья от экспертов

Аналитические таблицы для пропозициональной логики Роговского

Formalization of Rogowski's logic is oered by simple and generalized analytical tableaus. Generalized tableaus are constructed in R. Hehnle's style. The theorem of completeness is proved by the Smallyan's method.

Научный журнал

Методы доказательства отсутствия у заданного множества пропозициональных формул конечной характеристической матрицы

В логике существует несколько базовых методов доказательства: Метод редукции: путем последовательного...
Тогда можно показать, что это приводит к противоречию с логическими законами или другими свойствами логики...
В рамках математической логики производится изучение рассуждений математическими методами....
Синтаксис: пропозициональные формулы должны соответствовать правилам синтаксиса логики высказываний....
Существование характеристической матрицы для логики Под логической матрицей понимают набор: М = $\lt$

Статья от экспертов

Формальная пропозициональная логика А. Виссера и ее расширения

Extensions of formal propositional logic by A.Visser (1980) are discused. There is a continuum of such logics which are axiomatized by one-variables formulas. There is an extension of formal propositional logic which is closed under modus ponens, is of width 2, but is not Kripke-complete.

Научный журнал

Еще термины по предмету «Логика»

Понятие «Юма принцип»

принцип, утверждающий, что невозможно с помощью одной логики перейти от утверждений со связкой «есть» к утверждениям со связкой «должен». Принцип назван именем англ. философа Д. Юма (1711-1776), указавшего, что этика постоянно совершает грубую ошибку, полагая, что из описания того, что имеет место, можно вывести какие-то утверждения о моральном добре и долге. С начала XX в. «Ю. п.» привлекает пристальное внимание этиков, теоретиков права и др. Нередко ему отводится главная роль в методологии наук, стремящихся обосновать определенные ценности и требования. Иногда даже утверждается, что в силу «Ю. п.» этика не способна перейти от наблюдения моральной жизни к ее кодификации, так что все системы (нормативной) этики в равной мере не опираются на факты и в этом смысле автономны и равноценны.

🌟 Рекомендуем тебе

Апория

(греч. aporia – затруднение, недоумение - < греч. а – отрицательная частица, poros - выход) – трудно разрешимая логическая проблема, связанная с противоречием между данными опыта и их мысленным образом.

🌟 Рекомендуем тебе

Аргументы

суждения, посредством которых обосновывается истинность к.-л. другого суждения.

🌟 Рекомендуем тебе
Смотреть больше терминов

Повышай знания с онлайн-тренажером от Автор24!

  1. Напиши термин
  2. Выбери определение из предложенных или загрузи свое
  3. Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек
Все самое важное и интересное в Telegram

Все сервисы Справочника в твоем телефоне! Просто напиши Боту, что ты ищешь и он быстро найдет нужную статью, лекцию или пособие для тебя!

Перейти в Telegram Bot