Вопросы к зачету
Логика: понятие, предмет, значение.
Понятие о форме и законе мышления. Роль мышления в познании.
Основные логические принципы. Проблема законов в логике.
История развития логики.
Проблема языка в логике.
Понятие как форма мышления.
Виды понятий по объему и содержанию.
Отношения между понятиями.
Логические операции с понятиями: обобщение, ограничение и деление.
Виды, структура и правила деления понятий. Ошибки при делении понятий.
Определение как прием познания. Правила определения. Его значение в науке и рассуждении.
Классификация понятий.
Суждение как форма мышления.
Простые суждения: структура и их виды. Объединенная классификация категорических суждений.
Структура и виды сложных суждений.
Образование сложных суждений. Логические связки (союзы).
Отрицание сложных суждений.
Логический квадрат.
Модальность суждения.
Общие понятия об умозаключении и его характеристика. Виды умозаключений.
Анализ и проверка правильности умозаключений из сложных. Понятие логического следования.
Дедуктивные умозаключения. Выводы из категорических суждений посредством их преобразования.
Категорический силлогизм. Алгоритм анализа простого силлогизма. Правила терминов.
Правила категорического силлогизма. Энтимема (сокращенный силлогизм).
Понятие о сложном силлогизме. Сорит. Эпихейрема.
Чистые и условно-категорические умозаключения.
Дилемма. Трилемма. Непрямые (косвенные) выводы.
Общая характеристика индуктивных умозаключений. Сущность и виды индукции: полная, неполная популярная, научная.
Понятие аналогии и ее виды. Условия состоятельности выводов по аналогии.
Понятие доказательства, его структура: тезис, аргументы, демонстрация. Состав и способы аргументации.
Виды, поля аргументации. Правила и ошибки в аргументации.
Понятие и виды гипотез. Их построение и проверка. Способы доказательства гипотез.
ГЛОССАРИЙ
Абстрагирование – процесс мысленного выделения, вычленения отдельных или общих свойств и отношений конкретного предмета.
Аксиома – истинное суждение, которое при дедуктивном построении некоторой теории принимается без доказательств.
Анализ – логический метод, связанный с мысленным расчленением предмета на составляющие части или элементы и исследованием их в отдельности друг от друга.
Аналогия – подобие, сходство предметов в каких-либо свойствах или признаках, на основании которого делается вывод об их тождественности.
Антитезис – суждение, противопоставляемое тезису в процессе спора или полемики.
Аподиктический – безусловный, достоверный, основанный на принципе логической достоверности.
Апория – термин, обозначающий неразрешимую логическую проблему.
Аргумент – основание логического доказательства, тезиса.
Безусловная аналогия - аналогия, которая применяется тогда, когда точно и определенно установлена связь между общими признаками, имеющимися у обоих сопоставляемых предметов.
Безусловное суждение – суждение, в котором что-либо утверждается (отрицается) вне зависимости от какого-либо условия.
Больший термин – термин, который является предикатом заключения простого категорического силлогизма.
Верификация - принцип установления осмысленности, т.е. возможности какого-либо высказывания оказаться истинным или ложным.
Вероятность - степень возможности какого-либо определенного события.
Видовое отличие - признак, отличающий предмет одного вида от предмета других видов, входящих в один и тот же род.
Вывод - последовательность высказываний или формул, состоящих из аксиом, посылок и ранее доказанных высказываний (теорем). Последняя из формул данной последовательности, выведенная как непосредственное следствие предыдущих формул по одному из правил вывода, представляет собою доказываемую формулу.
Высказывание – термин в логике, которым обозначается логический смысл какого-либо простого повествовательного предложения естественного языка.
Герменевтика - раздел эпистемологии и методологии науки, связанный с истолкованием текстов, их пониманием, смыслом.
Гипотеза вероятное предположение о причине какого-либо явления , достоверность чего еще не доказана ни наукой, ни практикой.
Гипотеко-дедуктивный метод - способ научного исследования, согласно которому вначале выдвигаются несколько гипотез о причинах изучаемых явлений, а затем дедуктивным путем из гипотез выводятся следствия.
Дедуктивное доказательство - одна из форм доказательства, являющийся частным суждением, подводится под общее правило.
Дедуктивное умозаключение - умозаключение, которое обеспечивает при истинности посылок и соблюдении правил логического вывода истинность заключения, следующего из этих посылок.
Дедукция – в широком смысле такая форма мышления, когда новая мысль выводится логическим образом. В узком смысле, принятом в традиционной логике, это дедуктивное умозаключение. В целом в логике, дедукция – это последовательность мыслей или суждений, каждый компонент которой логически вытекает из предыдущих мыслей или суждений.
Дедуцировать - выводить какие-либо заключения из данных посылок по правилам логики.
Демонстрация – логическое рассуждение, в процессе которого из аргументов выводится истинность или ложность тезиса.
Дефиниция - логическая операция определения.
Дискурсивный – обоснованный предыдущими рассуждениями.
Доказательство – в широком смысле логическое действие, в процессе которого устанавливается истинность какой-либо мысли. В логике под доказательством понимается последовательность формул, в которой каждая формула является либо аксиомой, либо следует из предшествующих формул по правилам вывода.
Достаточного основания (закон) – один из четырех законов формальной логики, согласно которому всякая истина должна быть обоснована другими мыслями, истинность которых доказана.
Единичное суждение – такое суждение, в котором что-то утверждается или отрицается об отдельном предмете.
Закон мышления - термин традиционной, формальной логики, обозначающий требование к логически совершенному мышлению, имеющее формальный характер, т.е. не зависящее от конкретного содержания мыслей.
Знак – материально-чувственный воспринимаемый объект, который символически отсылает нас к реальному объекту, обозначает его.
Значение – характеристика именования предметов, которая характеризует то, чем данный объект является для людей.
Имя – языковое выражение, непосредственно обозначающее какой-либо предмет.
Индуктивная логика – раздел логики, исследующая умозаключения, в которых мысль развивается от частного к общему, по принципу обобщения.
Индукция - в широком смысле это форма мышления, посредством которой мысль наводится на какое-либо общее правило, присущее всем единичным предметам какого-либо класса.
Исключенного третьего (закон) – один из основных законов формальной логики, согласно которому из двух противоречащих высказываний в одно и то же время в одном и том же отношении одно непременно истинно.
Категорический силлогизм - силлогизм, в котором вывод следует из двух посылок, являющихся категорическими суждениями.
Категорическое суждение – суждение, высказывающее принадлежность или непринадлежность какого-либо признака предмету.
Классическая логика – одно из направлений современной математической логики, в котором каждому высказывнию припысывается значение истинности или лжи. В отличие от традиционной логики, основывающейся на этом же принципе, классическая логика связана с методом формализации.
Классическое определение истины – дано Аристотелем. Согласно его определению истина - это совпадение мысли о предмете (принцип соответствия) с самим предметом.
Конкретное понятие - понятие, в котором отображен определенный предмет или класс предметов.
Круг в доказательстве – логическая ошибка в доказательстве, заключающаяся в том, что истинность какого-либо тезиса обосновывается посредством того же самого положения, которое еще должно быть доказано.
Логические ошибки – ошибки в умозаключениях, рассуждениях, определениях понятий, доказательствах и опровержениях. Ошибки делятся на:
1) ложное основание или основное заблуждение, когда доказываемый тезис пытаются вывести из таких посылок, которые сами еще не доказаны;
2) предвосхищение основания, когда доказываемый тезис пытаются вывести из таких посылок, которые сами еще не доказаны;
3) порочный круг в доказательстве, когда тезис выводится из посылок, которые в свою очередь выводятся из тезиса;
4) подмена тезиса, выражающаяся в том, что, начав доказывать один тезис, в процессе доказательства его подменяют другим;
5) чрезмерное доказательство, выражающееся в том, что когда доказывается слишком много, из данных посылок следует не только доказываемый тезис, но и другое (возможно) ложное утверждение.
Логическое противоречие логическая ошибка, связанная с тем, что в рассуждениях допускается утверждение одновременно с его отрицанием.
Логическое следование – отношение, существующее между посылками и обоснованное выводимыми из них заключениями. Понятие логического следования обычно характеризуется через связи с другими логическими понятиями, и прежде всего через понятия логического закона. Из высказывания А логически следует высказывание В, когда импликация «Если А, то В» является частным случаем закона логики.
Логическое следствие – суждение, получаемое в результате вывода из посылок по логическим правилам.
Логомахия – такой спор, когда спорящие, не определив точно предмет спора, опровергают друг друга или не соглашаются друг с другом.
Логический закон –выражение, содержащее только логические константы и переменные и являющееся истинным в любой (непустой) предметной области. Логические законы принято также называть (логической) тавталогией. В общем случае логическая тавталогия – выражение, остающееся истинным, независимо от того, о каких объектах идет речь, или «всегда» истинное выражение.
Логическая форма – способ связи содержательных частей рассуждения (доказательства, вывода и т.п.). В соответствии с основным принципом логики, правильность рассуждения зависти только от его формы и не зависит от его конкретного содержания.
Меньшая посылка – посылка категорического силлогизма, в которую входит меньший термин.
Меньший термин – термин, который является в заключении простого категорического силлогизма субъектом.
Метаязык – язык, на основе которого производится исследование какого-то другого языка.
Модальность – характеристика суждения в зависимости от его степени возможности, необходимости, обязательности.
Неполная индукция – вид индуктивного умозаключения, в результате которого получается какой-нибудь общий вывод о всем классе предметов на основании знания лишь некоторых предметов данного класса.
Неразрешимая теория – такая теория, для которой не существует разрешимого метода, позволяющего решить для какой формулы этой теории, является ли она истинной, или нет.
Номинальное определение – объяснение значения слова, имени или термина, обозначающего это понятие.
Общее понятие – понятие, указывающее на признаки класса предметов или на отношения.
Общеутвердительное суждение – суждение, имеющее вид: «ВсеS есть P».
Объем понятия – множество предметов, объединенных общим признаком, свойственным данному понятию.
Омонимия – логическая ошибка, происходящая вследствие того, что одно и то же по звуку слово может употребляться в одном рассуждении для обозначения разных предметов.
Определение – логическая операция, раскрывающая содержание(сущность) понятия.
Определение через ближайший род и видовые отличия - логическая операция, заключающаяся в том, что для определяемого понятия подыскивается ближайший род с отличительными признаками вида.
Опровержение – доказательство ложности тезиса.
Основание деления понятия – признак, дающий возможность разделить объем родового понятия на виды.
Остенсивное определение – определение с непосредственным указанием на предмет, который обозначается словом или термином.
Отрицание – логическая операция, заключающаяся в том, что истинному высказыванию противопоставляется ложное высказывание.
Ошибка логическая – нарушение законов, правил и схем логики. Если ошибка допущена неумышленно, она называется паралогизм; если правила логики нарушают умышленно, то это – софизм. Логические ошибки следует отличать от фактических, которые обусловлены не нарушением правил логики, а незнанием предмета, фактического положения дел.
Парадигма - пример, образец.
Парадокс – рассуждение, приводящее к взаимоисключащим последствиям.
Паралогизм – логическая ошибка в умозаключении происшедшая непредумышленно.
Полисемия – многозначность слова.
Полемика – разновидность спора, отличающаяся тем, что основные усилия спорящих сторон направлены на утверждение своей точки зрения по обсуждаемому вопросу. Наряду с дискуссией, полемика является одной из наиболее распространенных форм спора. Однако в отличие от дискуссии полемика допускает большую эмоциональность и включает гораздо более широкий спектр корректных логических приемов.
Полисиллогизм - сложный силлогизм, состоящий из нескольких простых силлогизмов.
Понятие – форма мышления, отображающая в себе существенные, закономерные признаки предмета.
Посылка – часть рассуждения, в которой содержится известная исследователю информация о предмете изучения.
Рассуждение – цепь умозаключений на какую-либо тему, изложенных в логически последовательной форме.
Реальное определение - определение понятия, отображающее существенные признаки предмета, имеющее своей целью отличать определяемый предмет от всех остальных.
Риторика - учение об ораторском искусстве, теория красноречия.
Родовое понятие – понятие, которое выражает существенные признаки класса предметов, являющегося родом каких-либо видов.
Семантика – раздел логики, изучающий способы систематического приписывания значений выражениям формализованного языка. Основные понятия логической семантики – истинность, выполнимость, общезначимость, логическое следствие.
Силлогизм – умозаключение, в котором из двух категорических суждений, связанных общим термином, получается третье суждение, называемое заключением.
Смысл – содержание знакового выражения; мысль, содержащаяся в слове.
Содержание понятия – совокупность признаков, отображающих существенные черты какого-то предмета, отраженные в мысли о нем.
Сокращенный силлогизм (энтимема) – силлогизм в котором пропущена одна или несколько посылок.
Софизм – логическая уловка с целью умышленного выведения из правильных посылок ложного вывода.
Суждение – форма мысли, в которой что-либо утверждается или отрицается относительно предмета, его свойств, отношений или класса предметов.
Тавталогия – разновидность ошибки «порочного круга», заключающейся в том, что определяемое понятие характеризуется посредством самого себя. В обычном языке: повторение того, что уже было сказано.
Тезарус – словарь для поиска какого-либо слова по его признакам.
Тезис - мысль или положение, требующее доказательств или опровержения в споре, полемике.
Термин - слово или словосочетание.
Традиционная логика - наука о законах и принципах выводного знания, наряду с классической и неклассической логикой, один из разделов логики. Традиционной логике свойственна нестрогая и неполная формализация. Основными вопросами традиционной логики являются вопросы исследования умозаключений, суждений, понятий.
Условное суждение – суждение, в котором отображается зависимость того или иного явления от каких-либо условий.
Условный силлогизм – силлогизм, в котором по крайней мере одна из посылок является условным суждением.
Фигура силлогизма – форма силлогизма, определяемая положением среднего термина.
Формализация – метод исследования, связанный с использованием искусственного языка, способствующий тому, что системы логических рассуждений трансформируются в формализованные исчисления, состоящие из формул.
Формализованный язык - искусственный язык формально-логических исчислений, язык знаков, формул, символов.
Язык логики – специально создаваемый современной логикой для своих целей язык, способный следовать за логической формой рассуждения. Язык логики является формализованным. Построение его предполагает принятие особой теории логического анализа. |
