Ab absurdo
(от лат.) - от нелепого; искодить от нелепого при доказательстве чего-либо.
Силлогистика
Предмет
Логика
👍 Проверено
Автор24
(греч. syllogistikos - выводящий умозаключение), теория дедуктивных выводов, оперирующих высказываниями субъектно-предикатиой формы ("Все S суть Р", "Ни одно S не есть Р", "Некоторые S суть Р", "Некоторые S не суть Р", где S - логическое подлежащее, или субъект, а Р - логическое сказуемое, или предикат).
Научные статьи на тему «Силлогистика»
Силлогистика
Основные понятия силлогистики
Определение 1
Силлогистика – это теория логического вывода, предметом...
В современной науке выделяют другие разновидности силлогистик:
позитивная силлогистика, представляющая...
В языке позитивной силлогистики отсутствуют терминообразующие операторы;
негативная силлогистика, содержащая...
История силлогистики
За тысячелетия истории силлогистики был сформирован колоссальный массив трудов,...
силлогистики.
Статья от экспертов
Алгоритмы вывода для негативных силлогистик
The author makes an attempt to create algorithm and its computer realization for different syllogistic systems.
Creative Commons
Научный журнал
Алгоритмы поиска доказательства в силлогистиках
Общая характеристика алгоритмов поиска доказательства в силлогистиках
Определение 1
Алгоритмы...
Одним из популярных алгоритмов поиска доказательства в силлогистиках является алгоритм резолюции....
Другим алгоритмом поиска доказательства в силлогистиках является алгоритм метода таблиц....
Примените правила вывода силлогистики к каждой строке таблицы....
не является прямым методом доказательства в силлогистике.
Статья от экспертов
Традиционная силлогистика с отрицательными терминами
Мы задаем следующие схемы аксиом для тредиционной силлогистики с отрицательными терминами: (MaP &SaM) ⊃ SaP, SiP ⊃ PiS, SaS, SaP ⊃ SiP , SeP ≡ ¬SiP , SoP ≡ ¬SaP, SaP ≡ SeP ′ , SiP ≡SiP ′′. Доказывается, что данная система подгружаема в предикатное исчисление посредством интерпретации категорических высказываний, предложенной М.Н. Бежанишвили и Л.И. Мчедлишвили.
Creative Commons
Научный журнал
Еще термины по предмету «Логика»
Аргументы
суждения, посредством которых обосновывается истинность к.-л. другого суждения.
Круг в доказательстве
ошибка, вызванная тем, что аргументы, подкрепляющие тезис, сами обосновываются через этот тезис.
- Понятие «Дамский аргумент»
- Понятие «Лжеца» парадокс
- Понятие «После этого не значит вследствие этого»
- Понятие «Ложность основания»
- Понятие «Подмена понятия»
- Ab absurdo
- Ab exterioribus ad interiora
- Аксиологическая модальность
- Алетическая модальность
- Аналитический
- Антитезис
- Априоризм
- Аргумент
- Аргумент к авторитету
- Безотносительное понятие
- Безусловный
- Вероятностные умозаключения
- Видовой признак
- Обоснованность
- Решетка
Повышай знания с онлайн-тренажером от Автор24!
- Напиши термин
- Выбери определение из предложенных или загрузи свое
- Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек