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

А.И.Синюк, Е.В.Яковлева

КРАТКИЙ СЛОВАРЬ ОСНОВНЫХ ЛОГИЧЕСКИХ ПОНЯТИЙ

Нижнекамск 2008

УДК 16 ББК 87.4 С 38 Рекомендовано в печать Редакционно-издательским и Научно-методическим советами НМИ Рецензент: Доктор философских наук, профессор, академик, член Президиума Академии наук социальных технологий и местного самоуправления Мартынычев И.В.

С 38

Синюк А.И., Яковлева Е.В. Краткий словарь основных логических понятий : учебнометодическое пособие для преподавателей и студентов вузов / А.И.Синюк, Е.В.Яковлева. – Нижнекамск : Изд-во Нижнекамского муниципального института, 2008. – 39 с.

ISBN 978-5-89820-087-9

В издании в краткой форме излагаются основные логические понятия. Учебно-методическое пособие составлено с учётом требований действующего в российской высшей школе Государственного образовательного стандарта высшего профессионального образования и предназначено для оказания помощи студентам в изучении формальной логики, развития умений и навыков применения её основных положений на практике. Адресуется преподавателям и студентам всех специальностей вузов, изучающим логику, с целью использования в учебном процессе. ББК 87.4 УДК 16

ISBN 978-5-89820-087-9

2

© А.И.Синюк, Е.В.Яковлева, 2008 © Издательство НМИ, 2008

Содержание Краткий словарь ……………………………………………………………………… .. 4

Список использованной литературы ………………………………………………… 36

3

Абстрагирование – логический приём, в ходе которого происходит мысленное выделение одних признаков предмета и отвлечение от других, не существенных признаков [37, c. 70]. Абстрактное мышление – процесс рационального отражения объективного мира в понятиях, суждениях, умозаключениях, гипотезах, теориях, позволяющий проникать в сущность, в закономерные связи действительности, творчески преобразовывать её сначала в теории, а затем и на практике [37, c. 70]. Абстрактное понятие – понятие, в котором мыслится не предмет, а какой-либо из признаков (свойство, отношение) предмета, взятый отдельно от самого предмета [37, c. 70]. Абстрактные объекты – отношения, понятия, суждения и др. целостные образования, выступающие в качестве непосредственного содержания человеческого мышления [27, c. 4]. Абстракция [лат. abstractio – отвлечение, удаление] – отвлечение от некоторых характеристик исследуемого объекта [27, c. 5]. Абсурд [греч. absurdum – нелепый] - явная бессмыслица; логич. противоречивое выражение [27, c. 5]. Адвокат дьявола [лат. advocatus diaboli] – человек, умело использующий логику, формы и методы рационального мышления с целью обмана, введения кого-либо в заблуждение [27, c. 5]. Аксиологическая модальность - модальность суждения, в котором выражается отношение говорящего к объекту высказывания [10, с. 1]. Аксиома [греч. axioma – значимое, принятое положение] – исходное, принимаемое без доказательства положение какой-либо теории, лежащее в основе доказательств других её положений [11, c. 9]. Аксиоматическая теория – теория, построенная из конечного числа аксиом, из которых с помощью заданных правил вывода дедуктивно могут быть получены содержательно-истинные предложения (теоремы), сформулированные на языке данной теории [21, c. 17]. Аксиоматическое определение - определение, в котором понятие вводится на основе некоторых исходных положений (аксиом) [10, с. 1]. Алетическая модальность [греч. – истинный] – 1) выраженная в суждении в терминах необходимости-случайности либо возможности-невозможности информация о логической или фактической детерминированности суждения [20, c. 116]; 2) заключенная в суждении информация об условиях его истинности [10, c. 1]. Алогизм [греч. α – частица отрицания и logismos – разум, рассудок] – рассуждение, игнорирующее законы и правила логики [27, c. 15]. Анализ [греч. análysis – разложение] – логический приём, в ходе которого происходит мысленное расчленение предметов на их составные части и выделение в них признаков [37, c. 70].

4

Аналогия [греч. analogía – соответствие, сходство] – умозаключение, в котором мысль развивается от частного знания к частному, а заключение, вытекающее из посылок, носит вероятностный характер [37, c. 70]. Аналогия отношений – умозаключение, в котором объектом уподобления выступают сходные отношения между двумя парами предметов, а переносимым признаком – свойства этих отношений [20, c. 189]. Аналогия предметов – умозаключение, в котором объектом уподобления выступают два сходных единичных предмета, а переносимым признаком – качества или свойства этих предметов [20, c. 188]. Аналогия свойств - умозаключение по аналогии, в котором роль переносимого признака играет признак-свойство [6, c. 284]. Антецедент [лат. antecedens – предшествующий, предыдущий] – первый член импликации, которому предпослано слово «если» [21, c. 34]. Антитезис [греч. antithesis - противоположение] – суждение, противопоставляемое тезису [21, c. 38]. Апагогическое доказательство (доказательство от противного) [греч. apagōgē – отводящий, уводящий] – доказательство, при котором устанавливается ложность антитезиса, т.е. высказывания, противоречащего тезису [2, c. 229]. Апория [греч. aporía – букв. безысходность] – логическое затруднение, непреодолимое противоречие при разрешении проблемы [34, c. 60]; трудная или неразрешимая проблема, связанная с возникновением парадокса, с наличием аргумента против очевидного [18, c. 41]. Аргумент [лат. argumentum – логический довод, основание доказательства] – суждение (или совокупность взаимосвязанных суждений), посредством которого обосновывается истинность какого-либо другого суждения (или теории) [11, c. 17]. Аргументация [лат . argumentatio – приведение аргументов] – 1) приведение доводов, или аргументов, в обоснование какого-либо положения; совокупность таких доводов [11, c. 19]; 2) операция обоснования каких-либо суждений, практических решений или оценок, в которой наряду с логическими применяются также речевые, эмоционально-психологические и другие внелогические методы и приёмы убеждающего воздействия [20, c. 199]. Атрибутивное суждение [лат. attributio - свойство, признак] – суждение о признаке предмета. В нём отражается связь между предметом и его признаком, эта связь утверждается или отрицается [20, c. 67]. Аудитория – коллективный субъект дискуссии [20, c. 204].

Безотносительное понятие – понятие, в котором мыслится предмет, существующий самостоятельно, вне зависимости от другого предмета [37, c. 70].

5

Бессмысленное – языковое выражение, не отвечающее требованиям синтаксиса или семантики языка [11, c. 19]. Блеф – передача ложной информации с целью убедить кого-либо в том, что желаемое имеет место в действительности [27, c. 24]. Бóльшая посылка – суждение, в которое входит бóльший термин силлогизма [21, c. 60]. Бóльший термин – термин, который обозначает сказуемое (предикат) бóльшей посылки и сказуемое заключения силлогизма [21, c. 60]. Вероятностные умозаключения - то же самое, что и правдоподобные умозаключения [10, с. 1]. Версия [ср.-век. лат. versio – видоизменение, поворот] – одно из нескольких возможных, отличное от других, объяснение или толкование какого-либо факта, явления, события [37, c. 70]. Вид (в логике) – каждый класс предметов, который входит в объём более широкого класса предметов, называющегося родом [21, c. 75]. Видовой признак - признак, отличающий подкласс внутри класса [10, с. 1]. Вопрос – 1) логическая форма, включающая исходную информацию с одновременным указанием на её недостаточность с целью получения новой информации в виде ответа [37, c. 70]; 2) выраженная в вопросительном предложении мысль, направленная на уточнение или дополнений знаний [20, c. 95]. Вопрос не по существу темы – вопрос, базис которого не имеет ни прямого, ни косвенного отношения к обсуждаемой теме [20, c. 101]. Вопрос по существу темы – вопрос, базис которого прямо или косвенно связан с обсуждаемой темой и ответ на который уточняет либо дополняет исходящую информацию [20, c. 100]. Восполняющий вопрос – вопрос, направленный на выяснение новых свойств у исследуемых явлений [20, c. 98]. Восприятие – целостный образ предмета, возникающий в результате его непосредственного воздействия на органы чувств [20, c. 4]. Вывод логический – рассуждение, в ходе которого из каких-либо исходных суждений – посылок с помощью логических правил получают заключение – новое суждение [11, c. 26]. Выделяющее суждение – суждение, которое отображает тот факт, что признак присущ только данному предмету и не принадлежит всем прочим предметам [21, c. 8]. Высказывание – 1) грамматически правильное повествовательное предложение, взятое вместе с выражаемым им смыслом [11, c. 27]; 2) в математической логике термин, принятый для обозначения какого-либо предложения, выраженного в естественном или искусственном языке [30, c. 18].

6

Генеральная совокупность - то же, что и популяция [10, с. 1]. Генетическое определение понятия [греч. genesis – происхождение, источник] – определение, в котором указывается на происхождение предмета, понятие которого определяется, на тот способ, которым данный предмет создаётся [21, c. 101]. Гипотеза [греч. hypóthesis – основание, предположение] – 1) форма развития знаний, представляющая собою обоснованное предположение, выдвигаемое с целью выяснения свойств и причин исследуемых явлений [20, c. 238]; 2) вероятностное предположение о причине какихлибо явлений, достоверность которого при современном состоянии производства и науки не может быть проверена и доказана, но которое объясняет данные явления, без него необъяснимые; приём познавательной деятельности [37, c. 70]. Гомоморфизм [греч. homos – равный, одинаковый; morphē – вид, форма] – отношение между S2, при котором всем объектам, свойствам и отношениям системы S1 системами S1 и однозначно соответствуют некоторые объекты, свойства и отношения системы S2, но не наоборот [27, c. 51].

Двусторонняя дискуссия – обсуждение спорных вопросов с одним пропонентом, который ставит и обосновывает свой тезис [20, c. 205]. Дедуктивное умозаключение [лат. deductio – выведение] – форма абстрактного мышления, в которой мысль развивается от знания большей степени общности к знанию меньшей степени общности, а заключение, вытекающее из посылок, с логической необходимостью носит достоверный характер [37, c. 70 - 71]. Дезинформация – передача ложной информации, в процессе которой делается попытка на основе обмана убедить кого-либо в том, что нечто желаемое, но реально не существующее действительно существует [27, c. 24 – 25, 38]. Деление по видоизменению признака - деление, как правило, более чем на две части, каждой из которых присущ признак, взятый за основание, но в особом его проявлении [10, с. 2]. Деление понятия – логическая операция, раскрывающая объём понятия [20, c. 55]. Делимое понятие - понятие, объём которого подвергается делению [21, c. 119], Демонстративное умозаключение – то же, что и необходимое умозаключение [10, с. 2]. Демонстрация [лат. demonstration – показывание] – логическое рассуждение, в процессе которого из аргументов (доводов) выводится истинность или ложность тезиса [21, c. 120]. Денотат [лат. denoto – обозначаю] – 1) непосредственное обозначение имени предмета [30, c. 18], 2) объект обозначения; то, на что указывает термин (имя, обозначающее выражение) [27, c. 40].

7

Деонтическая модальность [греч. deon – долг, обязанность, правильность] – 1) выраженное в суждении предписание в форме совета, пожелания, правила поведения или приказа, побуждающее человека к конкретным действиям [20, c. 112]; 2) характеристика высказываний, включающая такие модальные операторы, как «обязательно», «разрешено», «безразлично», «запрещено» [21, c. 120]. Деструктивная критика [лат. destructio – разрушение] – критика, направленная на разрушение аргументативного процесса путём критики: тезиса, аргументов или демонстрации [20, c. 215]. Дефиниендум [лат.] – определяемая часть понятия; то, что определяется [30, c. 18]. Дефиниенс [лат.] – определяющая часть понятия; то, с помощью чего непосредственно что-либо определяется [30, c. 18]. Дефиниция [лат. definitio – определение] – предложение, описывающее существенные и отличительные признаки предметов или раскрывающее значение соответствующего термина [21, c. 122]. Диалектическая логика – учение о формировании и развитии знаний, о применении их на практике, опирающееся на общие и специфические законы, а также принципы материалистической диалектики [11, c. 43]; 2) теория движения человеческой мысли от явления к сущности, от истины относительной к истине абсолютной, от знания абстрактного к знанию конкретному [2, c. 380]. Дизъюнкция [лат. disjunctio – разобщение, разделение, различие] – логическая операция образования сложных высказываний из простых путем соединения последних с помощью союза “или”; логическое сложение [30, c. 18]; даёт истинное сложное суждение, если истинно хотя бы одно из входящих в него суждений [10, c. 2]. Дилемма [греч. di – дважды, lēmma – предположение – двойное предположение] – суждение, в котором предмету приписываются два противоречащих признака, исключающих возможность третьего. Дилеммой называется также особый случай условно-разделительного силлогизма, в число посылок которого входят два условных суждения и разделительное и при этом в разделительном суждении в форме альтернативы объединяются основания или следствия условных суждений [21, c. 134]. Дискурсивный [лат. discursus– беседа, разговор] – обоснованный предшествующим знанием; полученный в результате рассуждения или доказательства. Термин «дискурсивный» обычно противопоставляется термину «интуитивный» [27, c. 44]. Дискуссия – цивилизованная форма выявления мнений, их сопоставления и поисков истины и приемлемых решений в социальной среде [20, c. 203]. Дихотомия [греч. dichа и tomе – рассечение на две части] - деление объёма понятия на две взаимоисключающие части, полностью исчерпывающие объём делимого понятия [11, c. 47].

8

Довод – составная часть всякого доказательства, под которой понимается мысль, истинность которой проверена и доказана и которая поэтому может быть приведена в обоснование истинности или ложности высказанного положения [21, c. 138]. Догма [греч. dogma – мнение, учение] – утверждение, принимаемое в качестве истинного на веру, без обоснования или сопоставления с фактами; основание учения, сформулированного как систематизированная вера [27, c. 44]. Доказательство - логическое рассуждение, в процессе которого обосновывается истинность или ложность какой-либо мысли с помощью других положений, проверенных наукой и конкретной практикой [37, c. 71]. Доказательство по случаям (доказательство разбором случаев) - логически правильное рассуждение, когда от нескольких условных высказываний (посылок), имеющих одинаковое следствие, осуществляется переход к утверждению этого следствия путём установления того, что по меньшей мере одно из оснований условных высказываний истинно [11, c. 49]. Дополнение класса (отрицание) - операция образования нового множества из элементов предметной области, из которой исключены элементы дополняемого класса; аналог операции отрицания в логике [10, c. 2]. Единичное понятие – понятие, в котором мыслится один предмет [37, c.71]. Единичное суждение – суждение, включающее утверждение или отрицание об одном предмете [37, c. 71]. Естественная классификация – классификация на основе существенных признаков самих классифицируемых предметов [10, c. 2]. Естественные языки – исторически сложившиеся в обществе звуковые (речь) … и графические (письмо) информационные знаковые системы… Возникли для закрепления и передачи … информации в процессе общения между людьми … Выступают носителями многовековой культуры народов… Отличаются богатыми выразительными возможностями и универсальным охватом самых различных областей жизни [20, c. 11]. Заблуждение – несоответствие субъективных представлений (мнений, верований и т.п.) человека объективному положению вещей [27, c. 46]. Зависимые суждения – суждения, которые имеют одинаковые составляющие и могут различаться логическими связками, включая отрицание [20, c. 91]. Заключение (вывод) умозаключения – суждение, логически выведенное из предшествующих посылок и содержащее новое знание [21, c. 156]. Закон мышления - внутренняя, существенная, устойчивая, необходимая, повторяющаяся связь между элементами мысли и самими мыслями [37, c. 71]. Закон достаточного основания – всякая истинная мысль должна быть обоснована другими мыслями, истинность которых доказана [21, c. 143].

9

Закон исключённого третьего - из двух противоречащих высказываний в одно и то же время и в одном и том же отношении одно непременно истинно [21, c. 183]. Закон косвенного доказательства – логический закон, позволяющий делать заключения об истинности какого-то высказывания на основании того, что отрицание этого высказывания влечёт противоречие [11, c. 56]. Закон обратного отношения между объёмом и содержанием понятия – логический закон, устанавливающий, что увеличение содержания понятия ведёт к образованию понятия с меньшим объёмом, и наоборот [20, c. 36]. Закон противоречия - не могут быть одновременно истинными две противоположные мысли об одном и том же предмете, взятом в одно и то же время и в одном и том же отношении [21, c. 425]. Закон тождества - каждая мысль, которая приводится в данном умозаключении, при повторении должна иметь одно и то же определённое, устойчивое содержание [21, c. 520 - 521]. Закрытый вопрос - вопрос, требующий уточнения, выбора содержащейся в нем альтернативы; вопрос, на который имеется конечное, чаще всего достаточно ограниченное количество ответов [10, c. 2]. Знак – 1) любой чувственно воспринимаемый (зрительно, на слух или иным способом) предмет, выступающий представителем другого предмета и носителем информации о последнем [20, c. 10]; 2) символ, который применяется для обозначения какого-либо предмета, процесса, явления, события, действия [30, c. 18].

Изоморфизм [греч. isos – равный, одинаковый, подобный; morphē – вид, форма] – эквивалентность строения систем объектов; отношение, при котором каждому объекту, свойству и отношению между объектами одной системы взаимно однозначно соответствует некоторый объект, свойство и отношение между объектами другой системы [27, c. 51]. Импликация [лат. implicito – тесно связываю] – логическая операция, связывающая два высказывания в сложное высказывание с помощью логической связки, которой в обычном языке в значительной мере соответствует союз «если…, то…» [21, c. 168]. Имя – 1) выражение естественного или искусственного, формализованного языка, обозначающее отдельный предмет, совокупность сходных предметов, свойства, отношения и т.п. [11, c. 61]; 2) слово или словосочетание, обозначающее предмет мысли [30, c. 19]. Индуктивное определение [лат. inductio – наведение] – определение, позволяющее из некоторых исходных объектов теории с помощью некоторых операций строить новые объекты теории [11, с. 64].

10

Индуктивное умозаключение (индукция) [лат. inductio – наведение] – 1) умозаключение, в котором на основании принадлежности признака отдельным предметам или частям некоторого класса делают вывод о его принадлежности классу в целом [20, c. 164]; 2) форма абстрактного мышления, в которой мысль развивается от знания меньшей степени общности к знанию большей степени общности, а заключение, вытекающее из посылок, носит преимущественно вероятностный характер [37, c. 71]. Индукция методом отбора (селективная индукция) [лат. inductio – наведение] – умозаключение, в котором вывод о принадлежности признака классу (множеству) основывается на знании об образце (подмножестве), полученном методичным отбором явлений из различных частей этого класса [20, c. 171]. Индукция методом исключения (элиминативная индукция) [лат. inductio – наведение] – система умозаключений, в которой выводы о причинах исследуемых явлений строятся путём обнаружения подтверждающих обстоятельств и исключения обстоятельств, не удовлетворяющих свойствам причинной связи [20, c. 172]. Индукция через простое перечисление [лат. inductio – наведение] индукция [10, с. 3].

- то же, что и популярная

Интерпретация [лат. interpretatio – значения символов [27, c. 58].

- установление смысла и

разъяснение, истолкование]

Интуиция [ср.-век. лат. intuition, от intueor – пристально смотрю] – постижение истины путём непосредственного её усмотрения без обоснования с помощью доказательства; сформировавшаяся на основе предшествующего опыта субъективная способность выходить за его пределы путём мысленного схватывания («озарения») или обобщения в образной форме непознанных связей, закономерностей [18, c. 273]. Информация [лат. informatio – ознакомление, разъяснение, изложение] – представленное в форме объективного сообщения; формализованное знание [27, c. 60].

знание,

Исключающее (изъемлющее) суждение – 1) суждение, в котором сказуемое утверждает обо всём подлежащем за исключением известных определённых случаев, в которых, как предполагается, сказуемое неприменимо [21, c. 183]; 2) суждение о принадлежности признака классу, кроме некоторых его представителей [10, c. 3]. Искусственная классификация - классификация, в основе которой лежит произвольно выбранный признак предметов [10, c. 3]. Искусственные языки - вспомогательные знаковые системы, создаваемые на базе естественных языков для точной и экономной передачи научной и другой информации… Конструируются с помощью естественного языка или ранее построенного искусственного языка. Язык, выступающий средством построения или изучения другого языка, называют метаязыком, основной – языком-объектом. Метаязык, как правило обладает более богатыми по сравнению с языком-объектом выразительными возможностями [20, c. 11].

11

Истина – знание, которое адекватно отражает в сознании человека явления и процессы объективного мира [37, c. 71]. Истинность мышления – свойство мышления, проявляющееся в способности воспроизводить действительность такой, какова она есть, соответствовать ей по своему содержанию [37, c. 71]. Категорическое суждение – 1) суждение, в котором выражается знание о принадлежности или непринадлежности признака предмету независимо от каких-либо условий [21, c. 210]; 2) суждение, в котором предикат утверждается или отрицается относительно субъекта без формулирования каких-либо условий и при этом исключаются какие-либо альтернативные предикаты [11, c. 76]. Качество [лат. qualitas] - совокупность свойств, указывающих на то, что собой представляет предмет; объективная определённость предмета, в силу которой предмет является данным, а не иным предметом, отграничивающая данный предмет от всех других предметов и с исчезновением которой предмет перестаёт существовать как данный предмет [21, c. 211]. Квантификация [лат. quantum – сколько, facio - делаю] – в широком смысле слова – сведéние качественных характеристик к количественным; в узком смысле слова – точное выявление, определение объёмов суждения и предиката суждения, что достигается введением в суждение терминов «все», «всякий», «каждый», «любой» и т.п., а также «некоторые» [21, c. 211]. Квантор – слово или группа слов, которые иногда ставятся перед субъектом и обозначают, мыслится предмет в полном объеме или только в части его; логический оператор в математической логике [30, c. 19]. Квантор общности – логический оператор, применяемый для выражения общих (универсальных) утверждений. В естественном языке обозначается словами “все”, “ни один” [30, c. 19]. Квантор существования – логический оператор, применяемый для выражения частных утверждений. В естественном языке обозначается словами “существуют”; “некоторые” [30, c. 19]. Класс [лат. classis – группа] - совокупность объектов, имеющих один или несколько общих характеристических признаков [21, c. 214]. Классификация – 1) разновидность логической операции деления понятий; последовательное распределение объема родового понятия на объемы видовых понятий, которое осуществляется рядами, ветвями, уступом или смешанным путем [30, c. 19]; 2) многоступенчатое, разветвлённое деление логического объёма понятия. Результатом классификации является система соподчинённых понятий: делимое понятие является родом, новые понятия – видами, видами видов (подвидами) и т.д. [11, c. 77]; 3) формализованная система понятий, полученная путём деления объёма некоторого исходного (родового) понятия [27, c. 78]; 4) распределение предметов по группам (классам), при котором каждый класс имеет своё постоянное, определённое место [20, c. 59].

12

Клевета – передача ложной информации с целью отрицательной оценки кого-либо [27, c. 78]. Коммуникация [лат. communico – связываю, общаюсь] – обмен информацией между объектами – носителями естественного или искусственного интеллекта [27, c. 79]. Конкретное понятие – понятие, в котором мыслится предмет или совокупность предметов как нечто самостоятельно существующее [37, c. 71]. Конструктивная критика – обоснование оппонентом собственного тезиса с целью опровержения альтернативного утверждения пропонента [20, c. 218]. Контрпример – умозаключение, тождественное с данным по форме (т.е. имеющее ту же фигуру и тот же модус), но абсурдное по смыслу [6, c. 240]. Консеквент [лат. consequens – следствие, последующий вывод] – один из главных импликации, вводимый в сложное высказывание при помощи слова «то» [21, c. 224].

членов

Контекст [лат. contextus – тесная связь, соединение] – законченный в смысловом отношении отрывок из письменной или устной речи, в котором точно установлены значения каждого слова или предложения. Когда говорят, что данное слово или данная мысль «вырваны из контекста», то это значит, что они истолковываются вне связи с остальным текстом и поэтому могут приобретать совершенно иное смысловое значение [21, c. 226]. Контекстуальное определение – определение, которое строится на основе знания связи определяемого с контекстом, в котором оно употребляется [21, c. 226]. Контрадикторность - то же, что и противоречивость [10, c. 3]. Контрарность - то же, что и противоположность [10, c. 3]. Концепт [лат. conceptus – понятие] – целостная совокупность свойств объекта [27, c.91]. ъ Концепция [лат. conceptio – понимание, система] - целостная система абстрактных объектов, отражающая наиболее существенные закономерности исследуемого предмета. В логике и других науках различные концепции служат основой для построения теорий [27, c.92]. Конъюнкция или Логическое умножение [лат. conjunctio – союз, связь] – логическая операция, соединяющая два или более высказываний при помощи союза «и» в новое, сложное высказывание, которое истинно тогда и только тогда, когда каждое из исходных высказываний истинно, и ложно, когда по крайней мере одно из исходных высказываний ложно [21, c. 229]. Косвенное доказательство – доказательство, в котором тезис обосновывается при помощи введения дополнительных суждений, несовместимых с тезисом [6, c. 294].

13

Косвенный метод опровержения суждений – метод, который состоит в противопоставлении следствию, выведенному из опровергаемого суждения, такого суждения, которое было бы истинным и вместе с тем противоположно этому следствию [21, c. 232]. Косвенный ответ – ответ, который получают из более широкой области, нежели область поиска ответа, и из которого лишь выводным путём можно получить нужную информацию [20, c. 102]. Крайние термины – бóльший и меньший термины категорического силлогизма, которые связываются с помощью среднего термина и которые выходят в заключение силлогизма [21, c. 233]. Краткие ответы – односложные утвердительные или отрицательные ответы: «да» или «нет» [20, c. 102]. Критика - операция разрушения имеющегося процесса аргументации [10, c. 3]. Круги Эйлера – принятый в логике способ ,,, наглядного изображения отношений между объёмами понятий с помощью кругов, предложенный знаменитым математиком Л.Эйлером (1707 – 1783) [21, c. 597]. Лемма [греч. lemma – польза; предположение] – каждое следствие условно-разделительного силлогизма; вспомогательная теорема, применяемая в ходе логических умозаключений в целях обоснования истинности другой теоремы [21, c. 242]. Логика [греч. logos – слово, понятие, рассуждение, разум] правильного мышления [11, c. 83; 13, с. 6].

- наука о законах и операциях

Логика высказываний – логическая система, которая анализирует процессы рассуждения, основанные на характере связей между простыми суждениями, но без учёта их внутренней структуры [20, c. 158 - 159]. Логика предикатов – центральный раздел логики, в котором изучаются субъектно-предикатная структура высказываний и функционально-истинные взаимосвязи между высказываниями [27, c. 116]. Логическая операция – действие, направленное на решение какой-либо логической задачи: определения, деления, обобщения, ограничения, сложения, умножения, вычитания понятий, превращения, обращения суждений и т.д. [30, c. 19]. Логическая культура - элемент общей культуры личности, который проявляется в знании законов, методов и форм формальной и диалектической логики, в умении человека логически правильно, опираясь на эти законы, формы и методы, рассуждать, давать определения понятиям, оперировать понятиями, делать умозаключения, доказательные выводы, оперировать гипотезами, раскрывать противоречия, а также систематизировать и классифицировать в определённую систему имеющиеся знания [37, c. 10]. Логическая форма (или форма абстрактного мышления) – способ связи элементов мысли, её строение, благодаря которому содержание существует и отражает действительность [37, c. 71].

14

Логические константы (логические постоянные) – 1) термины, относящиеся к логической форме рассуждения (доказательства, вывода) и являющиеся средством передачи человеческих мыслей и выводов, заключений в любой области. К логическим константам относятся такие слова, как «не», «и», «или», «есть», «каждый», «некоторый» и т.п. Логические константы не имеют самостоятельного содержания. Сами по себе они ничего не описывают и ничего не объясняют. Вместе с тем они позволяют из одних содержательных выражений получать другие [11, c. 97]; 2) выражения, которые остаются неизменными в любых рассуждениях, независимо от их содержания [30, c. 19]. "Логический квадрат" – 1) наглядная схема, облегчающая запоминание характера отношений между некоторыми видами суждений [21, c. 274]; 2) графическое изображение отношений по истинности между основными видами простых атрибутивных суждений: общеутвердительных, частноутвердительных, общеотрицательных и частноотрицательных [30, c. 19]. Логический принцип – правило рассудочной деятельности, которое сформулировано на основе логических законов и практического опыта [30, c. 19]. Логические операции - операции, посредством которых из простых высказываний образуются сложные, из простых терминов – сложные, из высказываний – термины, из терминов – высказывания и т.д. [11, c. 97]. Логические ошибки – ошибки в умозаключениях, рассуждениях, определениях понятий, доказательствах и опровержениях, вызванные нарушением законов и искажением форм мышления [21, c. 272]. Логические переменные – знаки, которые могут принимать различные значения из соответствующей области. Логические переменные можно заменять конкретными по содержанию мыслями [21, c. 273 - 274]. Логические союзы - операции ("и", "или", "если…, то…" и т. д. ), с помощью которых из нескольких простых образуются сложные суждения [10, с. 4]. Логический приём – способ мыслительной деятельности, дающий возможность приходить к новому, более глубокому и всестороннему знанию на основании соответствующей обработки (сопоставление, расчленение, соединение, выведение) уже имеющихся суждений и понятий. Логическими приёмами являются прежде всего такие приёмы, как сравнение, анализ, синтез, абстрагирование, обобщение. В более широком смысле логическим приёмом называются также определение понятия, деление объёма понятия, указание, объяснение, описание, различение [21, c. 275]. "Логический треугольник" - мнемоническая фигура, с помощью которой изображаются основные аспекты языка (синтаксический, семантический и др.) [10, с. 4]. Логический язык – формальный язык логики; интерпретированное логическое исчисление [27, c. 259].

15

Логическое противоречие - конъюнкция двух высказываний, одно из которых является отрицанием другого [27, c. 196]. Логическое следование – 1) отношение, существующее между посылками и обоснованно выводимыми из них заключениями [11, c. 49]; 2) отношение между посылками и заключением в необходимых умозаключениях, дающее истинное заключение при истинных посылках и соблюдении логической правильности [10, c. 4]. Логичность – 1) качество рассуждения, характеризующееся последовательностью, непротиворечивостью, доказательностью [21, c. 278]; 2) соответствие логическим законам и принципам; последовательность, отсутствие логических ошибок [10, c. 4]. Ложность - истинностная характеристика суждения, не соответствующего действительности [10, с. 4]. Меньшая посылка – одно из двух суждений, составляющих посылки силлогизма, в которое входит меньший термин [21, c. 300]. Меньший термин – термин, который выражает подлежащее (субъект) меньшей посылки и подлежащее заключения силлогизма [21, c. 300]. Металогика [греч. meta – позади] - наука, изучающая строение и свойства формальных логических теорий; теория логической теории [21, c. 300]. Метод остатков – 1) метод установления связи части причины и части следствия на основе знания отношений других частей причины и следствия [10, с. 4]; 2) применение этого метода связано с установлением причины, вызывающей определённую часть сложного действия, при условии, что причины, вызывающие другие части этого действия, уже выявлены [20, с. 182]. Метод различия – 1) метод установления связи причины и следствия на основе выяснения повторяющегося и неповторяющегося в причине при наступлении следствия [10, с. 4]; 2) по методу различия сравнивают два случая, в одном из которых исследуемое явление наступает, а в другом не наступает; при этом второй случай отличается от первого лишь одним обстоятельством, а все другие являются сходными [20, с. 177]. Метод сопутствующих изменений – 1) метод установления связи причины и следствия на основании выявления коррелирующих изменений в причине и следствии (прямых и обратных) [10, c. 4]; 2) этот метод применяется при анализе случаев, в которых имеет место видоизменение одного из предшествующих обстоятельств, сопровождаемое видоизменением исследуемого действия [20, c. 179]. Метод сходства – 1) метод установления связи причины и следствия на основе выявления совпадений в причинном комплексе при наличии следствия [10, с. 4]; 2) по методу сходства сравнивают несколько случаев, в каждом из которых исследуемое явление наступает; при этом все случаи сходны в одном и различны во всех других обстоятельствах [20, с. 174].

16

Многосторонняя дискуссия – поочерёдное обсуждение различных программ, исходящих от различных пропонентов [20, c. 205]. Модальность [лат. modus – мера, способ] – оценка высказывания, данная с той или иной точки зрения. Модальная оценка выражается с помощью понятий «необходимо». «возможно», «доказуемо», «опровержимо», «обязательно», «разрешено» и т.п. [11, c. 110]. Модальность суждения – различие между логическими суждениями в зависимости от того, выражают ли они необходимую или только вероятную связь между логическим подлежащим и сказуемым [34, c. 419]. Модус [лат. modus – мера, образ, способ] – свойство, присущее предмету не постоянно, а лишь в некоторых состояниях, в отличие от атрибута, который является неотъемлемым свойством предмета и без которого предмет не может ни существовать, ни мыслиться [30, c. 19]. Модус понендо толленс [лат. modus ponendo tollens – модус утверждающе-отрицательный] – разновидность разделительно-категорического умозаключения, когда первая посылка – разделительное суждение, вторая посылка утверждает один из членов разделительного суждения [21, c. 313]. Модус поненс [лат. modus ponens – модус утверждающий] - модус условно-категорического умозаключения, вывод от утверждения основания к утверждению следствия [10, c. 4]. Модус умозаключения - разновидность умозаключения [10, с.4]. Модус толлендо поненс) [лат. modus tollendo ponens – модус отрицающее-утверждающий]– разновидность разделительно-категорического умозаключения, в котором первая посылка – разделительное суждение, вторая посылка отрицает один из членов разделительного суждения, а заключение утверждает другой член разделительного суждения [21, c. 314]. Модус толленс [лат. modus tollens – модус отрицающий] - модус условно-категорического силлогизма, вывод от отрицания следствия к отрицанию основания [10, c. 4]. Модусы силлогизма – разновидности силлогизма, отличающиеся друг от друга качественной и количественной характеристикой входящих в него посылок и заключения [37, c. 71]. Мышление – высшая форма отражения объективной реальности, состоящая в целенаправленном и обобщённом познании субъектом существенных связей и отношений предметов и явлений, в творческом созидании новых идей, в прогнозировании событий и действий [37, c. 71]. Наука – область человеческой деятельности, в которой разрабатываются систематические методы открытия причинных связей, допускающих объективную проверку [6, c. 272]. Научная индукция – 1) умозаключение, в котором обобщение строится путём отбора необходимых и исключения случайных обстоятельств [20, c. 171]; 2) умозаключение, в котором на основании познания необходимых признаков или необходимой связи части предметов класса делается общее заключение о всех предметах класса [9, c. 166].

17

Независимые суждения – суждения, которые не имеют общих составляющих [20, c. 91]. Необходимое умозаключение - умозаключение, в котором из истинности посылок с необходимостью выводится истинность заключения [10, с. 4]. Неполная индукция – 1) индуктивное умозаключение от знания части элементов класса к знанию обо всем классе [10, c. 4]; 2) умозаключение, в котором на основе повторяемости признака у некоторых явлений определённого класса делается вывод о принадлежности этого признака всему классу явлений [37, c. 71]. Неполное (открытое) дизъюнктивное суждение – суждение, в котором перечислены не все признаки или не все виды определённого рода [20, c. 82]. Неполный ответ – ответ, включающий информацию относительно отдельных элементов или составных частей вопроса [20, c. 103]. Непосредственное умозаключение – умозаключение, в котором новое знание выводится из одной посылки [21, c. 331]. Непротиворечивость – свойство правильного мышления избегать в структуре мысли противоречий, которых нет в отражаемой действительности [37, c. 72]. Неправильно поставленный (некорректный) вопрос – вопрос с ложным или противоречивым базисом [20, c. 97]. Нераспределенный термин – термин, который в данном суждении взят не во всём объёме, а лишь частично [36, c. 58]. Нерегистрирующие понятия – общие понятия, относящиеся к неопределённому числу элементов… Нерегистрирующие понятия имеют бесконечный объём [20, c. 37]. Несовместимые (внеположные) понятия – понятия, объёмы которых не совпадают ни полностью, ни частично [20, c. 43]. Несовместимые суждения – суждения, которые одновременно не могут быть истинными [37, c. 72]. Несравнимые понятия - понятия, не имеющие общих признаков, поэтому сравнивать эти понятия невозможно [20, c. 41]. Несравнимые суждения - суждения, состоящие из разных понятий или разных более простых суждений [10, c. 4]. Нестрогая аналогия – аналогия, в результате которой получается заключение от сходства двух предметов в известных признаках к сходству их в таком новом признаке, о котором неизвестно, находится ли он в зависимости от первых или нет [21, c. 336]. Нестрогая дизъюнкция – суждение, в котором связка «или» употребляется в соединительноразделительном значении [20, c. 80].

18

Несущественные признаки – признаки, которые могут принадлежать, но могут и не принадлежать предмету и которые не выражают его сущности [37, c. 72]. Неявная критика - скептическая оценка позиции пропонента без конкретного анализа недостатков и точного указания на слабые места [20, c. 215]. Неявное определение - определение, основанное на произвольных признаках, существенность которых ещё не установлена [10, c. 5]. Номинальное определение [лат. nomen - имя] – определение, посредством которого взамен описания какого-либо предмета вводится новый термин (имя), объясняется значение термина, его происхождение и т.п. [20, c. 48]. Нулевое понятие – понятие, объём которого представляет собой класс реально не существующих предметов и существование которых в принципе невозможно [37, c. 72].

Обобщение [лат. generalisatio] – 1) приём, с помощью которого отдельные предметы на основе присущих им одинаковых свойств объединяются в группы однородных предметов. Благодаря обобщению существенные признаки, выявленные у отдельных предметов, рассматриваются как признаки всех предметов, к которым приложимо данное понятие [20, c. 33]; 2) умственный переход от понятий, имеющих меньший объём, к понятиям, имеющим больший объём [27, c. 160]. Обобщение понятия – логическая операция перехода от видового понятия к родовому путём исключения из данного видового понятия его видообразующего признака [37, c. 72]. Обоснование – 1) процедура использования определённых знаний, норм и установок для принятия каких-либо утверждений, оценок или решений о практических действиях [11, c. 125]; 2) операция подтверждения суждения через приведение других, логически связанных с ним истинных суждений [10, c. 5]. Обоснованность – качество правильного логического мышления, которое свидетельствует о том, что в рассуждении все мысли опираются на другие мысли, истинность которых доказана [21, c. 344]. Образец - совокупность исследуемых случаев; может совпадать с популяцией [10, с. 5]. Обращение – преобразование суждения, в результате которого субъект исходного суждения становится предикатом, а предикат – субъектом заключения [20, c. 123]. Общая гипотеза – обоснованное предположение о закономерных связях в природе и обществе и об эмпирических регулярностях [20, c. 241]. Общее понятие – понятие, в котором мыслится множество предметов [37, c. 72].

19

Общее суждение – суждение, в котором что-либо утверждается или отрицается обо всех предметах некоторого класса [20, c. 71]. Общеотрицательное суждение – 1) суждение, общее по количеству и отрицательное по качеству [20, c. 75]; 2) суждение, в котором отрицается наличие признака у всех элементов некоторого класса [10, c. 5]. Общеутвердительное суждение – 1) суждение, общее по количеству и утвердительное по качеству [20, c. 75]; 2) суждение, в котором утверждается наличие признака у каждого элемента некоторого класса [10, c. 5]. Объединение классов (сложение) – операция, в результате которой два или несколько классов объединяются в один класс, состоящий из элементов – слагаемых классов [20, c. 61]. Объективность – 1) в психологическом плане – отсутствие предвзятости; 2) в логикометодологическом плане – всесторонность исследования с целью установления истины [20, c. 246]. Объём понятия – совокупность предметов, которая мыслится в данном понятии [37, c. 72]. Объяснение – совокупность приёмов, помогающих установить достоверность суждений относительно какого-либо неясного, запутанного дела или имеющих целью вызвать более ясное и отчётливое представление о более или менее известном явлении. Такими приёмами, в зависимости от условий, могут быть сравнение, описание, аналогия, различие, указание на причины, составление простейшей модели и т.д. [21, c. 351]. Объяснительная гипотеза – 1) предположение о причинах возникновения исследования [20, c. 240]; 2) предположение о причинах, законах вещей [10, c. 5].

объекта

Ограничение понятия – логическая операция перехода от родового понятия к видовому путём прибавления к содержанию родового понятия видообразующего признака [37, c. 72]. Омонимы [греч. homos – одинаковый и onyma, onoma - имя] – слова, совпадающие по звучанию, одинаковые по форме, но выражающие различные понятия [20, c. 34]. Оператор – символ или комбинация символов, которые, будучи употреблены совместно с переменными, константами или формами, дают новую константу или форму [21, c. 353]. Оператор модальности - слово, указывающее на ту или иную модальность, например: "необходимо", "доказано", "обязательно" и др. [10, с. 5]. Операции с понятиями - операции, с помощью которых производят действия с объёмами и содержанием понятий, несколькими понятиями одновременно [10, с. 5]. Описание – фиксирование результатов наблюдения с помощью терминов естественного или формального языка [27, c. 165]. Описание предмета – один из приёмов, употребляющихся при ознакомлении с индивидуальными предметами, у которых нельзя найти видовое отличие, а следовательно, и не

20

представляется возможным определить предмет посредством приёма установления ближайшего рода и видового различия. Описать предмет – это значит перечислить ряд признаков, которые более или менее полно раскрывают его. При этом в описание включаются не только существенные, но и не существенные признаки предмета [21, c. 354]. Описательная гипотеза - предположение о присущих исследуемому объекту свойствах [20, c. 239]. Оппонент – участник дискуссии, выражающий несогласие с позицией пропонента [20, c. 203]. Определение понятия – в самом широком смысле есть логическая операция, в процессе которой раскрывается содержание понятия [21, c. 355]. Определение понятия через ближайший род и видовое отличие – логический приём определения понятия, который заключается в том, что отыскивается ближайший род для определяемого понятия и отличительные признаки, имеющиеся только у данного вида предметов и отсутствующие у всех других видов предметов, входящих в этот ближайший род [21, c. 356]. Определённость – 1) такое качество правильного логического мышления, которое свидетельствует о том, что в рассуждении все мысли при повторении употребляются в одном и том же определённом смысле, в них вкладывается одно и то же точное, чёткое содержание, соответствующее отображаемому в них предмету, явлению [21, c. 359]; 2) свойство правильного мышления воспроизводить в структуре мысли качественную определённость самих предметов и явлений, их относительную устойчивость [37, c. 72]. Опровержение [лат. refutatio] тезиса [21, c. 359].

– доказательство ложности или несостоятельности какого-либо

Основание – часть условного суждения, в которой отображается условие, от которого зависит истинность следствия [21, c. 360]. Основание деления объёма понятия [лат. principium divisionis] – признак, который даёт возможность разделить объём родового понятия на виды [21, с. 360]. Остенсивное определение [лат. ostendo - показываю] – такое определение значения слова, когда непосредственно показывается на предмет, который обозначен этим словом. Остенсивное определение применяется [например] при встрече с человеком, говорящим на незнакомом языке, причём сами мы не понимаем его языка. В таком случае указывается на предмет и одновременно произносится слово, обозначающее этот предмет [21, c. 362]. Ответ – 1) связанное с вопросом суждение, уменьшающее или снимающее неопределённость, заключённую в вопросе [10, c. 5]; 2) новое суждение, уточняющее или дополняющее в соответствии с поставленным вопросом прежнее знание [20, c. 95].

21

Открытый вопрос - вопрос, требующий указания новой информации о признаках предметов. Это вопрос, на который существует бесчисленное множество ответов [10, с. 5]. Отличительный признак - признак, присущий только данному предмету или классу предметов [10, с. 5]. Относительные понятия – понятия, в которых мыслятся предметы, существование одного из которых предполагает существование другого [37, c. 73]. Отрицание – логическая операция, в результате которой из данного высказывания (например, А) получается новое высказщывание (не-А), которое называется отрицанием исходного высказывания (А) [21, c. 366]; логическая операция противопоставления утвердительных и отрицательных высказываний с помощью союзов “не”, “неверно, что...” [30, c. 20]. Отрицательное понятие – понятие, в содержании которого указывается на отсутствие у предмета определённых свойств [20, c. 39]. Отрицательное суждение – суждение, в котором отображается тот факт, что данному предмету не присуще какое-то свойство [21, с.368]. Оценка – установление ценности, значимости чего-либо [27, c. 173]. Ощущение – отражение отдельных чувственно воспринимаемых свойств предметов [20, c. 4]. Парадигма [греч. parádeigma – пример, образец] – 1) совокупность теоретических и методологических положений, принятых научным сообществом на известном этапе развития науки и используемых в качестве образца, модели, стандарта для научного исследования, интерпретации, оценки и систематизации научных данных, для осмысления гипотез и решения задач, возникающих в процессе научного познания [11, c. 143]; 2) исходная концептуальная схема, модель постановки проблем и их решения, методов исследования, господствующих в течение определённого исторического периода в научном сообществе [18, c. 513]. Парадокс [от греч. parádoxos - неожиданный, странный] противоречие, полученное в результате внешне логически правильного рассуждения, приводящее к взаимно противоречащим заключениям [18, c. 513]. Паронимы [греч. para – возле, около и onyma - имя] – близкие по звучанию однокоренные слова, имеющие разное значение или совпадающие в нём лишь частично [37, c. 73]. Пересекающиеся понятия – совместимые понятия, объёмы которых частично совпадают [37, c. 73]. Пересечение классов (умножение) – операция - образование нового класса, в который войдут только общие элементы всех исходных классов [10, c. 6]. Пересечение суждений - отношение между суждениями, которые могут быть при определённых условиях одновременно истинными, но могут иметь и взаимно противоположные значения [10, с. 6].

22

Повод – условие, предшествующее появлению данного явления, но не порождающее его [6, c. 273]. Подмена тезиса – логическая ошибка, совершаемая в ходе доказательства, состоящая в сознательной замене тезиса на другое похожее суждение, которое легче поддаётся доказательству и доказательство которого выдаётся за доказательство первоначального тезиса. (Аналогичная ошибка, совершаемая бессознательно, называется потерей тезиса) [6, c. 9]. Подчинение между суждениями - отношение между суждениями, подчиняющего подчинённое всегда будет истинным [20, c. 92].

при

истинности

Подчинённые понятия – совместимые понятия, объём одного из которых полностью входит в объём другого, составляя его часть [37, c. 73]. Познание - процесс формирования истинных знаний о мире [10, c. 6]. Полисиллогизм (сложный силлогизм) – последовательность простых силлогизмов, в которой заключение предшествующего силлогизма [просиллогизма] становится посылкой последующего силлогизма [эписиллогизма] [6, c. 252]. Полная индукция – умозаключение, в котором общее заключение делается на основе изучения всех предметов или явлений данного класса [37, c. 73]. Полное (закрытое) дизъюнктивное суждение – суждение, в котором перечислены все признаки или все виды определённого рода [20, c. 82]. Полный ответ – ответ, включающий информацию по всем элементам или составным частям вопроса [20, c. 102]. Положительное понятие – понятие, содержание которого составляет свойства, присущие предмету [20, c. 39]. Понятие – форма мышления, в которой отражаются существенные признаки предмета или класса однородных предметов [37, c. 73]. Популярная индукция – 1) обобщение, в котором путём перечисления устанавливают принадлежность признака некоторым предметам или частям класса и на этой основе проблематично заключают о его принадлежности всему классу [20, c. 169]; 2) неполная индукция, в которой отсутствует определённый метод отбора примеров, служащих посылками данного умозаключения [6, c. 269]. Популяция - название всей совокупности предметов, подразумевающейся в заключении индуктивного умозаключения [10, с. 6]. Порочный круг – логическая ошибка в определении понятий и в доказательстве, суть которой заключается в том, что некоторое понятие определяется с помощью другого понятия, которое, в свою очередь, определяется через первое, или некоторый тезис доказывается с помощью аргумента, истинность которого обосновывается с помощью доказываемого тезиса [11, c. 151].

23

Последовательность – свойство правильного мышления воспроизводить структурой мысли те структурные связи и отношения, которые присущи самой действительности, способность следовать «логике вещей и событий» [37, c. 73]. Поспешное обобщение – логическая ошибка, состоящая в том, что индуктивное обобщение формируется на основании немногих, случайно встретившихся примеров [6, c. 271]. Посылки умозаключения - суждения, из которых в умозаключении выводится новое суждение (заключение) [10, c. 6]. Пояснение [лат. explanatio] - логический приём, с помощью которого предмет определяется не вполне, а лишь в одном каком-либо отношении и с определённой целью (которая может состоять и в том, чтобы подготовить полное логическое определение) [21, c.402]. Правдоподобное умозаключение - умозаключение, в котором нет необходимой логической связи между посылками и заключением [10, с. 6]. Правильно поставленный (корректный) вопрос – вопрос, предпосылка которого представляет собою истинное непротиворечивое знание [20, c. 97]. Правильность логическая – соответствие используемых в процессе рассуждения символов законам и правилам логики [27, c. 187]. Правильность мышления – способность мышления воспроизводить в структуре мысли объективное строение действительности, соответствовать действительным отношениям предметов и явлений [37, c. 73]. Правильный модус - разновидность необходимого умозаключения, которая гарантирует истинность заключения при истинности посылок [10, с. 6]. Прагматика – раздел семиотики, занимающийся анализом коммуникативной функции языка – эмоционально-психологических, эстетических, экономических и других отношений носителя языка к самому языку [20, c. 11]. Превращение – преобразование суждения в суждение, противоположное по качеству с предикатом, противоречащим предикату исходного суждения [20, c. 122]. Предвосхищение основания – ошибка в доказательстве, при которой в качестве аргумента приводится суждение, которое само нуждается в обосновании [6, c. 302]. Предикат [лат. prаedicatum - сказанное] – 1) сказуемое суждения; то, что высказывается (утверждается или отрицается) в суждении о субъекте. Предикат отображает наличие или отсутствие того или иного признака у предмета [30, c. 19]; 2) термин суждения, отражающий признак предмета [20, c. 65]. Предложение – соединение слов, имеющее самостоятельный смысл, т.е. выражающее законченную мысль [11, c. 153]. Предмет мышления – существующие в реальной действительности и воображаемые вещи, явления, события, их свойства и отношения [20, c. 4],

24

Предположение - положение, которая временно принимается за возможно истинное, пока не будет установлена истина [21, c. 413]. Предпосылка вопроса - связанное с вопросом исходное наличное знание [10, c. 6]. Представление – сохранившийся в сознании чувственный образ предмета, который воспринимался раньше [20, c. 4], Признак предмета – то, в чём предметы сходны друг с другом или чем они друг от друга отличаются [20, c. 31]. Причинная связь между двумя явлениями – связь, при которой одно из явлений – причина – предшествует и вызывает другое явление следствие [20, c. 418]. Проблема [греч. problēma - задача, задание] - теоретический или практический вопрос, который необходимо изучить и разрешить [21, c. 172]. Проверка гипотез - процесс установления истинности предположения [10, с. 6]. Прогрессивный полисиллогизм – полисиллогизм, в котором заключение просиллогизма становится большей посылкой эписиллогизма [6, c. 253]. Пропозициональная логика [лат. propositio – предложение, выражение, высказывание]- раздел логики, изучающий рассуждения без учёта внутренней структуры простых суждений [10, с. 6]. Пропонент – участник дискуссии, выдвигающий и отстаивающий определённое положение [20, c. 203]. Просиллогизм – силлогизм, предшествующий другому в последовательности (полисиллогизме) [6, c. 252].

силлогизмов

Простая деструктивная дилемма - модус условно-разделительного умозаключения, вывод от отрицания двух следствий к отрицанию одного основания [10, с. 6]. Простая конструктивная дилемма – модус условно-разделительного умозаключения, вывод от утверждения двух разных оснований к одному следствию [10, с. 6]. Простое суждение – 1) суждение, выражающее связь двух понятий [20, c. 66]; 2) суждение, представляющее собой одно утверждение или отрицание; состоит из одного субъекта и одного предиката [10, c. 6]. Простой вопрос – 1) вопрос, не включающий в качестве составных частей других вопросов [20, c. 99]; 2) вопрос, заключающий в себе одно требование о недостающей информации [10, c. 6]. Простой категорический силлогизм – умозаключение об отношении двух крайних терминов на основании их отношения к среднему термину [20, c. 131].

25

Противоположные понятия – два понятия, которые являются видами одного и того же рода и при этом одно из них содержит какие-то признаки, а другое эти признаки не только отрицает, но и заменяет иными, противоположными признаками [37, c. 73]. Противоположные суждения – суждения, которые не могут быть одновременно истинными, но могут быть одновременно ложными [37, c. 74]. Противопоставление предикату – преобразование суждения, в результате которого субъектом становится понятие, противоречащее предикату, а предикатом – субъект исходного суждения [20, c. 125]. Противопоставление субъекту – логическая операция, в ходе которой осуществляется сначала обращение, а затем превращение обращенного суждения; является непосредственным умозаключением [30, c. 20]. Противоречивость – один из признаков нелогичности мышления того или иного человека, выражающийся в том, что в одном и том же рассуждении об одном и том же предмете, взятом в одно и то же время и в одном и том же отношении, выставляются противоположные или противоречащие утверждения, исключающие друг друга [21, c. 424]. Противоречащие понятия - понятия, отрицающие друг друга, одно из которых обязательно применимо к любому объекту [10, с. 7]. Противоречащие суждения – суждения, которые одновременно не могут быть ни истинными, ни ложными. При истинности одного из них другое будет ложным, а при ложности первого второе будет истинным [20, c. 93]. Простой категорический силлогизм – дедуктивное умозаключение, в котором из двух истинных категорических суждений, связанных общим термином, получается третье суждение – вывод [37, c. 73]. Прямое доказательство – доказательство, в котором истинность тезиса выводится из истинности аргументов без введения дополнительных предположений [6, c. 294]. Прямой метод опровержения суждений – метод, который состоит в противопоставлении опровергаемому суждению другого суждения, которое является истинным и противоположным опровергаемому [21, с. 433]. Прямой ответ – ответ, взятый непосредственно из области поиска ответов, при конструировании которого не прибегают к дополнительным сведениям и рассуждениям [20, c. 101 - 102]. Рабочая гипотеза - выдвигаемое на первых шагах исследования предположение, условное допущение, позволяющее группировать результаты наблюдений и экспериментов, дающее им первоначальное объяснение [10, c. 7]. Равнообъёмные понятия - то же, что и тождественные понятия [10, с. 7]. Развёрнутые ответы – ответы, в каждом из которых повторяются все элементы вопроса [20, c. 102].

26

Разделительное доказательство - вид косвенного доказательства, в котором истинность тезиса выводится из ложности всех антитезисов [10, с. 7]. Разделительно-категорическое умозаключение – умозаключение, в котором одна из посылок – разделительное, а другая посылка и заключение – категорические суждения [20, c. 149]. Разделительные (дизъюнктивные) суждения – суждения, состоящие из нескольких простых, связанных логической связкой «или» [20, c.80]. Разделительный вопрос – два и более простых вопросы, связанных союзом «или» [20, c. 99]. Различение – один из приёмов ознакомления с предметом в тех случаях, когда определение понятия невозможно или не требуется, заключающийся в том, в сравниваемых понятиях выделяются на первое место различные признаки… Различение показывает отличие предмета не от всех других однородных предметов, но только от некоторых наиболее сходных с ним [21, c. 444 - 445]. Распределённость терминов категорического суждения - количественная характеристика субъекта категорического суждения по отношению к предикату и наоборот [10, с. 7]. Распределённый термин – термин, который в данном суждении взят во всём объёме [36, c. 58]. Рассуждение – 1) цепь умозаключений на какую-нибудь тему, изложенных в логически последовательной форме. Рассуждением называется и ряд суждений, относящихся к какому-либо вопросу, которые идут одно за другим таким образом, что из предшествующих суждений необходимо вытекают или следуют другие, а в результате получается ответ на поставленный вопрос [21, c. 449]; 2) последовательность связанных по определённым правилам мыслей, при помощи которых мы порождаем новые мысли или обосновываем уже известные [6, c. 19]. Реальное определение – определение, раскрывающее существенные признаки предмета [20, c. 48]. Регистрирующие понятия – общие понятия, в которых множество мыслимых в нём элементов поддаётся учёту, регистрируется (во всяком случае в принципе)…Регистрирующие понятия имеют конечный объём [20, c. 37]. Регрессивный полисиллогизм – полисиллогизм, котором заключение просиллогизма становится меньшей посылкой эписиллогизма [6, c. 253]. Рефлексивность - свойство двуместных отношений, при котором предмет находится в этом отношении к самому себе (равенство) [10, с. 7]. Род – логическая характеристика класса предметов, в состав которого входят другие классы предметов, являющиеся видами этого рода [21, c. 452]. Родовой признак - признак, присущий всем видам некоторой области [10, с. 7].

27

Свойство – характеристика, присущая вещам и явлениям, позволяющая отличать или отождествлять их [11, c. 164]. Связка – в традиционной логике элемент простого суждения, соединяющий субъект и предикат [11 c. 165]. Семантика [греч. sēmantikos – обозначающий] – раздел семиотики, занимающийся проблемой интерпретации, то есть анализом отношений между знаками и обозначаемыми объектами [20, c. 11]. Семантический треугольник - то же, что и "логический треугольник" [10, с. 7]. Семиотика [греч. sēmeiōtos - обозначенный] – наука о знаках и знаковых системах, а также о естественных и искусственных языках как знаковых системах [21, c. 459]. Силлогизм [греч. syllogismos - сосчитывание] - умозаключение, в котором из двух категорических суждений, связанных общим средним термином, получается третье суждение, называемое выводом; при этом средний термин в заключение не входит [21, c. 460]. Символ [греч. symbolon – условный знак] - эмпирический объект, используемый с целью указания на другие эмпирические или же абстрактные объекты. Обычно в качестве символов используются эмпирические объекты, наиболее удобные для употребления в той или иной области практической деятельности человека: буквы, слова, цифры, ноты, звуковые и световые сигналы и т.п. Различают символы, имеющие самостоятельный смысл и значение (например, цифры или слова), и вспомогательные символы (например, кавычки, скобки, запятая и т.п.), используемые с целью указания на какие-либо объекты лишь в сочетании с другими символами [27, с. 208]. Симметричное отношение [греч. symmetria - соразмерность] – такое отношение между объектами, когда наличие этого отношения между объектами (например, a и с) влечёт за собой наличие этого отношения и в том случае, если объекты поменять местами (c и a); иначе говоря, при симметричном отношении перестановка объектов не ведёт к изменению вида отношения [21, c. 472]. Синонимы [греч. synоnymus – одноимённый] – слова, близкие или тождественные по своему значению, выражающие одно и то же понятие, но отличающиеся друг от друга оттенками значений или стилистической окраской [20, c. 34]. Синтаксис [греч. syntaxis – построение, порядок] – раздел семиотики, исследующий структурные свойства систем знаков, правила их образования и преобразования, отвлекаясь от их интерпретации [11, c. 172]. Синтаксическое определение – определение, в котором предмет определяется через способы оперирования с ним [21, c. 473]. Синтез [греч. sýnthesis – соединение] – логический приём, в ходе которого происходит мысленное соединение в единое целое частей предмета или его признаков, полученных в процессе анализа [37, c. 74].

28

Слово - основная значащая единица языка, служащая для закрепления образов сознания, мышления, прежде всего понятий [10, с. 7]. Сложная деструктивная дилемма – модус дилеммы, в котором вывод делается от отрицания двух следствий к отрицанию двух оснований [10, с. 7 - 8]. Сложная конструктивная дилемма – модус дилеммы, в котором вывод делается от утверждения двух оснований к утверждению двух следствий [10, с. 8]. Сложно-сокращённый силлогизм - сложный силлогизм, в котором пропущены посылки [10, с. 8]. Сложный вопрос - вопрос, включающий в качестве составных частей другие вопросы, объединяемые логическими связками [20, c. 99]. Смешанный вопрос – объединение соединительных и вопросительных вопросов [20, c. 100]. Собирательное понятие – понятие, в котором группа однородных предметов мыслится как единое целое [37, c. 74]. Совместимые понятия – понятия, объёмы которых совпадают полностью или частично [20, c. 41]. Совместимые суждения – суждения, которые одновременно могут быть истинными [20, c. 91]. Содержание понятия – совокупность существенных признаков предмета или класса однородных предметов, отражённых в этом понятии [37, c. 74]. Соединённый (объединённый) метод сходства и различия – 1) метод установления причинных связей на основе одновременной фиксации как совпадений, так и несовпадений частей причины и наступления или ненаступления следствия [10, с. 5]; 2) этот метод представляет собой комбинацию метода сходства и метода различия, когда путём анализа множества случаев обнаруживают как сходное в различном, так и различное в сходном [20, с. 179]. Соединительные (конъюнктивные) суждения – суждения, состоящие из нескольких простых, связанных логической связкой «и» [20, c. 78]. Соединительный вопрос – два и более простых вопроса, связанные союзом «и» [20, c. 99]. Соотносительные понятия – 1) понятия, содержащие признаки, которые указывают на отношение одного понятия к другому понятию [20, c. 39]; 2) понятия, в которых мыслятся предметы, существование одного из которых предполагает существование второго. Например, "теща - зять", "правый-левый", "истец-ответчик" [10, c. 8]. Соподчинённые понятия – непересекающиеся понятия, принадлежащие общему родовому понятию [37, c. 74].

29

Сорит [греч. sorit - куча] – вид сложного силлогизма, в котором приводится только последнее заключение, проводимое через ряд посылок; остальные же промежуточные заключения не высказываются, а подразумеваются [21, c. 491]. Софизм [греч. sophisma – хитрая уловка, измышление] – рассуждение, кажущееся правильным, но содержащее скрытую логическую ошибку и служащее для придания видимости истинности ложному утверждению. Софизм является особым приёмом интеллектуального мошенничества, попыткой выдать ложь за истину и тем самым ввести в заблуждение [11, c. 176]; преднамеренная рациональная ошибка, используемая с целью ввести кого-либо в заблуждение [27, c. 223]. Спор – столкновение мнений, позиций, в ходе которого каждая из сторон аргументировано отстаивает своё понимание обсуждаемых проблем и стремится опровергнуть доводы другой стороны [11, c. 177]. Сравнение – логический приём, устанавливающий сходство или различие предметов [20, c. 33]. Сравнимые понятия – понятия, в содержании которых, несмотря на наличие различных признаков, имеются также и некоторые общие им признаки, на основании которых можно сравнивать данные понятия [21, c. 498]. Сравнимые суждения - суждения, состоящие из одних и тех же понятий или из одних и тех же простых суждений (для сложных), отличающиеся формой друг от друга [10, c. 8]. Средний термин силлогизма – 1) термин силлогизма, который является общим для обеих посылок и который, отображая связи вещей объективного мира, служит посредующим элементом между бóльшим термином и меньшим термином [21, c. 499]; 2) в простом категорическом силлогизме понятие, которое содержится в обеих посылках, связывает их, но отсутствует в выводе [30, c. 20]. Стандартная форма простого категорического меньшая посылка; 3) заключение [10, с. 8].

силлогизма – 1) большая посылка; 2)

Статистическое обобщение – умозаключение неполной индукции, в котором установленная в посылках количественная информация о частоте определённого признака в исследуемой группе (образце) переносится в заключении на всё множество явлений этого рода [20, c. 184]. Строгая аналогия – аналогия, основанная на знании того, что признаки сравниваемых предметов находятся в зависимости. Ход умозаключения идёт от сходства двух предметов в одном признаке к сходству их в другом признаке, который зависит от первого [21, c. 500]. Строгая дизъюнкция – дизъюнктивное (разделительное) суждение, в котором входящие в него суждения связаны логическим союзом «или», имеющим исключающее значение [21, c. 500]. Субъект – 1) предмет мысли в суждении; логическое подлежащее суждения, отражающий предмет суждения [20, c. 65].

[30, c. 20];

2) термин

Суждение – форма мышления, в которой что-либо утверждается или отрицается о существовании предметов, связях между предметом и его свойствами или об отношениях между предметами [37, c. 74].

30

Суждение с отношением – суждение, отражающее отношение между предметами [20, c. 68]. Суждение существования (экзистенциальное суждение) [лат. existentia – существование] – суждение, в котором утверждается или отрицается существование чего-либо [10, c. 9]. Слово «есть» в таком суждении выражает не связку, а предикат и обозначает «существует» [21, c. 507]. Существенные признаки – признаки, которые принадлежат предмету, выражают его внутреннюю природу, его сущность [37, c. 74]. Сходство – отношение между объектами, состоящее в наличии у рассматриваемых объектов общих признаков [6, c. 283]. Таблица истинности – таблица, с помощью которой устанавливается истинностное значение сложного высказывания при данных значениях входящих в него простых высказываний [11, c. 180]. Тезис [греч. thesis – положение, утверждение] – один из элементов доказательства, положение, истинность которого обосновывается в доказательстве [11, c. 181]. Теория [греч. theōría – рассмотрение, исследование] - система основных идей в той или иной отрасли знания; форма научного знания, дающая целостное представление о закономерностях и существенных связях действительности [18, c. 686]. Термин [лат. terminus – предел, конец, граница] – слово или словосочетание, являющееся точным названием строго определённого понятия науки, техники и др. [21, c. 218]. Техническая (вспомогательная) классификация - классификация, в основе которой лежат признаки, удобные для человека, в том числе признаки, внешние предметам [10, c. 8]. Типология [греч. tipos – отпечаток, форма и logos – слово, учение] – группировка объектов на основе их подобия некоторому образцовому предмету, который именуется типом [33, c. 188]. Тождественные (равнозначные) понятия – совместимые понятия, объёмы которых полностью совпадают [37, c. 74]. Традукция [лат. traductio – перемещение] - умозаключение, в котором посылки и заключение являются суждениями одинаковой общности, т.е. когда вывод идёт от знания определенной степени общности к новому знанию, но той же степени общности [21, c. 542]. Транзитивность [лат. transitus – переход] – свойство отношений, состоящее в том, что если первый член отношения сравним со вторым, а второй с третьим, то первый сравним с третьим [21, c. 543]. Убеждение – 1) знание, основанное на вере или глубоком понимании вещей, лежащее в основе поступков человека [10, c. 9]; 2) присущие отдельной личности или социальной группе взгляды, представления или концепции о явлениях действительности, определяющие целенаправленную деятельность и поведение людей [20, c. 200].

31

Указание [лат. locatio] – один из приёмов ознакомления с предметами непосредственного восприятия, когда определение понятия невозможно или не требуется. Например, желая ознакомить учеников с цветом какого-либо минерала, учитель химии указывает на цвет данного куска минерала. Или, допустим, требуется определить понятие «тенор». Мы не специалисты в музыке и затрудняемся дать определение, но практически, на слух мы хорошо знаем, что такое тенор. В этом случае мы не определяем понятие, а просто указываем на человека, обладающего таким голосом. Указание способствует формированию правильных представлений о предметах и явлениях материального мира, но не является определением понятия [21, c. 551]. Умозаключение – форма мышления, посредством которой из одного или нескольких суждений, связанных между собой, с логической необходимостью выводится новое суждение [37, c. 74]. Умозаключение из суждений с отношениями - умозаключение, в котором посылки и заключение являются суждениями с отношениями, а вывод основывается на свойствах отношений [10, с.9]. Умозаключение по аналогии – вывод о принадлежности определённого признака исследуемому единичному объекту (предмету, событию, отношению или классу) на основе его сходства в существенных чертах с другим уже известным единичным объектом [20, с. 187]. Умозаключение по «логическому квадрату» - переход от одного категорического суждения к другому на основе знания их отношений по истинности согласно «логическому квадрату» [10, с. 9]. Условно-категорическое умозаключение – умозаключение, в котором одна из посылок – условное, а другая посылка и заключение – категорические суждения [20, c. 145]. Условно-разделительное (лемматическое) умозаключение – умозаключение, в котором одна посылка условное, а другая – разделительное суждение [20, c. 151]. Условные (импликативные) суждения – суждения, состоящие из двух простых, связанных логической связкой «если…, то…» [20, c. 82]. Уточняющий вопрос – вопрос, направленный на выявление истинности выраженного в нём суждения [20, c. 97]. Учетверение терминов [лат. quaternion terminorum] - логическая ошибка в простом категорическом силлогизме, обусловленная нарушением правила, гласящего, что в силлогизме должно быть только три термина. Ошибка состоит в том, что в силлогизм включают четыре термина. Обычно это происходит благодаря тому, что слово, играющее роль среднего термина, в одной посылке выражает одно понятие, а в другой посылке – иное понятие [11, c. 192]. Факт – знание, основанное на чувственных восприятиях и выраженное единичным суждением [6, c. 262].

32

Фактическая алетическая модальность - информация об истинности суждения с точки зрения природы отражённого в нём предмета [10, c. 9]. Фигуральная аналогия – умозаключение, основывающееся на сходстве отношений между предметами из качественно отличных областей действительности, связь которых имеет только символическое значение [6, c. 287]. Фигуры силлогизма – разновидности термина в посылках [20, c. 136].

силлогизма, различающиеся положением среднего

Форма – внутренняя структура, строение, связь и способ взаимодействия частей и элементов предмета и явления [20, c. 574]. Формальная логика – наука об общезначимых формах и средствах мысли, необходимых для рационального познания в любой области [37, c. 75]. Формальное мышление – последовательность умственных действий по заранее фиксированным правилам [6, c. 13]. Формально-логический закон – закон структурно-смысловой связи элементов мысли между собой, придающий ей определённую форму, посредством которой выражается содержание мысли [37, c. 75]. Фундаментальный принцип логики – состоит в том, что в правильном рассуждении из истинных посылок нельзя вывести ложного заключения. Если мы построим рассуждение той же самой формы, в котором посылки будут истинными, а заключение будет ложным, то рассматриваемое нами рассуждение будет логически неправильным. Если же контрпримера построить не удаётся, тогда рассуждение считается правильным [31, c. 32]. Характеристика – один из приёмов ознакомления с предметом в тех случаях, когда определение понятия невозможно или не требуется. Этот приём заключается в следующем: указываются какие-либо заметные признаки предмета, имеющие известное значение в какомлибо отношении… Качество, которое должно быть присуще любой характеристике, объективность [21 c. 584]. Частичная совместимость – отношение между суждениями, которые могут быть одновременно истинными, но не могут быть одновременно ложными [20, c. 92]. Частная гипотеза - обоснованное предположение о происхождении и свойствах единичных фактов, конкретных событий и явлений [20, c. 241]. Частное суждение – суждение, в котором что-либо утверждается или отрицается о части предметов некоторого класса [20, c. 71]. Частноотрицательное суждение – суждение, частное по количеству и отрицательное по качеству [20, c. 75]. Частноутвердительное суждение – суждение, частное по количеству и утвердительное по качеству [20, c. 75].

33

Частота признака - число, выражающее отношение интересующих случаев ко всей совокупности исследованных случаев [10, с. 9]. Чисто условное умозаключение – умозаключение, обе посылки которого являются условными суждениями [20, c. 144]. Эквивалентность понятий [лат. aequalis – равный и valentis – имеющий силу; равносильность] - отношение между понятиями, объёмы которых в точности совпадают [10, с. 9]. Эквивалентные суждения – суждения, которые принимают одни и те же значения, т.е. одновременно являются либо истинными, либо ложными [20, c. 91]. Эквиваленция [лат. aequalis – равный и valentis – имеющий силу] – 1) операция математической логики, заключающаяся в том, что два высказывания соединяются с помощью пропозициональной связки «если и только если» и «тогда и только тогда, когда» [21, c. 601]; 2) логический союз “если и только если, то...”, “тогда и только тогда, когда...”; сильная (двойная) импликация; логическая операция, позволяющая связывать друг с другом равносильные, тождественные высказывания [30, c. 20]. Эклектика [греч. eklektikos – выбирающий] – беспринципное сочетание, механическое смешение разнородных, несовместимых, исключающих друг друга взглядов, воззрений; разновидность метафизического мышления [21, c. 601]. Элемент класса - предмет, входящий в данный класс [20, c. 36]. Элемент множества [лат. elementum – стихия, первоначальное вещество] – объект, предмет, входящий в какое-либо множество, которому присущи признаки, характерные для данного множества [21, c. 603]. Эмпирические (индивидные) объекты – чувственно воспринимаемые объекты, обладающие пространственно-временными характеристиками [27, c. 253 и 53]. Энтимема [греч. in thymos – в уме] – сокращённый силлогизм, в котором опущена (но неявно подразумевается) одна из посылок или заключение [27, c. 253]. Энумеративная индукция - то же, что и индукция через простое перечисление [10, с. 9]. Эписиллогизм – силлогизм, следующий за другим в последовательности силлогизмов (полисиллогизме) [6, c. 252]. Эпистемическая модальность [греч. epistéme – знание и лат. modus – мера, способ] - 1) выраженная в суждении информация об основаниях принятия [мнений, оценок, фактических данных и т.п.] и степени его обоснованности [20, c. 108]; 2) информация о характере обоснованности суждения с точки зрения существующего знания [10, c. 9]. Эпихейрема [греч. epiheirema - умозаключение] – силлогизм, каждая из посылок которого является энтимемой [27, c. 253].

34

Эристика [греч. eristika – искусство спора] – искусство ведения спора [27, c. 253]. Явная критика - указание на конкретные недостатки, выявленные в аргументации пропонента [20, c. 215]. Явное определение – определение, раскрывающее существенные признаки предмета [20, c. 49]. Язык – 1) знаковая система, выполняющая функцию формирования, хранения и передачи информации в процессе познания действительности и общения между людьми [20, c. 10]; 2) система символов, отображающая (представляющая, репрезентирующая) некоторую систему эмпирических или абстрактных объектов [27, c. 256].

35

Список использованной литературы 1. Андреев, И.Д. Диалектическая логика: Учеб. пособие для студентов и аспирантов философских факультетов университетов. – М.: Высшая школа, 1985. – 367 с. 2. Берков, В.Ф. Логика: Учеб. пособие для вузов /В.Ф.Берков, Я.С.Яскевич, В.И.Павлюкевич. – Минск: НТООО «ТетраСистемс», 1997. – 416 с. 3. Берков, В.Ф. Логика: элементарный курс: Учеб. пособие для студентов учреждений, обеспечивающих получение высшего образования. – Минск: ТетраСистемс, 2007. – 208 с. 4. Бойко, А.П. Логика: Учеб. пособие для учащихся гимназий, лицеев и школ гуманитарного профиля. .: Новая школа, 1994. – 80 с. 5. Бочаров, В.А. Основы логики: Учебник для студентов вузов, обучающихся по гуманитарным и есчтественно-научным специальностям /В.А.Бочаров, В.И.Маркин. – М.: ИНФРА-М, 2000. – 296 с. 6. Брюшинкин, В.Н. Практический курс логики для гуманитариев: Учеб. пособие для студентов гуманитарных специальностей вузов. – М.: Новая школа, 1996. – 320 с. 7. Войшвилло, Е.К. Логика: Учебник для вузов /Е.К.Войшвилло, М.Г.Дегтярев. – М.: Гуманит. изд. центр ВЛАДОС, 1998. – 528 с. 8. Войшвилло, Е.К. Логика как часть теории познания и научной методологии. Фундаментальный курс. – В 2-х книгах: Учеб. пособие для студентов философских факультетов и преподавателей логики /Е.К.Войшвилло, М.Г.Дегтярев; Программа «Обновление гуманитарного образования в России». – М.: Наука, 1994. – Кн. 1 – 312 с.; кн. 2 – 333 с. 9. Гетманова, А.Д. Логика: Для педагогических учебных заведений. – М.: Новая школа, 1995. – 416 с. 10. Глоссарий [Электронный http://www.distance.ru?files/umk/logic/logic15.html.

ресурс]

–

Режим

доступа:

11. Горский, Д.П. Краткий словарь по логике /Д.П.Горский, А.А.Ивин, А.Л.Никифоров; Под ред. Д.П.Горского. – М.: Просвещение, 1991. – 208 с. 12. Григорьев, Б.В. Классическая логика: Учеб. пособие. – М.: Гуманит. изд. центр ВЛАДОС, 1996. – 192 с. 13. Ивин, А.А. Логика: Пособие для учащихся. - М.: Просвещение, 1996. – 206 с. 14. Ивин, А.А. Логика: Учебник для гуманитарных факультетов. – М.: ФАИР-ПРЕСС, 199. – 320 с. 15. Ивин, А.А. Логика: Учеб. пособие. – 2-е изд. – М.: Знание, 1998. – 240 с.

36

16. Ивин, А.А. Элементарная логика: Учеб. пособие для общеобразовательных школ, гимназий, лицеев, колледжей. – М.: Дидакт, 1994. – 200 с. 17. Ивлев, Ю.В. Логика: Экспериментальный учебник для студентов гуманитарных вузов /Программа «Обновление гуманитарного образования в России». – М.: Наука, 1994. – 284 с. 18. Иллюстрированный энциклопедический словарь /Ред. кол.: В.И.Бородулин и др. - М.: Научное изд-во «Большая Российская энциклопедия»; Изд. Дом «Экономическая газета», 1995. – 894 с. 19. Карпинская, О.Ю. Экспресс-Логика: Учеб. пособие для студентов нефилософских специальностей и направлений /О.Ю.Карпинская, О.В.Ляшенко, В.С.Меськов, Я.В.Шрамко. – М.: ИНФРА-М, 1997. – 260 с. 20. Кириллов, В.И. Логика: Учебник для юридических факультетов и институтов /В.И.Кириллов, А.А.Старченко. – М.: Юристъ, 1995. – 256 с. 21. Кондаков, Н.И. Логический словарь /АН СССР, Институт философии. – М.: Наука, 1971. – 656 с. 22. Кохтев, Н.Н. Риторика: Учеб. пособие для учащихся 8 – 9 классов общеобразовательных учреждений. – 2-е изд. – М.: Просвещение, 1996. - 207 с. 23. Курбатов, В.И. Логика: Учеб. пособие для студентов вузов. – Ростов н/Д.: Феникс, 1996. – 320 с. 24. Логика /Под ред. Д.П.Горского и П.В.Таванца; АН СССР, Институт философии. – М.: Политиздат, 1956. - 280 с. 25. Логика: Логические основы общения: Учеб. пособие для вузов /В.Ф.Берков, Я.С.Яскевич, В.И.Бартон и др.; Программа «Обновление гуманитарного образования в России». – М.: Наука, 1994. – 318 с. 26. Логика: Учеб. пособие /Сост. С.Г.Избицкий, Г.П.Ников. – 2-е изд., стереотип. – Уфа: Восточный университет, 1996. – 132 с. 27. Логический словарь: ДЕФОРТ /Под ред. А.А.Ивина, В.Н.Переверзева, В.В.Петрова. – М.: Мысль, 1994. – 269 с. 28. Минто, В. Дедуктивная и индуктивная логика: Пер. с англ. С.А.Котляровского. – СПб.: ТИТ «Комета», 1995. – 464 с. 29. Популярный словарь иностранных слов /Под ред. Т.Н.Гурьевой. – М.: РИПОЛ КЛАССИК, 2002. – 800 с. 30. Программа курса «Логика»: Для студентов факультета журналистики /Сост. Е.В.Сарычев. – М.: Ин-т междунар. права и экономики им. А.С.Грибоедова, 2002. – 22 с.

37

31. Рузавин, Г.И. Логика и аргументация: Учеб. пособие для студентов вузов. – М.: Культура и спорт, ЮНИТИ, 1997. – 351 с. 32 Сборник упражнений по логике: Для вузов. – 3-е изд., перераб. и доп. /Под ред. А.С.Клевчени и В.И.Бартона. – Минск: Университетское, 1990. – 288 с. 33. Светлов, В.А. Практическая логика: Учеб. пособие. – 2-е изд., испр. и доп. – СПб.: Изд. дом «МиМ», 1997. – 576 с. 34. Свинцов, В.И. Логика: Учебник для факультетов журналистики университетов и редакционно-издательских факультетов полиграфических институтов. – М.: Высшая школа, 1987. – 287 с. 35. Словарь иностранных слов /Под ред. И.В.Лёхина и Ф.Н.Петрова. – 3-е изд., перераб. и доп. – М.: Гос. изд-во иностранных и национальных словарей, 1949. – 805 с. 36. Философский словарь /Под ред. И.Т.Фролова. - 6-е изд., перераб. и доп. – М.: Политиздат, 1991. – 560 с. 37. Формальная логика /Отв. ред. И.Я.Чупахин, И.Н.Бродский. – Л.: Изд-во Ленингр. ун-та, 1977. – 356 с. 38. Яковлева, Е.В. Логика: Учеб. пособие. – Нижнекамск: Изд-во НМИ, 2005. – 90 с. 39. Яковлева, Е.В. Логика: Учеб.-метод. комплекс. – Нижнекамск: Изд-во НМИ, 2006. – 60 с.

38

Синюк Александр Иванович Яковлева Елена Владимировна

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

Издательство НМИ 423579, РТ, г. Нижнекамск, пр-т Химиков, 74б Тел. 42-05-35 Подписано в печать 05.08.2008 г. Бумага офсетная. Гарнитура Таймс. Формат 80х1081/16. Усл. печ.л.2.34. Уч.изд.л. 2.5 Печать ризографическая. Тираж 1000 экз. Заказ 277.

39