вывод из одних суждений других:
между частными и общими суждениями одного характера (утвердительными... Если посылка является утвердительнымсуждением, то посредством превращения получают отрицательное суждение... Отрицательное суждение превращается в утвердительное.... , поэтому, чтобы проверить правильность выполненного превращения (из утвердительногосуждения в отрицательное... частноотрицательное суждение преобразуется в частноутвердительное,
для частноутвердительных суждений
Данная статья посвящена исследованию связи между утвердительными и отрицательными суждениями, имеющими разные предикаты, но общий субъект высказываний. Вводится и описывается новая логическая функция -определённое отрицание.
Классический подход к силлогистике заключается в делении суждений на общие и частные, утвердительные... Васильевым смысле, то оба частных высказывания (утвердительное и отрицательное – I и O) – можно объединить... информация о ложности утвердительного высказывания;
материальный: основой отрицательного суждения является... Если утвердительноесуждение базируются на непосредственных ощущениях и восприятиях, то отрицательные... Поэтому в таком мире могут в одном предмете возникнуть основания и для утвердительного и для отрицательного
Построена традиционная интегральная силлогистика ТИС-25КО из одних только контрадикторных отрицаний утвердительных и индифферентных суждений совершенной силлогистики ТИС-50, все сильные правильные модусы которой впервые представлены в явном виде. При построении использован предложенный автором ранее семантический метод вычисления результирующих отношений.
(лат. non segunitur) – логическая ошибка в доказательстве, состоящая в том, что в подтверждение тезиса выдвигаются такие доводы, которые сами по себе являются истинными суждениями, но из которых вовсе не следует (не вытекает логически) доказываемый тезис.
(лат. Аbsolutus - безусловный) - такое знание, которое окончательно, полностью, безусловно отображает данный предмет, явление, процесс и потому при дальнейшем развитии науки и практики оно не ожет быть опровергнуто.
(от фр. absurde – нелепица) – нелепость, бессмыслица. В логике под абсурдом обычно понимается противоречивое выражение. В таком выражении что-то утверждается и отрицается одновременно. «Сведение к абсурду» - один из способов опровержения, заключающийся в установлении ложности (или противоречивости) следствий, вытекающих из тезиса.