Начало. - Зачем указывается количество слов в текстах.
2.1.37. Логика (3).
Программы от простейшей к сложным: Захаров (ун-т Нестеровой, 2001). Катречко (36 часов). Смирнов В. (Логика и аналитическая философия, автор - глубоко советский по возрасту).
Библиография
УНИВЕРСИТЕТ
НАТАЛЬИ НЕСТЕРОВОЙ
А.А. Захаров
Логика
Учебно-методические материалы
Москва 2001
Захаров А.А. Логика. Программа курса. Учебно-методические материалы. – М., 2001.
Настоящая программа составлена в соответствии с государственным образовательным стандартом высшего профессионального образования, опирается на классические и новейшие логические исследования и направлена на формирование целостного представления о предмете и истории его становления.
Основная задача, которую решает представленная программа - помочь сформировать культурное мышление, которое представляет мыслительную деятельность
, состоящую в умении разрешать мыслительные проблемные ситуации логики и методологии правильного (культурного) мышления. Такая логика является практической логикой. Традиционная и математическая логика будут лишь ее теоретической базой. Только в этом случае отпадает вопрос, в настоящее время всегда возникающий после завершения курса обучения логике: зачем нужна логика? И только при этом условии логика будет служить реальным подспорьем повышения культуры логического мышления студентов.
Какому термину соответствует каждое из следующих определений?
14
Тесты для самопроверки 16
Вопросы для оценки знаний студентов 26
Литература 28
Введение.
Настоящая программа составлена в соответствии с государственным образовательным стандартом высшего профессионального образования , опирается на классические и новейшие логические исследования и направлена на формирование целостного представления о предмете и истории его становления.
Основная задача курса сформировать культурное мышление, которое представляет мыслительную деятельность состоящую:
- в умении разрешать мыслительные проблемные ситуации логики и методологии правильного (культурного) мышления. Такая логика является практической логикой. Традиционная и математическая логика будут лишь ее теоретической базой. Только в этом случае отпадает вопрос, в настоящее время всегда возникающий после завершения курса обучения логике: зачем нужна логика? И только при этом условии логика будет служить реальным подспорьем повышения культуры логического мышления студентов.
- иметь представление об основных формально-логических операциях, показать логические принципы в действии при решении содержательно интересных проблем, в частности в деятельности повседневного общения, написания научной работы.
- уметь анализировать, сравнивать, обобщать, устанавливать причинно-следственные связи, аргументированно проводить рассуждения и доказательства и т. д.
- уметь пользоваться терминологией самых разных областей науки и социально-общественной сферы, ориентироваться в потоке новых понятий.
- уметь замечать логические ошибки в устной и письменной речи, показать правильные пути опровержения этих ошибок.
- осуществить переход от интуитивного умения оперировать суждениями и понятиями, терминами и высказываниями к сознательному применению логических правил и законов.
- уметь верно построить умозаключение, логично провести доказательство.
Всеми этими умениями должен владеть дипломированный специалист.
В рамках курса предусмотрены семинарско - практические занятия, на которых студенты знакомятся с основными методами практической логики, отрабатывают навыки постановки и решения проблем, приемы написания научной работы. Методы практической логики являются основой для развития общеучебных умений.
Тематический план курса
Раздел 1. Введение в дисциплину.
Тема 1. Общая характеристика логики.
Тема 2. Исторический очерк возникновения логики.
Раздел 2. Практическая логика – наука о правильном мышлении.
Тема 3. Термины.
Тема 4. Суждение.
Тема 5. Умозаключение.
Тема 6. Аргументация.
Тема 7. Общие интеррогативные методы.
Тема 8. Методы построения научных языков и теорий
Программа курса
Раздел 1. Введение в дисциплину.
Тема 1. Общая характеристика логики.
Что означает слово "логика" и что изучает наука логика. Процесс мышления. Мышление правильное. Основные части науки. Связь логики с другими науками.
Тема 2. Исторический очерк возникновения логики.
Когда появились первые сведения о логике. Роль риторики в становлении логической науки. Логика Аристотеля. Современное состояние логики. Значение логических знаний на современном этапе. Для чего учить логику?
Раздел 2. Практическая логика – наука о правильном мышлении.
Тема 3. Термины.
Термины имеют значение и смысл. Значение – это чувственно воспринимаемые объекты (предметы, свойства, отношения). Смысл (понятие) – это есть определяющий признак объекта. Определяющий признак - это признак, по которому определяемый объект отличается от всех других объектов.
Определение термина – это приписывание определяющего признака определяемому термину, позволяющее отличать определяемый предмет ото всех остальных. Определения терминов бывают остенсивные и вербальные. Остенсивное определение – это определение, опирающееся на чувственные восприятия. Вербальное определение – это определение смысла (понятия) определяемого термина через смыслы определяющих терминов. Смысл понятия и определяющий признак – это одно и то же.
Методологические правила введения термина. Методы эффективизации, алгоритмизации, квантификации, метод качественного уточнения терминов. Метод логической систематизации терминов. Научная классификация.
Определения в гуманитарных и естественных науках бывают через род и видовое отличие и индуктивные. Необходимо избегать приемов, которые схожи с определением по форме, но не являются таковыми.
Тема 4 . Суждение.
Суждение есть высказывание, в котором утверждается или отрицается наличие свойства или отношения у предмета. Суждение имеет форму и содержание. Форма – это синтаксис, содержание есть семантика суждения. Логику интересует форма суждения, а из содержания суждения его истинность (ложность). Истинность есть соответствие приписывания (предиката суждения его субъекту) присущности (свойств или отношений, обозначаемых предикатом, предмету, обозначенному субъектом суждения).
Истинность характеризуется принципами истинности:
/1/ относительности к принятым идеализациям;
/2/ плюрализма истинности.
Истинность бывает логической и фактуальной. Логическая истинность – это истинность, которая устанавливается через анализ логических терминов. Логические термины определяются остенсивно. Фактуальная истинность устанавливается не только при помощи логических терминов (если они есть), но при помощи дескриптивных терминов (терминов, обозначающих некоторые предметы, их свойства и отношения).
Методы обоснования истинности суждений (относительные и безотносительные)
Фактуальная истинность делится на эмпирическую и аналитическую в зависимости от качества терминов (эмпирических или аналитических). Эмпирическая истинность – это истинность, устанавливаемая с помощью чувственных восприятий (или с помощью эмпирических терминов). Эта истинность может быть установлена только относительно материальных, чувственно воспринимаемых предметов. Аналитическая истинность - это истинность, устанавливаемая с помощью анализа смысла (понятия) аналитических терминов. Аналитический термин – это термин, имеющий смысл (понятие, определяющий признак) рассматриваемого объекта.
При создании понятий (смысла терминов) самую существенную роль играют идеализации. Идеализация – это наделение объекта свойствами, которыми он не обладает. Эти свойства могут доводиться до "предела", а в квантифицированных науках до бесконечности или до нуля. Идеализация проводится методами обобщения, огрубления, упрощения и т. п. Принцип идеализации (выявление существенного и отвлечение от несущественного).
Тема 5. Умозаключение.
Понятие умозаключения, структура умозаключения. Умозаключение - это форма мышления, посредством которой из одного или нескольких суждений с необходимостью выводится суждение, содержащее новое знание. Дедуктивные и индуктивные умозаключения: общая характеристика. Логические операции с умозаключениями. Непосредственные умозаключения: превращение, обращение, противоположность предикату.
Дедуктивным называется умозаключение, из которого с необходимостью выводится заключение от знания большей степени общности к знанию меньшей степени общности. Простой категорический силлогизм. Нахождение терминов и посылок в простом категорическом силлогизме. Общие правила категорического силлогизма.
Условные, разделительные силлогизмы.
Силлогизм, в котором, по крайней мере, одна из посылок - условное суждение, называется условным. Разделительный силлогизм. Энтимема - силлогизм, в котором пропущена одна из посылок.
Индуктивными называются умозаключения от знания меньшей степени к знанию большей степени общности, от фактов к обобщению. Виды индуктивных умозаключений. Методы индуктивного исследования.
Тема 6. Аргументация.
Понятие аргументации, виды аргументации.
Доказательство, его структура и виды. Опровержения. Правила доказательства и опровержения. Ошибки в доказательстве и опровержении.
Тема 7. Общие интеррогативные методы.
Вопрос. Предпосылки вопроса. Научная работа как вопрос и ответ на него. Корректный вопрос. Простые и сложные вопросы. Методы установления корректности вопроса. Метод ответа на вопрос. Скрытые предпосылки вопроса. Научный и обыденный вопрос.
Научная работа как частный случай вопросно-ответного мышления. Части научной работы: заглавие; постановка цели (задачи); содержание. Методологические требования к различным частям научной работы.
Проблема и ее виды. Гипотеза, ее структура и виды. Построение и проверка гипотезы.
Тема 8. . Методы построения научных языков и теорий
Научный язык. Синтаксические и семантические правила построения научных языков. Семиотическая типология научных языков. Естественный специфицированный язык. Метод построения специфицированного языка. Алгоритмически построенный язык. Метод построения формального языка. Проблема выбора логики языка.
Теория. Метод построения теорий в любом из языков. Метод построения теорий в содержательном языке. Формальная теория. Общие методы построения теорий. Метод разрешающей процедуры. Метод перечисляющей процедуры. Метод построения формальных теорий. Метод построения специфицированных теорий. Метод формулировки принципов теории. Метод эффективизации понятий. Метод обобщения.
Задания для самостоятельной работы
Представим себе экзамены:
(1) Студент дает определение какого-то понятия. Преподаватель с таким определением не согласен. Как быть?
(2) Преподаватель дает задание составить план сочинения. Студент представляет "плохой" план. А какой "хороший" и как его сделать?
(3) Студент пишет работу и ему нужно дать тому или иному понятию надлежащее определение. А каким оно должно быть и как его выбрать или придумать самому?
(4) Для решения поставленной перед студентом задачи нужно дать классификацию изучаемых объектов. Что это такое – известно. Но как дать классификацию, пригодную для решения именно данной задачи?
(5) Студент затрудняется сформулировать точно отрицание данного (сложного) утверждения. Как ему помочь?
(6) Студент допустил ошибку в обосновании некоторого утверждения. Как выявить и разъяснить сущность ошибки?
(7) Как сформулировать корректно вопрос, касающийся конкретной ситуации?
( Как научить студентов корректно ставить вопросы и
(9) правильно отвечать на них?
(10) Как правильно построить студенческую работу, статью, диссертацию?
(11) Как выбрать идеализации для теории, чтобы она выражала существо решаемой задачи и отвлекалась ото всего несущественного для ее решения? (12) И как установить истинность или ложность законов данной теории?
2.Логический тезаурус
1. Аксиоматика 2. Аксиоматический вывод 3. Актуальность научной работы
4. Алгоритм 5. Алфавит 6. Аргументация
7. Введение термина 8. Вопрос 9. Вопрос корректный
10. Вопрос простой 11. Вопрос семантически корректный 12. Вопрос семантически некорректный
13. Вопросы научные 14. Высказывание 15. Деление объема понятия
16. Доказательство 17. Заглавие научной работы 18. Заключение
19. Законы логики 20. Значение 21. Идеализация
22. Идеальное 23. Изоморфизм 24. Информация
25. Истина 26. Истинность абсолютная 27. Истинность аналитическая и эмпирическая
94. Схемы правдоподобных рассуждений 95. Теория 96. Теория исходная
97. Теория в специфицированном языке 98. Теория гносеологическая 99. Теория негносеологическая содержательная
100. Теория содержательная 101. Теория формальная 102. Теория формально-содержательная
103. Термин (слово) 104. Термин дескриптивный 105. Термин Основной
106. Термин Работающий 107. Термин эмпирический 108. Термины вспомогательные
109. Термины теоретические (или аналитические) 110. Умозаключение 111. Умозаключение разделительное
112. Умозаключение условное 113. Форма 114. Форма теории
115. Форма языковых образований 116. Формализация 117. Элемент
118. Язык 119. Язык алгоритмически построенный 120. Язык гносеологический
121. Язык естественный специфицированный 122. Язык как логическая система 123. Язык научный
124. Язык теории
3.Именной тезаурус.
Логики Древней Индии
Дигнаги YI в.
Гангеша XII-XIII вв.
Логики Древней Греции
Демокрит 460-370 до н.э.
Сократ 469-399 до н.э.
Платон 428-347 до н.э.
Аристотель 384-322 до н.э.
Зенон 333- 261 до н.э
Хрисипп 281/278-208/205 до н.э.
Логики эпохи эллинизма
Порфирий 233-303
Логики Древнего Китая
Дэн Си Ок.545-501 до н.э.
Конфуций 551-501 до н.э.
Мо Ди 490-403 до н.э.
Хуэй Ши Ок.370-318 до н.э
Гунсунь Лун Ок.325-250 до н.э.
Моцзы Ок.490-403 до н.э.
Сюнньцзы Ок.313- 238 до н.э.
Ханьфейцзы Ок.280-233 до н.э.
Логики Средних веков
Аль-Фараби 870-950
Авиценна 980-1037
Аверроэс 1126-1198
Пселл М. 1020-1076
Петр Испанский 1220-1277
Скот Дунс 1265/1266-1308
Луллий Раймунд 1235-1315
Оккам Уильям 1285-1349
Буридан Жан Ок.1300-ок. 1358
Кузанский Николай 1401-1464
Логики Нового и Новейшего времени
Бэкон Фрэнсис 1561-1626
Декарт Рене 1596 –1650
Арно Л.А. 1612-1694
Николь П. 1625- 1695
Локк Дж. 1632-1704
Мальбранш 1638-1715
Лейбниц Г.В. 1646-1716
Юм Д. 1711-1776
Кант И. 1724-1804
Ламберт И.Г. 1728-1777
Гершель Дж 1792-1871
Гегель 1770-1831
Буль Дж. 1815-1864
Кэррол Л. 1832-1898
Венн Дж. 1834-1923
Джевонс У.С. 1835-1882
Пирс Ч.С. 1839-1914
Шрёдер Э. 1841-1902
Пеано Дж. 1858-1932
Фреге Г. 1848-1925
Дьюи Дж. 1859-1952
Гуссерль Э. 1859-1938
Уайтхед А.Н. 1861-1947
Рассел Б. 1872-1970
Лукасевич Я. 1878-1956
Брауэр Л. 1881-1966
Шлик М. 1882-1936
Льюис К.И. 1883- 1964
Котарбиньский Т. 1886-1981
Витгенштейн Л. 1889-1951
Айдукевич К. 1890-1963
Карнап Р. 1891-1970
Поппер К.Р. 1902-1994
Тарский А. 1902-1984
Гемпель К.Г. 1905-1997
Гёдель К. 1906-1978
Куайн У. 1908-1997
Айер А.Д. 1910-1989
Тьюринг А.М. 1912-1954
Остин Дж. 1911-1960
Кун Т.С. 1922-1996
Лакатос И. 1922-1974
Хинтикка Я. 1925
Делёз Ж. 1925- 1995
Российские логики Нового и новейшего времени
Порецкий П.С 1846-1907
Ломоносов М.В 1711-1765
Аничков Д.С. 1733-1788
Радищев А.Н. 1749-1802
Каринский М.И. 1840-197
Введенский А.И. 1956-1925
Рутковский Л.В. 1859-1920
Челпанов Г.И. 1862-1936
Лапшин И.И. 1870-1952
Лосский Н.О 1870-1965
Асмус В.Ф. 1894-1975
Бакрадзе К. 1898-1970
Марков А.А. 1903-1979
Колмогоров А.Н. 1903-1987
Гливенко В.И. 1897- 1940
Зиновьев А.А. 1922
Петров Ю.А. 1926- 2001
Щедровицкий Г.П. 1929-1994
4.Какому термину соответствует каждое из следующих определений?
1 – наука, изучающая правила, по которым из принятых оценок суждений (например, оценки «истинно») можно получать только эти же оценки.
2
– предметы, данные чувственным восприятием, обозначаемые термином и отличаемые ото всех других предметов.
3 – абстрактный определяющий признак (понятие), отличающий определяемый предмет ото всех остальных предметов.
4 – мысленное отделение объекта ото всех остальных объектов с помощью указания его значения или смысла.
5 – указание значения термина с помощью чувственных восприятий.
6 – разъяснение смысла определяемого термина с помощью уже известных смыслов других терминов (определяющих).
7 – термин, остенсивно определенный.
8 – термин, вербально определенный.
9 – приписывание предиката суждения его субъекту.
10 – обозначает свойство или отношение, которое приписывается субъекту суждения.
11 – обозначает объект, которому приписывается предикат суждения.
12 – строчка символов, образующих форму суждения.
13 – интерпретация символов суждения на предметной области.
14 – соответствие приписывания (предиката суждения его субъекту) присущности (свойств или отношений, обозначенных предикатом суждения, объекту, обозначенному субъектом суждения).
15 – истинность, устанавливаемая с помощью анализа смысла только логических терминов.
16 – термины типа «суждение», «предикат суждения», «субъект суждения», «все», «существует», «и», «или», «не», «если …, то» и т.п. (вербальное определение не известно).
17 – истинность, устанавливаемая с помощью анализа смысла дескриптивных (нелогических) терминов.
18 – термин, обозначающий материальные или идеализированные объекты, отличные от логических объектов.
19 –объект, существующий вне и независимо от сознания.
20 – объект, полученный в результате идеализации.
21 – методологический прием, связанный с методами обобщения, упрощения, огрубления, выделения и т. п. В математизированных теориях идеализация проводится путем доведения величин до нуля или до бесконечности.
22 – истинность, устанавливаемая на базе остенсивных определений с помощью чувственных восприятий.
23 – истинность, устанавливаемая на основе вербальных определений с помощью абстрактного мышления.
24 – вывод из истинных посылок правдоподобного заключения.
25 – суждение, оценка которого имеет шкалу от нуля (лжи) до абсолютной истинности (единицы).
26 – вывод, дающий из истинных посылок только истинные заключения.
28 – форма мышления, выражающая запрос информации об объекте при указании известной информации об этом объекте. Известная информация выражается в предпосылках вопроса.
29 – вопрос, ответ на который истинен при истинности всех явных предпосылок.
30 – предпосылка о существовании объектов, о которых говорится в вопросе.
31 – вопрос, ответ на который истинен при истинности как явных, так и неявных (скрытых) предпосылок.
32 – предпосылка, которую необходимо выявить для получения истинного ответа на вопрос.
33 – научный вопрос и ответ на него в соответствии с классификацией ключевого слова.
34 – термин, выражающий самое основное содержание того, о чем говорится в научной работе.
35 – дедуктивно организованное множество формальных предложений (чистый синтаксис).
36 – дедуктивно организованное множество общих суждений. (Индивидуальных суждений в теориях не бывает)
37 – теория в разговорном языке с добавленными специфическими терминами какой-либо науки.
5.Тесты для самопроверки.
Тест №1 Семантические категории
Задание теста: Заполните таблицу номерами данных в контрольном списке примеров, которые соответствуют указанным категориям.
Семантические категории
Предложения Термины
Суждения Вопросы Нормы Дескриптивные термины Логические термины
Имена предикаторы Знаки предметных функций
Единичные имена Общие имена Знаки свойств Знаки отношений Знаки признаков
Контрольный список.
1.Конъюнкция. 2. Малорослый . 3. Больший чем. 4.если …, то 5. Ни один. 6. «является желтым» 7. Желтый. 8. «большая чем» 9. «есть большая чем» 10. «член семьи Ивановых». 11. «Если ни один член семьи Ивановых не является честным человеком и Степан – член семьи Ивановых, то Степан не является честным человеком». 12. «является» («есть») 13. «честный человек». 14. «и». 15. Степан. 16.sin 17. «или».18.log 19. +. 20. «неверно, что». 21. «всякий». 22.масса. 23. Масса Земли. 24. «все». 25. «участник этого преступления» 26. Красный (командир) 27. Белый. 28. Белый (командир). 29. Некоторые. 30. «тот…, который».31. привлеченный к уголовной ответственности за совершение этого преступления. 32.Петр Первый. 33.»не участвовавший в совершении этого преступления». 34. Кто убил кассира Сидорова? 35. В нашем обществе неприлично убивать кассира Сидорова. 36. Все участники преступления опознаны потерпевшим. 37. Крокс. 38.Всякий, кто находится в здравом уме, может понимать логику. 39.Ни один из сыновей Крокса не может понимать логику. 40. Сумасшедшие не допускаются к голосованию. 41. Следовательно, ни один из сыновей Крокса не допускается к голосованию.42. Имело ли место деяние, в совершении которого обвиняется подсудимый? 43. «Запрещено проводить пропаганду войны». 44. Содержит ли это деяние состав преступления и каким именно уголовным законом оно предусмотрено? 45. «Гражданин России обязан соблюдать российские законы, где бы он ни находился - в России или за границей». 46. « Законодатель установил и не отменил, что гражданин России обязан соблюдать российские законы, где бы он ни находился - в России или за границей». 47. Какой смысл или значение имеют термины “определяющий признак”, “гносеологическая предпосылка”, “работающий термин”, “дерево”, “алгоритм”? 48. Чисто физическое половое влечение недопустимо с революционно- политической точки зрения. 49. 50. В чем состоят определяющие признаки терминов «логическая истинность», «эмпирическая истинность»? 51.Половое влечение к классово враждебному, морально противному, бесчестному объекту является таким же половым извращением, как и половое влечение человека к крокодилу, орангутангу. 52.расположенный между. 53. В чем различие между суждениями, вопросами и нормами? 54. Больше. 55. Большая чем… 56.является истинным. 57. Сократ 58. Смертный. 58. Является смертным
Ключ
Семантические категории
Предложения Термины
Суждения Вопросы Нормы Дескриптивные термины Логические термины
Имена предикаторы Знаки предметных функций
Единичные имена Общие имена Знаки свойств Знаки отношений Знаки признаков
Три закона (тождества, противоречия, исключенного третьего.) выражают, в сущности одну и ту же мысль: ни одна вещь не может принадлежать одновременно какому-либо классу и его дополнению (классу с противоречащим признаком)
Все три закона отражают фундаментальные свойства реальности – ее двойственность, обратимость и альтернативность и выражаются в развитом мышлении в виде операций с универсумом.
Закон достаточного основания Закон тождества
А есть А Закон противоречия
А не есть не-А Закон исключенного среднего
(или третьего)
Всякая вещь есть или А или не-А
Список
1. Сократ есть не кто иной, как Сократ.
2. Сократ есть Сократ.
3. Данный предмет А может быть Сократом или не – Сократом.
4. Преступление есть преступление.
5. Преступление есть не что иное, как преступление.
6. А не есть одновременно В и не-В.
7. Всякая вещь есть или А или не-А.
8. Данный предмет может быть тем или другим, но ничего среднего здесь быть не может.
9. Противоречащие одно другому утверждения не могут быть оба истинны относительно одного и того же предмета, в одно и то же время, в одном и том же смысле.
10. Из двух «противоречащих» утверждений одно должно быть истинным: мы должны или утверждать или отрицать что-нибудь относительно чего-нибудь, - середины нет.
11. Всякий предмет мысли (или вещь) тождествен сам с собой.
12. Если не-В представляет собой всякую вещь, кроме В, то положения: А есть В и А есть не-В не могут быть истинными одновременно, но одно из них непременно должно быть истинным.
13. Всякая истинная мысль должна быть обоснована.
14. Отрицающие друг друга мысли не могут быть вместе ни истинны, ни ложны.
15. Каждая мысль должна быть равна сама себе.
16. Из двух противоречащих друг другу мыслей одна и только одна истинна.
17. Ни одна вещь из данного универсума не может принадлежать одновременно какому-либо классу и его дополнению (область пересечения любого со своим дополнением пуста). (В.А. Светлов Стр.14)
18. Любая вещь из данного универсума остается равной самой себе, если и только если каждое примененное к ней преобразование аннулируется ему обратным (последовательное выполнение прямого и обратного преобразования равняется нулевому преобразованию).
19. Множество альтернативных классов вещей ( гипотез, способов достижения цели, решений проблем и т.п.) является полным ( содержит существующие вещи, включает истинную гипотезу, правильное решение проблемы и т.п.), если и только если оно представляет разбиение соответствующего универсума на множество взаимоисключающих и совместно исчерпывающих его классов (гипотез, способов достижения цели, решений и т.п.).(Newell A. 1991. p.97-98.)
20. Нельзя в ходе одного рассуждения, в одном контексте менять понятия. Если говоришь про тигра, то не говори про котенка под видом тигра. Не подменяй понятия! Не подставляй другие смыслы в употребляемое в данном контексте понятие. Это – исходный закон. (Николаев И.В.)
21. Если «А есть В», то «А не есть НЕ - В». Из двух противолежащих друг другу (высказываний) утверждения и отрицания … одно необходимо должно быть истинным, а другое ложным. «(Аристотель). Каждый предмет обладает В ОДНО И ТО ЖЕ ВРЕМЯ, В ОДНОМ И ТОМ ЖЕ МЕСТЕ, ПРИ ОДНИХ И ТЕХ ЖЕ УСЛОВИЯХ только определенными признаками. Не может быть данная фигура одновременно и треугольником, и не треугольником. Не может предмет « и обладать, и н6е обладать» каким-то в одно и то же время, в одних и тех же определенных условиях. Если стол сделан из дерева, то он должен называться деревянным, а не железным, не каменным, не глиняным. Нельзя называть его «не деревянным», чтобы не отступить от истины.
22. При двух суждениях, из которых одно утверждает то, что другое отрицает, не может быть третьего, среднего суждения.» Не ищите третье! Третье от лукавого. Такова природа всех вещей и всех их свойств, что у вещей в каждый данный момент времени есть определенный набор свойств. Каждое свойство либо есть, либо его нет у данной вещи. Третьего не дано.
23. Мыслить надо на достаточном основании.
Ключ
Закон достаточного основания Закон тождества
А есть А Закон противоречия
А не есть не-А Закон исключенного среднего (или третьего)
След-но, ртуть – упруга 2. Всякая молекула воды имеет формулу H2 O
Всякая молекула, имеющая формулу H2 O, есть молекула воды.
3. Если Луна в новолуние находится в узле своей орбиты, то происходит солнечное затмение. Луна в новолуние находится в узле своей орбиты.
След-но, происходит солнечное затмение 4. Все студенты юридических вузов изучают логику. Некоторые изучающие логику являются студентами юридических вузов.
5. Все млекопитающие – позвоночные животные.
Ни одно млекопитающие не является беспозвоночным животным
Ни одно беспозвоночное животное не является млекопитающим. 6. Все студенты имеют зачетные книжки.
Иванов – студент
След-но, Иванов имеет зачетную книжку
7. Все S суть P.
Ни одно S не есть не - P. 8. Некоторые художники – пейзажисты.
Все пейзажисты – художники.
9. Некоторые S суть P
Некоторые S не суть не - P. 10. Все цветы – растения.
Все розы – цветы.
Все розы – растения.
11. Все бабочки имеют крылья (Р).
Ни одна бабочка не является бескрылой (не – Р). 12. Ни одно S не есть P.
Некоторые не – P суть S.
13. Все S не есть P.
Все S суть не - P. 14. Если данное суждение – общеутвердительное, то его субъект распределен.
Данное суждение не является общеутвердительным
Значит, его субъект не распределен.
15. Некоторые S суть P.
Некоторые P суть S. 16. Все S суть P.
Некоторые P суть S.
17. Некоторые S не суть P.
Некоторые S суть не – Р. 18. Все S не есть P.
Все S суть не - P.
19. Ни одно S не есть P.
Ни одно Р не есть S. 20. Все рыбы дышат жабрами.
Ни один кит не дышит жабрами.
Ни один кит не является рыбой.
21. А ? В, не – В
Не – А 22. Если Цезарь был тиран, то он заслуживает смерти.
Цезарь был тиран.
Значит, он заслуживает смерти.
23. Ни одно А ? В, А
Не – В 24. Все граждане России имеют право на отдых.
Иванов – гражданин России.
Иванов имеет право на отдых.
25. Если А, то В.
Если В, то С.
След-но, если А, то С. 26. Лжедмитрий II не был воспитан иезуитами, ибо все, кто получил воспитание у иезуитов, знали хорошо латынь, а Лжедмитрий II не знал хорошо латыни.
Некоторые не занимающиеся спортом являются школьниками. 30. Все S суть Р.
Ни одно не – Р не суть S.
31. (А ? В) ? (В ? С)
А? С 32. Все ужи пресмыкающиеся.
Ни одно пресмыкающиеся не есть беспозвоночное.____________________________
Ни одно беспозвоночное не есть уж.
33. Если А, то В, А
В 34. В прошлом году на этом месте я собрал много грибов, и в этом году на этом же месте я также собрал много грибов. В других местах ни в прошлом году, ни в этом году я столько грибов не собирал.____________________
Сл-но, это место является причиной большого числа грибов.
1. Трапеции — не ромбы, а квадраты не трапеции. Следовательно, некоторые ромбы являются квадратами.
2. Все жилые помещения нуждаются в ремонте, а это строение не является жилым помещением. Следовательно, оно не нуждается в ремонте.
3. Все млекопитающие — позвоночные и все лягушки — позвоночные. Следовательно, все лягушки — млекопитающие.
4. Этот человек не является местным жителем, ибо все местные жители знают дорогу к реке, а этот человек не знает ее.
5. Всякое ископаемое животное не может быть несчастно в любви, а устрица — может быть несчастна в любви. Следовательно, устрица — не ископаемое животное.
6. У всех млекопитающих сердце состоит из четырех камер. Кит — млекопитающее. Стало быть, сердце кита состоит из четырех камер.
7. Все выпускники школ сдают экзамены. Смирнов не является выпускником школы. Следовательно, он не сдает экзамен.
8. Если все люди смертны, а Сократ — человек, то Сократ — смертен.
9. Все католики — христиане. Среди жителей деревни Некрасовки нет католиков. Значит, среди жителей деревни Некрасовки нет христиан.
53. Общая характеристика индуктивного умозаключения. Полная индукция.
54. Неполная индукция и ее виды
55. Индуктивные методы установления причинных связей.
56. Умозаключение по аналогии и его виды.
57. Условия состоятельности выводов по аналогии.
58. Доказательство. Структура доказательства и его виды. Правила доказательства. Ошибки в доказательствах.
59. Опосредованное доказательство и непосредственное доказательство
60. Математическая и традиционная логика.
61. Вывод. Примеры выводов: 1. В традиционной логике; 2. в математической логике (в классическом исчислении высказываний): формы модуса поненса, толленса и т. д.
62. Общие интеррогативные методы
63. Обыденный вопрос. Явная предпосылка
64. Научный вопрос. Скрытая предпосылка
65. Научная работа. Построение научной работы. Методологические требования к результату научной работы. Методологические требования к цели, введению, содержанию и заключению научной работы.
66. Вербальное определение и контекстуальное определение
67. Теория - форма научного знания, ее структура
68. Формальные теории
69. Предмет содержательных теорий
70. Прикладная теория
71. Методы построения и обоснования содержательной и формальной теорий
72. Методы построения и обоснования специфицированной содержательной теории
73. Гипотеза как форма развития знаний. Виды гипотез. Понятие версии, догадка. Построение гипотезы и ее проверка.
74. Опровержение. Правила опровержения.
75. Проблема и ее виды.
Тесты .
Тема: «Понятие»
1. К какому приему образования понятий относится операция:
мысленное расчленение объекта мысли на его элементы
А. Абстракция
Б. Обобщение
В. Анализ
Г. Синтез
Д. Сравнение
2. К какому приему образования понятий относится операция:
переход от признаков отдельных предметов к признакам, принадлежащим группам этих предметов
А. Абстракция
Б. Обобщение
В. Анализ
Г. Синтез
Д. Сравнение
3. К какому приему образования понятий относится операция:
процесс соединения объектов в одно целое
А. Абстракция
Б. Обобщение
В. Анализ
Г. Синтез
Д. Сравнение
4. К какому приему образования понятий относится операция:
выделение из предмета отдельных его признаков
А. Абстракция
Б. Обобщение
В. Анализ
Г. Синтез
Д. Сравнение
5. К какому приему образования понятий относится операция:
установление сходства или различия предметов действительности
А. Абстракция
Б. Обобщение
В. Анализ
Г. Синтез
Д. Сравнение
Тема: Суждение
1. К какому виду относится суждение, полученное в ходе деления по содержанию предиката: материя есть философская категория для обозначения объективной реальности.
А. Суждение существования
Б. Атрибутивное суждение
В. Суждение отношения
2. К какому виду относится суждение, полученное в ходе деления по содержанию предиката: способы вооруженной борьбы зависят от оружия, боевой техники и состава армии.
А. Суждение существования
Б. Атрибутивное суждение
В. Суждение отношения
3. К какому виду относится суждение, полученное в ходе деления по содержанию предиката: бытие определяет сознание.
А. Суждение существования
Б. Атрибутивное суждение
В. Суждение отношения
4. К какому виду относятся суждение, полученное в ходе деления по качеству связки: мирное сосуществование государств не устраняет опасность возникновения войны
А. Утвердительное суждение
Б. Отрицательное суждение
4. К какому виду относятся суждение, полученное в ходе деления по качеству связки: мирное сосуществование государств не устраняет опасность возникновения войны
А. Утвердительное суждение
Б. Отрицательное суждение
5. К какому виду относятся суждение, полученное в ходе деления по качеству связки: научная организация труда повышает его производительность.
А. Утвердительное суждение
Б. Отрицательное суждение
6. Что такое модальность суждения?
А. Это явно или неявно выраженная в суждении основная информация
Б. Это явно или неявно выраженная в суждении дополнительная информация
В. Это явно или неявно выраженная в суждении основная и дополнительная информация о процессах и явлениях
7. К какому виду модальности относятся суждения: я уверен, что он честный человек
А. Алетическая (фактическая) модальность
Б. Алетическая (логическая) модальность
В. Эпистемическая (несомненная) модальность
Г. Деонтическая (обязательная) модальность
8. К какому виду модальности относятся суждения: очевидно автор "Слова" был участником битвы с кочевниками
А. Алетическая (фактическая) модальность
Б. Алетическая (логическая) модальность
В. Эпистемическая (несомненная) модальность
Г. Деонтическая (обязательная) модальность
9. К какому виду модальности относятся суждения: Киев расположен южнее Минска
А. Алетическая (фактическая) модальность
Б. Алетическая (логическая) модальность
В. Эпистемическая (несомненная) модальность
Г. Деонтическая (обязательная) модальность
10. К какому виду модальности относятся суждения: священный долг каждого человека - защита Отечества
А. Алетическая (фактическая) модальность
Б. Алетическая (логическая) модальность
В. Эпистемическая (несомненная) модальность
Г. Деонтическая (обязательная) модальность
Тема: Умозаключение
1. Определите вид умозаключения в том случае, когда классификация осуществляется по количеству посылок
А. Дедуктивное, индуктивное и традуктивное умозаключения
Б. Простые и сложные умозаключения
В. Непосредственные и опосредованные умозаключения
2. Какое условие получения истинности вывода в умозаключении можно считать необходимым и первоочередным
А. Необходимо учитывать все результаты предшествующего познания
Б. Необходимо в процессе рассуждения соблюдать правила вывода
В. Необходимо знать и умело применять логические законы
3. Определите посылки категорического силлогизма
А. Одно суждение - разделительное, а другое - категорическое
Б. Одно суждение - условное, а другое - категорическое
В. Оба суждения категорические
4. Какое из представленных правил является общим правилом категорического силлогизма
А. Средний термин должен быть распространен хотя бы в одной из посылок
Б. Средний термин должен быть распространен во всех посылках
В. Средний термин должен быть распространен в одной из посылок и заключении
5. Укажите правильное определение аксиомы категорического силлогизма
А. Все, присущее целому классу предметов, не может быть распределено на любой предмет этого класса
Б. Все, присущее целому классу, распространяется на любой предмет этого класса
В. Все, присущее целому классу, частично распространяется на любой предмет этого класса
6. Определите вид умозаключения в том случае, когда их классификация осуществляется по составу
А. Дедуктивное, индуктивное и традуктивное умозаключения
Б. Простые и сложные умозаключения
В. Непосредственные и опосредованные умозаключения
7. Какое условие получения истинного вывода является необходимым в первую очередь
А. Должны быть истинными исходные суждения
Б. Должны быть соблюдены правила выводного знания
В. Истинными должны быть все понятия, используемые в умозаключении
8. Определите посылки категорического силлогизма
А. Оба суждения категорические
Б. Одно суждение - разделительное, а другое - категорическое
В. Одно суждение - условное, а другое - разделительное
9. Какое из представленных правил является общим правилом категорического силлогизма
А. Термин не распределенный в посылках, может быть распределен в заключении
Б. Термин, не распределенный в посылках, не может быть распределен и в заключении
В. Термин, не распределенный в посылках, не может быть использован в категорическом силлогизме
10. Дайте правильное определение терминов
А. Это элементы суждения, в котором только субъекты включены в заключение и посылки
Б. Это элементы суждения, в котором только предикаты включены в заключение и посылки
В. Это элементы суждения, в котором субъекты и предикаты включены в заключение и посылки
11. Определите соответствие терминов субъектам и предикатам
А. Меньший термин - предикат, средний термин - общая посылка, больший термин - субъект заключения
Б. Меньший термин - субъект заключения, средний термин - общая посылка, больший термин - предикат
В. Меньший термин - общая посылка, средний термин - предикат, больший термин - субъект заключения
12. Укажите правильное определение 1-го логического правила терминов
А. В силлогизме должно быть только три термина
Б. В силлогизме должно быть только два термина
В. В силлогизме должно быть неопределенное количество терминов
13. Укажите правильное определение 2-го логического правила терминов
А. Меньший термин (субъект заключения) должен быть распределен
Б. Больший термин (предикат) должен быть распределен
В. Средний термин (общая посылка) должен быть распределен
14. Укажите правильное определение 3-го логического правила терминов
А. Термин не распространенный в посылках, может быть распределен в заключении
Б. Термин не распространенный в посылках, не может быть распределен в заключении
В. Термин не распространенный в посылках, может быть частично распределен в заключении
15. Дайте правильное определение фигуры силлогизма
А. Это форма силлогизма, отличающаяся по положению среднего термина в посылках
Б. Это форма силлогизма, отличающаяся положением большей и меньшей посылок
В. Это форма силлогизма, отличающаяся положением крайних терминов
16. По какой фигуре силлогизма построены следующие заключения:
Ни один человек, не изучавший логику не знает ее
Петров изучал логику
Следовательно, он ее знает
А. По первой фигуре
Б. По второй фигуре
В. По третьей фигуре
Г. По четвертой фигуре
17. По какой фигуре силлогизма построены следующие заключения:
Все предметы, имеющие форму шара, отбрасывают круглую тень;
Этот предмет отбрасывает круглую тень;
Следовательно, он имеет форму шара
А. По первой фигуре
Б. По второй фигуре
В. По третьей фигуре
Г. По четвертой фигуре
18. По какой фигуре силлогизма построены следующие заключения:
Почти все существительные изменяются по падежам;
Это слово не изменяется по падежам
Следовательно, оно не является существительным
А. По первой фигуре
Б. По второй фигуре
В. По третьей фигуре
Г. По четвертой фигуре
19. По какой фигуре силлогизма построены следующие заключения:
"Евгений Онегин" - мое любимое произведение;
Это произведение написал А. Пушкин;
А. Пушкин написал мое любимое произведение
А. По первой фигуре
Б. По второй фигуре
В. По третьей фигуре
Г. По четвертой фигуре
20. По какой фигуре силлогизма построены следующие заключения:
Все прилагательные обозначают признак предмета;
Многие прилагательные оканчиваются на "-ый"
Следовательно, некоторые слова оканчиваются на "-ый"
А. По первой фигуре
Б. По второй фигуре
В. По третьей фигуре
Г. По четвертой фигуре
21. К какому виду сложных умозаключений относятся рассуждения:
Это прилагательное имеет основу или на твердый, или на мягкий согласный звук;
Но в данном случае основа не оканчивается на твердый согласный звук
Значит, она оканчивается на мягкий согласный звук
А. Условно - разделительное
Б. Условно - категорическое
В. Разделительно - категорическое
22. К какому виду сложных умозаключений относятся рассуждения:
Если Х. совершил преступление, то он был на месте преступления;
Х. не был на месте преступления
Х. не совершал преступления
А. Условно - разделительное
Б. Условно - категорическое
В. Разделительно - категорическое
23. К какому типу энтимемы относятся следующие утверждения:
Встать на путь разоружения, значит включиться в борьбу за мир;
Продолжать гонку вооружения, значит идти к войне;
Следовательно, можно или укреплять мир, или идти к войне
А. Условно - разделительное
Б. Условно - категорическое
В. Разделительно - категорическое
24. К какому типу энтимемы относятся следующие утверждения:
Все российские люди заинтересованы в сохранении мира;
Мы - российские люди
А. Первый тип
Б. Второй тип
В. Третий тип
25. К какому типу энтимемы относятся следующие утверждения:
Аристотель - человек;
Следовательно, он мог ошибаться
А. Первый тип
Б. Второй тип
В. Третий тип
26. Какое из перечисленных требований надо соблюдать в процессе индуктивного вывода:
А. Индуктивное обобщение должно вестись по несущественным признакам
Б. Индуктивное обобщение должно вестись по самому широкому спектру признаков
В. Индуктивное обобщение должно вестись по существенным признакам
27. Какое из перечисленных требований надо соблюдать в процессе индуктивного вывода:
А. Индуктивное обобщение распространяется на все предметы действительности
Б. Индуктивное обобщение распространяется только на однородные и сходные предметы
В. Индуктивное обобщение распространяется только на близкие по смыслу предметы
28. К какому виду индукции относится следующая схема рассуждения:
А1 обладает Р;
А2 обладает Р;
.....................
АП обладает Р
Только А1, А2 ...... составляют класс С. Значит, С обладает Р
А. Неполная индукция
Б. Полная индукция
В. Популярная индукция
Г. Научная индукция
30. Дайте правильное определение энумеративной индукции
А. Это индукция через простое перечисление; где допускается несколько противоречащих случаев
Б. Это индукция через простое перечисление; где допускается только один противоречащий случай
В. Это индукция через простое перечисление, где но встречается противоречащих случаев
31. При нарушении каких условий могут быть допущены ошибки в индуктивных выводах
А. При нарушении двух или трех методов научной индукции
Б. При нарушении требований одного из пяти методов научной индукции
В. При нарушении требований всех пяти методов научной индукции
32. Какая логическая ошибка допущена в данном умозаключении:
"Сганарель. Мы, великие медики, с первого взгляда определяем заболевание ... я заявляю вам: ваша дочь нема" (Мольер. П.С.С. Т2, с. 423).
А. Поспешность обобщения
Б. Обобщение без достаточного основания
В. Подмена причинной связи
Г. Подмена условного безусловным
33. Какая логическая ошибка допущена в данном умозаключении:
Все лебеди белые
А. Поспешность обобщения
Б. Обобщение без достаточного основания
В. Подмена причинной связи
Г. Подмена условного безусловным
34. Какая логическая ошибка допущена в данном умозаключении:
Причиной обострения межнациональных противоречий в Фергане (лето 1989 года) стал так называемый "бытовой национализм".
А. Поспешность обобщения
Б. Обобщение без достаточного основания
В. Подмена причинной связи
Г. Подмена условного безусловным
35. Какая логическая ошибка допущена в данном умозаключении:
Во время грозы всегда после вспышки молнии гремит гром и никогда не бывает наоборот. Значит, молния - причина грома.
А. Поспешность обобщения
Б. Обобщение без достаточного основания
В. Подмена причинной связи
Г. Подмена условного безусловным
36. О каком виде аналогии идет речь в данных определениях:
По сходству явлений делают заключение о сходстве вызвавших их причин или по сходству причин - о сходстве их действий
А. Простая аналогия
Б. Распространенная аналогия
В. Строгая аналогия
Г. Нестрогая аналогия
37. О каком виде аналогии идет речь в данных определениях:
Заключение осуществляется от сходства двух предметов в одном признаке к их сходству в другом признаке, зависящем от первого.
А. Простая аналогия
Б. Распространенная аналогия
В. Строгая аналогия
Г. Нестрогая аналогия
38. О каком виде аналогии идет речь в данных определениях:
По сходству двух предметов в одних признаках делают заключение о сходстве в других свойствах этих предметов, подводя их под один и тот же род или вид.
А. Простая аналогия
Б. Распространенная аналогия
В. Строгая аналогия
Г. Нестрогая аналогия
39. О каком виде аналогии идет речь в данных определениях:
Заключение осуществляется от сходства в одних признаках к сходству уподобляемых предметов, о которых неизвестно, не находятся ли они в зависимости от первых признаков.
А. Простая аналогия
Б. Распространенная аналогия
В. Строгая аналогия
Г. Нестрогая аналогия
40. К какому виду аналогии относится следующее уподобление по характеру уподобляемых объектов:
Ф. Энгельс уподобляет отношения между логикой и диалектикой отношению между арифметикой и высшей математикой. (См.: Соч., т. 20, с. 138.)
А. Аналогия предметов
Б. Аналогия отношений
41. Какой вид аналогии приведен в данном умозаключении:
Если все планеты Солнечной системы движутся вокруг Солнца, в одном и том же направлении, то их движение, вероятно, имеет одну и ту же причину
А. Простая аналогия
Б. Распространенная аналогия
В. Строгая аналогия
Г. Нестрогая аналогия
42. Какой вид аналогии приведен в данном умозаключении:
Если три угла одного треугольника равны трем углам другого треугольника, то эти треугольники подобны.
А. Простая аналогия
Б. Распространенная аналогия
В. Строгая аналогия
Г. Нестрогая аналогия
43. Какой вид аналогии приведен в данном умозаключении:
Чеховский герой Семи - Булатов утверждает: "Отчего зимою день короткий, а ночь длинная, а летом наоборот? День зимою оттого короткий, что ... от холода сжимается и от того, что Солнце рано заходит, а ночь от зажжения светильников расширяется, ибо согревается".
А. Простая аналогия
Б. Распространенная аналогия
В. Строгая аналогия
Г. Нестрогая аналогия
44. Какой вид аналогии приведен в данном умозаключении:
Известно, что все металлы нагреваются, проводят электричество... Когда обнаружили в ходе опытов тело, обладающее теплопроводностью и электропроводностью, то его относили к группе металлов. В дальнейшем определили, что это металл и назвали его бериллием.
А. Простая аналогия
Б. Распространенная аналогия
В. Строгая аналогия
Г. Нестрогая аналогия
45. К какому виду аналогии относится следующее утверждение по характеру уподобляемых объектов?
Волновая теория звука была создана по аналогии с волновой теорией света.
А. Аналогия предметов
Б. Аналогия отношений
С.Л. Катречко
Введение в логику
Программа курса
Данный курс является первой частью общеобразовательного курса логики, предназначенного, в первую очередь, для студентов гуманитарных факультетов, но может быть также использован в качестве дополнительного курса логики для студентов естественнонаучных и математических факультетов.
Курс рассчитан на 36 ч (один семестр) и предполагает 12 лекционных и шесть семинарских занятий.
Для проверки знаний студентов после каждой темы сформулированы контрольные вопросы, ответы на которые выполняются письменно. На основании этих работ решается вопрос о зачете по данному курсу. Экзамен по курсу включает в качестве обязательного элемента проверку практических умений по построению выводов.
Семинарские занятия посвящены освоению более сложных в техническом отношении вопросов соответствующей тематики.
В конце программы приведены темы рефератов, написание которых предполагает самостоятельную проработку дополнительной литературы, и приложения с практическими заданиями, которые могут быть использованы при проведении семинарских занятий, а также для организации самостоятельной работы студентов по данному курсу.
КЛЮЧЕВЫЕ МОМЕНТЫ КУРСА
Логика является одной из наук, изучающих формы и приемы интеллектуальной познавательной деятельности. Основными формами процесса познания, в которых фиксируется информация об исследуемой области, являются понятия, суждения и теории, а к числу приемов интеллектуальной деятельности относятся, например, такие рациональные процедуры, как рассуждение, доказательство, опровержение, выдвижение и проверка гипотез. Внимание данного курса сосредоточено на центральном приеме интеллектуальной деятельности — рассуждении, а главная задача курса может быть сформулирована как научение правильным способам рассуждения. Это обусловлено тем, что ядром логической науки с момента ее возникновения как раз и является выявление и изучение правильных способов рассуждения.
Простейшим видом рассуждения является умозаключение. Умозаключение — это такой набор высказываний, в котором одно из высказываний, называемое заключением, обосновывается с помощью остальных высказываний, называемых посылками. Важно подчеркнуть, что рассуждение (умозаключение) представляет собой процедуру перехода от посылок к заключению.
Логику интересует вопрос о правильности (надежности) рассуждений. По этому основанию рассуждения можно разделить на абсолютно надежные (дедуктивные) и правдоподобные (вероятностные). Основное внимание курса посвящено дедуктивным рассуждениям. В первом приближении, правильное дедуктивное рассуждение можно определить как такое, которое при истинности посылок гарантирует истинность заключения. Однако не любые истинные посылки и истинное заключение образуют правильное рассуждение. Вопрос о том, является ли некоторое умозаключение правильным или неправильным, нельзя смешивать с вопросом: какими — истинными или ложными — являются его посылки и заключение. Это два разных вопроса, и их необходимо четко различать, поскольку тот или иной ответ на второй из них не всегда предопределяет ответ на первый. Истинность посылок является необходимым, но недостаточным условием истинности заключения рассуждения. Дать оценку дедуктивному умозаключению, зная значение его посылок и заключения, можно лишь в одном случае — когда каждая из посылок истинна, а заключение ложно. Тогда умозаключение является заведомо неправильным, так как оно не сохраняет "свойство" истинности посылок при выведении заключения. Для того, чтобы дедуктивное рассуждение было правильным, т.е. истинность его посылок с необходимостью гарантировала бы истинность заключения, рассуждение должно иметь правильную структуру, правильную логическую форму. Именно логическая форма рассуждения, позволяя отвлечься от его конкретного содержания, является основанием для перехода от посылок к заключению дедуктивных рассуждений. Понятие логической формы позволяет уточнить критерий правильности дедуктивных рассуждений следующим образом:
Умозаключение является правильным, если и только если его логическая форма гарантирует, что при истинности посылок мы обязательно получим истинное заключение, т.е. не существует умозаключения данной логической формы с истинными посылками и ложным заключением.
Однако понятие логической формы важно не только при решении вопроса о правильности или неправильности рассуждений, но и является ключевым понятием логики, поскольку законы логики и есть закономерности, присущие логической форме, а логика по праву получила характеристику формальной науки.
Введение. ЧТО ТАКОЕ ЛОГИКА? (2 ч)
Логика как наука о формах и приемах интеллектуальной познавательной деятельности. Основные формы фиксации знаний. Основные приемы мышления. Выделение дедуктивной логики как учения о правильных способах рассуждения.
Тема 1. ЧТО ТАКОЕ РАССУЖДЕНИЕ?
КАКИЕ РАССУЖДЕНИЯ ЯВЛЯЮТСЯ ПРАВИЛЬНЫМИ? (2 ч)
Логика и естественный язык. Логика и грамматика. Что такое высказывание (суждение)? Понятие об истинности и ложности высказываний. Простейший тип рассуждений — умозаключение. Состав умозаключения: посылки и заключение. Понятие о правильном умозаключении. Вопрос о правильном рассуждении (умозаключении) versus вопрос об истинности посылок и заключения умозаключения.
Контрольные вопросы
1. Какова структура простейшего рассуждения — умозаключения? Найдите посылки и заключение следующего умозаключения. Запишите его логическую форму.
Если равнодействующая всех сил, действующих на движущееся тело, не равна 0, то оно движется неравномерно или непрямолинейно, так как известно, что если равнодействующая равна 0, то тело движется равномерно и прямолинейно.
2. Какие рассуждения являются правильными?
3. Предположим, что о некотором дедуктивном рассуждении вам известно, что его посылки и заключение истинны. Достаточно ли этой информации, чтобы судить о правильности рассматриваемого рассуждения? Оцените правильность следующего рассуждения, посылки и заключение которого — истинные высказывания.
(Все) Дикари раскрашивают свое тело.
Некоторые современные девушки тоже раскрашивают свое тело.
Следовательно, некоторые современные девушки — дикари.
4. Предположим, что о некотором дедуктивном рассуждении вам известно, что оно правильно. Достаточно ли этой информации, чтобы судить об истинности его заключения? Является ли истинным заключение следующего правильного рассуждения:
Если ваши книги согласны с Кораном, то они излишни. Если они не согласны с Кораном, то они вредны. Но вредные или излишние книги следует уничтожить. Значит, ваши книги следует уничтожить.
Тема 2. ОЦЕНКА ИСТИННОСТИ ВЫСКАЗЫВАНИЙ.
ПОНЯТИЕ ВОЗМОЖНОГО МИРА (2 ч)
Высказывание (суждение) как составная часть рассуждения. Суждение versus предложение. Понятие о семантике как составной части семиотики. Семантическая оценка высказываний. Бессмысленные и осмысленные высказывания. Способы установления истинности (ложности) высказываний. Подразделение высказываний по способам установления истинности на эмпирическую (фактуальную) и теоретическую истинность. Подразделение теоретической истинности на аналитическую, синтетическую и логическую истинность. Разделение аналитических и логических высказываний на тривиальные и нетривиальные. Возможность различных семантических оценок одного и того же высказывания по способам установления истинности. Понятие описания состояния и логического закона. Способ опровержения логических законов путем "нахождения контрпримера". Преобразование рассуждения в высказывание.
Контрольные вопросы
1. Что такое высказывание (суждение) и чем оно отличается от предложения?
2. Как вы можете определить понятие "описание состояния"?
3. Может ли одно и то же высказывание быть одновременно истинным и ложным? Приведите пример такого высказывания.
4. Надо ли вам что-либо знать о Джоне, чтобы оценить истинность следующего высказывания: "Если Джон холост, то у него нет жены"? Может ли это высказывание быть ложным? К какому классу относится это высказывание? Как устанавливается истинность высказываний этого класса? Приведите еще один пример высказываний этого класса.
Репортажи
ESL Pro Series France: Девятый сезон
ESL Pro Series Germany: Семнадцатый сезон
ESL Pro Series Nordic: Третий сезон
ESL Amateur Series Nordic #3
ESEA Invite: Седьмой сезон
Рейтинг awp: бета-версия
Extreme Masters 5: Национальные отборочные
Extreme Masters 5: Основной раунд
Extreme Masters 5: Американские отборы
Extreme Masters 5: Европейские финалы
Extreme Masters 5: Американские финалы
Extreme Masters 5: Global Finals
Extreme Masters 5: Стыковые матчи
Extreme Masters 5: 2-ой квалификационный этап
Extreme Masters 5: 1-ый квалификационный этап
Календарь предстоящих ивентов
WCG 2010: Участники
ASUS ENC 2010: Quake Live
e-STARS Seoul 2010: Итоги голосования
Female CS 5on5 EFL Russia Season 1
ESWC Китай: DotA
Список финалистов ESWC 2010.wc3
Arbalet Cup Europe II: Текстовый live
Полный Мировой рейтинг
Рейтинги ProPlay.ru 2010
ЛКИ Россия - Про Серия #3
EFL
Репортаж ECG2010
Репортаж NGF2010
Репортаж Neo Star League сезон 3
Групповая стадия Stars War Китай
Extreme Masters 4 Global Finals: Quake live
ENC CS 2010: Плей-офф
ENC CS 2010: Основной раунд
ENC CS 2010: 4-ый квалификационный раунд
ENC CS 2010: 3-ий квалификационный раунд
ENC CS 2010: 2-ой квалификационный раунд
ENC CS 2010: 1-ый квалификационный раунд
ENC 2010 CS: Составы сборных
WC3NC: 3-й сезон
ProPlay.ru > Форумы > BraBlay > Ни один ягненок не имеет обыкновения курить сигары
#1 OPIT @ 19.10.10 17:41 [пожаловаться]
Кароч, дали мне задание по философии (цитата):
Придумайте (!!!!!) примеры для 8-10 истинных модусов простого категорического силлогизма.
Что скажете?
#2 OPIT @ 19.10.10 17:42 [пожаловаться]
ЗЫ. название темы тоже из философии - из конспекта соседа.
#3 bRIGHT_ @ 19.10.10 17:43 [пожаловаться]
УРОВЕНЬ ТРЕТИЙ: УНИВЕРСИТЕТСКИЙ
Начало. - Зачем указывается количество слов в текстах.
2.1.37. Логика (3).
Программы от простейшей к сложным: Захаров (ун-т Нестеровой, 2001). Катречко (36 часов). Смирнов В. (Логика и аналитическая философия, автор - глубоко советский по возрасту).
Библиография
УНИВЕРСИТЕТ
НАТАЛЬИ НЕСТЕРОВОЙ
А.А. Захаров
Логика
Учебно-методические материалы
Москва 2001
Захаров А.А. Логика. Программа курса. Учебно-методические материалы. – М., 2001.
Настоящая программа составлена в соответствии с государственным образовательным стандартом высшего профессионального образования, опирается на классические и новейшие логические исследования и направлена на формирование целостного представления о предмете и истории его становления.
Основная задача, которую решает представленная программа - помочь сформировать культурное мышление, которое представляет мыслительную деятельность
, состоящую в умении разрешать мыслительные проблемные ситуации логики и методологии правильного (культурного) мышления. Такая логика является практической логикой. Традиционная и математическая логика будут лишь ее теоретической базой. Только в этом случае отпадает вопрос, в настоящее время всегда возникающий после завершения курса обучения логике: зачем нужна логика? И только при этом условии логика будет служить реальным подспорьем повышения культуры логического мышления студентов.
Какому термину соответствует каждое из следующих определений?
14
Тесты для самопроверки 16
Вопросы для оценки знаний студентов 26
Литература 28
Введение.
Настоящая программа составлена в соответствии с государственным образовательным стандартом высшего профессионального образования , опирается на классические и новейшие логические исследования и направлена на формирование целостного представления о предмете и истории его становления.
Основная задача курса сформировать культурное мышление, которое представляет мыслительную деятельность состоящую:
- в умении разрешать мыслительные проблемные ситуации логики и методологии правильного (культурного) мышления. Такая логика является практической логикой. Традиционная и математическая логика будут лишь ее теоретической базой. Только в этом случае отпадает вопрос, в настоящее время всегда возникающий после завершения курса обучения логике: зачем нужна логика? И только при этом условии логика будет служить реальным подспорьем повышения культуры логического мышления студентов.
- иметь представление об основных формально-логических операциях, показать логические принципы в действии при решении содержательно интересных проблем, в частности в деятельности повседневного общения, написания научной работы.
- уметь анализировать, сравнивать, обобщать, устанавливать причинно-следственные связи, аргументированно проводить рассуждения и доказательства и т. д.
- уметь пользоваться терминологией самых разных областей науки и социально-общественной сферы, ориентироваться в потоке новых понятий.
- уметь замечать логические ошибки в устной и письменной речи, показать правильные пути опровержения этих ошибок.
- осуществить переход от интуитивного умения оперировать суждениями и понятиями, терминами и высказываниями к сознательному применению логических правил и законов.
- уметь верно построить умозаключение, логично провести доказательство.
Всеми этими умениями должен владеть дипломированный специалист.
В рамках курса предусмотрены семинарско - практические занятия, на которых студенты знакомятся с основными методами практической логики, отрабатывают навыки постановки и решения проблем, приемы написания научной работы. Методы практической логики являются основой для развития общеучебных умений.
Тематический план курса
Раздел 1. Введение в дисциплину.
Тема 1. Общая характеристика логики.
Тема 2. Исторический очерк возникновения логики.
Раздел 2. Практическая логика – наука о правильном мышлении.
Тема 3. Термины.
Тема 4. Суждение.
Тема 5. Умозаключение.
Тема 6. Аргументация.
Тема 7. Общие интеррогативные методы.
Тема 8. Методы построения научных языков и теорий
Программа курса
Раздел 1. Введение в дисциплину.
Тема 1. Общая характеристика логики.
Что означает слово "логика" и что изучает наука логика. Процесс мышления. Мышление правильное. Основные части науки. Связь логики с другими науками.
Тема 2. Исторический очерк возникновения логики.
Когда появились первые сведения о логике. Роль риторики в становлении логической науки. Логика Аристотеля. Современное состояние логики. Значение логических знаний на современном этапе. Для чего учить логику?
Раздел 2. Практическая логика – наука о правильном мышлении.
Тема 3. Термины.
Термины имеют значение и смысл. Значение – это чувственно воспринимаемые объекты (предметы, свойства, отношения). Смысл (понятие) – это есть определяющий признак объекта. Определяющий признак - это признак, по которому определяемый объект отличается от всех других объектов.
Определение термина – это приписывание определяющего признака определяемому термину, позволяющее отличать определяемый предмет ото всех остальных. Определения терминов бывают остенсивные и вербальные. Остенсивное определение – это определение, опирающееся на чувственные восприятия. Вербальное определение – это определение смысла (понятия) определяемого термина через смыслы определяющих терминов. Смысл понятия и определяющий признак – это одно и то же.
Методологические правила введения термина. Методы эффективизации, алгоритмизации, квантификации, метод качественного уточнения терминов. Метод логической систематизации терминов. Научная классификация.
Определения в гуманитарных и естественных науках бывают через род и видовое отличие и индуктивные. Необходимо избегать приемов, которые схожи с определением по форме, но не являются таковыми.
Тема 4 . Суждение.
Суждение есть высказывание, в котором утверждается или отрицается наличие свойства или отношения у предмета. Суждение имеет форму и содержание. Форма – это синтаксис, содержание есть семантика суждения. Логику интересует форма суждения, а из содержания суждения его истинность (ложность). Истинность есть соответствие приписывания (предиката суждения его субъекту) присущности (свойств или отношений, обозначаемых предикатом, предмету, обозначенному субъектом суждения).
Истинность характеризуется принципами истинности:
/1/ относительности к принятым идеализациям;
/2/ плюрализма истинности.
Истинность бывает логической и фактуальной. Логическая истинность – это истинность, которая устанавливается через анализ логических терминов. Логические термины определяются остенсивно. Фактуальная истинность устанавливается не только при помощи логических терминов (если они есть), но при помощи дескриптивных терминов (терминов, обозначающих некоторые предметы, их свойства и отношения).
Методы обоснования истинности суждений (относительные и безотносительные)
Фактуальная истинность делится на эмпирическую и аналитическую в зависимости от качества терминов (эмпирических или аналитических). Эмпирическая истинность – это истинность, устанавливаемая с помощью чувственных восприятий (или с помощью эмпирических терминов). Эта истинность может быть установлена только относительно материальных, чувственно воспринимаемых предметов. Аналитическая истинность - это истинность, устанавливаемая с помощью анализа смысла (понятия) аналитических терминов. Аналитический термин – это термин, имеющий смысл (понятие, определяющий признак) рассматриваемого объекта.
При создании понятий (смысла терминов) самую существенную роль играют идеализации. Идеализация – это наделение объекта свойствами, которыми он не обладает. Эти свойства могут доводиться до "предела", а в квантифицированных науках до бесконечности или до нуля. Идеализация проводится методами обобщения, огрубления, упрощения и т. п. Принцип идеализации (выявление существенного и отвлечение от несущественного).
Тема 5. Умозаключение.
Понятие умозаключения, структура умозаключения. Умозаключение - это форма мышления, посредством которой из одного или нескольких суждений с необходимостью выводится суждение, содержащее новое знание. Дедуктивные и индуктивные умозаключения: общая характеристика. Логические операции с умозаключениями. Непосредственные умозаключения: превращение, обращение, противоположность предикату.
Дедуктивным называется умозаключение, из которого с необходимостью выводится заключение от знания большей степени общности к знанию меньшей степени общности. Простой категорический силлогизм. Нахождение терминов и посылок в простом категорическом силлогизме. Общие правила категорического силлогизма.
Условные, разделительные силлогизмы.
Силлогизм, в котором, по крайней мере, одна из посылок - условное суждение, называется условным. Разделительный силлогизм. Энтимема - силлогизм, в котором пропущена одна из посылок.
Индуктивными называются умозаключения от знания меньшей степени к знанию большей степени общности, от фактов к обобщению. Виды индуктивных умозаключений. Методы индуктивного исследования.
Тема 6. Аргументация.
Понятие аргументации, виды аргументации.
Доказательство, его структура и виды. Опровержения. Правила доказательства и опровержения. Ошибки в доказательстве и опровержении.
Тема 7. Общие интеррогативные методы.
Вопрос. Предпосылки вопроса. Научная работа как вопрос и ответ на него. Корректный вопрос. Простые и сложные вопросы. Методы установления корректности вопроса. Метод ответа на вопрос. Скрытые предпосылки вопроса. Научный и обыденный вопрос.
Научная работа как частный случай вопросно-ответного мышления. Части научной работы: заглавие; постановка цели (задачи); содержание. Методологические требования к различным частям научной работы.
Проблема и ее виды. Гипотеза, ее структура и виды. Построение и проверка гипотезы.
Тема 8. . Методы построения научных языков и теорий
Научный язык. Синтаксические и семантические правила построения научных языков. Семиотическая типология научных языков. Естественный специфицированный язык. Метод построения специфицированного языка. Алгоритмически построенный язык. Метод построения формального языка. Проблема выбора логики языка.
Теория. Метод построения теорий в любом из языков. Метод построения теорий в содержательном языке. Формальная теория. Общие методы построения теорий. Метод разрешающей процедуры. Метод перечисляющей процедуры. Метод построения формальных теорий. Метод построения специфицированных теорий. Метод формулировки принципов теории. Метод эффективизации понятий. Метод обобщения.
Задания для самостоятельной работы
Представим себе экзамены:
(1) Студент дает определение какого-то понятия. Преподаватель с таким определением не согласен. Как быть?
(2) Преподаватель дает задание составить план сочинения. Студент представляет "плохой" план. А какой "хороший" и как его сделать?
(3) Студент пишет работу и ему нужно дать тому или иному понятию надлежащее определение. А каким оно должно быть и как его выбрать или придумать самому?
(4) Для решения поставленной перед студентом задачи нужно дать классификацию изучаемых объектов. Что это такое – известно. Но как дать классификацию, пригодную для решения именно данной задачи?
(5) Студент затрудняется сформулировать точно отрицание данного (сложного) утверждения. Как ему помочь?
(6) Студент допустил ошибку в обосновании некоторого утверждения. Как выявить и разъяснить сущность ошибки?
(7) Как сформулировать корректно вопрос, касающийся конкретной ситуации?
( Как научить студентов корректно ставить вопросы и
(9) правильно отвечать на них?
(10) Как правильно построить студенческую работу, статью, диссертацию?
(11) Как выбрать идеализации для теории, чтобы она выражала существо решаемой задачи и отвлекалась ото всего несущественного для ее решения? (12) И как установить истинность или ложность законов данной теории?
2.Логический тезаурус
1. Аксиоматика 2. Аксиоматический вывод 3. Актуальность научной работы
4. Алгоритм 5. Алфавит 6. Аргументация
7. Введение термина 8. Вопрос 9. Вопрос корректный
10. Вопрос простой 11. Вопрос семантически корректный 12. Вопрос семантически некорректный
13. Вопросы научные 14. Высказывание 15. Деление объема понятия
16. Доказательство 17. Заглавие научной работы 18. Заключение
19. Законы логики 20. Значение 21. Идеализация
22. Идеальное 23. Изоморфизм 24. Информация
25. Истина 26. Истинность абсолютная 27. Истинность аналитическая и эмпирическая
94. Схемы правдоподобных рассуждений 95. Теория 96. Теория исходная
97. Теория в специфицированном языке 98. Теория гносеологическая 99. Теория негносеологическая содержательная
100. Теория содержательная 101. Теория формальная 102. Теория формально-содержательная
103. Термин (слово) 104. Термин дескриптивный 105. Термин Основной
106. Термин Работающий 107. Термин эмпирический 108. Термины вспомогательные
109. Термины теоретические (или аналитические) 110. Умозаключение 111. Умозаключение разделительное
112. Умозаключение условное 113. Форма 114. Форма теории
115. Форма языковых образований 116. Формализация 117. Элемент
118. Язык 119. Язык алгоритмически построенный 120. Язык гносеологический
121. Язык естественный специфицированный 122. Язык как логическая система 123. Язык научный
124. Язык теории
3.Именной тезаурус.
Логики Древней Индии
Дигнаги YI в.
Гангеша XII-XIII вв.
Логики Древней Греции
Демокрит 460-370 до н.э.
Сократ 469-399 до н.э.
Платон 428-347 до н.э.
Аристотель 384-322 до н.э.
Зенон 333- 261 до н.э
Хрисипп 281/278-208/205 до н.э.
Логики эпохи эллинизма
Порфирий 233-303
Логики Древнего Китая
Дэн Си Ок.545-501 до н.э.
Конфуций 551-501 до н.э.
Мо Ди 490-403 до н.э.
Хуэй Ши Ок.370-318 до н.э
Гунсунь Лун Ок.325-250 до н.э.
Моцзы Ок.490-403 до н.э.
Сюнньцзы Ок.313- 238 до н.э.
Ханьфейцзы Ок.280-233 до н.э.
Логики Средних веков
Аль-Фараби 870-950
Авиценна 980-1037
Аверроэс 1126-1198
Пселл М. 1020-1076
Петр Испанский 1220-1277
Скот Дунс 1265/1266-1308
Луллий Раймунд 1235-1315
Оккам Уильям 1285-1349
Буридан Жан Ок.1300-ок. 1358
Кузанский Николай 1401-1464
Логики Нового и Новейшего времени
Бэкон Фрэнсис 1561-1626
Декарт Рене 1596 –1650
Арно Л.А. 1612-1694
Николь П. 1625- 1695
Локк Дж. 1632-1704
Мальбранш 1638-1715
Лейбниц Г.В. 1646-1716
Юм Д. 1711-1776
Кант И. 1724-1804
Ламберт И.Г. 1728-1777
Гершель Дж 1792-1871
Гегель 1770-1831
Буль Дж. 1815-1864
Кэррол Л. 1832-1898
Венн Дж. 1834-1923
Джевонс У.С. 1835-1882
Пирс Ч.С. 1839-1914
Шрёдер Э. 1841-1902
Пеано Дж. 1858-1932
Фреге Г. 1848-1925
Дьюи Дж. 1859-1952
Гуссерль Э. 1859-1938
Уайтхед А.Н. 1861-1947
Рассел Б. 1872-1970
Лукасевич Я. 1878-1956
Брауэр Л. 1881-1966
Шлик М. 1882-1936
Льюис К.И. 1883- 1964
Котарбиньский Т. 1886-1981
Витгенштейн Л. 1889-1951
Айдукевич К. 1890-1963
Карнап Р. 1891-1970
Поппер К.Р. 1902-1994
Тарский А. 1902-1984
Гемпель К.Г. 1905-1997
Гёдель К. 1906-1978
Куайн У. 1908-1997
Айер А.Д. 1910-1989
Тьюринг А.М. 1912-1954
Остин Дж. 1911-1960
Кун Т.С. 1922-1996
Лакатос И. 1922-1974
Хинтикка Я. 1925
Делёз Ж. 1925- 1995
Российские логики Нового и новейшего времени
Порецкий П.С 1846-1907
Ломоносов М.В 1711-1765
Аничков Д.С. 1733-1788
Радищев А.Н. 1749-1802
Каринский М.И. 1840-197
Введенский А.И. 1956-1925
Рутковский Л.В. 1859-1920
Челпанов Г.И. 1862-1936
Лапшин И.И. 1870-1952
Лосский Н.О 1870-1965
Асмус В.Ф. 1894-1975
Бакрадзе К. 1898-1970
Марков А.А. 1903-1979
Колмогоров А.Н. 1903-1987
Гливенко В.И. 1897- 1940
Зиновьев А.А. 1922
Петров Ю.А. 1926- 2001
Щедровицкий Г.П. 1929-1994
4.Какому термину соответствует каждое из следующих определений?
1 – наука, изучающая правила, по которым из принятых оценок суждений (например, оценки «истинно») можно получать только эти же оценки.
2
– предметы, данные чувственным восприятием, обозначаемые термином и отличаемые ото всех других предметов.
3 – абстрактный определяющий признак (понятие), отличающий определяемый предмет ото всех остальных предметов.
4 – мысленное отделение объекта ото всех остальных объектов с помощью указания его значения или смысла.
5 – указание значения термина с помощью чувственных восприятий.
6 – разъяснение смысла определяемого термина с помощью уже известных смыслов других терминов (определяющих).
7 – термин, остенсивно определенный.
8 – термин, вербально определенный.
9 – приписывание предиката суждения его субъекту.
10 – обозначает свойство или отношение, которое приписывается субъекту суждения.
11 – обозначает объект, которому приписывается предикат суждения.
12 – строчка символов, образующих форму суждения.
13 – интерпретация символов суждения на предметной области.
14 – соответствие приписывания (предиката суждения его субъекту) присущности (свойств или отношений, обозначенных предикатом суждения, объекту, обозначенному субъектом суждения).
15 – истинность, устанавливаемая с помощью анализа смысла только логических терминов.
16 – термины типа «суждение», «предикат суждения», «субъект суждения», «все», «существует», «и», «или», «не», «если …, то» и т.п. (вербальное определение не известно).
17 – истинность, устанавливаемая с помощью анализа смысла дескриптивных (нелогических) терминов.
18 – термин, обозначающий материальные или идеализированные объекты, отличные от логических объектов.
19 –объект, существующий вне и независимо от сознания.
20 – объект, полученный в результате идеализации.
21 – методологический прием, связанный с методами обобщения, упрощения, огрубления, выделения и т. п. В математизированных теориях идеализация проводится путем доведения величин до нуля или до бесконечности.
22 – истинность, устанавливаемая на базе остенсивных определений с помощью чувственных восприятий.
23 – истинность, устанавливаемая на основе вербальных определений с помощью абстрактного мышления.
24 – вывод из истинных посылок правдоподобного заключения.
25 – суждение, оценка которого имеет шкалу от нуля (лжи) до абсолютной истинности (единицы).
26 – вывод, дающий из истинных посылок только истинные заключения.
28 – форма мышления, выражающая запрос информации об объекте при указании известной информации об этом объекте. Известная информация выражается в предпосылках вопроса.
29 – вопрос, ответ на который истинен при истинности всех явных предпосылок.
30 – предпосылка о существовании объектов, о которых говорится в вопросе.
31 – вопрос, ответ на который истинен при истинности как явных, так и неявных (скрытых) предпосылок.
32 – предпосылка, которую необходимо выявить для получения истинного ответа на вопрос.
33 – научный вопрос и ответ на него в соответствии с классификацией ключевого слова.
34 – термин, выражающий самое основное содержание того, о чем говорится в научной работе.
35 – дедуктивно организованное множество формальных предложений (чистый синтаксис).
36 – дедуктивно организованное множество общих суждений. (Индивидуальных суждений в теориях не бывает)
37 – теория в разговорном языке с добавленными специфическими терминами какой-либо науки.
5.Тесты для самопроверки.
Тест №1 Семантические категории
Задание теста: Заполните таблицу номерами данных в контрольном списке примеров, которые соответствуют указанным категориям.
Семантические категории
Предложения Термины
Суждения Вопросы Нормы Дескриптивные термины Логические термины
Имена предикаторы Знаки предметных функций
Единичные имена Общие имена Знаки свойств Знаки отношений Знаки признаков
Контрольный список.
1.Конъюнкция. 2. Малорослый . 3. Больший чем. 4.если …, то 5. Ни один. 6. «является желтым» 7. Желтый. 8. «большая чем» 9. «есть большая чем» 10. «член семьи Ивановых». 11. «Если ни один член семьи Ивановых не является честным человеком и Степан – член семьи Ивановых, то Степан не является честным человеком». 12. «является» («есть») 13. «честный человек». 14. «и». 15. Степан. 16.sin 17. «или».18.log 19. +. 20. «неверно, что». 21. «всякий». 22.масса. 23. Масса Земли. 24. «все». 25. «участник этого преступления» 26. Красный (командир) 27. Белый. 28. Белый (командир). 29. Некоторые. 30. «тот…, который».31. привлеченный к уголовной ответственности за совершение этого преступления. 32.Петр Первый. 33.»не участвовавший в совершении этого преступления». 34. Кто убил кассира Сидорова? 35. В нашем обществе неприлично убивать кассира Сидорова. 36. Все участники преступления опознаны потерпевшим. 37. Крокс. 38.Всякий, кто находится в здравом уме, может понимать логику. 39.Ни один из сыновей Крокса не может понимать логику. 40. Сумасшедшие не допускаются к голосованию. 41. Следовательно, ни один из сыновей Крокса не допускается к голосованию.42. Имело ли место деяние, в совершении которого обвиняется подсудимый? 43. «Запрещено проводить пропаганду войны». 44. Содержит ли это деяние состав преступления и каким именно уголовным законом оно предусмотрено? 45. «Гражданин России обязан соблюдать российские законы, где бы он ни находился - в России или за границей». 46. « Законодатель установил и не отменил, что гражданин России обязан соблюдать российские законы, где бы он ни находился - в России или за границей». 47. Какой смысл или значение имеют термины “определяющий признак”, “гносеологическая предпосылка”, “работающий термин”, “дерево”, “алгоритм”? 48. Чисто физическое половое влечение недопустимо с революционно- политической точки зрения. 49. 50. В чем состоят определяющие признаки терминов «логическая истинность», «эмпирическая истинность»? 51.Половое влечение к классово враждебному, морально противному, бесчестному объекту является таким же половым извращением, как и половое влечение человека к крокодилу, орангутангу. 52.расположенный между. 53. В чем различие между суждениями, вопросами и нормами? 54. Больше. 55. Большая чем… 56.является истинным. 57. Сократ 58. Смертный. 58. Является смертным
Ключ
Семантические категории
Предложения Термины
Суждения Вопросы Нормы Дескриптивные термины Логические термины
Имена предикаторы Знаки предметных функций
Единичные имена Общие имена Знаки свойств Знаки отношений Знаки признаков
Три закона (тождества, противоречия, исключенного третьего.) выражают, в сущности одну и ту же мысль: ни одна вещь не может принадлежать одновременно какому-либо классу и его дополнению (классу с противоречащим признаком)
Все три закона отражают фундаментальные свойства реальности – ее двойственность, обратимость и альтернативность и выражаются в развитом мышлении в виде операций с универсумом.
Закон достаточного основания Закон тождества
А есть А Закон противоречия
А не есть не-А Закон исключенного среднего
(или третьего)
Всякая вещь есть или А или не-А
Список
1. Сократ есть не кто иной, как Сократ.
2. Сократ есть Сократ.
3. Данный предмет А может быть Сократом или не – Сократом.
4. Преступление есть преступление.
5. Преступление есть не что иное, как преступление.
6. А не есть одновременно В и не-В.
7. Всякая вещь есть или А или не-А.
8. Данный предмет может быть тем или другим, но ничего среднего здесь быть не может.
9. Противоречащие одно другому утверждения не могут быть оба истинны относительно одного и того же предмета, в одно и то же время, в одном и том же смысле.
10. Из двух «противоречащих» утверждений одно должно быть истинным: мы должны или утверждать или отрицать что-нибудь относительно чего-нибудь, - середины нет.
11. Всякий предмет мысли (или вещь) тождествен сам с собой.
12. Если не-В представляет собой всякую вещь, кроме В, то положения: А есть В и А есть не-В не могут быть истинными одновременно, но одно из них непременно должно быть истинным.
13. Всякая истинная мысль должна быть обоснована.
14. Отрицающие друг друга мысли не могут быть вместе ни истинны, ни ложны.
15. Каждая мысль должна быть равна сама себе.
16. Из двух противоречащих друг другу мыслей одна и только одна истинна.
17. Ни одна вещь из данного универсума не может принадлежать одновременно какому-либо классу и его дополнению (область пересечения любого со своим дополнением пуста). (В.А. Светлов Стр.14)
18. Любая вещь из данного универсума остается равной самой себе, если и только если каждое примененное к ней преобразование аннулируется ему обратным (последовательное выполнение прямого и обратного преобразования равняется нулевому преобразованию).
19. Множество альтернативных классов вещей ( гипотез, способов достижения цели, решений проблем и т.п.) является полным ( содержит существующие вещи, включает истинную гипотезу, правильное решение проблемы и т.п.), если и только если оно представляет разбиение соответствующего универсума на множество взаимоисключающих и совместно исчерпывающих его классов (гипотез, способов достижения цели, решений и т.п.).(Newell A. 1991. p.97-98.)
20. Нельзя в ходе одного рассуждения, в одном контексте менять понятия. Если говоришь про тигра, то не говори про котенка под видом тигра. Не подменяй понятия! Не подставляй другие смыслы в употребляемое в данном контексте понятие. Это – исходный закон. (Николаев И.В.)
21. Если «А есть В», то «А не есть НЕ - В». Из двух противолежащих друг другу (высказываний) утверждения и отрицания … одно необходимо должно быть истинным, а другое ложным. «(Аристотель). Каждый предмет обладает В ОДНО И ТО ЖЕ ВРЕМЯ, В ОДНОМ И ТОМ ЖЕ МЕСТЕ, ПРИ ОДНИХ И ТЕХ ЖЕ УСЛОВИЯХ только определенными признаками. Не может быть данная фигура одновременно и треугольником, и не треугольником. Не может предмет « и обладать, и н6е обладать» каким-то в одно и то же время, в одних и тех же определенных условиях. Если стол сделан из дерева, то он должен называться деревянным, а не железным, не каменным, не глиняным. Нельзя называть его «не деревянным», чтобы не отступить от истины.
22. При двух суждениях, из которых одно утверждает то, что другое отрицает, не может быть третьего, среднего суждения.» Не ищите третье! Третье от лукавого. Такова природа всех вещей и всех их свойств, что у вещей в каждый данный момент времени есть определенный набор свойств. Каждое свойство либо есть, либо его нет у данной вещи. Третьего не дано.
23. Мыслить надо на достаточном основании.
Ключ
Закон достаточного основания Закон тождества
А есть А Закон противоречия
А не есть не-А Закон исключенного среднего (или третьего)
След-но, ртуть – упруга 2. Всякая молекула воды имеет формулу H2 O
Всякая молекула, имеющая формулу H2 O, есть молекула воды.
3. Если Луна в новолуние находится в узле своей орбиты, то происходит солнечное затмение. Луна в новолуние находится в узле своей орбиты.
След-но, происходит солнечное затмение 4. Все студенты юридических вузов изучают логику. Некоторые изучающие логику являются студентами юридических вузов.
5. Все млекопитающие – позвоночные животные.
Ни одно млекопитающие не является беспозвоночным животным
Ни одно беспозвоночное животное не является млекопитающим. 6. Все студенты имеют зачетные книжки.
Иванов – студент
След-но, Иванов имеет зачетную книжку
7. Все S суть P.
Ни одно S не есть не - P. 8. Некоторые художники – пейзажисты.
Все пейзажисты – художники.
9. Некоторые S суть P
Некоторые S не суть не - P. 10. Все цветы – растения.
Все розы – цветы.
Все розы – растения.
11. Все бабочки имеют крылья (Р).
Ни одна бабочка не является бескрылой (не – Р). 12. Ни одно S не есть P.
Некоторые не – P суть S.
13. Все S не есть P.
Все S суть не - P. 14. Если данное суждение – общеутвердительное, то его субъект распределен.
Данное суждение не является общеутвердительным
Значит, его субъект не распределен.
15. Некоторые S суть P.
Некоторые P суть S. 16. Все S суть P.
Некоторые P суть S.
17. Некоторые S не суть P.
Некоторые S суть не – Р. 18. Все S не есть P.
Все S суть не - P.
19. Ни одно S не есть P.
Ни одно Р не есть S. 20. Все рыбы дышат жабрами.
Ни один кит не дышит жабрами.
Ни один кит не является рыбой.
21. А ? В, не – В
Не – А 22. Если Цезарь был тиран, то он заслуживает смерти.
Цезарь был тиран.
Значит, он заслуживает смерти.
23. Ни одно А ? В, А
Не – В 24. Все граждане России имеют право на отдых.
Иванов – гражданин России.
Иванов имеет право на отдых.
25. Если А, то В.
Если В, то С.
След-но, если А, то С. 26. Лжедмитрий II не был воспитан иезуитами, ибо все, кто получил воспитание у иезуитов, знали хорошо латынь, а Лжедмитрий II не знал хорошо латыни.
Некоторые не занимающиеся спортом являются школьниками. 30. Все S суть Р.
Ни одно не – Р не суть S.
31. (А ? В) ? (В ? С)
А? С 32. Все ужи пресмыкающиеся.
Ни одно пресмыкающиеся не есть беспозвоночное.____________________________
Ни одно беспозвоночное не есть уж.
33. Если А, то В, А
В 34. В прошлом году на этом месте я собрал много грибов, и в этом году на этом же месте я также собрал много грибов. В других местах ни в прошлом году, ни в этом году я столько грибов не собирал.____________________
Сл-но, это место является причиной большого числа грибов.
1. Трапеции — не ромбы, а квадраты не трапеции. Следовательно, некоторые ромбы являются квадратами.
2. Все жилые помещения нуждаются в ремонте, а это строение не является жилым помещением. Следовательно, оно не нуждается в ремонте.
3. Все млекопитающие — позвоночные и все лягушки — позвоночные. Следовательно, все лягушки — млекопитающие.
4. Этот человек не является местным жителем, ибо все местные жители знают дорогу к реке, а этот человек не знает ее.
5. Всякое ископаемое животное не может быть несчастно в любви, а устрица — может быть несчастна в любви. Следовательно, устрица — не ископаемое животное.
6. У всех млекопитающих сердце состоит из четырех камер. Кит — млекопитающее. Стало быть, сердце кита состоит из четырех камер.
7. Все выпускники школ сдают экзамены. Смирнов не является выпускником школы. Следовательно, он не сдает экзамен.
8. Если все люди смертны, а Сократ — человек, то Сократ — смертен.
9. Все католики — христиане. Среди жителей деревни Некрасовки нет католиков. Значит, среди жителей деревни Некрасовки нет христиан.
53. Общая характеристика индуктивного умозаключения. Полная индукция.
54. Неполная индукция и ее виды
55. Индуктивные методы установления причинных связей.
56. Умозаключение по аналогии и его виды.
57. Условия состоятельности выводов по аналогии.
58. Доказательство. Структура доказательства и его виды. Правила доказательства. Ошибки в доказательствах.
59. Опосредованное доказательство и непосредственное доказательство
60. Математическая и традиционная логика.
61. Вывод. Примеры выводов: 1. В традиционной логике; 2. в математической логике (в классическом исчислении высказываний): формы модуса поненса, толленса и т. д.
62. Общие интеррогативные методы
63. Обыденный вопрос. Явная предпосылка
64. Научный вопрос. Скрытая предпосылка
65. Научная работа. Построение научной работы. Методологические требования к результату научной работы. Методологические требования к цели, введению, содержанию и заключению научной работы.
66. Вербальное определение и контекстуальное определение
67. Теория - форма научного знания, ее структура
68. Формальные теории
69. Предмет содержательных теорий
70. Прикладная теория
71. Методы построения и обоснования содержательной и формальной теорий
72. Методы построения и обоснования специфицированной содержательной теории
73. Гипотеза как форма развития знаний. Виды гипотез. Понятие версии, догадка. Построение гипотезы и ее проверка.
74. Опровержение. Правила опровержения.
75. Проблема и ее виды.
Тесты .
Тема: «Понятие»
1. К какому приему образования понятий относится операция:
мысленное расчленение объекта мысли на его элементы
А. Абстракция
Б. Обобщение
В. Анализ
Г. Синтез
Д. Сравнение
2. К какому приему образования понятий относится операция:
переход от признаков отдельных предметов к признакам, принадлежащим группам этих предметов
А. Абстракция
Б. Обобщение
В. Анализ
Г. Синтез
Д. Сравнение
3. К какому приему образования понятий относится операция:
процесс соединения объектов в одно целое
А. Абстракция
Б. Обобщение
В. Анализ
Г. Синтез
Д. Сравнение
4. К какому приему образования понятий относится операция:
выделение из предмета отдельных его признаков
А. Абстракция
Б. Обобщение
В. Анализ
Г. Синтез
Д. Сравнение
5. К какому приему образования понятий относится операция:
установление сходства или различия предметов действительности
А. Абстракция
Б. Обобщение
В. Анализ
Г. Синтез
Д. Сравнение
Тема: Суждение
1. К какому виду относится суждение, полученное в ходе деления по содержанию предиката: материя есть философская категория для обозначения объективной реальности.
А. Суждение существования
Б. Атрибутивное суждение
В. Суждение отношения
2. К какому виду относится суждение, полученное в ходе деления по содержанию предиката: способы вооруженной борьбы зависят от оружия, боевой техники и состава армии.
А. Суждение существования
Б. Атрибутивное суждение
В. Суждение отношения
3. К какому виду относится суждение, полученное в ходе деления по содержанию предиката: бытие определяет сознание.
А. Суждение существования
Б. Атрибутивное суждение
В. Суждение отношения
4. К какому виду относятся суждение, полученное в ходе деления по качеству связки: мирное сосуществование государств не устраняет опасность возникновения войны
А. Утвердительное суждение
Б. Отрицательное суждение
4. К какому виду относятся суждение, полученное в ходе деления по качеству связки: мирное сосуществование государств не устраняет опасность возникновения войны
А. Утвердительное суждение
Б. Отрицательное суждение
5. К какому виду относятся суждение, полученное в ходе деления по качеству связки: научная организация труда повышает его производительность.
А. Утвердительное суждение
Б. Отрицательное суждение
6. Что такое модальность суждения?
А. Это явно или неявно выраженная в суждении основная информация
Б. Это явно или неявно выраженная в суждении дополнительная информация
В. Это явно или неявно выраженная в суждении основная и дополнительная информация о процессах и явлениях
7. К какому виду модальности относятся суждения: я уверен, что он честный человек
А. Алетическая (фактическая) модальность
Б. Алетическая (логическая) модальность
В. Эпистемическая (несомненная) модальность
Г. Деонтическая (обязательная) модальность
8. К какому виду модальности относятся суждения: очевидно автор "Слова" был участником битвы с кочевниками
А. Алетическая (фактическая) модальность
Б. Алетическая (логическая) модальность
В. Эпистемическая (несомненная) модальность
Г. Деонтическая (обязательная) модальность
9. К какому виду модальности относятся суждения: Киев расположен южнее Минска
А. Алетическая (фактическая) модальность
Б. Алетическая (логическая) модальность
В. Эпистемическая (несомненная) модальность
Г. Деонтическая (обязательная) модальность
10. К какому виду модальности относятся суждения: священный долг каждого человека - защита Отечества
А. Алетическая (фактическая) модальность
Б. Алетическая (логическая) модальность
В. Эпистемическая (несомненная) модальность
Г. Деонтическая (обязательная) модальность
Тема: Умозаключение
1. Определите вид умозаключения в том случае, когда классификация осуществляется по количеству посылок
А. Дедуктивное, индуктивное и традуктивное умозаключения
Б. Простые и сложные умозаключения
В. Непосредственные и опосредованные умозаключения
2. Какое условие получения истинности вывода в умозаключении можно считать необходимым и первоочередным
А. Необходимо учитывать все результаты предшествующего познания
Б. Необходимо в процессе рассуждения соблюдать правила вывода
В. Необходимо знать и умело применять логические законы
3. Определите посылки категорического силлогизма
А. Одно суждение - разделительное, а другое - категорическое
Б. Одно суждение - условное, а другое - категорическое
В. Оба суждения категорические
4. Какое из представленных правил является общим правилом категорического силлогизма
А. Средний термин должен быть распространен хотя бы в одной из посылок
Б. Средний термин должен быть распространен во всех посылках
В. Средний термин должен быть распространен в одной из посылок и заключении
5. Укажите правильное определение аксиомы категорического силлогизма
А. Все, присущее целому классу предметов, не может быть распределено на любой предмет этого класса
Б. Все, присущее целому классу, распространяется на любой предмет этого класса
В. Все, присущее целому классу, частично распространяется на любой предмет этого класса
6. Определите вид умозаключения в том случае, когда их классификация осуществляется по составу
А. Дедуктивное, индуктивное и традуктивное умозаключения
Б. Простые и сложные умозаключения
В. Непосредственные и опосредованные умозаключения
7. Какое условие получения истинного вывода является необходимым в первую очередь
А. Должны быть истинными исходные суждения
Б. Должны быть соблюдены правила выводного знания
В. Истинными должны быть все понятия, используемые в умозаключении
8. Определите посылки категорического силлогизма
А. Оба суждения категорические
Б. Одно суждение - разделительное, а другое - категорическое
В. Одно суждение - условное, а другое - разделительное
9. Какое из представленных правил является общим правилом категорического силлогизма
А. Термин не распределенный в посылках, может быть распределен в заключении
Б. Термин, не распределенный в посылках, не может быть распределен и в заключении
В. Термин, не распределенный в посылках, не может быть использован в категорическом силлогизме
10. Дайте правильное определение терминов
А. Это элементы суждения, в котором только субъекты включены в заключение и посылки
Б. Это элементы суждения, в котором только предикаты включены в заключение и посылки
В. Это элементы суждения, в котором субъекты и предикаты включены в заключение и посылки
11. Определите соответствие терминов субъектам и предикатам
А. Меньший термин - предикат, средний термин - общая посылка, больший термин - субъект заключения
Б. Меньший термин - субъект заключения, средний термин - общая посылка, больший термин - предикат
В. Меньший термин - общая посылка, средний термин - предикат, больший термин - субъект заключения
12. Укажите правильное определение 1-го логического правила терминов
А. В силлогизме должно быть только три термина
Б. В силлогизме должно быть только два термина
В. В силлогизме должно быть неопределенное количество терминов
13. Укажите правильное определение 2-го логического правила терминов
А. Меньший термин (субъект заключения) должен быть распределен
Б. Больший термин (предикат) должен быть распределен
В. Средний термин (общая посылка) должен быть распределен
14. Укажите правильное определение 3-го логического правила терминов
А. Термин не распространенный в посылках, может быть распределен в заключении
Б. Термин не распространенный в посылках, не может быть распределен в заключении
В. Термин не распространенный в посылках, может быть частично распределен в заключении
15. Дайте правильное определение фигуры силлогизма
А. Это форма силлогизма, отличающаяся по положению среднего термина в посылках
Б. Это форма силлогизма, отличающаяся положением большей и меньшей посылок
В. Это форма силлогизма, отличающаяся положением крайних терминов
16. По какой фигуре силлогизма построены следующие заключения:
Ни один человек, не изучавший логику не знает ее
Петров изучал логику
Следовательно, он ее знает
А. По первой фигуре
Б. По второй фигуре
В. По третьей фигуре
Г. По четвертой фигуре
17. По какой фигуре силлогизма построены следующие заключения:
Все предметы, имеющие форму шара, отбрасывают круглую тень;
Этот предмет отбрасывает круглую тень;
Следовательно, он имеет форму шара
А. По первой фигуре
Б. По второй фигуре
В. По третьей фигуре
Г. По четвертой фигуре
18. По какой фигуре силлогизма построены следующие заключения:
Почти все существительные изменяются по падежам;
Это слово не изменяется по падежам
Следовательно, оно не является существительным
А. По первой фигуре
Б. По второй фигуре
В. По третьей фигуре
Г. По четвертой фигуре
19. По какой фигуре силлогизма построены следующие заключения:
"Евгений Онегин" - мое любимое произведение;
Это произведение написал А. Пушкин;
А. Пушкин написал мое любимое произведение
А. По первой фигуре
Б. По второй фигуре
В. По третьей фигуре
Г. По четвертой фигуре
20. По какой фигуре силлогизма построены следующие заключения:
Все прилагательные обозначают признак предмета;
Многие прилагательные оканчиваются на "-ый"
Следовательно, некоторые слова оканчиваются на "-ый"
А. По первой фигуре
Б. По второй фигуре
В. По третьей фигуре
Г. По четвертой фигуре
21. К какому виду сложных умозаключений относятся рассуждения:
Это прилагательное имеет основу или на твердый, или на мягкий согласный звук;
Но в данном случае основа не оканчивается на твердый согласный звук
Значит, она оканчивается на мягкий согласный звук
А. Условно - разделительное
Б. Условно - категорическое
В. Разделительно - категорическое
22. К какому виду сложных умозаключений относятся рассуждения:
Если Х. совершил преступление, то он был на месте преступления;
Х. не был на месте преступления
Х. не совершал преступления
А. Условно - разделительное
Б. Условно - категорическое
В. Разделительно - категорическое
23. К какому типу энтимемы относятся следующие утверждения:
Встать на путь разоружения, значит включиться в борьбу за мир;
Продолжать гонку вооружения, значит идти к войне;
Следовательно, можно или укреплять мир, или идти к войне
А. Условно - разделительное
Б. Условно - категорическое
В. Разделительно - категорическое
24. К какому типу энтимемы относятся следующие утверждения:
Все российские люди заинтересованы в сохранении мира;
Мы - российские люди
А. Первый тип
Б. Второй тип
В. Третий тип
25. К какому типу энтимемы относятся следующие утверждения:
Аристотель - человек;
Следовательно, он мог ошибаться
А. Первый тип
Б. Второй тип
В. Третий тип
26. Какое из перечисленных требований надо соблюдать в процессе индуктивного вывода:
А. Индуктивное обобщение должно вестись по несущественным признакам
Б. Индуктивное обобщение должно вестись по самому широкому спектру признаков
В. Индуктивное обобщение должно вестись по существенным признакам
27. Какое из перечисленных требований надо соблюдать в процессе индуктивного вывода:
А. Индуктивное обобщение распространяется на все предметы действительности
Б. Индуктивное обобщение распространяется только на однородные и сходные предметы
В. Индуктивное обобщение распространяется только на близкие по смыслу предметы
28. К какому виду индукции относится следующая схема рассуждения:
А1 обладает Р;
А2 обладает Р;
.....................
АП обладает Р
Только А1, А2 ...... составляют класс С. Значит, С обладает Р
А. Неполная индукция
Б. Полная индукция
В. Популярная индукция
Г. Научная индукция
30. Дайте правильное определение энумеративной индукции
А. Это индукция через простое перечисление; где допускается несколько противоречащих случаев
Б. Это индукция через простое перечисление; где допускается только один противоречащий случай
В. Это индукция через простое перечисление, где но встречается противоречащих случаев
31. При нарушении каких условий могут быть допущены ошибки в индуктивных выводах
А. При нарушении двух или трех методов научной индукции
Б. При нарушении требований одного из пяти методов научной индукции
В. При нарушении требований всех пяти методов научной индукции
32. Какая логическая ошибка допущена в данном умозаключении:
"Сганарель. Мы, великие медики, с первого взгляда определяем заболевание ... я заявляю вам: ваша дочь нема" (Мольер. П.С.С. Т2, с. 423).
А. Поспешность обобщения
Б. Обобщение без достаточного основания
В. Подмена причинной связи
Г. Подмена условного безусловным
33. Какая логическая ошибка допущена в данном умозаключении:
Все лебеди белые
А. Поспешность обобщения
Б. Обобщение без достаточного основания
В. Подмена причинной связи
Г. Подмена условного безусловным
34. Какая логическая ошибка допущена в данном умозаключении:
Причиной обострения межнациональных противоречий в Фергане (лето 1989 года) стал так называемый "бытовой национализм".
А. Поспешность обобщения
Б. Обобщение без достаточного основания
В. Подмена причинной связи
Г. Подмена условного безусловным
35. Какая логическая ошибка допущена в данном умозаключении:
Во время грозы всегда после вспышки молнии гремит гром и никогда не бывает наоборот. Значит, молния - причина грома.
А. Поспешность обобщения
Б. Обобщение без достаточного основания
В. Подмена причинной связи
Г. Подмена условного безусловным
36. О каком виде аналогии идет речь в данных определениях:
По сходству явлений делают заключение о сходстве вызвавших их причин или по сходству причин - о сходстве их действий
А. Простая аналогия
Б. Распространенная аналогия
В. Строгая аналогия
Г. Нестрогая аналогия
37. О каком виде аналогии идет речь в данных определениях:
Заключение осуществляется от сходства двух предметов в одном признаке к их сходству в другом признаке, зависящем от первого.
А. Простая аналогия
Б. Распространенная аналогия
В. Строгая аналогия
Г. Нестрогая аналогия
38. О каком виде аналогии идет речь в данных определениях:
По сходству двух предметов в одних признаках делают заключение о сходстве в других свойствах этих предметов, подводя их под один и тот же род или вид.
А. Простая аналогия
Б. Распространенная аналогия
В. Строгая аналогия
Г. Нестрогая аналогия
39. О каком виде аналогии идет речь в данных определениях:
Заключение осуществляется от сходства в одних признаках к сходству уподобляемых предметов, о которых неизвестно, не находятся ли они в зависимости от первых признаков.
А. Простая аналогия
Б. Распространенная аналогия
В. Строгая аналогия
Г. Нестрогая аналогия
40. К какому виду аналогии относится следующее уподобление по характеру уподобляемых объектов:
Ф. Энгельс уподобляет отношения между логикой и диалектикой отношению между арифметикой и высшей математикой. (См.: Соч., т. 20, с. 138.)
А. Аналогия предметов
Б. Аналогия отношений
41. Какой вид аналогии приведен в данном умозаключении:
Если все планеты Солнечной системы движутся вокруг Солнца, в одном и том же направлении, то их движение, вероятно, имеет одну и ту же причину
А. Простая аналогия
Б. Распространенная аналогия
В. Строгая аналогия
Г. Нестрогая аналогия
42. Какой вид аналогии приведен в данном умозаключении:
Если три угла одного треугольника равны трем углам другого треугольника, то эти треугольники подобны.
А. Простая аналогия
Б. Распространенная аналогия
В. Строгая аналогия
Г. Нестрогая аналогия
43. Какой вид аналогии приведен в данном умозаключении:
Чеховский герой Семи - Булатов утверждает: "Отчего зимою день короткий, а ночь длинная, а летом наоборот? День зимою оттого короткий, что ... от холода сжимается и от того, что Солнце рано заходит, а ночь от зажжения светильников расширяется, ибо согревается".
А. Простая аналогия
Б. Распространенная аналогия
В. Строгая аналогия
Г. Нестрогая аналогия
44. Какой вид аналогии приведен в данном умозаключении:
Известно, что все металлы нагреваются, проводят электричество... Когда обнаружили в ходе опытов тело, обладающее теплопроводностью и электропроводностью, то его относили к группе металлов. В дальнейшем определили, что это металл и назвали его бериллием.
А. Простая аналогия
Б. Распространенная аналогия
В. Строгая аналогия
Г. Нестрогая аналогия
45. К какому виду аналогии относится следующее утверждение по характеру уподобляемых объектов?
Волновая теория звука была создана по аналогии с волновой теорией света.
А. Аналогия предметов
Б. Аналогия отношений
С.Л. Катречко
Введение в логику
Программа курса
Данный курс является первой частью общеобразовательного курса логики, предназначенного, в первую очередь, для студентов гуманитарных факультетов, но может быть также использован в качестве дополнительного курса логики для студентов естественнонаучных и математических факультетов.
Курс рассчитан на 36 ч (один семестр) и предполагает 12 лекционных и шесть семинарских занятий.
Для проверки знаний студентов после каждой темы сформулированы контрольные вопросы, ответы на которые выполняются письменно. На основании этих работ решается вопрос о зачете по данному курсу. Экзамен по курсу включает в качестве обязательного элемента проверку практических умений по построению выводов.
Семинарские занятия посвящены освоению более сложных в техническом отношении вопросов соответствующей тематики.
В конце программы приведены темы рефератов, написание которых предполагает самостоятельную проработку дополнительной литературы, и приложения с практическими заданиями, которые могут быть использованы при проведении семинарских занятий, а также для организации самостоятельной работы студентов по данному курсу.
КЛЮЧЕВЫЕ МОМЕНТЫ КУРСА
Логика является одной из наук, изучающих формы и приемы интеллектуальной познавательной деятельности. Основными формами процесса познания, в которых фиксируется информация об исследуемой области, являются понятия, суждения и теории, а к числу приемов интеллектуальной деятельности относятся, например, такие рациональные процедуры, как рассуждение, доказательство, опровержение, выдвижение и проверка гипотез. Внимание данного курса сосредоточено на центральном приеме интеллектуальной деятельности — рассуждении, а главная задача курса может быть сформулирована как научение правильным способам рассуждения. Это обусловлено тем, что ядром логической науки с момента ее возникновения как раз и является выявление и изучение правильных способов рассуждения.
Простейшим видом рассуждения является умозаключение. Умозаключение — это такой набор высказываний, в котором одно из высказываний, называемое заключением, обосновывается с помощью остальных высказываний, называемых посылками. Важно подчеркнуть, что рассуждение (умозаключение) представляет собой процедуру перехода от посылок к заключению.
Логику интересует вопрос о правильности (надежности) рассуждений. По этому основанию рассуждения можно разделить на абсолютно надежные (дедуктивные) и правдоподобные (вероятностные). Основное внимание курса посвящено дедуктивным рассуждениям. В первом приближении, правильное дедуктивное рассуждение можно определить как такое, которое при истинности посылок гарантирует истинность заключения. Однако не любые истинные посылки и истинное заключение образуют правильное рассуждение. Вопрос о том, является ли некоторое умозаключение правильным или неправильным, нельзя смешивать с вопросом: какими — истинными или ложными — являются его посылки и заключение. Это два разных вопроса, и их необходимо четко различать, поскольку тот или иной ответ на второй из них не всегда предопределяет ответ на первый. Истинность посылок является необходимым, но недостаточным условием истинности заключения рассуждения. Дать оценку дедуктивному умозаключению, зная значение его посылок и заключения, можно лишь в одном случае — когда каждая из посылок истинна, а заключение ложно. Тогда умозаключение является заведомо неправильным, так как оно не сохраняет "свойство" истинности посылок при выведении заключения. Для того, чтобы дедуктивное рассуждение было правильным, т.е. истинность его посылок с необходимостью гарантировала бы истинность заключения, рассуждение должно иметь правильную структуру, правильную логическую форму. Именно логическая форма рассуждения, позволяя отвлечься от его конкретного содержания, является основанием для перехода от посылок к заключению дедуктивных рассуждений. Понятие логической формы позволяет уточнить критерий правильности дедуктивных рассуждений следующим образом:
Умозаключение является правильным, если и только если его логическая форма гарантирует, что при истинности посылок мы обязательно получим истинное заключение, т.е. не существует умозаключения данной логической формы с истинными посылками и ложным заключением.
Однако понятие логической формы важно не только при решении вопроса о правильности или неправильности рассуждений, но и является ключевым понятием логики, поскольку законы логики и есть закономерности, присущие логической форме, а логика по праву получила характеристику формальной науки.
Введение. ЧТО ТАКОЕ ЛОГИКА? (2 ч)
Логика как наука о формах и приемах интеллектуальной познавательной деятельности. Основные формы фиксации знаний. Основные приемы мышления. Выделение дедуктивной логики как учения о правильных способах рассуждения.
Тема 1. ЧТО ТАКОЕ РАССУЖДЕНИЕ?
КАКИЕ РАССУЖДЕНИЯ ЯВЛЯЮТСЯ ПРАВИЛЬНЫМИ? (2 ч)
Логика и естественный язык. Логика и грамматика. Что такое высказывание (суждение)? Понятие об истинности и ложности высказываний. Простейший тип рассуждений — умозаключение. Состав умозаключения: посылки и заключение. Понятие о правильном умозаключении. Вопрос о правильном рассуждении (умозаключении) versus вопрос об истинности посылок и заключения умозаключения.
Контрольные вопросы
1. Какова структура простейшего рассуждения — умозаключения? Найдите посылки и заключение следующего умозаключения. Запишите его логическую форму.
Если равнодействующая всех сил, действующих на движущееся тело, не равна 0, то оно движется неравномерно или непрямолинейно, так как известно, что если равнодействующая равна 0, то тело движется равномерно и прямолинейно.
2. Какие рассуждения являются правильными?
3. Предположим, что о некотором дедуктивном рассуждении вам известно, что его посылки и заключение истинны. Достаточно ли этой информации, чтобы судить о правильности рассматриваемого рассуждения? Оцените правильность следующего рассуждения, посылки и заключение которого — истинные высказыва