Предложение и высказывание не нашла ни в конспектах, ни в учебнике! Погуглите, на всякий случай.
15. Простое высказывание и его структура; виды простых высказываний.
16. Распределенность терминов в простых высказываниях.
Субъект и предикат суждения могут быть распределены (взяты в полном объеме) или не распределены (взяты не в полном объеме). В общих суждениях распределены субъекты, а в отрицательных - предикаты.
17. Логический квадрат и отношения между простыми атрибутивными высказываниями.
Отношение логической совместимости по истинности имеет место между суждениями А и В, если и только если логические формы этих суждений таковы, что существуют суждения этих логических форм, такие, которые оба являются истинными. Если такие суждения не существуют, то между исходными суждениями имеет место отношение логической несовместимости по истинности.
Отношения логической совместимости по ложности имеет место между суждениями А и В, если и только если существуют суждения А' и В', возможно отличающиеся от исходных суждений только нелогическими содержаниями, которые оба являются ложными. Если таковые не существуют, то суждения А и В находятся в отношении логической несовместимости по ложности.
Отношения логического следования имеет место между суждениями А и В, если и только если не существует суждения А' и В' тех же логических форм, что А и В, и, возможно, других нелогических содержаний, такие, что А' истинно, а В' ложно.
Отношение логической эквивалентности имеет место между суждениями А и В, если и только если А|=В и В|=А. Оно обозначается так: А↔ В.
Отношение подчинения: если А|=В и В|≠А. А - подчиняющее, В - подчиненное.
Отношение противоречия (контрадикторности) имеет место между суждениями, которые несовместимы по истинности и несовместимы по ложности.
Субконтрарными являются суждения, совместимые по ложности, но несовместимые по истинности.
Суждения являются логически независимыми, если все они совместимы по истинности и ложности и каждое из них не находится в отношении логического следования к другим суждениям.
Заметка по логическому квадрату: запомните, что ложь из точки о не передается наверх (в точку I)!!!
18. Умозаключение как форма мышления.
Умозаключение - это процесс получения знания, выраженного в суждении, из других знаний, тоже выраженных посредством суждений.
Умозаключения делятся на дедуктивные и индуктивные.
В дедуктивных умозаключениях связи между посылками и заключением представляют собой формально-логические законы, в силу чего при истинных посылках заключение всегда оказывается истинным.
В индуктивных умозаключениях между посылками и заключением имеют место такие связи по формам, которые обеспечивают получение только правдоподобного заключения при истинных посылках.
В процессе рассуждения иногда за дедуктивные принимают умозаключения, которые таковыми не являются. Их называют неправильными дедуктивными умозаключениями, а дедуктивные - правильными.
19. Непосредственные умозаключения (обращение, превращение, противопоставление субъекту и предикату).
Превращение категорического суждения - это изменение его качества одновременно с заменой предиката на противоречащий ему термин. Превращение осуществляется в соответствии со следующими схемами:
А: Все S есть P I: Некоторые S есть P
Ни один S не есть не P Некоторые S не есть не P
Е: Ни одно S не есть P О: Некоторые S не есть P
Все S есть не P Некоторые S есть не P
Обращение категорического суждения заключается в перемене местами его субъекта и предиката по следующим схемам:
А: Все S есть P I: Некоторые S есть P
Некоторые P суть S Некоторые P есть S
Е: Ни один S не есть P О: Некоторые S не есть P
Ни один P не есть S Некоторые P не есть S
Противопоставление предикату - это умозаключение, в котором субъектом заключения является термин, противоречащий предикату посылки, предикатом - субъект посылки, причем заключение и посылка различны по качеству.
Противопоставление субъекту - это умозаключение, в котором субъектом заключения является предикат посылки, предикатом заключения - термин, противоречащий субъекту посылки и заключение и посылка различны по качеству.
Общие схемы противопоставления предикату:
... S есть P ... S не есть P
... не P не есть не S ... не P есть S
Общие схемы противопоставления субъекту:
... S есть P ... S не есть P
... P не суть не S ... P есть не S
20. Простой категорический силлогизм и его структура.
Категорическим силлогизмом является умозаключение, в котором из двух атрибутивных суждений выводится третье атрибутивное суждение. В заключении категорического силлогизма связь между терминами устанавливается на основании их отношения к некоторому "третьему" термину в посылках.
В категорическом силлогизме три дескриптивных термина, являющихся общими или единичными именами. Термины, входящие в заключение, называются крайними, а термин, входящий в каждую из посылок, но не входящий в заключение, - средним.
Правила проверки:
1) По крайней мере одна из посылок должна быть утвердительной;
2) Если одна из посылок отрицательная, то и заключение должно быть отрицательно;
3) Из двух утвердительных посылок нельзя сделать отрицательный вывод;
4) Средний термин должен быть распределен хотя бы в одной посылке. 5) Термин, распределенный в заключении, должен быть распределен и в посылках. ПОВТОРИТЕ ФИГУРЫ СИЛЛОГИЗМА!!!!
21. Проверка простого категорического силлогизма на кругах Эйлера.
При исследовании силлогизмов также можно использовать круговые схемы. Графический метод заключается в следующем. Выявляются и представляются посредством круговых схем все возможные отношения между терминами одной посылки, затем - второй, при которых посылки истинны. После этого соответствующие схемы совмещаются и проверяется, истинно ли заключение при каждом совмещении выделенных схем. Если да, то силлогизм правильный.
22. Полисиллогизм и правила его проверки.
Полисиллогизм - это цепочка силлогизма, где заключение одного силлогизма служит посылкой другого.
23. Энтимема; алгоритм восстановления энтимемы в простой категорический силлогизм.
Энтимема - сокращенный силлогизм, в котором пропущена одна из посылок или заключений.
Для проверки правильности энтимемы нужно попытаться восстановить пропущенную часть таким образом, чтобы получился правильный силлогизм. Если этого сделать нельзя, то энтимема является неправильной, если удается, - правильной.