Г) программное и коммуникационное обеспечение
WINDOWS XP
TOTAL COMMANDER
MICROSOFT OFFICE
ADOBE READER
INTERNET EXPLORER
PHOTO SHOP
Статистический пакет обработки данных STATISTICA 6.0
МАТЕРИАЛЬНО-ТЕХНИЧЕСКОЕ ОБЕСПЕЧЕНИЕ ДИСЦИПЛИНЫ
Поточные аудитории для лекций с мультимедийной и проекционной техникой (аудио- и видеотехника, компьютер, интерактивная доска, видеокамеры). Аудитории для практических занятий.
ТЕСТОВЫЕ ЗАДАНИЯ ПО КУРСУ
Вариант №1
1. Логика - это
· наука об умозаключениях и доказательствах
· наука о правилах мышления
· наука о формах и законах мышления
· наука о формах и законах познания
2.Традиционная логика является
· символической
· аристотелевской
· математической
· современной
3.Любое понятие имеет
· величину
· объем
· размер
· фигуру
3.«Глупость» - это понятие
· конкретное
· отвлеченное
· абстрактное
· отрицательное
4.Понятие, большее по объему называется
· видовым
· родовым
· нулевым
· общим
· широким
5.Отношения между понятиями изображаются
· круговыми схемами Эйлера
· круговыми схемами Бойлера
· круговыми схемами Пейджера
· круговыми схемами Аристотеля
6. Данной схеме соответствует следующая группа понятий
· известный футболист известный хоккеист молодой человек старый человек |
· известный футболист
футболист
негр
китаец
· известный спортсмен человек известный человек спортсмен |
· футболист баскетболист спортсмен человек |
7.Отношения между понятиями
А дочка
В внучка
С женщина (лицо женского пола)
изображаются следующей схемой:
1) 2) 3) 4)
8.Деление понятия раскрывает его
· содержание
· форму
· смысл
· значение
· объем
9.Возможным результатом обобщения для понятия «колесо автомобиля» будет понятие
· автомобиль
· средство передвижения
· огромное колесо
· изделие человека
10Суждение - это
· предложение
· незаконченная мысль
· обобщенное понятие
· форма мышления
· закон мышления
11.Истинным или ложным может быть
· понятие
· суждение
· термин
· квантор
12.Противопоставлением предикату для суждения «Все воробьи - птицы» будет суждение
· Некоторые птицы - воробьи.
· Все не птицы не являются воробьями.
· Все воробьи не являются не птицами.
· Некоторые птицы не являются воробьями.
14.Если суждение «Все люди изучали логику» является ложным, то суждение «Все люди не изучали логику» является
· истинным
· ложным
· неправильным
· правдивым
· неопределенным по истинности
15.Сложное суждение «Уж полночь близится, а Германа все нет» является
· дизъюнкцией
· эквиваленцией
· абстиненцией
· конъюнкцией
· импликацией
16.Суждение «Если Солнце является треугольником, то все крокодилы - это летающие существа» является
· истинным
· ложным
· бессмысленным
· неопределенным
17.Дедуктивные умозаключения называются
· алогизмами
· силлогизмами
· софизмами
· парадоксами
· логицизмами
18.Любой простой силлогизм имеет
· форму
· фигуру
· размер
· объем
19.В силлогизме
Законы - это вечные принципы природы.
Всеобщая воинская обязанность - это закон.
Всеобщая воинская обязанность - это вечный принцип природы.
допущена ошибка
· подмена основания
· учетверение терминов
· поспешное обобщение
· нестрогая дизъюнкция
· тавтология
20.В силлогизме
Древние римляне были политиками или ораторами, или писателями.
Цицерон был политиком.
Цицерон не был ни оратором, ни писателем.
допущена ошибка
· учетверение терминов
· подмена основания
· поспешное обобщение
· нестрогая дизъюнкция
· нарушение конъюнкции
21.Силлогизм
Если я пробездельничаю весь семестр, то мне придется напрягаться в сессию или же меня выгонят из института.
Я не хочу напрягаться в сессию или - чтобы меня выгнали.
Я не буду бездельничать во время семестра.
является
· простой конструктивной дилеммой
· сложной конструктивной дилеммой
· простой деструктивной дилеммой
· сложной деструктивной дилеммой
22.В умозаключении
Вася Сидоров - двоечник.
Петя Смирнов - двоечник.
Саша Иванов - двоечник.
Вася Сидоров, Петя Смирнов, Саша Иванов - ученики 6 «Б»
Все ученики 6 «Б» двоечники.
допущена ошибка
· популярная индукция
· неполная индукция
· нарушение индукции
· нестрогая индукция
· ни одна из вышеназванных
23.Аналогия - это
· правило индукции
· ошибка в силлогизме
· закон логики
· сложное суждение
· вид умозаключения
24.В анекдоте:
- У вас телевизоры цветные есть?
- Есть.
- Тогда дайте мне желтый.
нарушен
· закон противоречия
· закон двусмысленности
· закон анекдота
· закон тождества
· закон исключенного третьего
25.Демонстрация - это
· вид индукции
· операция с понятием
· правило силлогизма
· часть доказательства
· форма мышления
Вариант № 2.
1.Формальная логика появилась
· в Средние века
· в античности
· в Новое время
· в эпоху Возрождения
2.Понятие - это
· слово или словосочетание
· форма мышления
· истинный тезис
· некий предмет
3.«Солнце» - это понятие
· единичное
· физическое
· нулевое
· общее
4.«Неряха» - это понятие
· положительное
· отрицательное
· нейтральное
· пустое
5. Понятие, большее по объему называется
· видовым
· родовым
· нулевым
· общим
· широким
6.Понятия «звезда» и «созвездие» находятся в отношениях
· подчинения
· пересечения
· определения
· деления
· исключения
· соподчинения
7.Отношения между понятиями «точка», «прямая», «плоскость», «пространство» изображаются следующей схемой
1) 2) 3) 4)
5)
8.Определение «Философы - это люди, которые занимаются философией» является
· двусмысленным
· круговым
· узким
· широким
· философским
9.В делении «Люди бывают мужчинами, женщинами, спортсменами и танцорами» допущена ошибка
· скачок в делении
· учетверение терминов
· двусмысленность
· подмена основания
· поспешное обобщение
10.Возможным результатом ограничения для понятия «карандаш» будет понятие
· письменная принадлежность
· канцелярский товар
· деревянный предмет
· сломанный карандаш
· изделие человека
11.Суждение выражается в форме
· повествовательного предложения
· вопросительного предложения
· побудительного предложения
· словосочетания
12.Истинным или ложным может быть
· понятие
· суждение
· термин
· квантор
13.Предмет суждения называется
· сущностью
· смыслом
· субъектом
· силлогизмом
· связкой
· предикатом
14.Субъект и предикат в суждении «Все сосны - не березы» находятся в отношениях
· пересечения
· равнозначности
· совместимости
· несовместимости
· противоположности
· противоречия
15.Суждения «Все хищники - животные» и «Тигры - это животные» находятся в отношении
· частичного совпадения
· пересечения
· подчинения
· однозначности
· равносильности
16.Сложное суждение «Посеешь ветер - пожнешь бурю» является
· импликацией
· сублимацией
· конъюнкцией
· дизъюнкцией
· изостенцией
17.Умозаключение - это
· закон мышления
· сложное суждение
· форма мышления
· истинный вывод
· ложное понятие
18.Индукция - это
· сложное суждение
· логическая связка
· вид умозаключения
· вид дедукции
· закон логики
19.Связь между субъектом и предикатом вывода в простом силлогизме выполняет
· старший термин
· больший термин
· младший термин
· средний термин
· меньший термин
20.Эпихейрема - это
· вид сложного суждения
· разновидность умозаключения
· раздел индукции
· закон дедукции
· правило силлогизма
21.Силлогизм
Если каждый угол треугольника равен , треугольник - равносторонний.
В треугольнике АВС каждый угол равен .
Треугольник АВС является равносторонним.
является
· простым категорическим
· разделительно-категорическим
· условно-категорическим
· эквивалентно-категорическим
· условно-разделительным
22.При работе на металлорежущем станке обрабатываемая деталь и резец нагреваются от трения, причем, чем быстрее вращается патрон станка, тем сильнее их нагрев, следовательно, скорость вращения патрона есть причина степени нагрева детали и резца.
В данном рассуждении вывод получен
· методом единственного сходства
· методом единственного различия
· методом сопутствующих изменений
· методом проведенного наблюдения
· методом поставленного эксперимента
23.Софизм - это
· правило индукции
· сложное суждение
· вид дедукции
· закон мышления
· ничто из вышеперечисленного
24.Два противоречащих суждения о двух разных предметах не могут быть
· одновременно истинными
· одновременно ложными
· одно - истинным, другое - ложным
· ни истинным и ни ложным каждое
25.Символическая логика является
· разделом традиционной логики
· разделом философии
· разделом математики
· разделом грамматики
Глоссарий
АБСОЛЮТИЗАЦИЯ— мыслительный прием, суть которого заключается в том, что в качестве точного принимается такой предел приближения к действительности, который обусловлен потребностями практики. В процессе А. относительно точное в рамках решаемой задачи рассматривается как точное в некотором абсолютном смысле.
АБСТРАКЦИЯ (от лат. abstractio — отвлечение)— 1)процесс отвлечения от некоторых характеристик (свойств, отношений) изучаемых предметов и явлений, от реальных носителей интересующих нас характеристик; 2) результат этого отвлечения, представляющий собой некоторый абстрактный предмет.
АБСТРАКТНОЕ МЫШЛЕНИЕ - процесс рационального отражения объективного мира в понятиях, суждениях, умозаключениях, гипотезах, теориях, позволяющий проникать в сущность, в закономерные связи действительности, творчески преобразовывать ее сначала в теории, а затем и на практике.
АБСТРАКТНОЕ ПОНЯТИЕ - понятие, в котором мыслится не предмет, а какой-либо из признаков (свойство, отношение) предмета, взятый отдельно от самого предмета.
АБСУРД (от лат. absurdus — нелепый, глупый)— в логике под А. обычно понимается противоречивое выражение. В таком выражении что-то утверждается и отрицается одновременно.
АКСИОМА (от греч.axioma — значимое, принятое положение) - исходное, принимаемое без доказательства положение к.-л. теории, лежащее в основе доказательств других ее положении
АЛГОРИТМ (АЛГОРИФМ)(от Algorithmi -латинизированная форма имени выдающегося среднеазиатского ученого Аль-Хорезми) — конечный набор правил, позволяющих чисто механически решать любую конкретную задачу из некоторого класса однотипных задач.
АЛОГИЗМ (от греч.а — не,logos — разум)— ход мысли, нарушающий какие-то законы и правила логики и поэтому всегда содержащий в себе логическую ошибку.
АМФИБОЛИЯ (от греч.amphibolia — двусмысленность, двойственность) — логическая ошибка, в основе которой лежит двусмысленность языковых выражений
АНАЛИЗ И СИНТЕЗ. А. (от греч.analysis -разложение) - разделение объекта на составные части, стороны, свойства. С. (от греч. synthesis — соединение) — объединение полученных в результате А. частей объектов, их сторон или свойств в единое целое.
АНАЛИТИЧЕСКИЕ И СИНТЕТИЧЕСКИЕ СУЖДЕНИЯ (в логике).А. с. — суждения, истинность которых устанавливается без обращения к действительности посредством логико-семантического анализа их компонентов. С. с. — суждения, истинность которых устанавливается только в процессе их сопоставления с той реальностью, о которой они говорят.
АНАЛОГИЯ (от греч.analogia — соответствие) — сходство между предметами, явлениями и т. д.
АНАЛОГИЯ ОТНОШЕНИЙ - умозаключение, в котором объектом уподобления выступают отношения между двумя парами предметов, а переносимым признаком - свойства этих отношений.
АНАЛОГИЯ СВОЙСТВ - умозаключение, в котором объектом уподобления выступают два единичных предмета, а переносимым признаком - свойства этих предметов.
АНТЕЦЕДЕНТ И КОНСЕКВЕНТ (от лат.antecedent -предшествующий, предыдущий иconsequens — следствие) — два высказывания, из которых с помощью логической операции импликации («если..., то ...») образуется сложное импликативное высказывание. А. — высказывание, которому предпослано слово «если», К. — высказывание, идущее после слова «то». Два высказывания, составляющие условное высказывание,именуются также основанием и следствием.
АНТИНОМИЯ (от греч.antinomia - противоречие в законе) -рассуждение, доказывающее, что два высказывания, являющиеся отрицанием друг друга, вытекают одно из другого.
АНТИТЕЗИС (от греч.antithesis — противоположение) — суждение, противоречащее тезису некоторого построенного доказательства. А. используется в косвенном доказательстве тезиса: мы обосновываем ложность А. и, опираясь на закон исключенного третьего,гласящий, что из двух противоположных суждений одно обязательно истинно, тем самым доказываем истинность противоречащего ему суждения — тезиса.
АПОДИКТИЧЕСКИЙ (от греч.apodeiktikos — доказательный, убедительный)- безусловно достоверный, основанный на необходимости, неопровержимый.
АПОРИЯ (от греч.aporia — затруднение, недоумение)- трудноразрешимая проблема, связанная с противоречием между данными опыта и их мысленным анализом.
АРГУМЕНТ (лат.argumentum)
— суждение (или совокупность взаимосвязанных суждений), посредством которого обосновывается истинность к.-л. другого суждения (или теории).
АРГУМЕНТАЦИЯ (от лат.argumentatio -приведение аргументов) — приведение доводов, или аргументов, с намерением вызвать или усилить сочувствие другой стороны к выдвинутому положению; совокупность таких доводов.
АССЕРТОРИЧЕСКИЙ (от лат.asserto -утверждаю) - установленный, достоверный. А. суждение утверждает нечто действительно существующее, установленное, достоверное.
БЕЗОТНОСИТЕЛЬНОЕ ПОНЯТИЕ - понятие, в котором мыслится предмет, существующий самостоятельно, вне зависимости от другого предмета.
БЕССМЫСЛЕННОЕ— языковое выражение, не отвечающее требованиям синтаксиса или семантики языка. Б. представляет собой конфликт с правилами языка, выход за рамки установок, регламентирующих общение людей с помощью языка.
ВЕРА — в отличие от религиозной традиции, в науке В. понимается как позиция разума, принимающего некоторые положения, которые не могут быть доказаны. В этом смысле В. противоположна знанию.
ВЕРБАЛЬНОЕ ОПРЕДЕЛЕНИЕ— определение,сформулированное в языке с помощью слов или специальных знаков.
ВЕРИФИКАЦИЯ (от лат.verificatio — доказательство, подтверждение)- понятие, используемое в логике и методологии научного познания для обозначения процесса установления истинности научных утверждений посредством их эмпирической проверки.
ВЕРОЯТНОСТЬ— количественная мера возможности появления некоторого события при определенных условиях.
ВЕРСИЯ - одно из нескольких возможных, отличное от других объяснение или
толкование какого-либо факта, явления, события.
ВОЗРАЖЕНИЕ- обоснованное отрицание (отклонение) к.-л. мысли, к.-л. положения, утверждения, предложения; высказывание, в котором выражается несогласие с кем-либо или с чем-либо; опровержение чьего-либо мнения или суждения.
ВОПРОС— предложение, выражающее недостаток информации о к.-л. объекте, обладающее особой формой и требующее ответа, объяснения.
ВОСПРИЯТИЕ - целостный образ предмета, непосредственно воздействующего на органы чувств.
ВЫВОД ЛОГИЧЕСКИЙ— рассуждение, в ходе которого из к.-л. исходных суждений — посылок — с помощью логических правил получают заключение — новое суждение.
ВЫСКАЗЫВАНИЕ- грамматически правильное повествовательное предложение, взятое вместе с выражаемым им смыслом.
ВЫСКАЗЫВАНИЕ ДЕСКРИПТИВНОЕ (от англ.description -описание), или: Высказывание описательное, — высказывание, главной функцией которого является описание действительности
ВЫСКАЗЫВАНИЕ КАТЕГОРИЧЕСКОЕ-высказывание, в котором предикат утверждается или отрицается относительно субъекта без ограничения к.-л. условиями и вполне определенно.
ВЫСКАЗЫВАНИЕ (ПРЕДЛОЖЕНИЕ) КОНТРФАКТИЧЕСКОЕ (от лат.contra — против,factum — событие)— сложное высказывание, в котором с помощью союза «если бы..., то бы...» объединяются два высказывания A и В.
ГЕРМЕНЕВТИКА (от греч.hermeneuo -разъясняю, истолковываю) - искусство истолкования, перевода литературных текстов, основанное на грамматическом исследовании языка, изучении конкретных типов литературных произведений и связанных с ними исторических данных, помогающее раскрыть внутренний, глубинный смысл исторического текста.
ГИПОСТАЗИРОВАНИЕ (от греч.hypostasis -сущность, субстанция) - логическая (семантическая) ошибка,заключающаяся в опредмечивании абстрактных сущностей, в приписывании им реального, предметного существования.
ГИПОТЕЗА (от греч.hipothesis -основание, предположение) -положение, выдвигаемое в качестве предварительного, условного объяснения некоторого явления или группы явлений; предположение о существовании некоторого явления.
ГИПОТЕТИКО-ДЕДУКТИВНЫЙ МЕТОД -метод научного познания и рассуждения, основанный на выведении (дедукций)заключений из гипотез и других посылок, истинностное значение которых неизвестно.
ГИПОТЕТИЧЕСКОЕ УТВЕРЖДЕНИЕ-утверждение, которое высказывается не как установленная истина, а как некое предположение, способное оказаться как истинным, так и ложным.
ГОМОМОРФИЗМ, ИЗОМОРФИЗМ —логико-математические понятия, выражающие уподобление (гомоморфизм) либо одинаковость (изоморфизм) строения систем.
ДЕДУКЦИЯ (от лат.deductio — выведение) - переход от посылок к заключению, опирающийся на логический закон, в силу чего заключение с логической необходимостью следует из принятых посылок.
ДЕЛЕНИЕ ЛОГИЧЕСКОЕ- логическая операция, посредством которой объем делимого понятия распределяется на известные классы (множества) с точки зрения некоторого признака.
ДЕСКРИПЦИЯ ОПРЕДЕЛЕННАЯ (от лат.descriptio -описание)- языковое выражение, служащее для обозначения единичных объектов посредством описания их свойств или отношений к другим объектам.
ДИЗЪЮНКЦИЯ (от лат.disjunctio - разобщение, различение)- логическая операция - аналог употребления союза «или» в обычном языке, с помощью которой из двух или более исходных суждений строится новое суждение.
ДИЛЕММА (от греч.di(s)-дважды иlemma -предположение)- в традиционной логике условно-разделительное умозаключение, т. е. умозаключение, посылками которого являются условные и разделительные суждения.
ДИСКУРСИВНЫЙ (от лат.discursus — рассуждение, довод, аргумент)- рассудочный, логический, противоположный интуитивному, чувственному.
ДИСКУССИЯ (от лат.discussio — рассмотрение, исследование) - обсуждение к.-л. вопроса или группы связанных вопросов компетентными лицами с намерением достичь взаимоприемлемого решения.
ДИХОТОМИЯ (от греч,dicha иtome - рассечение на две части) - деление объема понятия на две взаимоисключающие части, полностью исчерпывающие объем делимого понятия.
ДОКАЗАТЕЛЬСТВО - рассуждение, устанавливающее истинность к.-л. утверждения путем приведения других утверждений, истинность которых уже доказана. В Д. различаются тезис - утверждение, которое нужно доказать, и основание, или аргументы, — те утверждения, с помощью которых доказывается тезис.
ДОСТАТОЧНОГО ОСНОВАНИЯ ПРИНЦИП -принцип, требующий, чтобы в случае каждого утверждения указывались основания, в силу которых оно принимается и считается истинным.
ДОСТОВЕРНОСТЬ- обоснованность, доказательность, бесспорность знания.
ЗАБЛУЖДЕНИЕ- гносеологическая оценка знания, выражающая его ограниченный характер.
ЗАКОН АССОЦИАТИВНОСТИ (от лат.associatio — соединение) - общее имя для ряда логических законов, позволяющих по-разному группировать высказывания, соединяемые с помощью конъюнкции («и»), дизъюнкции («или») и др.
ЗАКОН ГИПОТЕТИЧЕСКОГО СИЛЛОГИЗМА -закон логики, характеризующий импликацию («если, то»): если первое влечет второе, то если второе влечет третье, то первое влечет третье.
ЗАКОН ДВОЙНОГО ОТРИЦАНИЯ -закон логики, позволяющий отбрасывать двойное отрицание.Его можно сформулировать так: отрицание отрицания дает утверждение, или: повторенное дважды отрицание ведет к утверждению.
ЗАКОН ДЕ МОРГАНА- общее название логических законов, связывающих с помощью отрицания конъюнкцию («и») и дизъюнкцию («или»).
ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО -логический закон, согласно которому истинно или само высказывание, или его отрицание. Закон устанавливает связь между противоречащими друг другу высказываниями: одно из таких высказываний истинно.
ЗАКОН КОСВЕННОГО ДОКАЗАТЕЛЬСТВА -логический закон, позволяющий делать заключения об истинности какого-то высказывания на основании того, что отрицание этого высказывания влечет противоречие.
ЗНАК - материальный предмет, воспроизводящий свойства, отношения некоторого другого предмета. Различают языковыеи неязыковые З
ИДЕАЛИЗАЦИЯ- процесс мысленного конструирования представлений и понятий об объектах, не существующих и не могущих существовать в действительности, но сохраняющих некоторые черты реальных объектов
ИМПЛИКАЦИЯ (от лат.implicatio -сплетение, отimplico — тесно связываю)
- логическая связка, соответствующая грамматической конструкции «если ..., то ...», с помощью которой из двух простых высказываний образуется сложное высказывание.
ИНДУКТИВНАЯ ЛОГИКА- раздел логики, изучающий индуктивные умозаключения, которые отличаются от дедуктивных умозаключений тем, что вывод в них вытекает из посылок не с необходимостью, а лишь с некоторой вероятностью.
ИНДУКЦИЯ (от лат.inductio -наведение) - умозаключение, в котором связь посылок и заключения не опирается на логический закон, в силу чего заключение вытекает из принятых посылок не с логической необходимостью, а только с некоторой вероятностью.
ИНТЕРПРЕТАЦИЯ (от лат.interpretatio -разъяснение, истолкование) - в логике приписывание некоторого содержательного смысла, значения символам и формулам формальной системы; в результате формальная система превращается в язык,описывающий ту или иную предметную область.
ИНТУИЦИЯ (от лат.intuitio — пристальное, внимательное всматривание, созерцание) — способность к прямому усмотрению истины, постижению ее без всякого рассуждения и доказательства.
КАТЕГОРИЧЕСКОЕ СУЖДЕНИЕ(в традиционной логике) - суждение, в котором предикат утверждается или отрицается относительно субъекта без формулирования к.-л. условий и при этом исключаются к.-л. альтернативные предикаты.
КЛАССИФИКАЦИЯ- многоступенчатое, разветвленное деление логического объема понятия.
КОНВЕНЦИЯ (от лат.conventio -соглашение) - договор, соглашение, условие. Разнообразные К. играют значительную роль в науке и в повседневной жизни.
КОНТЕКСТ (от лат.contextus - сцепление, соединение, связь) - относительно законченный по смыслу отрывок текста или устной речи, в пределах которого наиболее точно и конкретно выявляется смысл и значение отдельного входящего в него слова, фразы, совокупности фраз.
КОНЦЕПТ (от лат.Conceptus - понятие) - содержание понятия, то же, что и смысл.
КОНЪЮНКЦИЯ (от лат.conjunctio -союз, связь) - логическая операция, с помощью которой два или более высказываний объединяются в новое сложное высказывание.
ЛОГИКА (от греч.logos - слово, понятие, рассуждение, разум), или:Формальная логика, — наука о законах и операциях правильного мышления.
ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ- отношение, существующее между посылками и обоснованно выводимыми из них заключениями.
МЕТОД (от греч. methodos - путь, способ исследования, обучения, изложения) - совокупность приемов и операций познания и практического преобразования действительности; способ достижения определенных результатов в познании и практике.
МЕТОДОЛОГИЧЕСКАЯ АРГУМЕНТАЦИЯ -обоснование отдельного утверждения или целостной концепции путем ссылки на тот несомненно надежный метод, с помощью которого получено обосновываемое утверждение или отстаиваемая концепция.
МЕТОДОЛОГИЯ НАУКИ- часть науковедения, исследующая структуру научного знания, средства и методы научного познания, способы обоснования и развития знания.
МНОГОЗНАЧНОСТЬ- характеристика выражения, имеющего в разных контекстах разное значение.
МОДАЛЬНАЯ ЛОГИКА- раздел неклассической логики, в котором исследуются логические связи модальных высказываний, т. е. высказываний, включающих модальности.
МОДАЛЬНОСТЬ (от лат., modus - мера, способ) - оценка высказывания, данная с той или иной точки зрения. Модальная оценка выражается с помощью понятий «необходимо», «возможно», «доказуемо», «опровержимо», «обязательно», «разрешимо» и т. п.
МОДЕЛЬ (от лат. modulus — мера, образец, норма)- а) в самом широком смысле — любой мысленный или знаковый образ моделируемого объекта (оригинала).
МЫШЛЕНИЕ-активный процесс отражения объективного мира в понятиях, суждениях, научных теориях, гипотезах и т. п., имеющий опосредованный, обобщенный характер, связанный с решением нетривиальных задач; высший продукт особым образом организованной материи — человеческого мозга.
НАУКА- одна из сфер человеческой деятельности, функцией которой является производство и систематизация знаний о природе, обществе и сознании.
«НЕ ВЫТЕКАЕТ», «НЕ СЛЕДУЕТ» (лат. поп sequitur) - логическая ошибка в доказательстве некоторого тезиса, заключающаяся в том, что между аргументами доказательства и его тезисом отсутствует логическая связь, вследствие чего аргументы не обосновывают истинности доказываемого тезиса.
«НЕДОКАЗАННОЕ ОСНОВАНИЕ» ДОКАЗАТЕЛЬСТВА -логическая ошибка, заключающаяся в том, что в число аргументов доказательства включается положение, которое само нуждается в доказательстве
НЕОБХОДИМОСТЬ (логическая)— одна из модальных характеристик высказывания (наряду с «возможностью», «случайностью» и «независимостью»); необходимым является высказывание, отрицание которого логически невозможно.
НЕПОСРЕДСТВЕННОЕ УМОЗАКЛЮЧЕНИЕ (в традиционной логике) -умозаключение из одной посылки.
НЕТОЧНОСТЬ— характеристика употребления термина (понятия), обозначающего недостаточно определенный или нечетко очерченный класс объектов.
НЕЯСНОСТЬ— характеристика употребления термина (понятия) с недостаточно определенным, расплывчатым смыслом.
НОМОЛОГИЧЕСКОЕ ВЫСКАЗЫВАНИЕ (от греч. nomos -закон, logos — учение, понятие)— высказывание, выражающее закон природы.
НОРМАТИВНОЕ ВЫСКАЗЫВАНИЕ, или: Деонтическое высказывание, — высказывание, устанавливающее какую-то норму поведения
ОБОБЩЕНИЕ (лат. generalisatio)— мыслительная операция, переход от мысли об индивидуальном, заключенной в понятии, суждении, норме, гипотезе, вопросе и т. п., к мысли об общем; от мысли об общем к мыслям о более общем; от ряда фактов, ситуаций, событий к их отождествлению в каких-то свойствах с последующим образованием множеств, соответствующих этим свойствам
ОБОСНОВАНИЕ— процедура проведения тех убедительных аргументов, или доводов, в силу которых следует принять к.-л. утверждение или концепцию.
ОБРАЩЕНИЕ (лат. conversio) — в традиционной логике вид непосредственного умозаключения, в котором вывод получается путем постановки предиката посылки на место субъекта, а субъекта посылки - на место предиката.
ОБЪЕКТИВНОСТЬ— независимость от человеческого сознания, от воли и желаний людей, от их субъективных вкусов и пристрастий.
ОБЪЯСНЕНИЕ- одна из важнейших функций научной теории и науки в целом. Понятие О. используется и в повседневном языке — объяснить к.-л. явление означает сделать его ясным, понятным для нас.
ОМОНИМИЯ (от греч. homos — одинаковый, опута — имя) — свойство языковых выражений иметь несколько значений или выражать несколько понятий, никак не связанных между собой; напр., слово «лук» может выражать как понятие о растении, так и понятие об оружии.
ОПРЕДЕЛЕНИЕ (лат. definitio) — логическая операция, раскрывающая содержание понятия.
ОСНОВАНИЕ И СЛЕДСТВИЕ- части условного высказывания,устанавливающего, что одно событие, состояние и т. п. является в том или ином смысле условием или основанием для другого.
ОТРИЦАНИЕ— логическая операция, с помощью которой из данного высказывания получается новое высказывание; при этом если исходное высказывание истинно, его О. не является истинным, а если оно ложно, его О. не является ложным.
ОШИБКА ЛОГИЧЕСКАЯ- нарушения к.-л. законов, правил и схем логики.
ПАРАДИГМА (от греч. paradeigma — пример, образец) — совокупность теоретических и методологических положений, принятых научным сообществом на известном этапе развития науки и используемых в качестве образца, модели, стандарта для научного исследования, интерпретации, оценки и систематизации научных данных, для осмысления гипотез и решения задач, возникающих в процессе научного познания.
ПАРАДОКС (греч. paradoxos) — в широком смысле: утверждение, резко расходящееся с общепринятыми, устоявшимися мнениями, отрицание того, что представляется «безусловно правильным»; в более узком смысле — два противоположных утверждения, для каждого из которых имеются убедительные аргументы.
ПАРАЛОГИЗМ (от греч. paralogismos — неправильное, ложное рассуждение) — непреднамеренная логическая ошибка,связанная с нарушением законов и правил логики.
ПОДМЕНА ТЕЗИСА (лат. ignoratio elenchi) — логическая ошибка в доказательстве, состоящая в том, что начав доказывать некоторый тезис, постепенно в ходе доказательства переходят к доказательству другого положения, сходного с тезисом.
ПОДТВЕРЖДЕНИЕ— соответствие теории, закона, гипотезы некоторому факту или экспериментальному результату. В методологии научного познания П. рассматривается как один из критериев истинности теории или закона.
ПОЗНАНИЕ— высшая форма отражения объективной действительности, процесс выработки истинных знаний.
ПОЛЕМИКА- разновидность спора,отличающаяся тем, что основные усилия спорящих сторон направлены на утверждение своей точки зрения по обсуждаемому вопросу.
ПОНИМАНИЕ— универсальная операция мышления, связанная с усвоением нового содержания, включением его в систему устоявшихся идей и представлений.
ПОНЯТИЕ- общее имя, имеющее относительно ясное и устойчивое содержание и сравнительно четко очерченный объем.
ПРЕДИКАТ (от лат. praedicatum -сказанное) - языковое выражение, обозначающее какое-то свойство или отношение. П., указывающий на свойство отдельного предмета (напр., «быть зеленым»), называется одноместным.
ПРЕДЛОЖЕНИЕ- соединение слов, имеющее самостоятельный смысл, т. е. выражающее законченную мысль.
ПРОБЛЕМА (от греч. problema — преграда, трудность, задача)— вопрос или целостный комплекс вопросов, возникший в ходе познания.
ПРОТИВОПОЛОЖНОСТЬ ЛОГИЧЕСКАЯ–вид отношения между противоположными понятиями или суждениями в традиционной логике.
ПРОТИВОРЕЧИЕ- два высказывания, из которых одно является отрицанием другого.
РАВЕНСТВО— отношение между знаковыми выражениями, обозначающими один и тот же объект, когда все, что можно высказать на языке соответствующей теории об одном из них, можно высказать и о другом, и наоборот, и при этом получать истинные высказывания.
РАЗДЕЛИТЕЛЬНОЕ СУЖДЕНИЕ -дизъюнктивное (от лат. disjunctio — разобщаю) сложное суждение, образованное из двух или большего числа суждений с помощью логической связки «или».
РАЗДЕЛИТЕЛЬНО-КАТЕГОРИЧЕСКОЕ УМОЗАКЛЮЧЕНИЕ-умозаключение, в котором одна из посылок — разделительное суждение,а другая — категорическое.
РАЦИОНАЛЬНОСТЬ (от лат. ratio - разум) - относящееся к разуму, обоснованность разумом, доступное разумному пониманию, в противоположность иррациональности как чему-то неразумному, недоступному разумному пониманию.
СВОЙСТВО— характеристика, присущая вещам и явлениям, позволяющая отличать или отождествлять их. Каждому предмету присуще бесчисленное количество свойств, которые делятся на существенные и несущественные, необходимые и случайные, общие и специфические и т. д.
СВЯЗКА- в традиционной логике элемент простого суждения, соединяющий субъект и предикат.
СЕМАНТИКА ЛОГИЧЕСКА— раздел логики (металогики),исследующий отношение языковых выражений к обозначаемым объектам и выражаемому содержанию.
СЕМИОТИКА- общая теория знаковых систем, к числу которых относятся как естественные языки, так и специальные языки конкретных наук, искусственные языки, сигнальные системы и т. п.
СИЛЛОГИЗМ (от греч. sillogismos) категорический-дедуктивное умозаключение, в котором из двух суждений, имеющих субъектно-предикатную форму («Все S суть Р»,«Ни одно S не есть Р»,«Некоторые 5 суть Р»,«Некоторые 5 не есть Р»), следует новое суждение (заключение), имеющее также субъектно-предикатную форму.
СИМВОЛ (от греч. symbolon — знак, опознавательная примета)- идея, образ или объект, имеющий собственное содержание и одновременно представляющий в обобщенной, неразвернутой форме некоторое иное содержание.
СИНОНИМИЯ— одно из важнейших понятий логической семантики, выражающее тождество значений языковых выражений.
СОФИЗМ— рассуждение, кажущееся правильным, но содержащее скрытую логическую ошибку и служащее для придания видимости истинности ложному утверждению.
СУЖДЕНИЕ— мысль, выражаемая повествовательным предложением и являющаяся истинной или ложной.
ТАВТОЛОГИЯ— в обычном языке: повторение того, что уже было сказано.
ТЕЗИС- один из элементов доказательства, положение, истинность которого обосновывается в доказательстве.
ТЕОРИЯ (от греч. theoria — наблюдение, рассмотрение, исследование) — наиболее развитая форма организации научного знания, дающая целостное представление о закономерностях и существенных связях определенной области действительности.
ТОЖДЕСТВА ЗАКОН— логический закон, согласно которому всякое высказывание влечет (имплицирует) само себя.
ТОЖДЕСТВО- отношение между предметами (реальными или абстрактными), которое позволяет говорить о них как о неотличимых друг от друга, в какой-то совокупности характеристик (напр., свойств).
ТРАНЗИТИВНОСТИ ЗАКОН— закон логики, согласно которому определенная логическая связь (импликация, эквивалентность и др.) представляет собой отношение транзитивности.
УМОЗАКЛЮЧЕНИЕ- мыслительный процесс, в ходе которого из одного или нескольких суждений, называемых посылками, выводится новое суждение, называемое заключением или следствием.
ФАЛЬСИФИКАЦИЯ (от лат. falsus — ложный, facio - делаю)
-процедура, устанавливающая ложность теории или гипотезы в результате эмпирической проверки.
ФОРМАЛИЗАЦИЯ (от лат. forma — вид, образ)— отображение результатов мышления в точных понятиях и утверждениях.
ЭВРИСТИКА (от греч.heurisko -отыскиваю, открываю) - совокупность приемов и методов, облегчающих и упрощающих решение познавательных, конструктивных, практических задач.
ЭКСПЛИКАЦИЯ (от лат. explicatio -разъяснение) - уточнение понятий и утверждений естественного и научного языка с помощью средств символической логики.
ЭНТИМЕМА (от греч. in thymos — в уме) — 1) рассуждение, доказательство,в котором некоторые посылки либо заключение не формулируются в явной форме, но подразумеваются; 2) силлогизм,в котором не выражена в явной форме к.-л. его часть: большая или меньшая посылка либо заключение.
ЭПИХЕЙРЕМА (от греч. epiheirema — умозаключение) — сокращенный силлогизм, в котором обе посылки представляют собой энтимемы.Примером Э. может быть следующее рассуждение.
ЭРИСТИКА (от греч. eristika — искусство спора) — искусство ведения спора.
ЯЗЫК— знаковая система, используемая для целей коммуникации и познания.
ЯЗЫК ЛОГИКИ— специально создаваемый современной логикой для своих целей язык, способный следовать за логической формой рассуждения и воспроизводить ее даже в ущерб краткости и легкости общения.
ЯЗЫК НАУКИ – система понятий, знаков, символов, создаваемая и используемая той или иной областью научного познания для получения, обработки, хранения и применения знаний.
Приложение 1
ФОРМА ТИТУЛЬНОГО ЛИСТА