Алетическая модальность
оценка положения вещей (ситуаций, событий), выражаемая понятиями «необходимо», «возможно», «случайно», «невозможно».
сложное высказывание, формулируемое обычно с помощью связки «если..., то...» и устанавливающее, что одно событие, состояние и т. п. является в том или ином смысле основанием или условием другого.
Иногда термин «силлогизм» понимают более широко, применяя его к:
условным умозаключениям,
условно-категорическим...
умозаключениям,
разделительно-категорическим умозаключениям,
лемматическим (условно-разделительным)...
I – частноутвердительные высказывания (по второй гласной букве affirmo);
Е – общеотрицательные высказывания...
Различные сочетания высказываний, собранные в фигуру, образуют модусы....
высказыванием, меньшая – частноутвердительным, заключение – также частноутвердительным.
из сложных высказываний....
посылки хотя бы одно сложное высказывание....
Дедуктивные умозаключения из простых высказываний
Различают следующие виды умозаключений из простых высказываний...
высказываний:
условно категорические умозаключения....
В них и посылки, и заключение являются условными суждениями.
В статье вводятся два вида условной связи формул логических систем: Ари-условная связь и Иусловная (импликативная) связь. Показывается, что посылки принимаемых формул аристотелевской силлогистики связаны с их заключениями Ари-условной связью. Ари-условная связь влечет Иусловную связь формул, но не наоборот. Доказывается теорема, согласно которой наблюдается дифракция И-условной связи на семь видов, среди которых Ари-условная связь.
оценка положения вещей (ситуаций, событий), выражаемая понятиями «необходимо», «возможно», «случайно», «невозможно».
понятие, которое может существовать самостоятельно и мыслиться независимо от других.
признак, отличающий подкласс внутри класса.