Учебно-методический комплекс по дисциплине логика и теория аргументации основной образовательной программы

Вид материала

Учебно-методический комплекс

Содержание 5.2. Рекомендуемая литература (дополнительная) VI. Словарь основных терминов и понятий Аналогия отношений Аналогия свойств Атрибутивное суждение Вероятностные умозаключения Вопрос восполняющий Вопрос корректный Вопрос наводящий Вопрос простой Вопрос скрытый Вопрос уточняющий Дедуктивное умозаключение Деление дихотомическое Деление по видоизменяющемуся признаку Демонстративное умозаключение Деонтическая модальность Дефиниция понятия Дизъюнкция строгая Доказательство апагогическое ... Полное содержание

Подобный материал:

• Учебно-методический комплекс по дисциплине «логические основы аргументации» Пособие, 211.36kb.
• Дерябин Андрей Анатольевич, к т. н., доцент учебно-методический комплекс, 208.13kb.
• Аксорова Кристина Хусейновна, ассистент кафедры социально-экономической географии учебно-методический, 508.88kb.
• Учебно-методический комплекс по дисциплине Природопользование Направления подготовки, 382.26kb.
• Борисова Надежда Владимировна, Назукина Мария Викторовна учебно-методический комплекс, 592.66kb.
• Учебно-методический комплекс по дисциплине Квантовая теория Для специальности 010701, 319.56kb.
• Клочков Виктор Викторович учебно-методический комплекс, 899.4kb.
• Учебно-методический комплекс по дисциплине Безопасность движения и автоматические тормоза, 1460.94kb.
• Учебно-методический комплекс по дисциплине опд. Ф. 12. Методика преподавания химии, 214.32kb.
• Дейнега Валентин Григорьевич, к т. н., доцент учебно-методический комплекс, 2004.17kb.

^ 5.2. Рекомендуемая литература (дополнительная)


Тема 1.

Войшвилло Е. К. Предмет и значение логики. М.: Изд-во Моск. ун-та. 1960. 56 с.

Кирилов В. И., Старченко А. А. Логика.. М.: Юристъ. 2002. Гл. I

Маковельский А. О. История логики. М.: Наука 1967.

Тягунов С. И. Логика как искусство мышления. СПб., Изд-во СПбГУЭФ: 2000. 64 с.


Тема 2.

1. 
   Войшвилло Е. К. Понятие как форма мышления. М.: Изд-во МГУ 1989.238 с.
   
2. Горский П. Д. Определение. М.: Мысль. 1974. 311 с.
   
3. Кириллов В. И., Старченко А. А. Логика. Гл. II, III
   
4. Попа К. Теория определения М.: Прогресс 1976. 247 с.
   
5. Чупахин И. Я. Методологические проблемы теории понятия. Л. Изд-во ЛГУ 1973. 104 с.
   

Тема 3.

1. 
   Кириллов В. И., Старченко А. А. Логика. Гл. IV
   
2. Попов П. С. Суждение М.: Изд-во Моск. ун-та. 1957. 48 с.
   
3. Таванец П. В. Суждение и его виды. М.: Изд-во Акад. Наук СССР 1953. 176 с.
   
4. Фейс Р. М. Модальная логика. М.: Наука 1974. 520 с.
   

Тема 4.

1. 
   Астафьев В. К. Законы мышления в формальной и диалектической логике. Львов: Изд. Львовского ун-та 1968. 208 с.
   
2. Бабаянц М. С. Закон исключенного третьего М.: Высшая школа. 1962. 79 с.
   
3. Барчуров А. П. Противоречие и рациональность. Петрозаводск: Изд-во ПГУ 1992. 120 с.
   
4. Чкнаверянц А. А. Закон тождества М.: Высшая школа. 1961. 100 с.
   

Тема 5.

1. 
   Кириллов В. И., Старченко А. А. Логика. Гл. VI
   
2. Сидоренко О. И. Тайна силлогизма. Саратов: Изд-во Сарат.. ун-та. 2000. 65 с.
   

Тема 6.

1. 
   Кириллов В. И., Старченко А. А. Логика. Гл. VI, VII
   
2. Серебрянников О. Ф., Бродский И. Н. Дедуктивные умозаключения Л.: Изд. Ленингр. ун-та. 1969.
   
3. Кириллов В. И., Старченко А. А. Логика. Гл. VII
   
4. Субботин А. Л. Теория силлогистики в современной формальной логике М.: Наука, 1965. 125 с.
   

Тема 7.

1. 
   Исследования по современной индуктивной логике. М., 1989.
   
2. Кириллов В. И., Старченко А. А. Логика. Гл. VIII, IX
   
3. Лебедев С. А. Индукция как метод научного познания. М.: Изд-во МГУ, 1980. 192 с.
   
4. Светлов В. А. Современные индуктивные концепции. Л.: Изд-во ЛГУ 1988. 221 с.
   
5. Уемов А. И. Аналогия в практике научного исследования. М.: Наука, 1970. 264 с.
   

Тема 8.

1. 
   Алексеев А. П. Аргументация. Познание. Общение. М.: Изд-во МГУ, 1991. 149 с.
   
2. Еемерен ван Ф. Х., Гроотендорст Р. Аргументация, коммуникация и ошибки. СПб.: Василевский остров. 1992. 208 с.
   
3. Ивин А.А. основы теории аргументации. М.: «Гуманитарный издательский центр ВЛАДОС», 1997.
   
4. Кириллов В. И., Старченко А. А. Логика. Гл. X
   
5. Поварнин С. И. Спор. О теории и практике спора. СПб.: Лань, 1996.149 с.
   

^ VI. Словарь основных терминов и понятий


Аналогия - умозаключение на основе сходства сравни­ваемых предметов (от одного частного явления к другому).

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

Аналогия предметов - то же, что и аналогия свойств.

^ Аналогия свойств - аналогия, в основе которой лежит сходство признаков-свойств сравниваемых предметов.

- аналогия на основе полного подо­бия, изоморфизма.

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

Антитезис - положение, противоречащее тезису.

Аргументация - операция обоснования суждений, ре­шений, оценок.

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

^ Атрибутивное суждение - суждение о свойствах пред­метов.

Большая посылка — посылка силлогизма, содержащая больший термин, предикат заключения.

^ Вероятностные умозаключения - то же самое, что и правдоподобные умозаключения

Видовой признак - признак, отличающий подкласс внутри класса.

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

^ Вопрос восполняющий (<<что»-вопрос) - вопрос о но­вых признаках исследуемого предмета.

Вопрос закрытый — вопрос, предполагающий выбор от­вета из прилагаемого списка.

^ Вопрос корректный - это вопрос, строго соответст­вующий предмету вопроса.

Вопрос некорректный - вопрос, не соответствующий предмету вопроса, нелепый, уводящий в сторону, представляю­щий предмет в ложном свете.

^ Вопрос наводящий - только подготавливает или облег­чает человеку понимание темы вопроса.

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

^ Вопрос простой - вопрос, заключающий в себе одно требование о недостающей информации.

Вопрос прямой - служит непосредственно достижению поставленной цели.

^ Вопрос скрытый - выражается только своими предпо­сылками. Требование определить неизвестное становится оче­видным после осмысления предпосылок вопроса, включая си­туацию, в которой он возникает.

^ Вопрос уточняющий - вопрос, не требующий новой информации о предмете, а предполагающий уяснение позиции опрашиваемого (<<ли»-вопрос).

Вопрос явный - выражается в языке полностью вместе со своими предпосылками и требованием установить неизвест­ное.

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

^ Дедуктивное умозаключение - умозаключение от об­щего к частному другое название логически-необходимых умо­заключений.

Деление понятий - логическая операция, раскрывающая объем понятия, путем перечисления его элементов, (подклас­сов).

^ Деление дихотомическое - деление на две части, в одну из которых входят предметы, обладающие каким-либо призна­ком, а в другую - не обладающие признаком, взятым в качестве основания (А - не-А).

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

^ Демонстративное умозаключение - то же, что и необ­ходимое умозаключение.

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

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

Дефиниендум - определяемая часть дефиниции.

Дефиниенс - определяющая часть дефиниции.

^ Дефиниция понятия - то же, что и определение поня­тия.

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

^ Дизъюнкция строгая - разделительный союз, образую­щий сложное суждение, истинное, когда истинно только одно из исходных суждений.

Дилемма - суждение, содержащее две альтернативы (не­совместимые позиции).

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

^ Доказательство апагогическое - «отводящее», непря­мое доказательство (то же, что и доказательство от противного, через антитезис).

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

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

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

Закон мышления ~ необходимая, повторяющая связь мыслей.

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

Закон обратного соотношения объема и содержания понятия — закон, согласно которому, чем шире содержание по­нятия, тем уже его объем, и наоборот.

^ Закон тождества — закон, согласно которому всякая мысль в рассуждении должна быть тождественной сама себе, неизменной сколько бы раз она не воспроизводилась.

^ Знак - средство, указывающее на некоторый предмет, но не имеющее какого-либо сходства с этим предметом.

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

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

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

Индукция неполная - индуктивное умозаключение от знания части элементов класса к знанию обо всем классе.

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

Индукция популярная - стихийная форма индукции на основе обобщения всех ставших доступными случаев.

^ Индукция через простое перечисление - то же, что и популярная индукция.

Индукция через элиминацию - то же, что индукция ме­тодом исключения.

Искусственный язык - намеренно созданный для ре­шения определённых задач конкретными людьми язык (знаковая система). Например, языки программирования, язык логики вы­сказываний и т.д.

Истинность — соответствие мысли внешней, несобст­венной по отношению к ней действительности.

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

^ Квантор общности - квантор, указывающий на то, что субъект категорического суждения берется в полном объеме ("Все", "Ни один"...).

Квантор существования - квантор, указывающий на то, что субъект категорического суждения берется частично ("Неко­торые", "Существует").

^ Класс - совокупность объектов с общими характеристи­ческими признаками.

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

^ Классификация естественная - классификация на ос­нове существенных признаков самих классифицируемых пред­метов.

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

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

Контекстуальное определение - определение на основе знания отношений предмета с близкими ему объектами в неко­тором окружении (контексте).

Контрадикторность - то же, что и противоречивость.

Контрарность - то же, что и противоположность.

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

^ Косвенное доказательство - доказательство, основан­ное на введении антитезисов, т. е. несовместимых с тезисом по­ложений, и доказательство их ложности.

^ Косвенное опровержение - аналогично косвенному до­казательству; опирается на введение одного или нескольких ан­титезисов и установлении истинности одного из них.

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

Круги Эйлера - изображение объемов понятий с помо­щью кругов, предложенное математиком Л. Эйлером (1707-^ 1783).

Логика высказываний - то же, что и пропозициональ­ная логика.

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

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

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

Логичность - соответствие логическим законам и прин­ципам; последовательность, отсутствие логических ошибок.

Ложность - истинностная характеристика суждения, не соответствующего действительности.

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

Меньший термин - субъект заключения простого кате­горического силлогизма.

^ Модальность суждении - заявленная в суждении пози­ция по отношению к тому, что в нём высказано (некоторая мо­дификация основного содержания суждения), осуществляемая с помощью модальных терминов «хорошо», «плохо», «вероятно», «действительно», «разрешено», «запрещено», «по всей видимо­сти» и т.д.

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

^ Модальность алетическая - заключенная в суждении информация об условиях его истинности (истинно в данный мо­мент - ассерторическая разновидность; может быть истинным -проблематическая; истинно при любых условиях - необходимо истинная — аподиктическая).

^ Модальный оператор - слово, указывающее на ту или иную модальность, например: "необходимо", "доказано", "обяза­тельно" и др.

Модус умозаключении - разновидность умозаключе­ния.

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

^ Необходимое умозаключение - умозаключение, в кото­ром из истинности посылок с необходимостью выводится ис­тинность заключения.

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

^ Несовместимые понятия - понятия, у которых нет об­щих элементов.

Несравнимые понятия — понятия, у которых нет ни од­ного общего признака в содержании.

Нестрогая аналогия — частичная, неполная, основанная mi отношении гомоморфизма.

Неявное определение - определение, основанное на произвольных признаках, существенность которых еще не уста­новлена.

^ Обобщение понятия - переход к более широкому по объему понятию.

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

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

^ Общее понятие - понятие, объём которого составляет более чем один предмет.

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

^ Ограничение понятия - операция образования нового понятия с меньшим объемом: переход от рода к виду.

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

^ Определение пошипи - логическая операция, рас­крывающая понятия.

Определение аксиоматическое определение, в котором понятие вводится па основе некоторых исходных положений (аксиом).

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

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

Определение индуктивное - уточняющее определение.

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

^ Определение явное - определение, в котором содержит­ся прямое указание на существенные признаки определяемых предметов.

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

Определение остенсивное - определение значения сло­ва через непосредственное указание на сам предмет.

^ Определение реальное - определение понятия, через указания на признаки предмета, отображаемого данным поняти­ем ,

Опровержение — операция по обоснованию ложности некоторого положения.

^ Основание деления - признак, на основе которого про­изводится деление объёма понятия.

Ответ — связанное с вопросом суждение, уменьшающее или снимающее неопределенность, заключенную в вопросе.

^ Отличительный признак - признак, присущий только данному предмету или классу предметов.

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

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

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

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

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

Подкласс - часть класса.

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

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

Полисиллогизм - сложный силлогизм.

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

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

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

Понятие единичное - понятие, объем которого состав­ляет один предмет.

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

Понятие несобирательное - понятие, приложимое к от­дельному предмету, вещи.

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

^ Понятие несобирательное - понятие, приложимое к от­дельному предмету, вещи.

Понятия совместимые - понятия, у которых есть общие элементы в объемах.

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

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

^ Понятия безотносительные - это такие понятия, в ко­торых мыслятся как самостоятельные, вне зависимости от дру­гих МОМН'1 ИЙ.

Понятия соотносительные - понятия, которые сущест­вуют только в связке друг с другом. Например, "правое - левое¹', "начальник - подчинённый", "учитель — ученик".

^ Понятия регистрирующие - общие понятия, предпола­гающие закрытый (фиксируемый определённым числом) объём.

Понятия нерегистриругощие - понятия с открытым объёмом.

Понятия равнообъемные - то же, что и тождественные понятия.

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

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

Превращение - преобразование простого категориче­ского суждения в новое суждение противоположного качества,

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

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

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

Признак - все то, на основе чего мы отличаем предметы друг от друга.

^ Признак существенный - признак, без которого данный предмет не мыслим.

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

Просиллогизм - простой силлогизм, предшествующий другому силлогизму в сложном силлогизме.

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

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

^ Противоположные суждения - суждения, которые не могут быть одновременно истинными, но могут быть одновре­менно ложными.

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

^ Противоречивые суждения - суждение и его отрица­ние, одно из них обязательно истинное, а другое ложно.

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

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

Разделительное доказательство - вид косвенного дока­зательства, в котором истинность тезиса выводится из ложности всех антитезисов.

^ Распределенность терминов категорического суждения - соотношение объёмов субъектов и предикатов суждения.

Распределенный термин - субъект или предикат, взя­тый по отношению к другому термину в полном объеме.

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

Рефлексивность - свойство двуместных отношений, при котором предмет находится в этом отношении к самому се­бе (равенство).

Родовой признак - признак, присущий всем группам данного класса предметов.

^ Связка суждения - элемент простого суждения, соеди­няющий субъект и предикат; может быть утвердительной и от­рицательной.

Селективная индукция - то же, что и индукция через отбор.

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

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

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

^ Силлогизм сложно-сокращенный - сложный силло­гизм, в котором пропущена часть посылок.

Содержание понятия - отраженные в понятии признаки предметов.

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

^ Сорит - сложно-сокращенный силлогизм, с регулярно пропускаемой большей или меньшей посылкой.

Сравнимые понятия - понятия, у которых есть ближайший общий род. Например, "собака" и "кошка" - сравнимые понятия: ближайший общий род "животные". Ещё сравнимыми понятия­ми называют такие понятия, в содержании которых присутству­ет, по крайней мере, один общий признак.

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

^ Средний термин - термин категорического силлогизма, который встречается в обеих посылках и отсутствует в заключе­нии; связывает крайние термины.

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

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

^ Суждение выделяющее — суждение о принадлежности признака только определенным предметам и никаким другим,

Суждение единичное - суждение об одном предмете.

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

^ Суждение категорическое - суждение, взятое в про­стейшей форме: субъект, предикат, связка и квантор. Противо­полагается суждениям условным и разделительным.

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

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

^ Суждение простое - суждение, представляющее собой одно утверждение или отрицание; состоит из одного субъекта и одного предиката.

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

^ Суждение сложное - суждение, в котором несколько субъектов и предикатов.

Суждения совместимые - суждения, которые могут быть одновременно истинными.

^ Суждение существования - то же, что и экзистенциаль­ное суждение.

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

^ Суждение частноутвердителыюе - суждение, в кото­ром нечто утверждается относительно части, подмножестве не­которого класса.

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

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

^ Тезис - положение, которое обосновывается (как истин­ное для доказательства, как ложное для опровержения).

Термин - слово, с однозначно закреплённым за ним со­держанием.

Транзитивность - свойство двуместных отношений, при котором, если отношение имеет место между первым и вторым предметом, а также вторым и третьим, то оно имеет место меж­ду первым и третьим.

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

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

^ Умозаключение опосредованное - умозаключение на основе нескольких посылок.

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

Фигура простого категорического силлогизма - виды силлогизма, различаемые согласно положению среднего терми­на в посылках.

^ Форма мышления (логическая) - способ связи элемен­тов содержания мысли.

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

^ Эквивалентность суждений - отношение между сужде­ниями, имеющими одинаковые значения истинности для всех условий.

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

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

^ Энумеративная индукция - то же, что и индукция че­рез простое перечисление.

Эписиллогизм - простой силлогизм, следующий за дру­гим простым в составе сложного силлогизма.

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

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

^ Язык - система чувственно воспринимаемых знаков, ис­пользуемая для фиксации, накопления и переработки информации.

Язык естественный - обычный звуковой язык, стихий­но созданный тем или иным народом.

^ Языки логики - искусственные языки, используемые в современной логике (язык логики высказываний, например).


VII. Методические рекомендации для преподавателей


Дисциплина «Логика и теория аргументации» изучается, как правило, в течение одного или двух семестров на младших курсах и завершается зачётом. Предварительная оценка перед зачётом определяется обычно текущей оценкой за работу на занятиях, контрольными работами.

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

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

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

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