Словарь терминов (глоссарий)

Аргументация - способ рассуждения, включающий доказательство и опровержение. В ходе аргументации обосновывается (верифицируется) истинность тезиса (суждение пропонента) и отрицается (фальсифицируется) антитезис (суждение оппонента).

Виды понятий по содержанию. По содержанию понятия делятся на: абстрактные (имена признаков предметов) и конкретные (имена предметов); относительные (парные: "отцы" - "дети") и безотносительные (автономные по смыслу: "здание"); положительные (утверждают признаки в предмете) и отрицательные (отрицают признаки в предмете); собирательные (общие понятия, в которых мыслятся системы) и несобирательные (единичные понятия и общие понятия, не содержащие сведения о системном характере мыслимого предмета).

Выведение следствий - процесс получения заключения из посылок по правилам дедуктивных умозаключений. Понятие логического следования - выведение следствий из данных посылок есть широко распространенная логическая операция. Условиями истинности заключения является истинность посылок и логическая правильность вывода. При этом необходимо знать, что иногда в ходе рассуждения от противного допускаются заведомо ложные посылки (например, антитезис при косвенном доказательстве) или принимаются посылки недоказанные, однако в дальнейшем они подлежат исключению. Логическое следствие из данных посылок есть высказывание, которое не может быть ложным, когда эти посылки истинны, (так некоторое выражение В есть логическое следствие из формулы А, если поставим переменные, мы получим тождественно-истинное выражение [А → B], или закон логики [импликацию]).

Деление есть логическая операция, позволяющая с помощью избранного основания деления (признака, по которому происходит деление) распределить объем делимого понятия на ряд членов деления.

Виды деления: (1) деление по видоизменению (по видообразующему признаку), когда основанием деления является признак, по которому образуются виды (видовое отличие); (2) дихотомия, когда объем рода делится на 2 противоречащих понятия (а, не-а).

Правила деления: Деление должно быть соразмерным, деление должно производиться по одному основанию, члены деления должны исключать друг друга, деление должно быть непрерывным.

Дескриптивные (описательные) термины суть имена предметов (понятия, обозначающие предметы), предикаторы (знаки предметно-пропозициональных функций как свойства предметов или отношения между ними; предикаторы бывают одноместные, передающие свойства предмета ax/ "квалифицированный специалист"; многоместные, передающие отношения между предметами aRb; R(a,b,c,…n)/ "Иван знает Петра") и функциональные знаки (+,-,=, etc.), находящие применение в математике и математической и символической логике.

Дилемма - это умозаключение из трех посылок: две посылки - условные суждения, а одна - разделительное суждение.

Закон достаточного основания: всякая истинная мысль должна быть достаточно обоснована

Закон исключенного третьего. Данный закон утверждает, что из двух противоречащих суждений одно истинно, другое ложно, а третьего не дано.

Закон логики (закон мышления) есть необходимая и существенная связь между мыслями, условие для достижения истины в процессе рассуждения.

Закон непротиворечия: д ва противоположных суждения не могут быть истинными в одно и то же время и в одном и том же отношении.

Закон обратного отношения между объемами и содержаниями понятий. Утверждает, что чем шире содержание понятия, тем уже его объем, и наоборот.

Закон тождества: в процессе определенного рассуждения всякое понятие и суждение должны быть тождественными самим себе.

Категорический силлогизм - это вид опосредованного дедуктивного умозаключения, построенного из двух истинных категорических суждений, в которых субъект и предикат связаны средним термином [М]. В составе простого силлогизма имеются две посылки и заключение.

Кванторы - слова, указывающие на степень распределенности субъекта в суждении.

Классификация есть разновидность операции деления и представляет вид последовательного деления, образующий развернутую систему, в которой каждый ее член/вид делится на подвиды и т. д.

Классы предметов включают в себя однородные объекты ("люди" и т.п.). В зависимости от характера объема выделяются следующие виды понятий по объему: общие понятия (2 и более предмета в классе), единичные понятия (1 предмет в классе, напр., "Солнце") и (условно) пустые понятия ("Кащей Бессмертный"). Необходимо отметить, что "пустые понятия" располагают материальные нулевым объемом. В то же время в идеальном смысле они либо общие, либо единичные ("сказочные драконы", "Фредди Крюгер").

Логика - наука о правильном мышлении, или о правилах, которым подчиняется процесс рассуждения.

Логическая форма мысли есть строение последней, то есть способ связи составных частей в высказывании.

Логика и язык. Формальная логика придерживается тезиса о том, что мышление имманентно языку, то есть неразрывно связано с речью.

Логические законы. Они являются необходимыми условиями достижения истины в рассуждении. Каждое правило/принцип формальной логики обладает значением закона. При этом выделяются основные формально-логические законы: тождества, непротиворечия, исключенного третьего и достаточного основания.

Логические термины. Это логические константы (постоянные), выполняющие функцию элементов управления в высказываниях (суждениях). К ним относятся: конъюнкция, дизъюнкция, импликация, эквиваленция, отрицания, знаки контрфактических высказываний, кванторы.

Модальность суждений есть явно или неявно выраженное в суждении дополнительное знание о логическом или фактическом статусе суждения, о регулятивных, временных, оценочных и других его характеристиках. Схема модального суждения - "Mp", где М есть модальный оператор, р. - суждение (лат. propositio), содержащее модальный контекст.

Модальность алетическая - выраженное в суждении в терминах "необходимость/случайность" знание о высказывания.

Модальность д еонтическая - выраженное в суждении предписание в форме совета, пожелания, правила поведения или приказа, побуждающее адресата предписания к конкретным действиям.

Модальность эпистемическая - выраженное в суждении знание об основаниях предмета суждения и степени данной обоснованности.

Модусы категорического силлогизма - разновидности силлогизма, отличающиеся друг от друга качественной и количественной характеристикой входящих в них посылок и заключений.

Неполная обобщающая индукция - это умозаключение от знания лишь о некоторых предметах класса к знанию о всех предметах класса.

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

Правила категорического силлогизма. Силлогизмы часты в рассуждениях. Для того чтобы получить истинное заключение, необходимо брать истинные посылки и соблюдать следующие правила силлогизмов и специальные правила фигур силлогизмов:

Правила терминов:

а) В каждом силлогизме должно быть только три термина (S, P, М). Иначе возникает ошибка - учетверение терминов;

б) Средний термин должен быть распределен, по крайней мере, в одной из посылок. Ошибка - которые растения ядовиты (М-п.);

в) Термин распределен в заключении только тогда, когда он распределен в посылках. Иначе терминах заключения появилась бы информация, не оговоренная в терминах.

Правила посылок:

а) Из двух отрицательных посылок нельзя сделать заключение;

б) Если одна из посылок отрицательная, то заключение должно быть отрицательным;
в) Если одна из посылок частная, то и заключение должно быть частным.

Превращение - вид непосредственного дедуктивного умозаключения, при котором изменяется правило посылки без изменения ее количества, при этом предикат заключения является отрицанием предиката посылки.

Противопоставление предикату - есть вид непосредственного дедуктивного умозаключения, при котором в заключении предикатом является субъект, а субъектом - понятие, противоречащее предикату исходного суждения, а связка меняется на противоположную.

Обобщающая индукция - это умозаключение, в котором осуществляется переход от знания об отдельных предметах класса или о подклассе класса к знанию обо всех предметах класса или о классе в целом.

Обобщение есть логическая операция перехода от понятия с меньшим к понятию с большим объемом. Обобщение используется в случаях определения (1). Предел обобщения - категории (философские, научные и т.п.).

Обращение категорического суждения - непосредственное дедуктивное умозаключение, в котором в заключении субъектом является предикат, а предикатом - субъект исходного суждения, т.е. происходит перемена мест субъекта и предиката при сохранении качества суждения.

Объем / интенсионал понятия есть номенклатура (класс) предметов, мыслимая в понятии.

Ограничение есть логическая операция перехода от родового понятия к видовому, путем снятия видовых отличий. Предел ограничения - единичное понятие.

Определение (дефиниция, definitio) есть логическая операция раскрытия содержания понятия или значения термина.С помощью определений раскрывается денотация понятий и тем самым отличается круг определяемых предметов от других предметов. Структуру определения образует эквиваленция (тождество, равенство) определяемого (definiendum, Dfd) и определяющего (definience, Dfn) понятий. Определения делятся на явные и неявные.

Определения неявные. Относительно неявных определений необходимо сказать, что в их числе выделяются контекстуальные (выделение основного содержания информации/текста), индуктивные (встречаются в математической логике, включают в себя элемент "круга") и аксиоматические (в математической логике). Неявные определения применяются при отсутствии однозначной эквиваленции Dfd и Dfn, при фрагментарном, неполном знании Dfd.

Определения явные. В них имеет место строгая эквиваления Dfd и Dfn.

Основные логические приемы формирования понятий: анализ, синтез, сравнение, абстрагирование, обобщение. Все указанные приемы являются чисто мыслительными операциями, цен реальной из которых выступает абстрагирование, то есть отвлечение атрибутов от акциденций (несущественных, случайных признаков).

Отношения между понятиями. Поскольку события мира взаимосвязаны (см. напр., отечественную философию всееединства, гегельянство, марксизм, интуитивизм и т.п.), то постольку и понятия пребывают в отношениях друг с другом.

Отрицание суждения - это операция, заключающаяся в таком преобразовании суждения, в результате которого получают суждение, находящееся в отношении контрадикторности (противоречивости) к исходному суждению.

Полная обобщающая индукция - это умозаключение от знания об отдельных предметах класса к знанию обо всех предметах класса, предполагающее исследование каждого предмета этого класса.

Понятие - есть форма абстрактного мышления, в которой обобщаются атрибуты (существенные признаки) классов предметов, выделяемые по фиксированным классобразующим признакам.

Правила явного определения. Определение должно быть соразмерным: равенство Dfd и Dfn. Определение не должно содержать круга. Определение должно быть однозначным и не может быть афоризмом или метафорой.

Предикат - термин суждения (P); признак, приписываемый субъекту, либо отрицаемый в отношении его.

Предмет - объект внимания сознания (объект, взятый в единстве с определенным методом познания), материальный или идеальный.

Превращение категорического суждения - это изменение его качества одновременно с заменой предиката на противоречащий ему термин.

Приемы, сходные с определением понятий. Они используются тогда, когда знание о Dfd не позволяет сформулировать любое определение. Виды приемов: характеристика - перечисление некоторых внутренних атрибутов предмета, а не его внешних признаков; описание - перечисление внешних признаков предмета, его акциденций с целью нестрого отличия выделяемого предмета от других предметов; сочетание описания и характеристики; разъяснение посредством примера - используется тогда, когда легче привести пример, чем дать определение (1); сравнение - метафорическое уподобление одних предметов другим; различение - метафорическое различение между предметами.

Прогрессивный полисиллогизм - сложный силлогизм, в котором заключение предшествующего силлогизма (просиллогизма) становится большей посылкой последующего силлогизма (эписиллогизма).

Прямой вывод - вывод в чисто условном умозаключении основывается на правиле: следствие следствия есть следствие основания.

Распределенность терминов в категорических суждениях. Термин считается распределенным, если его объем полностью входит в объем другого термина, либо полностью исключается из последнего. Термин будет не распределенным, если его объем частично включен/ исключен из объема другого термин

Регрессивный полисиллогизм - это полисиллогизм, в котором заключение просиллогизма становится меньшей посылкой эписиллогизма.

Сложные силлогизмы образуются путем соединения 2 или более простых силлогизмов.

Сложное суждение. Сложные суждения суть высказывания, состоящие из нескольких простых суждения. Они включают две и более субъект-предикатные структуры. Сложные суждения образуются из простых суждений с помощью логических связок: конъюнкции (соединения, "А и В"), строгой и нестрогой дизъюнкции (разделения, "А или В", "Или А, или В"), импликации (логического следования, "Если А, то В"), эквиваленции (тождества, "А равно В") и отрицания ("Не является А, В и т.д.").

Совместимые понятия есть понятия, имеющие совпадающие предметные области.

Содержание/денотат понятия есть номенклатура атрибутов класса предметов (одноэлементного или однородного), мыслимого в данном понятии.

Сориты - сокращенная форма полисиллогизмов.

Прогрессивный (гоклениевский) сорит - получается из прогрессивного полисиллогизма путем выбрасывания заключений просиллогизмов и больших посылок эписиллогизмов.

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

Субъект - термин суждения (S); понятие о предмете суждения (высказывания).

Суждение есть форма абстрактного мышления, в которой что-либо утверждается или отрицается о предметах, их атрибутах или акцидениях, а также об отношениях между предметами. Суждение бывает истинным или ложным.

Простое суждение - суждение, в котором нельзя выделить часть являющуюся суждением.

Атрибутивные суждения - суждения, в которых выражается принадлежность предметам свойств или отсутствие у предметов каких-либо свойств.

Суждение эквивалентности - это суждение, в котором утверждается взаимная обусловленность двух ситуаций.

Суждения об отношениях - суждения, в которых говорится о том, что определенное отношение имеет место (или не имеет места) между элементами пар, троек и т.д. предметов.

Соединительные суждения - это суждения, в которых утверждается наличие двух ситуаций.

Категорическое суждение. Суждения, имеющие одну субъект-предикатную структуру являются простыми категорическими суждениями.

Условное (импликативное) суждение - суждение, в котором утверждается, что наличие одной ситуации обусловливает наличие другой.

Дизъюнктивное суждение - суждение, в котором утверждается наличие по крайней мере одной из двух ситуаций.

Строго-дизъюнктивное суждение - суждение, в котором утверждается наличие ровно одной из двух или более ситуаций.

Разделительные суждения - это суждения, в которых утверждается наличие одной из двух, трех и т.д. ситуаций.

Умозаключение - это форма мышления (рассуждение), в процессе которого из некоторых знаний, выраженных в исходных суждениях (посылках), получают новое знание, выраженное в итоговом суждении (заключении).

Условно-категорическое умозаключение - такое дедуктивное умозаключение, в котором одна из посылок - условие суждение, а другая - простое категорическое суждение [A, E, I, O].

Разделительные умозаключения. Разделительным называется такое умозаключение, в котором одна или несколько посылок являются разделительными (дизъюнктивными [A V B]) суждениями.

Разделительно-категорическое умозаключение - это умозаключение, в котором одна из посылок является разделительным суждением, а вторая совпадает с одним из членов разделительного суждения или с отрицанием одного из членов этого суждения, а заключение тоже совпадает с одним из членов разделительного суждения или с отрицанием одного из членов разделительного суждения.

Чисто-разделительное умозаключение: в нем посылки есть разделительные суждения.

Чисто условные умозаключения - такие опосредованные умозаключения, в которых обе посылки являются условными (импликативными [А  B]) суждениями.

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

Виды умозаключений

1. Дедуктивные - рассуждения от общих суждений к частным;

2. Индуктивные - рассуждения от частных суждений к общим.

3. По аналогии - рассуждения от частных суждений к частным. Умозаключения могут быть логически необходимыми, т.е. давать истинное заключение, и вероятностными (правдоподобными), т.е. не давать истинное заключение, а лишь с определенной степенью вероятности следующее из данных посылок (они м.б. и ложными суждениями).

Формальная логика есть наука о правильном мышлении, или совокупность правил, которым подчиняется процесс мышления, отражающий реальность. Иными словами, логика есть наука о правилах рассуждения и о тех формах, в которых оно осуществляется.

Формальная правильность рассуждений. Она относится к строгому соблюдению законов логики в мышлении. Это позволяет достигать истины, критерием проверки которой выступает практика, или соответствие опыта и абстрактного знания (достояния чистого мышления). Несоблюдение правил логики в мышлении приводит к ошибкам в рассуждении, к ложным, либо к проблематичным утверждениям.

Цель познания. С точки зрения логики познанием является достижение истины в процессе рассуждения. Под истиной подразумевается тождество идеального и реального бытия в мышлении, достигаемое в рефлексии. Формальная логика подразделяет формы познания на чувственное познание и абстрактное познание. К формам чувственного познания относятся ощущение, восприятие и представление. Логика акцентирует свое внимание на формах абстрактного мышления: понятии (имени), суждении (высказывании) и умозаключении.

Энтимема - сокращенный силлогизм, то есть силлогизм, в котором не высказана одна из посылок или заключение.

Эпихейрема - это такой сложносокращенный силлогизм, обе посылки которого есть простые категорические суждения - энтимемы.

 

19. Балльно-рейтинговая система, используемая преподавателем для оценивания знаний студентов по дисциплине.

Представлена в виде технологической карты (Приложение 1).

 

20. Изменения в рабочей программе, которые произошли после ее утверждения:

 

Характер изменений в программе	Номер и дата протокола заседания кафедры, на котором было принято данное решение	Подпись заведующего кафедрой, утверждающего внесенное изменение	Подпись декана факультета (проректора по учебной работе), утверждающего данное изменение

 

21. Учебные занятия по дисциплине ведут:

 

Ф.И.О., ученое звание и степень преподавателя	Учебный год	Факультет	Направление подготовки
Виноградов А.И., д.ф.н., доцент	2011-2012	ИиСН	Социология
Виноградов А.И., д.ф.н., доцент	2012-2013	ИиСН	Социология

 

Приложение 1

ОСНОВНАЯ ОБРАЗОВАТЕЛЬНАЯ ПРОГРАММА

История

ТЕХНОЛОГИЧЕСКАЯ КАРТА

Шифр дисциплины по РУП Б1.В2.

Дисциплина Логика

Курс 1; семестр 1

Кафедра философии и социологии

Ф.И.О. преподавателя, звание, должность Виноградов Андрей Иванович д.ф.н., доцент

Трудоемкость 108; ЛК 20; ПР 30; ЛБ -; СРС 22; Форма отчетности: экзамен

№ п/п	Содержание задания	Количество мероприятий	Максимальное количество баллов	Срок предоставления
Основной блок
1.	Посещение занятий			в течение семестра
2.	Работа на практических занятиях			практические занятия
3.	Рубежный контроль			октябрь, ноябрь, декабрь
4.	Итоговый тест			январь
Итого:
5.	Экзамен			январь
Итого:
Дополнительный блок
	Внеучебная деятельность по дисциплине
6.	Участие в научных и социально-значимых мероприятиях на факультете или в университете		в течение семестра
	Защита реферата		в течение семестра

 

Соотношение баллов и оценок

от 100 до 91	отлично
от 81 до 90	хорошо
от 61 до 80	удовлетворительно
менее 60	неудовлетворительно