Студопедия

Главная страница Случайная страница

Разделы сайта

АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника






ГЛОССАРИЙ. Абстрактное понятие— понятие, в котором отображен не конкретный предмет как таковой, а какое-либо свойство предмета или отношение






 

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

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

Адекватный — одинаковый, вполне соответ­ствующий, равный, тождественный.

Аксиома — истинное положение, утверждение, которое не требует доказательства, в нем содержание логического сказуемого за­ключено в содержании логического под­лежащего.

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

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

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

Антитеза — положение, противоположное тезису, т. е. какому-либо исходному утверждению.

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

Апогогическое доказательство — непрямое, косвенное доказательство, стремящееся до­казать, что истинным является не тезис, а ложное выражение, противоположное ему.

Апория — безвыходное положение. Термин, с помощью которого античные философы и логики обозначали противоречия в по­нятиях, непреодолимые логические за­труднения.

Априорный — предшествующий опыту, не за­висимый от опыта.

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

Аргументация — приведение доводов для доказательства тезиса или опровержения ан­титезиса.

Безотносительное понятие — понятие, кото­рое не находится в непосредственной свя­зи с другими понятиями.

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

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

Ближайший род — непосредственно более ши­рокий класс предметов, в который в ка­честве вида входит рассматриваемый предмет.

Большая посылка — посылка, в которую вхо­дит большой термин.

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

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

Взаимно-однозначное отношение — такое от­ношение, когда каждому значению у, входящему в формулу xRy, соответству­ет одно единственное значение х.

Видовое отличие — признак, отличающий пред­мет одного вида от других видов, входя­щих в один и тот же род.

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

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

Всегда истинное высказывание (тавтология) — высказывания, которые всегда принимают только значение «истина».

Всегда ложное высказывание (логическое противоречие) — высказывания, принимающие только значение «ложь».

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

Выполнимая формула, которая при своем исчислении на выходе (в послед­нем действии) дает хотя бы одно значе­ние «истина».

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

Генетическое определение — определение, в котором указывается на происхождение предмета.

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

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

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

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

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

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

Делимое понятие — понятие, объем которого подвергается делению.

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

Денотат — в самом широком смысле — вещь, предмет, который мы имеем в виду, обоз­начая собственным именем.

Дескриптивное предложение — описывающее предложение, которое может квалифици­роваться с точки зрения истинности.

Дефиниендум — часть определения, тот термин, значение которого требуется уточнить.

Дефиниенс — тот термин, посредством чего уточ­няется значение неизвестного термина.

Дефиниция — логическая операция определения.

Дизъюнкция — логический оператор, предна­значенный для экспликации граммати­ческого слова «или».

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

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

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

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

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

Знак — материально-чувственно воспринимае­мый объект, который символически от­сылает нас к реальному объекту, обозна­чает его.

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

Импликативное суждение — суждение типа «если..., то». Оно выражает причин­но-следственные отношения.

Импликация — логический оператор, выражаю­щий причинно-следственные отношения.

Имя — языковое выражение, непосредственно обозначающее какой-либо предмет,

Инверсия — преобразование условного сужде­ния в новое условное суждение.

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

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

Индукция — умозаключение от знания меньшей степени общности к новому знанию большей степени общности (т.е. от отдельных частных случаев мы переходим к общему суждению).

Интерпретация — систематические приписы­вания формулам какого-либо искусствен­ного языка значений истинности.

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

Истинное значение — основное качество вы­сказываний, связанное с приписывани­ем им значений «истинно» или «ложно».

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

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

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

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

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

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

Классическое определение истины — дано Аристотелем. Согласно ему определение истины есть совпадение мысли о предме­те с самим предметом.

Конкретное понятие — понятие, в котором ото­бражен определенный предмет или класс

Консеквент — заключительная часть имплика­ции, символизирующая собою следствие, выводимое из причины.

Константа — в логике — постоянное выраже­ние, значение которого не меняется.

Контрарное отношение — отношение между противоположными суждениями, кото­рые вместе не могут быть истинными, но оба могут быть ложными.

Конъюнкция — логический оператор, соответ­ствующий грамматическому союзу «и».

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

Логика – наука о законах и формах правильного мышления.

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

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

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

Логомахия — такой спор, когда спорящие, не определив вначале с точностью предмет спора, опровергают друг друга или не соглашаются друг с другом.

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

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

Метаязык — язык, на основе которого произво­дится исследование какого-то другого языка.

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

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

Невыполнимая формула — формула, при­нимающая только значение «ложь».

Некорректный – неправильный.

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

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

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

Номинальное определение — объяснение значения слова, имени или термина, обозначающего это понятие.

Общее понятие — понятие, в котором отображены признаки класса предметов.

Общезначимая формула — формула, которая принимает только значение «истина».

Общеутвердительное суждение — сужде­ние, которое имеет вид: «Все S есть Р».

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

Определение через ближайший род и видовое отличие —логическая операция, ко­торая заключается в том, что для опреде­ляемого понятия подыскивается ближай­ший род с отличительными признаками

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

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

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

Отрицание — логическая операция, заключаю­щаяся в том, что истинному высказыва­нию противопоставляется ложное выска­зывание.

Парадигма — пример, образец.

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

Паралогизм — логическая ошибка в умозаклю­чении, происшедшая непредумышленно.

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

Полисиллогизм — сложный силлогизм, состоя­щий из нескольких простых силлогизмов.

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

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

Посылка — часть рассуждения, в которой содер­жится известная исследователю инфор­мация о предмете изучения.

Пропозиционные связки — логические опе­раторы отрицания, конъюнкции, дизъ­юнкции, импликации и эквиваленции.

Равенство — отношение эквивалентности меж­ду высказываниями.

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

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

Распределение терминов в суждении — от­ношение между объемами терминов (субъектов и предикатов) в суждении.

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

Риторика — учение об ораторском искусстве, теория красноречия.

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

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

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

Символическая логика — одно из названий формальной логики, математической логики.

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

Сложный силлогизм — силлогизм, состоящий из нескольких простых силлогизмов.

Смысл — содержание знакового выражения; мысль, содержащаяся в слове.

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

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

Сокращенный силлогизм (энтимема) — сил­логизм, в котором пропущена одна или несколько посылок.

Соотносительное определение — определение, когда один объект относится к другому объекту как к эквиваленту.

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

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

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

Строгая аналогия — аналогия, основанная на знании того, что признаки сравниваемых предметов находятся в строгой зависи­мости.

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

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

Тавтология — всегда истинное высказыва­ние, т. е. высказывание, принимающее только истинное значение.

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

Термин — слово или словосочетание.

Тождественные понятия — понятия, имею­щие один и тот же объем, т. е. отобража­ющие один и тот же предмет.

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

Условное суждение — суждение, в котором ото­бражается зависимость того или иного явления от каких-либо условий.

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

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

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

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

Формализованная теория — теория, изучаю­щая объекты, представленные в терми­нах формализованных языков.

Формализованный язык — искусственный язык формально-логических исчисле­ний, язык знаков, формул, символов.


Учебно-методическое издание

ЛОГИКА

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

«Психология»

Составитель: В.А. Козловская, кандидат философских наук, доцент, профессор НОУ ВПО СИБУП

Оригинал-макет и вёрстка И.А. Скворцовой.

Подписано в печать Сдано в производство
Формат 14, 85х21, 0 Бумага потребительская.
Печать трафаретная. Усл. печ. л. 3, 9375
Изд. № Заказ №
Тираж экз. 50 завод - экз.

 

 

Редакционно-издательский отдел НОУ ВПО СИБУП.

660037, Красноярск, ул. Московская. 7 «А»

 

Отпечатано на участке множительной техники НОУ ВПО СИБУП

660037, Красноярск, ул. Московская. 7 «А»

 
 






© 2023 :: MyLektsii.ru :: Мои Лекции
Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав.
Копирование текстов разрешено только с указанием индексируемой ссылки на источник.