- •1.Предмет формальной логики
- •3. Чем отличается логическая форма от формы предметов?
- •4. Какие значения принимают логические высказывания?
- •5. Назовите виды семантических категорий.
- •6. Объясните основные принципы (законы) логики, представьте их в символической записи.
- •7. Раскройте понятия «паралогизм» и «софизм» как логические ошибки. Чем они отличаются от фактических ошибок?
- •8. Какая ошибка возникает при нарушении закона тождества? Приведите пример.
- •9. Что необходимо знать для правильного применения закона непротиворечия?
- •10. Что устанавливает закон исключенного третьего?
- •11. Что выражает принцип достаточного основания?
- •13 Вопрос: "На каких языках основаны традиционная и математическая логики?"
- •14 Вопрос: "Какими символами оперирует символическая логика?"
- •15 Вопрос: "Раскройте суть именной и пропозициональной функций."
- •16 Вопрос: "Приведите пример простого и сложного имени, объясните суть их отличия."
- •17 Вопрос: "Перечислите признаки предмета в логической классификации и приведите примеры,
- •18. Чем различаются: слово, понятие, термин?
- •19.Что такое содержание и объем понятия? Объясните смысл закона обратного отношения
- •20.Приведите примеры видов понятий по объему.
- •21. Приведите примеры видов понятий по содержанию.
- •22.Приведите примеры и объясните суть логически сравнимых и несравнимых понятий.
- •23.Приведите пример совместимых понятий и изобразите отношения между ними с помощью кругов Эйлера.
- •24. Объясните на примере отношение равнообъемности понятий.
- •25. Объясните на примере отношение пересечения понятий.
- •26. Объясните на примере отношение подчинения понятий.
- •27. Объясните на примере отношения «род», «вид», «индивид».
- •28. Приведите пример несовместимых понятий и изобразите отношения между ними с помощью кругов Эйлера.
- •29. Объясните на примере отношение соподчинения.
- •36 Как определить понятие через род и вид?
- •38 Что требует правило соразмерности в определении понятия? Назовите две ошибки, свя-
- •39. Что значит «тавтология в определении»?
- •42.Неявные определения. Приемы, заменяющие определение
- •54. Приведите пример атрибутивного суждения и обозначьте его структуру.
- •55. Приведите пример реляционного суждения и обозначьте его структуру.
- •56. Приведите пример экзистенциального суждения и обозначьте его структуру.
- •66. Приведите примеры отношений между суждениями: противоположности, противоре-
- •67. Какова роль умозаключений в получении выводных знаний?
- •69. Назовите виды умозаключений в зависимости от строгости вывода, его направленно-
- •70. Изобразите схемы непосредственных умозаключений (превращение и обращение) и
- •72. Приведите пример категорического силлогизма и сделайте его полный разбор.
- •74. Назовите правила терминов категорического силлогизма. Приведите примеры нарушения этих правил.
- •75. Назовите правила посылок категорического силлогизма. Приведите примеры нарушения этих правил.
- •76. Понятие о модусах категорического силлогизма. Приведите пример модуса Barbara.
- •77. Какой силлогизм называется энтимемой?
- •79) Основные группы сложных суждений:
- •85. В чем суть модальности суждений?
- •86. Приведите пример и схему чисто условного умозаключения.
- •87. Приведите пример и схему условно-категорического умозаключения по утверждающему модусу.
- •88. Приведите пример и схему условно-категорического умозаключения по отрицающему модусу.
- •89. Приведите пример и схему разделительно-категорического умозаключения по утверждающе-отрицающему модусу.
- •90.Приведите пример и схему разделительно-категорического умозаключения по отрицая – утверждающему модусу.
- •91. Какое умозаключение называется условно-разделительным? На какие виды оно делится?
- •92. Приведите схемы простой конструктивной и простой деструктивной дилеммы.
- •93.Какая индукция называется полной и какая неполной?
- •95. На каких принципах выведены методы установления причинной связи?
- •96: 96. Что представляет собой метод единственного сходства и единственного различия?
- •97.В чем особенности метода сопутствующих изменений?
- •98. Приведите определение и схему умозаключения по аналогии.
- •99. Что такое доказательство?
- •100. Назовите состав доказательства и определите его части.
- •101. Какое доказательство называется прямым? Постройте его схему.
- •102. Какое доказательство называется косвенным? Приведите его схему.
- •103. Чем обосновывается истинность тезиса в апагогическом доказательстве?
- •104 . Что такое опровержение?
- •105. Назовите способы опровержения и их оптимальный выбор.
- •108. Назовите правило демонстрации в доказательстве и приведите примеры ошибок в де-
- •110. Дайте определение гипотезы, назовите ее виды.
- •111. Какие этапы можно выделить в построении и проверке гипотезы?
- •112. Чем становится гипотеза после полного ее доказательства?
75. Назовите правила посылок категорического силлогизма. Приведите примеры нарушения этих правил.
Правила посылок
1. Две частные посылки не дают следствия.
2. Две отрицательные посылки не дают следствия.
3. Если одна из посылок отрицательна, то и следствие отрицательно.
4. Если одна из посылок частная, то и следствие частное.
76. Понятие о модусах категорического силлогизма. Приведите пример модуса Barbara.
Модусами силлогизма называются разновидности фигур, отличающихся характером посылок и заключения.
Всего с точки зрения всевозможных сочетаний посылок и заключения в каждой фигуре насчитывается 64 модуса, а во всех четырех - 256 модусов.
Из всех возможных разновидностей только 24 модуса являются правильными - по 6 в каждой фигуре:
Фигура 1
Barbara
Celarent
Darii
Ferio
Фигура 2
Cesare
Camestres
Festino
Baroco
Фигура 3
Darapti
Disamis
Datisi
Felapton
Bocardo
Ferison
Фигура 4
Bramantip
Camenes
Dimaris
Fesapo
Fresison
Barbara:
Все люди - животные.
Все животные смертны.
Все люди смертны.
77. Какой силлогизм называется энтимемой?
Энтимема — сокращённый силлогизм, в котором в явной форме не выражена посылка или заключение, однако пропущенный элемент подразумевается.
Иногда к энтимеме прибегают нарочно, желая получить неожиданное заключение. Эффект остроумия в значительной степени зависит от энтимемы.
Согласно Аристотелю («Риторика»), энтимема представляет собой «риторический силлогизм»: его цель — убеждение, в отличие от полного «научного» силлогизма, используемого для доказательства.
79) Основные группы сложных суждений:
1. Конъюнктивные (или соединительные) суждения (от лат. conjunctio -- связь, соединение). Они образуются из исходных посредством логического союза конъюнкции «и» (символически: «л»). Их наиболее общая схема: А^В (читается: «А и В»), где А и В -- исходные суждения, а знак ^ -- символ их конъюнкции. Например: «Никто не забыт, и ничто не забыто».
2. Дизъюнктивные (разделительные) суждения. Бывает две их разновидности: слабая и сильная (или нестрогая и строгая).
Слабая (нестрогая) дизъюнкция образуется логическим союзом «или» (знак v). Он характеризуется тем, что объединяемые им суждения не исключают друг друга. Общая формула: АvВ (читается: «А или В»). Языковые средства выражения слабой дизъюнкции -- грамматические союзы «или», «либо» и другие в их разделительно-соединительном значении
Слабая дизъюнкция истинна в тех случаях, когда истинно, по крайней мере, одно из составляющих ее суждений (или оба вместе), и ложна, когда оба суждения ложны
Как и в конъюнкции, логический союз «или» обладает свойством коммутативности. Дизъюнкция может состоять из трех и более исходных суждений -- по формуле: АvВvС.
Дизъюнктивное суждение может не исчерпывать всех возможных случаев. Тогда в русском языке ставятся выражения типа: «и так далее», «и тому подобное», «и прочее».
Сильная (строгая) дизъюнкция образуется логическим союзом «либо... либо» (символ). Она отличается от слабой тем, что ее составляющие исключают друг друга. Общая формула: АvВ (читается: «А либо В»). И она выражается, по существу, теми же грамматическими средствами, что и слабая: «или», «либо» и др., но уже в ином, разделительно-исключающем значении.
Дизъюнкция -- слабая и сильная -- широко распространена в практике мышления. В ней выражаются логические операции деления, расчленения, перечисления чего-то.
3. Импликативные (или условные) суждения (от лат. Implication - сплетение, тесная связь). В них объединяются суждения на основе логического союза «если... то» (обозначается «>»). Формула А>В (читается: «Если А, то В»). Для выражения импликации русский язык имеет следующие грамматические союзы: «если... то», «когда... тогда», «в случае, если... то» и др.
4. Эквивалентные (равнозначные) суждения (от лат. aequivalens -- равноценный, равнозначный). В них объединяются суждения с взаимной (прямой и обратной) условной зависимостью. Они называются еще двойной импликацией. Их образует логический союз «если и только если... то» (символ «-»). Формула эквивалентности: A-В (читается: «Если и только если А, то В»). Грамматически эквивалентность выражается также союзами: «тогда и только тогда... когда», «лишь в том случае, если... то», «только при условии, если... то» и др.
Эквивалентное суждение истинно в двух случаях: когда оба составляющие его суждения истинны и когда они оба ложны.
80-83)
ЭТО ТОЛЬКО ОБОБЩЕННАЯ ЧАСТЬ, ДОДУМЫВАТЬ НАДО САМИМ!
Определение истинности суждений непосредственно связано со сравнимостью и несравнимостью. Сравнимые суждения делятся на совместимые и несовместимые.
Несовместимые суждения могут находиться в отношениях противоречия и противоположности. Понятия, входящие в отношение противоречия, характеризуются тем, что не могут быть одновременно истинными или ложными. Если одно из противоречащих суждений истинно, то другое ложно, и наоборот.
Если одно из противоположных суждений истинно, другое обязательно ложно, так как они исключают друг друга полностью. При этом ложность одного из противоположных суждений не означает ложности или истинности другого. И действительно, противоположность суждений еще не означает, что одно из них всегда истинно, а другое — ложно. Например: «На Марсе нет жизни» и «На Марсе есть жизнь». Эти понятия неопределенны, т. е. неизвестно, истинны они или ложны. Оба они могут быть ложными. Но истинным может быть только одно из них.
Совместимые суждения входят в отношения логического подчинения, равнозначности и частичного совпадения (пересечения).
Подчиненные совместимые суждения. Носят такое название в силу того, что одно из этих суждений входит в объем другого, подчинено ему. Такие суждения имеют общий предикат. Определение истинности суждений, находящихся в отношении подчинения, связано с определенной спецификой, так как одно из суждений входит в объем второго. В связи с этим истинность общего суждения влечет истинность частного, истинность же частного не определяет с достоверностью истинности общего. Ложность общего оставляет частное суждение неопределенным, а ложность частного не означает, что ложно и общее.
Приведем пример: «Феррари — хороший автомобиль» и «Все автомобили хорошие». Второе суждение ложно. Оно является подчиняющим. При этом подчиненное ему частное суждение является истинным.