- •«Логика»
- •Тема 1. «Введение в логику»
- •Тема 2. Понятие. Виды понятий
- •Тема 3. Операции с понятиями
- •Тема 4. Суждение и его состав
- •Тема 5. Основные законы логики
- •Тема 6. Умозаключение как форма мышления
- •Тема 7. Индукция. Аналогия
- •Тема 7. Категорический силлогизм
- •Тема 8. Основы теории аргументации
- •Тема 9. Методы научного познания. Гипотеза. Теория.
- •Тесты по логике
- •Рекомендуемая литература (основная)
- •5.2. Рекомендуемая литература (дополнительная)
- •Словарь основных терминов и понятий
- •Темы рефератов
- •Ответы к тестам по логике:
Рекомендуемая литература (основная)
Брутян Г.А. Аргументация / Г.А. Брутян. – Ереван, 1986.
Брюшинкин В.Н. Логика: учебник / В.Н. Брюшинкин. – М., 2001.
Войшвилло Е.К. Логика / Войшвилло Е.К., М.Г. Дегтярев – М., 2001.
Демидов И. В. Логика: Учебное пособие для юридических вузов. М.: Юриспруденция. 2000. 203 с.
Гетманова А. Д. Логика. Учебник для пединститутов. М., 1994 (или издание 2002 года).
Ивин А. А. Искусство правильно мыслить. М.: Просвещение. 1990. 240 с.
Ивлев Ю. В. Логика для юристов. М.: Дело 2001. 261 с.
Кирилов В. И., Старченко А. А. Логика. Учебник для юридических ВУЗов. М.: Юристъ. 2002. 254 с.
Кобзарь В. И. Основы логических знаний. СПб.: Изд-во СпбГУ. 1994. 124 с.
Краткий словарь по логике. Под ред. Д. П. Горского. М.: Просвещение 1991. 208 с.
Малахов В. П. Основы формальной логики: Учебное пособие для юристов. М.: Щит-М. 1998. 302 с.
Светлов В. А. Практическая логика. СПб.: ИД "МиМ". 1997. 576 с.
Сборник упражнений по логике. Минск: Университетское. 1990. 287 с.
Тоноян Л.Г. - Сборник задач и упражнений по логике. 2-е изд., Спб, 1999.
Упражнения по логике. М.: Высш. шк. 1990. 159 с.
Яшин Б. Л. Задачи и упражнения по логике. М.: Гуманит. Изд. центр ВЛАДОС. 1996. 224 с.
5.2. Рекомендуемая литература (дополнительная)
Маковельский А. О. История логики. М.: Наука 1967.
Тягунов С. И. Логика как искусство мышления. СПб., Изд-во СПбГУЭФ: 2000. 64 с.
Горский П. Д. Определение. М.: Мысль. 1974. 311 с.
Чупахин И. Я. Методологические проблемы теории понятия. Л. Изд-во ЛГУ 1973. 104 с.
Таванец П. В. Суждение и его виды. М.: Изд-во Акад. Наук СССР 1953. 176 с.
Фейс Р. М. Модальная логика. М.: Наука 1974. 520 с.
Астафьев В. К. Законы мышления в формальной и диалектической логике. Львов: Изд. Львовского ун-та 1968. 208 с.
Бабаянц М. С. Закон исключенного третьего М.: Высшая школа. 1962. 79 с.
Чкнаверянц А. А. Закон тождества М.: Высшая школа. 1961. 100 с.
Сидоренко О. И. Тайна силлогизма. Саратов: Изд-во Сарат.. ун-та. 2000. 65 с.
Субботин А. Л. Теория силлогистики в современной формальной логике М.: Наука, 1965. 125 с.
Светлов В. А. Современные индуктивные концепции. Л.: Изд-во ЛГУ 1988. 221 с.
Уемов А. И. Аналогия в практике научного исследования. М.: Наука, 1970. 264 с.
Ивин А.А. основы теории аргументации. М.: «Гуманитарный издательский центр ВЛАДОС», 1997.
Словарь основных терминов и понятий
Абстракция – мысленное отвлечение от чего-либо (в логике обычно – от несущественных свойств понятий) с сохранением в итоге важных для тех или иных целей свойств.
Аналогия - умозаключение на основе сходства сравниваемых предметов (от одного частного явления к другому).
Антецедент - первый член условного (импликативного) суждения (логическое основание).
Антитезис- положение, противоречащее тезису.
Аргументация - операция обоснования суждений, решений, оценок.
Аргумент - довод в споре, рассуждении, суждение, используемое для обоснования другого суждения (тезиса) через установление логической связи с последним.
Атрибутивное суждение- суждение о свойствах предметов.
Большая посылка— посылка силлогизма, содержащая больший термин, предикат заключения.
Вероятностные умозаключения- то же самое, что и правдоподобные умозаключения
Видовой признак- признак, отличающий подкласс внутри класса.
Высказывание категорическое– высказывание, в котором предикат утверждается или отрицается относительно субъекта без ограничения условиями.
Генетический метод– метод исследования, основанный на анализе процесса его возникновения, становления.
Вывод - последовательность суждений (формул), логически вытекающих из некоторых исходных суждений (формул) - посылок.
Дедуктивное умозаключение - умозаключение от общего к частному или переход от посылок к заключению, опирающийся на логический закон, где заключение следует с необходимостью из принятых посылок.
Деление понятий - логическая операция, раскрывающая объем понятия, путем перечисления его элементов, (подклассов).
Деление дихотомическое - деление на две части, в одну из которых входят предметы, обладающие каким-либо признаком, а в другую - не обладающие признаком, взятым в качестве основания (А - не-А).
Деление по видоизменяющемуся признаку - деление, как правило, более чем на две части, каждой из которых присущ признак, взятый за основание, но в особом его проявлении.
Демонстративное умозаключение - то же, что и необходимое умозаключение.
Демонстрация - логическая связь аргументов и тезиса в доказательстве или опровержении (по сути, то же, что и вывод в умозаключении).
Деонтическая модальность - выраженное в суждении побуждение (или запрет) к действию (требуется, рекомендуется. запрещается ...).
Дефиниендум – термин, значение которого нужно уточнить.
Дефиниенс – термин, которым уточняется значение неизвестного термина.
Дефиниция понятия - то же, что и определение понятия.
Дизъюнкция слабая - логический союз (функтор), озвучиваемый как "или". Дает истинное сложное суждение, если истинно хотя бы одно из входящих в него суждений.
Дизъюнкция строгая - разделительный союз, образующий сложное суждение, истинное, когда истинно только одно из исходных суждений.
Дилемма - суждение, содержащее две альтернативы (несовместимые позиции).
Доказательство - обоснование истинности (или ложности) суждения через установление логической связи между последним и другими суждениями, истинность которых уже установлена.
Доказательство апагогическое - «отводящее», непрямое доказательство (то же, что и доказательство от противного, через антитезис).
Доказательство от противного - доказательство, при котором истинность тезиса обосновывается с помощью противоречащего ему суждения (антитезиса).
Заключение (вывод) умозаключения - суждение, вытекающее из посылок.
Закон достаточного основания - закон, по которому мысль признается истинной или ложной, если для этого имеется достаточное логическое основание (доказательство или опровержение).
Закон исключенного третьего - закон, согласно которому из двух противоречащих суждений одно обязательно истинно, а второе ложно.
Закон логики– выражение, содержащее только логические константы и переменные и являющееся тождественно истинным, общезначимым.
Закон мышления ~ необходимая, повторяющая связь мыслей.
Закон непротиворечия - закон, по которому не могут быть одновременно истинными несовместимые, исключающие друг друга суждения (одновременно утверждающие и отрицающие одно и то же).
Закон обратного соотношения объема и содержания понятия — закон, согласно которому, чем шире содержание понятия, тем уже его объем, и наоборот.
Закон тождества — закон, согласно которому всякая мысль в рассуждении должна быть тождественной сама себе, неизменной сколько бы раз она не воспроизводилась.
Знак - средство, указывающее на некоторый предмет, но не имеющее какого-либо сходства с этим предметом.
Импликация - логический союз (функтор), озвучиваемый как "если..., то...", образующий из двух суждений новое, истинное во всех случаях, кроме одного: оно ложно, когда первый член импликации (антецедент) истинное суждение, а второй (консеквент) - ложное. Импликацией именуется и само суждение, образованное с помощью одноименного функтора.
Индуктивное умозаключение - умозаключение от частного к общему, от отдельных предметов к совокупностям предметов, от классов к более широким классам.
Индукция методом исключения - индуктивное умозаключение на основе подтверждающих обстоятельств, и исключения обстоятельств, при которых причинная связь отсутствует.
Индукция неполная - индуктивное умозаключение от знания части элементов класса к знанию обо всем классе.
Искусственный язык - намеренно созданный для решения определённых задач конкретными людьми язык (знаковая система). Например, языки программирования, язык логики высказываний и т.д.
Истинность — соответствие мысли внешней, несобственной по отношению к ней действительности.
Квантор - логический оператор, указывающий на количественную характеристику субъекта категорического суждения по отношению к предикату.
Квантор общности - квантор, указывающий на то, что субъект категорического суждения берется в полном объеме ("Все", "Ни один"..., знак - ∀).
Квантор существования - квантор, указывающий на то, что субъект категорического суждения берется частично ("Некоторые", "Существует", знак - ∃).
Класс - совокупность объектов с общими характеристическими признаками.
Классификация - распределение предметов некоторого рода на непересекающиеся классы, при котором каждый класс получает определенное место; устойчивый, ввиду особой значимости, результат применения логической операции деления, сформированный в какой-либо сфере знания или деятельности.
Классификация естественная - классификация на основе существенных признаков самих классифицируемых предметов.
Классификация искусственная (техническая) - классификация, в основе которой лежат признаки, удобные для человека, но внешние, случайные по отношению к предметам.
Консеквсит - второй член импликативного суждения (логическое следствие).
Контекстуальное определение - определение на основе знания отношений предмета с близкими ему объектами в некотором окружении (контексте).
Контрадикторность - то же, что и противоречивость.
Контрарность - то же, что и противоположность.
Конъюнкции - логический союз (функтор), озвучиваемый как "и", «а», «но», образующий сложное суждение, истинное, когда истинны все (каждое) входящие в него суждения. Конъюнкцией именуется и само суждение, образованное с помощью одноименного функтора.
Косвенное доказательство - доказательство, основанное на введении антитезисов, т. е. несовместимых с тезисом положений, и доказательство их ложности.
Косвенное опровержение - аналогично косвенному доказательству; опирается на введение одного или нескольких антитезисов и установлении истинности одного из них.
Крайний термин - название каждого из двух терминов, субъекта и предиката, заключения категорического силлогизма.
Круги Эйлера - изображение объемов понятий с помощью кругов, предложенное математиком Л. Эйлером.
Круг в определении – логическая ошибка, при которой в определении некоторого понятия в определяющей части используется понятие, которое, в свою очередь, определяется с помощью данного определяемого понятия.
Логика высказываний - то же, что и пропозициональная логика.
Логика формальная- наука, занимающаяся анализом структуры высказываний и доказательств, отвлекаясь от их содержания в пользу анализа логической формы высказываний.
Логика классическая– раздел современной логики, включающий классическую логику высказываний и классическую логику предикатов. Классическая логика двузначна (высказывание может быть или истинным, или ложным).
Логические союзы - операции ("и", "или", "если..., то..." и т. д. ), с помощью которых из нескольких простых образуются сложные суждения.
"Логический квадрат" - мнемоническая фигура, с помощью которой изображаются отношения между простыми категорическими суждениями.
Логическое следование - отношение между посылками и заключением а необходимых умозаключениях, дающее истинное заключение при истинных посылках и соблюдении логической правильности.
Логичность - соответствие логическим законам и принципам; последовательность, отсутствие логических ошибок.
Ложность - истинностная характеристика суждения, не соответствующего действительности.
Меньшая посылка - посылка силлогизма, содержащая меньший термин, субъект заключения.
Меньший термин - субъект заключения простого категорического силлогизма.
Модальность суждении - заявленная в суждении позиция по отношению к тому, что в нём высказано (некоторая модификация основного содержания суждения), осуществляемая с помощью модальных терминов «хорошо», «плохо», «вероятно», «действительно», «разрешено», «запрещено», «по всей видимости» и т.д.
Модальность аксиологическая - модальность суждения, подразумевающая оценку сказанною с точки зрения того, хорошо это или плохо, лучше это или хуже.
Модальность алетическая - заключенная в суждении информация об условиях его истинности (истинно в данный момент - ассерторическая разновидность; может быть истинным -проблематическая; истинно при любых условиях - необходимо истинная — аподиктическая).
Модальный оператор - слово, указывающее на ту или иную модальность, например: "необходимо", "доказано", "обязательно" и др.
Модус умозаключении - разновидность умозаключения.
Модус простого категорическою силлогизма - его разновидность, зависящая от видов простых суждений, фигурирующих в нём в качестве посылок и заключения.
Необходимое умозаключение - умозаключение, в котором из истинности посылок с необходимостью выводится истинность заключения.
Нераспределенный термин - субъект или предикат простого категорического суждения, если он выступает не в полном объеме.
Несовместимые понятия - понятия, у которых нет общих элементов.
Несравнимые понятия — понятия, у которых нет ни одного общего признака в содержании.
Нестрогая аналогия — частичная, неполная, основанная mi отношении гомоморфизма.
Неявное определение - определение, основанное на произвольных признаках, существенность которых еще не установлена.
Обобщение понятия - переход к более широкому по объему понятию.
Обоснование - операция подтверждения суждения через приведение других, логически связанных с ним истинных суждений.
Обращение - преобразование простого категорического суждения без изменения его качества путем подстановки на место субъекта его старого предиката, а на место предиката - ею старого субъекта.
Общее понятие - понятие, объём которого составляет более чем один предмет.
Объем понятия - количество предметов, на которые указывает данное понятие.
Ограничение понятия - операция образования нового понятия с меньшим объемом: переход от рода к виду.
Описание - перечисление всех признаков предмета, без учёта их существенности.
Определение пошипи - логическая операция, раскрывающая понятия.
Определение аксиоматическое определение, в котором понятие вводится па основе некоторых исходных положений (аксиом).
Определение генетическое - оттределенис, указывающее на происхождение, способа образования соответствующего предмета.
Определение через род и видовое отличие - определение через указание ближайшего родового понятия и видовые признаки, отличающие определяемые предметы от других предметов в рамках данного рода.
Определение индуктивное - уточняющее определение.
Определение неявное - определение косвенного характера, не содержащее указаний на существенные признаки определяемых предметов.
Определение явное - определение, в котором содержится прямое указание на существенные признаки определяемых предметов.
Определение номинальное - определение понятие через указание содержание термина, обозначающего данное понятие (через наименование).
Определение остенсивное - определение значения слова через непосредственное указание на сам предмет.
Определение реальное - определение понятия, через указания на признаки предмета, отображаемого данным понятием ,
Опровержение — операция по обоснованию ложности некоторого положения.
Основание деления - признак, на основе которого производится деление объёма понятия.
Отличительный признак - признак, присущий только данному предмету или классу предметов.
Отношение тождества (эквивалентность понятий) - отношение между понятиями, объемы которых в точности совпадают.
Отрицание - логический союз (функтор), озвученный как «неверно, что ...», с помощью которого образуется соответствующий одноимённый вид сложного суждения.
Отрицательное суждение - суждение, указывающее на отсутствие признаков, заключенных в предикате, у предметов, мыслимых в субъекте.
Ошибка логическая– нарушения каких-либо законов, правил логики. Неумышленная ошибка называется паралогизмом, умышленная – софизмом.
Пересечение понятий - отношение, характеризующее понятия с частично совпадающими объемами.
Пересечение суждений - отношение между суждениями, которые могут быть при определенных условиях одновременно истинными, но могут иметь и взаимно противоположные значения.
Подкласс - часть класса.
Подчинение понятий - отношение между понятиями, когда объем одного полностью входит в объем другого в качестве части.
Подчинение суждений отношение между суждениями, при котором, если одно (подчиняющее) истинно, то второе (подчиненное) обязательно истинно, но не наоборот.
Полисиллогизм - сложный силлогизм.
Полная индукция - индуктивное умозаключение, основанное на знании каждого элемента класса и формирующее это знание в виде общего суждения.
Понятие - логическая форма мышления, отображающее предметы, либо их множества в совокупности их существенных признаков.
Понятие абстрактное - понятие, которое указывает на свойства, отношения, состояния, не существующие отдельно от самих предметов их носителей.
Понятие единичное - понятие, объем которого составляет один предмет.
Понятие конкретное - понятие, указывающее на сам, а не на его свойства, состояния, отношения, мыслимые отдельно от него самого.
Понятие несобирательное - понятие, приложимое к отдельному предмету, вещи.
Понятия собирательные - понятия, в которых группа однородных предметов мыслится как единое целое и признаки принадлежащие целому нельзя непосредственно переносить на каждый из элементов этого целого.
Понятие несобирательное - понятие, приложимое к отдельному предмету, вещи.
Понятия совместимые - понятия, у которых есть общие элементы в объемах.
Понятие отрицательное - понятие, в содержании которого указывается на отсутствие у предмета некоторых свойств.
Понятие положительное - понятие, указывающее на имеющиеся у предмета свойства.
Понятия безотносительные - это такие понятия, в которых мыслятся как самостоятельные, вне зависимости от других.
Понятия соотносительные - понятия, которые существуют только в связке друг с другом. Например, "правое – левое", "начальник - подчинённый", "учитель — ученик".
Посылки умозаключения - суждения, из которых в умозаключении выводится новое суждение (заключение).
Правильный модус - разновидность необходимого умозаключения, которая гарантирует истинность заключения при истинности посылок.
Превращение - преобразование простого категорического суждения в новое суждение противоположного качества,
Предикат суждения - часть суждения, указывающая на признак, утверждаемый или отрицаемый относительно субъекта суждения.
Признак - все то, на основе чего мы отличаем предметы друг от друга.
Признак существенный - признак, без которого данный предмет не мыслим.
Простой категорический силлогизм - умозаключение, состоящее из трех категорических суждений, включающих только три понятия.
Противоположные понятия - несовместимые понятия, которые могут оба быть неприменимыми к одному и тому же предмету.
Противоположные суждения - суждения, которые не могут быть одновременно истинными, но могут быть одновременно ложными.
Противоречащие понятия - понятия, отрицающие друг друга, одно из которых обязательно применимо к любому объекту.
Противоречивые суждения - суждение и его отрицание, одно из них обязательно истинное, а другое ложно.
Прямое доказательство - доказательство, в котором истинность тезиса выводится из аргументов и их логических следствий, без привлечения антитезисов.
Прямое опровержение - опровержение, в котором ложность тезиса выводится из аргументов и следствий из них, без привлечения aiпитезисов.
Разделительное доказательство - вид косвенного доказательства, в котором истинность тезиса выводится из ложности всех антитезисов.
Распределенность терминов категорического суждения - соотношение объёмов субъектов и предикатов суждения.
Распределенный термин - субъект или предикат, взятый по отношению к другому термину в полном объеме.
Регрессивный полисиллогизм - сложный силлогизм, в котором заключение предшествующего простого силлогизма становится меньшей посылкой следующего простого силлогизма.
Рефлексивность - свойство двуместных отношений, при котором предмет находится в этом отношении к самому себе (равенство).
Родовой признак - признак, присущий всем группам данного класса предметов.
Связка суждения - элемент простого суждения, соединяющий субъект и предикат; может быть утвердительной и отрицательной.
Селективная индукция - то же, что и индукция через отбор.
Симметричность - свойство двуместных отношений. при котором это отношение сохраняется, если предметы поменять местами.
Сложный вопрос - вопрос, включающий в качестве составных частей другие вопросы, объединенные логическими связками.
Сложный силлогизм - умозаключение, состоящее из нескольких простых силлогизмов, когда посылка предшествующего становится заключением следующего простого силлогизма.
Силлогизм сложно-сокращенный - сложный силлогизм, в котором пропущена часть посылок.
Содержание понятия - отраженные в понятии признаки предметов.
Соподчиненные понятия - понятия, объемы которых составляют непересекающиеся части некоторого третьего понятия.
Сорит - сложно-сокращенный силлогизм, с регулярно пропускаемой большей или меньшей посылкой.
Сравнимые понятия - понятия, у которых есть ближайший общий род. Например, "собака" и "кошка" - сравнимые понятия: ближайший общий род "животные". Ещё сравнимыми понятиями называют такие понятия, в содержании которых присутствует, по крайней мере, один общий признак.
Сравнимые суждения - суждения, состоящие из одних и тех же понятий, или из одних и тех же простых суждений (для сложных), отличающиеся друг от друга только формой.
Средний термин - термин категорического силлогизма, который встречается в обеих посылках и отсутствует в заключении; связывает крайние термины.
Cубъект суждения (логическое подлежащее) - понятие, обозначающее предмет, о котором нечто утверждается или отрицается в простом категорическом суждении.
Суждение - логическая форма мысли, в которой что-либо утверждается или отрицается относительно предмета.
Суждение общеотрицательное - суждение, в котором отрицается наличие признака у всех элементов некоторого класса.
Суждение общеутвердительное - суждение, в котором утверждается наличие признака у каждого элемента некоторого класса.
Суждение простое - суждение, представляющее собой одно утверждение или отрицание; состоит из одного субъекта и одного предиката.
Суждение с отношением (реляционное) - суждение, в котором утверждается или отрицается наличие отношения между какими-либо предметами.
Суждение сложное - суждение, в котором несколько субъектов и предикатов.
Суждения совместимые - суждения, которые могут быть одновременно истинными.
Суждение существования - то же, что и экзистенциальное суждение.
Суждение частноотрицательное - суждение, в котором что-либо отрицается относительно части, подмножестве некоторого класса.
Суждение частноутвердителыюе - суждение, в котором нечто утверждается относительно части, подмножестве некоторого класса.
Суждение экзистенциальное - суждение, в котором утверждается или отрицается существование чего-либо.
Таблица истинности - таблица, с помощью которой определяются условия истинности сложного суждения на основе истинности простых.
Тезис - положение, которое обосновывается (как истинное для доказательства, как ложное для опровержения).
Термин - слово, с однозначно закреплённым за ним содержанием.
Транзитивность - свойство двуместных отношений, при котором, если отношение имеет место между первым и вторым предметом, а также вторым и третьим, то оно имеет место между первым и третьим.
Умозаключение - логическая форма мысли, в которой на основе одного или нескольких исходных суждений, именуемых посылками, получают новое суждение, именуемое заключением.
Умозаключение непосредственное- умозаключение па основе одной посылки.
Умозаключение опосредованное - умозаключение на основе нескольких посылок.
Умозаключение правдоподобное - умозаключение, в котором пет необходимой логической связи между посылками и заключением.
Фигура простого категорического силлогизма - виды силлогизма, различаемые согласно положению среднего термина в посылках.
Форма мышления (логическая) - способ связи элементов содержания мысли.
Характеристика - прием описания предмета через указание признаков, отображающих какой-либо его конкретный аспект.
Эквивалентность суждений- отношение между суждениями, имеющими одинаковые значения истинности для всех условий.
Элемент класса - нечто, взятое в качестве исходной единицы некоторого множества (предмет для несобирательных, совокупность для собирательных понятий).
Энтимема - простой силлогизм, в котором пропущено одно из трех составляющих его суждений.
Энумеративная индукция - то же, что и индукция через простое перечисление.
Эписиллогизм - простой силлогизм, следующий за другим простым в составе сложного силлогизма.
Эпистемическая модальность - информация о характере обоснованности суждения с точки зрения существующего знания (кажется, достоверно известно, предположительно и т.д).
Эпихейрема - особая разновидность сложносокращенного силлогизма, в котором обе посылки - энтимемы, т. е, простые сокращенные силлогизмы.
Язык- система чувственно воспринимаемых знаков, используемая для фиксации, накопления и переработки информации.
Язык естественный - обычный звуковой язык, стихийно созданный тем или иным народом.
Языки логики - искусственные языки, используемые в современной логике (язык логики высказываний, например).