Тематические планы лекций
Раздел 1. Предмет логики. Логическая форма и логический закон
Тема 1.1.Предмет логики. Логическая форма и логический закон
Предмет логики. Понятие о правильном рассуждении. Содержание мысли и логическая форма. Истинные предпосылки и формальная правильность рассуждения. Логические законы. История развития логики. Логика как нормативная философская наука о формах и приемах интеллектуальной познавательной деятельности, осуществляемой с помощью языка.
Раздел 2. Понятие. Логические операции с понятием
Тема 2.1. Понятие. Содержание и объём понятия.
Понятие как форма мышления (общая характеристика). Выражение понятий языковыми средствами. Способы формирования понятий. Основные логические характеристики понятия (объем и содержание). Понятие признака предмета. Закон обратного отношения между объемом и содержанием понятия. Класс, подкласс, элементы класса.
Виды понятий, выделяемых по различным основаниям. Отношения понятий по объему. Отношения совместимых понятий. Отношения несовместимых понятий. Круговые схемы Эйлера.
Тема 2.2.Логические операции с понятиями.
Логические операции с понятиями. Обобщение и ограниченик понятий. Деление понятий, виды деления. Классификация. Правила деления понятий. Определение понятий. Виды определения. Приемы, сходные с определением. Правила определения понятия.
Раздел 3. Суждение
Тема 3.1. Суждение. Простые суждения и их классификация. «Логический квадрат».
Общая характеристика и логическая структура суждения. Выражение суждений в языке. Виды суждений. Простое суждение, его состав. Термины суждения. Понятие субъекта, предиката, квантора, связки суждения. Простое категорическое суждение. Деление суждений по количеству. Деление суждений по качеству. Виды простых категорических суждений (деление по количеству и качеству). Понятие распределенности терминов. Отношения между простыми суждениями. «Логический квадрат».
Тема 3.2. Сложные суждения и их класификация. Таблицы истинности
Способы образования сложных суждений. Виды сложных суждений. Основные логические связки. Условия истинности сложных суждений. Таблицы истинности для основных логических связок.
Раздел 4. Умозаключение. Дедуктивные умозаключения с простыми и сложными суждениями
Тема 4.1. Непосредственные и простые категорические умозаключения
Умозаключение как форма мышления. Виды умозаключений. Непосредственные умозаключения посредством преобразования суждений. Категорические умозаключения. Простой категорический силлогизм. Проверка правильности силлогизма по общим правилам и круговым схемам. Силлогизмы со сложными суждениями. Сокращенные силлогизмы: энтимема, полисиллогизм, сорит, эпихейрема.
Тема 4.2.Умозаключения со сложными суждениями
Выводы из сложных суждений: условное и условно-категорическое умозаключения, разделительно-категорическое умозаключение, условно разделительное умозаключение (дилемма и полилемма).
Раздел 5. Индуктивные умозаключения
Тема 5.1. Индуктивные умозаключения
Виды индуктивных умозаключений. Индуктивное следование. Принцип обратной дедукции. Полная и неполная индукция. Условия, повышающие степень вероятности индуктивных рассуждений. Методы научной индукции. Аналогия, ее структура и виды. Условия, повышающие степень вероятности рассуждений по аналогии. Аналогия как основа моделирования.
Раздел 6. Вопрос и гипотеза
Тема 6.1.Логика вопросов и ответов
Вопросы и ответы. Характеристика вопросов: вопросы конкретные и некорректные, провокационные, неопределенные, тавтологические, открытые, закрытые, уточняющие, соединительные, разъединительные, смешанные, риторические и т.д. Ответ и виды ответы: истинные и ложные, прямые и косвенные, краткие и развернутые, полные и неполные, точные и неточные и т.д.
Тема 6.2.Гипотеза
Гипотеза как форма развития знания. Виды гипотез. Требования к гипотезам. Доказательство и опровержение гипотез.
Основные понятия
Аналогия – умозаключение на основе сходства сравни ваемых предметов (от одного частного явления к другому).
Аналогия отношений – аналогия, в основе которой ле жит сходство признаков отношений, наблюдаемых у сравнивае мых предметов.
Аналогия предметов – то же, что и аналогия свойств.
Аналогия свойств – аналогия, в основе которой лежит сходство признаков-свойств сравниваемых предметов.
Антецедент – первый член условного (импликативного) суждения (логическое основание).
Антитезис – положение, противоречащее тезису.
Аргументация – операция обоснования суждений, ре шений, оценок.
Аргумент – суждение, используемое для обоснования другого суждения (тезиса) через установление логической связи с последним.
Атрибутивное суждение – суждение о свойствах пред метов.
Большая посылка — посылка силлогизма, содержащая больший термин, предикат заключения.
Вероятностные умозаключения – то же самое, что и правдоподобные умозаключения
Видовой признак – признак, отличающий подкласс внутри класса.
Вопрос – логическая форма, содержащая некоторое ис ходное знание предмета с одновременным указанием на его недостаточностьи необходимость получения дополнительной информации.
Вопрос восполняющий («что»-вопрос) – вопрос о но вых признаках исследуемого предмета.
Вопрос закрытый — вопрос, предполагающий выбор от вета из прилагаемого списка.
Вопрос корректный – это вопрос, строго соответст вующий предмету вопроса.
Вопрос некорректный – вопрос, не соответствующий предмету вопроса, нелепый, уводящий в сторону, представляю щий предмет в ложном свете.
Вопрос наводящий – только подготавливает или облег чает человеку понимание темы вопроса.
Вопрос открытый – вопрос, требующий указания новой информации о признаках предметов и не ограничивающий ко личество возможных ответов.
Вопрос простой – вопрос, заключающий в себе одно требование о недостающей информации.
Вопрос прямой – служит непосредственно достижению поставленной цели.
Вопрос скрытый – выражается только своими предпо сылками. Требование определить неизвестное становится оче видным после осмысления предпосылок вопроса, включая си туацию, в которой он возникает.
Вопрос уточняющий – вопрос, не требующий новой информации о предмете, а предполагающий уяснение позиции опрашиваемого («ли»-вопрос).
Вопрос явный – выражается в языке полностьювместе со своими предпосылками и требованием установить неизвест ное.
Вывод – последовательность суждений (формул), логи чески вытекающих из некоторых исходных суждений (фор мул) – посылок.
Дедуктивное умозаключение – умозаключение от об щего к частному другое название логически-необходимых умо заключений.
Деление понятий – логическая операция, раскрывающая объем понятия, путем перечисления его элементов, (подклас сов).
Деление дихотомическое – деление на две части, в одну из которых входят предметы, обладающие каким-либо призна ком, а в другую – не обладающие признаком, взятым в качестве основания (А – не-А).
Деление по видоизменяющемуся признаку – деление, как правило, более чем на две части, каждой из которых присущпризнак, взятый за основание, но в особом его проявлении.
Демонстративное умозаключение – то же, что и необ ходимое умозаключение.
Демонстрация – логическая связь аргументов и тезиса в доказательствеили опровержении (по сути, то же, что и вывод вумозаключении).
Деонтическая модальность – выраженное в суждении побуждение (или запрет) к действию (требуется, рекомендуется, запрещается ...).
Дефиниендум – определяемая часть дефиниции.
Дефиниенс – определяющая часть дефиниции.
Дефиниция понятия – то же, что и определение поня тия.
Дизъюнкция слабая – логический союз (функтор), оз вучиваемый как «или». Дает истинное сложное суждение, если истинно хотя бы одно из входящих в него суждений.
Дизъюнкция строгая – разделительный союз, образую щий сложное суждение, истинное, когда истинно только одно из исходных суждений.
Дилемма – суждение, содержащее две альтернативы (не совместимые позиции).
Доказательство – обоснование истинности (или ложно сти) суждения через установление логической связи между по следним и другими суждениями, истинность которых уже уста новлена.
Доказательство апагогическое – «отводящее», непря мое доказательство (то же, что и доказательство от противного, через антитезис).
Доказательство от противного – доказательство, при которомистинность тезиса обосновывается с помощью проти воречащегоему суждения (антитезиса).
Заключение (вывод) умозаключения – суждение, вы текающее из посылок.
Закон достаточного основания – закон, по которому мысль признается истинной или ложной, если для этого имеется достаточное логическое основание (доказательст во или опровержение).
Закон исключенного третьего – закон, согласно кото рому из двух противоречащих суждений одно обязательно ис тинно, а второе ложно.
Закон мышления ~ необходимая, повторяющая связь мыслей.
Закон непротиворечия – закон, по которому не могут быть одновременно истинными несовместимые, исключающие друг друга суждения (одновременно утверждающиеи отрицаю щие одно и то же).
Закон обратного соотношения объема и содержания понятия — закон, согласно которому, чем шире содержание по нятия, тем уже его объем, и наоборот.
Закон тождества — закон, согласнокоторому всякая мысль в рассуждении должна быть тождественнойсама себе, неизменной сколько бы раз она не воспроизводилась.
Знак – средство, указывающее на некоторый предмет, но не имеющее какого-либо сходства с этим предметом.
Импликация – логический союз (функтор), озвучивае мый как «если..., то...», образующий из двухсуждений новое, истинное во всех случаях, кроме одного: оно ложно, когда пер вый член импликации (антецедент) истинное суждение, а второй (консеквент) – ложное. Импликацией именуется и само сужде ние, образованное с помощью одноименного функтора.
Индуктивное умозаключение – умозаключение от ча стного к общему, от отдельных предметов ксовокупностям предметов, от классов к более широким классам.
Индукция методом исключения – индуктивное умо заключение на основе подтверждающих обстоятельств, и ис ключения обстоятельств, при которых причинная связь отсутст вует.
Индукция неполная – индуктивное умозаключение от знания части элементов класса к знанию обо всем классе.
Индукция через отбор – вывод о признаке класса, наоснове отобранного образца (подмножества, подкласса).
Индукция популярная – стихийная форма индукции на основе обобщения всех ставших доступными случаев.
Индукция через простое перечисление – то же, что и популярная индукция.
Индукция через элиминацию – то же, что индукция ме тодом исключения.
Искусственный язык – намеренно созданный для ре шения определённых задач конкретными людьми язык (знаковая система). Например, языки программирования, язык логики вы сказываний и т.д.
Истинность — соответствие мысли внешней, несобст венной по отношению к ней действительности.
Квантор – логический оператор, указывающий на коли чественную характеристику субъекта категорического суждения по отношениюк предикату.
Квантор общности – квантор, указывающий на то, что субъект категорического суждения берется вполном объеме («Все», «Ни один...»).
Квантор существования – квантор, указывающий на то, что субъект категорического суждения берется частично («Неко торые», «Существуют такие…»).
Класс – совокупность объектов с общими характеристи ческими признаками.
Классификация – распределение предметов некоторого рода на непересекающиеся классы, при котором каждый класс получает определенное место; устойчивый, ввиду особой значимости, результат применения логической операции деления, сформированный в какой-либо сфере знания или деятельности.
Классификация естественная – классификация на ос нове существенных признаков самих классифицируемых пред метов.
Классификация искусственная (техническая) – клас сификация, в основе которой лежат признаки, удобные для че ловека, но внешние, случайные по отношению к предметам.
Консеквсит – второй член импликативного суждения (логическое следствие).
Контекстуальное определение – определение на основе знания отношений предмета с близкими ему объектами в неко тором окружении (контексте).
Контрадикторность – то же, что и противоречивость.
Контрарность – то же, что и противоположность.
Конъюнкции – логический союз (функтор), озвучивае мый как «и», «а», «но», образующий сложное суждение, истин ное, когда истинны все (каждое) входящие в него суждения. Конъюнкцией именуется и само суждение, образованное с по мощью одноименного функтора.
Косвенное доказательство – доказательство, основан ное на введении антитезисов, т. е. несовместимых с тезисом по ложений, идоказательство их ложности.
Косвенное опровержение – аналогично косвенному до казательству; опирается на введение одного или нескольких ан титезисов и установлении истинности одного из них.
Крайний термин – название каждого из двух терминов, субъекта и предиката, заключения категорического силлогизма.
Круги Эйлера – изображение объемов понятий с помо щью кругов, предложенное математиком Л. Эйлером (1707-1783).
Логика высказываний – то же, что и пропозициональ ная логика.
Логические союзы – операции («и», «или», «если..., то...»ит. д. ), с помощью которых из нескольких простых обра зуются сложные суждения.
«Логический квадрат» – мнемоническая фигура, с по мощью которой изображаются отношения между простыми ка тегорическими суждениями.
Логическое следование – отношениемежду посылками и заключением а необходимых умозаключениях, дающее истин ное заключение при истинных посылках и соблюдении логиче ской правильности.
Логичность – соответствие логическим законам и прин ципам;последовательность, отсутствие логических ошибок.
Ложность – истинностная характеристика суждения, не соответствующего действительности.
Меньшая посылка – посылка силлогизма, содержащая меньший термин, субъект заключения.
Меньший термин – субъект заключения простого кате горического силлогизма.
Модальность суждении – заявленная в суждении пози ция по отношению к тому, что в нём высказано (некоторая мо дификация основного содержания суждения), осуществляемая с помощью модальных терминов «хорошо», «плохо», «вероятно», «действительно», «разрешено», «запрещено», «по всей видимо сти» и т.д.
Модальность аксиологическая – модальность сужде ния, подразумевающая оценку сказанною с точки зрения того, хорошо это или плохо, лучше это или хуже.
Модальность алетическая – заключенная в суждении информация об условиях его истинности (истинно в данный мо мент – ассерторическая разновидность; может быть истинным – проблематическая; истинно при любых условиях – необходимо истинная — аподиктическая).
Модальный оператор – слово, указывающее на ту или иную модальность, например: «необходимо», «доказано», «обяза тельно» и др.
Модус умозаключении – разновидность умозаключе ния.
Модус простого категорическою силлогизма – его разновидность, зависящая от видов простых суждений, фигури рующих в нём в качестве посылок и заключения.
Необходимое умозаключение – умозаключение, в кото ром из истинности посылок с необходимостью выводится ис тинность заключения.
Нераспределенный термин – субъект или предикат простого категорического суждения, если он выступает не в полном объеме.
Несовместимые понятия – понятия, у которых нет об щих элементов.
Несравнимые понятия – понятия, у которых нет ниод ного общегопризнака в содержании.
Нестрогая аналогия – частичная, неполная, основанная на отношениигомоморфизма.
Неявное определение – определение, основанное на произвольных признаках, существенность которых еще не уста новлена.
Обобщение понятия – переход к более широкому по объему понятию.
Обоснование – операция подтверждения суждения через приведение других, логически связанных с ним истинных суж дений.
Обращение – преобразование простого категорического суждения без изменения его качества путем подстановки на ме сто субъекта его старого предиката, а на место предиката – ею старого субъекта.
Общее понятие – понятие, объём которого составляет более чем один предмет.
Объем понятия – количество предметов, на которые указывает данное понятие.
Ограничение понятия – операция образования нового понятия с меньшимобъемом: переход от рода к виду.
Описание – перечисление всех признаков предмета, без учёта их существенности.
Определение пошипи – логическая операция, рас крывающая понятия.
Определение аксиоматическое определение, в котором понятие вводитсяпа основе некоторых исходных положений (аксиом).
Определение генетическое – оттределенис, указываю щее на происхождение, способа образования соответствующего предмета.
Определение через род и видовое отличие – определе ние через указание ближайшего родового понятия и видовые признаки, отличающие определяемые предметы от других пред метов в рамках данного рода.
Определение индуктивное – уточняющее определение.
Определение неявное – определение косвенного харак тера, не содержащее указаний на существенные признаки опре деляемых предметов.
Определение явное – определение, в котором содержит ся прямое указание на существенные признаки определяемых предметов.
Определение номинальное – определение понятие че резуказание содержание термина, обозначающего данное поня тие(через наименование).
Определение остенсивное – определение значения сло ва через непосредственное указание на сам предмет.
Определение реальное – определение понятия, через указания на признаки предмета, отображаемого данным поняти ем.
Опровержение — операция по обоснованию ложности некоторого положения.
Основание деления – признак, на основе которого про изводится деление объёма понятия.
Ответ — связанное с вопросом суждение, уменьшающееили снимающее неопределенность, заключенную в вопросе.
Отличительный признак – признак, присущий только данному предмету или классу предметов.
Отношение тождества (эквивалентность понятий) – от ношение между понятиями, объемы которых в точности совпа дают.
Отрицание – логический союз (функтор), озвученный как «неверно, что ...», с помощью которого образуется соответ-ствущий одноимённый вид сложного суждения.
Отрицательное суждение – суждение, указывающее на отсутствие признаков, заключенных в предикате, у предметов, мыслимых в субъекте.
Пересечение понятий – отношение, характеризующее понятия с частично совпадающимиобъемами.
Пересечение суждений – отношение между суждениями, которые могут быть при определенных условиях одновременно истинными, но могут иметь и взаимно противоположные значе ния.
Подкласс – часть класса.
Подчинение понятий – отношениемежду понятиями, когда объем одного полностью входит в объем другого в качест ве части.
Подчинение суждений отношение между суждениями, при котором, если одно (подчиняющее) истинно, то второе (под чиненное) обязательно истинно, но не наоборот.
Полисиллогизм – сложный силлогизм.
Полная индукция – индуктивное умозаключение, осно ванное на знании каждого элемента класса и формирующее этознание в виде общего суждения.
Понятие – логическая форма мышления, отображающее предметы, либо их множества в совокупности их существенных признаков.
Понятие абстрактное – понятие, которое указывает на свойства, отношения, состояния, не существующие отдельно от самих предметов их носителей.
Понятие единичное – понятие, объем которого состав ляет один предмет.
Понятие конкретное – понятие, указывающее на сам, а не на его свойства, состояния, отношения, мыслимые отдельно от него самого.
Понятие несобирательное – понятие, приложимое к от дельному предмету, вещи.
Понятия собирательные – понятия, в которых группа однородных предметов мыслится как единое целое и признаки принадлежащие целому нельзя непосредственно переносить на каждый из элементов этого целого.
Понятие несобирательное – понятие, приложимое к от дельному предмету, вещи.
Понятия совместимые – понятия, у которых есть общие элементы в объемах.
Понятие отрицательное – понятие, в содержании кото рого указывается на отсутствие у предмета некоторых свойств.
Понятие положительное – понятие, указывающее на имеющиеся у предмета свойства.
Понятия безотносительные – это такие понятия, в ко торых мыслятся как самостоятельные, вне зависимости от дру гих понятий.
Понятия соотносительные – понятия, которые сущест вуюттолько в связке друг с другом. Например, «правое – левое», «начальник – подчинённый», «учитель — ученик».
Понятия регистрирующие – общие понятия, предпола гающие закрытый (фиксируемый определённым числом) объём.
Понятия нерегистриругощие – понятия с открытым объёмом.
Понятия равнообъемные – то же, что и тождественные понятия.
Посылки умозаключения – суждения, из которых в умозаключении выводится новое суждение (заключение).
Правильный модус – разновидность необходимого умо заключения, которая гарантирует истинность заключения при истинности посылок.
Превращение – преобразование простого категориче ского суждения в новое суждение противоположного качества.
Предикат суждения – часть суждения, указывающая на признак, утверждаемый или отрицаемый относительно субъекта суждения.
Позитивная предпосылка вопроса – условие, заклю чающееся в том, что из всех вариантов ответов, которые можно соотнести с данным вопросом, существует, по меньшей мере, один, который является правильным.
Негативная предпосылка вопроса – условие подразу мевающее, что в числе возможных ответов имеется хотя бы один неправильный.
Признак – все то, на основе чего мы отличаем предметы друг от друга.
Признак существенный – признак, без которого данный предмет не мыслим.
Прогрессивный полисиллогизм – сложный силлогизм, в котором заключение предшествующего простого силлогизма становится большей посылкой следующего простого силлогиз ма.
Просиллогизм – простой силлогизм, предшествующий другому силлогизмув сложном силлогизме.
Простой категорический силлогизм – умозаключение, состоящее из трех категорических суждений, включающих толь ко три понятия.
Противоположные понятия – несовместимые понятия, которые могут оба быть неприменимыми к одному и тому же предмету.
Противоположные суждения – суждения, которые не могут быть одновременно истинными, но могут быть одновре менно ложными.
Противоречащие понятия – понятия, отрицающие друг друга, одно из которых обязательно применимо к любому объ екту.
Противоречивые суждения – суждение и его отрица ние, одно из них обязательно истинное, а другое ложно.
Прямое доказательство – доказательство, в котором ис тинность тезиса выводится из аргументов и их логических след ствий, без привлечения антитезисов.
Прямое опровержение – опровержение, в котором лож ность тезиса выводится из аргументов и следствий из них, без привлечения aнтитезисов.
Разделительное доказательство – вид косвенного дока зательства, в котором истинность тезиса выводится из ложности всех антитезисов.
Распределенность терминов категорического суждения – соотношение объёмов субъектов и предикатов суждения.
Распределенный термин – субъект или предикат, взя тый поотношению к другому термину в полном объеме.
Регрессивный полисиллогизм – сложный силлогизм, в котором заключение предшествующего простого силлогизма становится меньшей посылкой следующего простого силлогиз ма.
Рефлексивность – свойство двуместных отношений, при котором предмет находится в этом отношении к самому се бе (равенство).
Родовой признак – признак, присущий всем группам данного класса предметов.
Связка суждения – элемент простого суждения, соеди няющий субъект и предикат; может быть утвердительной и от рицательной.
Селективная индукция – тоже, что и индукция через отбор.
Симметричность – свойство двуместных отношений. при котором это отношение сохраняется,если предметы поме нять местами.
Сложный вопрос – вопрос, включающий в качестве со ставных частей другие вопросы, объединенные логическими связками.
Сложный силлогизм – умозаключение, состоящее изнескольких простых силлогизмов, когда посылка предшествую щегостановится заключением следующего простого силлогиз ма.
Силлогизм сложно-сокращенный – сложный силло гизм, в котором пропущена часть посылок.
Содержание понятия – отраженные в понятии признаки предметов.
Соподчиненные понятия – понятия, объемы которых составляют непересекающиеся части некоторого третьего поня тия.
Сорит – сложно-сокращенный силлогизм, с регулярно пропускаемой большей или меньшей посылкой.
Сравнимые понятия – понятия, у которых есть ближайшийобщий род. Например, «собака» и «кошка» – сравнимые понятия: ближайший общий род «животные». Ещё сравнимыми понятия ми называют такие понятия, в содержании которых присутству ет, по крайней мере, один общий признак.
Сравнимые суждения – суждения, состоящие из одних и тех же понятий, или из одних и тех же простых суждений (для сложных), отличающиеся друг от друга только формой.
Средний термин – термин категорического силлогизма, который встречается в обеих посылках и отсутствует в заключе нии; связывает крайние термины.
Cубъект суждения (логическое подлежащее) – понятие, обозначающее предмет,о котором нечто утверждается или от рицается в простом категорическом суждении.
Суждение – логическая форма мысли, в которой что-либо утверждается или отрицается относительно предмета.
Суждение выделяющее — суждение о принадлежности признака только определенным предметам и никаким другим,
Суждение единичное – суждение об одном предмете.
Суждение исключающее – суждение о принадлежности признака классу, кроме некоторых его представителей.
Суждение категорическое – суждение, взятое в про стейшей форме: субъект, предикат, связка и квантор. Противо полагается суждениям условным и разделительным.
Суждение общеотрицательное – суждение, вкотором отрицаетсяналичие признака у всех элементов некоторого клас са.
Суждение общеутвердительное – суждение, в котором утверждается наличие признака у каждого элемента некоторого класса.
Суждение простое – суждение, представляющее собой одно утверждение или отрицание; состоит из одного субъекта и одного предиката.
Суждение с отношением (реляционное) – суждение, в котором утверждается или отрицается наличие отношения меж ду какими-либо предметами.
Суждение сложное – суждение, в котором несколько субъектов и предикатов.
Суждения совместимые – суждения, которые могут быть одновременно истинными.
Суждение существования – то же, что и экзистенциаль ное суждение.
Суждение частноотрицательное – суждение, в котором что-либо отрицается относительно части, подмножестве некото рого класса.
Суждение частноутвердителыюе – суждение, в кото ром нечто утверждается относительно части, подмножестве не которого класса.
Суждение экзистенциальное – суждение, в котором ут верждается или отрицается существование чего-либо.
Таблица истинности – таблица, с помощью которой оп ределяются условия истинности сложного суждения на основе истинности простых.
Тезис – положение, которое обосновывается (как истин ное для доказательства, как ложное для опровержения).
Термин – слово, с однозначно закреплённым за ним со держанием.
Транзитивность – свойство двуместных отношений, при котором, если отношение имеет место между первым и вторым предметом, а также вторым и третьим, то оно имеет место меж ду первым и третьим.
Умозаключение – логическая форма мысли, в которой на основе одного или нескольких исходных суждений, именуе мых посылками, получают новое суждение, именуемое заклю чением.
Умозаключение непосредственное – умозаключение па основе одной посылки.
Умозаключение опосредованное – умозаключение на основе нескольких посылок.
Умозаключение правдоподобное – умозаключение, вкотором пет необходимой логической связи между посылками и заключением.
Фигура простого категорического силлогизма – виды силлогизма, различаемые согласно положению среднего терми на в посылках.
Форма мышления (логическая) – способ связи элемен тов содержания мысли.
Характеристика – прием описания предмета через ука зание признаков, отображающих какой-либо его конкретный аспект.
Эквивалентность суждений – отношение между сужде ниями, имеющими одинаковые значения истинности для всех условий.
Элемент класса – нечто, взятое в качестве исходной единицынекоторого множества (предмет для несобирательных, совокупностьдля собирательных понятий).
Энтимема – простой силлогизм, в котором пропущено одно из трех составляющих его суждений.
Энумеративная индукция – то же, что и индукция че рез простое перечисление.
Эписиллогизм – простой силлогизм, следующий за дру гим простым в составе сложного силлогизма.
Эпистемическая модальность – информация о характе ре обоснованности сужденияс точки зрения существующего знания (кажется, достоверно известно, предположительно и т.д).
Эпихейрема – особая разновидность сложносокращен ного силлогизма, в котором обе посылки – энтимемы, т. е, простые сокращенные силлогизмы.
Язык – система чувственно воспринимаемых знаков, ис пользуемая для фиксации, накопления и переработки информации.
Язык естественный – обычный звуковой язык, стихий но созданный тем или иным народом.
Языки логики – искусственные языки, используемые в современной логике (язык логики высказываний, например).
Календарно-тематическое планирование
Факультет Иностранных языков
Календарно-тематическое планирование по дисциплине«Логика»
Форма обучения __заочная__
Курс____6(11)__________
направление
|
Наименования разделов
|
Всего часов
|
лекции
|
практические
|
лабораторные
|
Самостоятельная работа
|
Календарные сроки выполнения
|
Иностранный язык
|
Предмет логики. Логическая форма. Логический закон.
|
6,5
|
0,5
|
|
|
6
|
сентябрь
|
Понятие. Логические операции с понятием
|
6,5
|
0,5
|
|
|
6
|
сентябрь
|
Суждение. Простые суждения, их классификация. Логический квадрат. Сложные суждения
|
7,5
|
0,5
|
1
|
|
6
|
октябрь
|
Умозаключение. Дедуктивные умозаключения с простыми и сложными суждениями
|
7,5
|
0,5
|
1
|
|
6
|
октябрь
|
Индуктивные умозаключения
|
7
|
1
|
|
|
6
|
ноябрь
|
Вопрос и гипотеза
|
10
|
1
|
|
|
9
|
ноябрь
|
|
Итого
|
56
|
4
|
2
|
|
50
|
11-й семестр
|
|
