Файл: Лекции 1 Логика это наука о формах, структурах, принципах и законах правильного мышления.odt

2. 
   Найдите умозаключение, являющееся результатом превращения исходного суждения: Некоторые собаки бездомны: Некоторые собаки не являются не бездомными
   

3. 
   Найдите умозаключение, являющееся результатом обращения исходного суждения: Некоторые собаки бездомны: Некоторые бездомные – собаки
   

4. 
   Найдите умозаключение, являющееся результатом противопоставления исходного суждения: Все собаки суть млекопитающие: Ни одно не млекопитающее не является собакой
   

5. 
   Определите, какая операция была совершена над умозаключением: Исходное умозаключение: Все млекопитающие суть живые существа. Конечное умозаключение: Некоторые живые существа суть млекопитающие Обращение
   

Тема 13. Простой категорический силлогизм

1. 
   Простой категорический силлогизм – это дедуктивное опосредованное умозаключение, включающее три простых суждения: две посылки и заключение.
   
2. 
   Меньший термин силлогизма – это термин, являющийся субъектом заключения.
   
3. 
   Больший термин силлогизма – это термин, являющийся предикатом заключения.
   
4. 
   Средний термин силлогизма – это термин, содержащийся в обеих посылках и отсутствующий в заключении.
   
5. 
   Меньшая посылка силлогизма – это посылка, которая содержит субъект заключения.
   
6. 
   Большая посылка силлогизма – это посылка, которая содержит предикат заключения.
   
7. 
   Как называется ошибка, возникающая при нарушении правила трех терминов ПКС: учетверение терминов
   
8. 
   Что из нижеуказанного является одним из правил посылок ПКС: хотя бы одна из посылок ПКС должна быть утвердительной по качеству
   
9. 
   Фигура ПКС – это способ его построения, зависящий от места среднего термина в посылках.
   
10. 
    Модус ПКС – это разновидность фигуры ПКС, определяемая качеством и количеством суждений, входящих в его состав.
    

1. 
   Энтимема – это силлогизм, в котором пропущена одна из посылок или заключение.
   
2. 
   Просиллогизм – это предварительное умозаключение.
   
3. 
   Эписиллогизм – это последующее умозаключение.
   
4. 
   Полисиллогизм – это последовательность силлогизмов, в которой заключение одного силлогизма входит в состав другого в качестве его посылки.
   
5. 
   Прогрессивный полисиллогизм – это полисиллогизм, в котором заключение просиллогизма является большей посылкой эписиллогизма.
   
6. 
   Регрессивный полисиллогизм – это полисиллогизм, в котором заключение просиллогизма является меньшей посылкой эписиллогизма.
   
7. 
   Сорит – это сокращенный полисиллогизм…
   
8. 
   Гоклениевский сорит – это прогрессивный сокращенный силлогизм, в котором пропущены промежуточные заключения и большие посылки.
   
9. 
   Аристотелевский сорит – это регрессивный сокращенный полисиллогизм, в котором пропущены промежуточные заключения и меньшие посылки .
   
10. 
    Эпихейрема – это силлогизм, посылками которого являются энтимемы.
    

Тема 15. Дедуктивные умозаключения из сложных посылок

1. 
   Условное умозаключение – это умозаключение, которое содержит в качестве своих посылок условные суждения.
   
2. 
   Modus ponens – это разновидность условно-категорического умозаключения, в которой ход рассуждения направлен от утверждения основания условной посылки к утверждению ее следствия.
   
3. 
   Modus tollens – это разновидность условно-категорического умозаключения, в которой ход рассуждения направлен от отрицания следствия к отрицанию основания условной посылки.
   
4. 
   Чисто разделительное умозаключение – это умозаключение, в котором и посылки, и заключение являются дизъюнктивными суждениями.
   
5. 
   .Утверждающе-отрицающий модус разделительно-категорического умозаключения получается путем утверждения одного из членов строгой дизъюнкции и отрицания всех остальных.
   
6. 
   Условно-разделительное (лемматическое) умозаключение – это умозаключение, в котором посылки являются условными (импликативными) и разделительными (дизъюнктивными) суждениями
   
7. 
   Конструктивная дилемма – это дилемма, в которой дизъюнктивная посылка утверждает основания импликативных посылок.
   
8. 
   Деструктивная дилемма – это дилемма, в которой дизъюнктивная посылка отрицает следствия импликативных посылок.
   
9. 
   Простая дилемма – это дилемма, в которой из разных оснований выводится одно следствие (в случае конструктивной дилеммы), либо из одного основания – два следствия (в случае деструктивной дилеммы).
   
10. 
    Сложная дилемма – это дилемма, в которой из разных оснований выводятся разные следствия.
    

Тема 16. Недедуктивные умозаключения

1. 
   Что собой представляет недедуктивное умозаключение? умозаключение, в котором истинность посылок не гарантирует истинность заключения
   
2. 
   Что такой индуктивное умозаключение? умозаключение, в котором осуществляется переход от знания об отдельных предметах какоголибо класса к знанию обо всем классе в целом.
   
3. 
   Неполная индукция – это индуктивное умозаключение, в котором субъекты частных суждений-посылок (составляющие множество {S1, S2, … Sn}) принадлежат субъекту заключения (классу S), но данный класс содержит и другие элементы.
   
4. 
   Энумеративная индукция – это вид неполной индукции, основанный на простом перечислении случайных фактов.
   
5. 
   Элиминативная индукция – это вид неполной индукции, построенный на основании специально подобранных посылок, гарантирующих, что признак, который будет приписан целому классу явлений на основании наличия у некоторых элементов класса, является существенным.
   
6. 
   Статистичекая индукция – это вид индукции, направленный на исследование массовых явлений с известной частотой распределения событий в интересующей нас области явлений.
   
7. 
   Какая из нижеперечисленных схем отражает метод различия: При обстоятельствах abc наступает явление А. При обстоятельствах bc явление А не наступает. Вероятно, обстоятельство а – причина явления А. 8. Какая из нижеперечисленных схем отражает метод сопутствующих изменений: Обстоятельства a’bc предшествуют наступлению явления А’.
   

9. 
   Аналогия – это недедуктивное умозаключение, основанное на мысленном переносе признаков одного предмета на другой, в чем-то схожий с первым.
   
10. 
    Системы называются гомоморфными в случае, когда отсутствует обратное отношение между элементами этих систем, что делает возможным перенос с более простой системы (модели) на более сложную (реальный объект), но не наоборот.