Главная страница Случайная страница Разделы сайта АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника |
ГЛОССАРИЙ. Абстрактное понятие - понятие, в котором отображен не конкретный предмет как таковой, а какое-либо свойство предмета или отношение⇐ ПредыдущаяСтр 20 из 20
Абстрактное понятие - понятие, в котором отображен не конкретный предмет как таковой, а какое-либо свойство предмета или отношение, в котором он находится к другим предметам. Абсурд - бессмыслица, нелепость. Свести к абсурду - значит доказать, что в чем-либо заключается скрытое противоречие, и тем самым опровергнуть его. Адекватный - одинаковый, вполне соответствующий, равный, тождественный. Аксиома - истинное положение, утверждение, которое не требует доказательства, в нем: содержание логического сказуемого заключено в содержании логического подлежащего. Аналогия - подобие, сходство предметов в каких-либо свойствах и отношениях. Умозаключение по аналогии - такое умозаключение, по которому в результате делается вывод, что исследуемый предмет, возможно, имеет признак X, поскольку все предметы из области, к которой принадлежит этот предмет, имеют признак X. Антецедент - первый член импликации, характеризующий, причинные условия. Антиномия - противоположность между двумя взаимоисключающими суждениями, но в то же время производящими впечатление, что оба могут быть логически доказаны в качестве правильных. Антитеза - положение, противоположное тезису, т. е. какому-либо исходному утверждению. Апагогическое доказательство - непрямое, косвенное доказательство, стремящееся доказать, что истинным является не тезис, а ложное выражение, противоположное ему. Апория - безвыходное положение. Термин, с помощью которого античные философы и логики обозначали противоречия в понятиях, непреодолимые логические затруднения. Аргумент - довод доказательства, основание вывода, положение, с помощью которого обосновывается тезис. Аргументация - приведение доводов для доказательства тезиса или опровержения антитезиса. Безотносительное понятие - понятие, которое не находится в непосредственной связи, с другими понятиями. Большая посылка - посылка, в которую входит больший термин. Больший термин - термин, который является предикатом заключения простого категорического силлогизма. Верификация - принцип установления осмысленности, т. е. возможности какого-либо высказывания оказаться истинным или ложным. Это логический смысл верификации. В общеметодологическом смысле верификация есть установление фактуальности, достоверности, правдоподобности. Вероятность - степень возможности какого-либо определенного события. Видовое понятие - понятие, которое отображает существенные признаки, класса предметов, являющихся видом какого-либо рода. Вывод - последовательность высказываний: или формул, состоящая из аксиом, посылок и ранее доказанных высказываний (теорем). Последняя из формул данной последовательности, выведенная как непосредственное следствие предыдущих формул по одному из правил вывода, представляет собою доказуемую формулу. Генетическое определение - определение, в котором указывается на происхождение предмета. Гипотеза - вероятное предположение о причине какого-либо явления, достоверность чего еще не доказана ни наукой, ни практикой. Дедуктивное умозаключение - умозаключение, которое обеспечивает при истинности посыпок и соблюдении правил логического вывода истинность заключения, следующего из этих посылок. Дедукция - в широком смысле - такая, форма мышления, когда новая мысль выводится чисто логическим путем. В узком смысле, принятом в традиционной логике, это дедуктивное умозаключение. В целом в логике, дедукция - это последовательность мыслей или суждений, каждый компонент которой логически вытекает из предыдущих мыслей и суждений. Деление объема понятий - логическая операция, заключающаяся в том, что предметы, отображенные в понятии, делятся на виды. Делимое понятие - понятие, объем которого подвергается делению. Демонстрация - логическое рассуждение, в процессе которого из аргументов выводится истинность или ложность тезиса. Дефиниция - логическая операция определения. Дизъюнкция - логический оператор, предназначенный для экспликации грамматического союза «или». Дихотомическое деление объема понятия - вид деления объема понятия, когда объем делится на два противоречащих друг другу видовых понятия А и не- А, полностью исчерпывающих объем делимого понятия. Доказательство - в широком смысле логическое действие, в процессе которого устанавливается истинность какой-либо мысли. В логике под доказательством понимается последовательность формул, в которой каждая формула является либо аксиомой, либо следует из предшествующих формул по правилам вывода. Доказательство от противного - вид косвенного доказательства, в котором допускается ложность доказываемого тезиса, из чего выводятся последствия, противоречащие этому. Такие последствия служат косвенным обоснованием истинности доказываемого тезиса. Достаточного основания закон - один из четырех законов формальной логики, согласно которому всякая истина должна быть обоснована другими мыслями, истинность которых доказана. Единичное понятие - понятие, в котором отображаются признаки какого-то одного единственного предмета. Знак - материально-чувственно воспринимаемый объект, который символически отсылает нас к реальному объекту, обозначает его. Значение - характеристика именования: предметов, которая: характеризует то, чем данный объект является для людей. Это предмет, относительно которого формулируется понятие. Импликативное суждение - суждение типа «если..., то». Оно выражает причинно-следственные отношения, Импликация - логический оператор, выражающий причинно-следственные отношения. Имя - языковое выражение, непосредственно обозначающее какой-либо предмет. Индукция - в широком смысле - это форма мышления, посредством которой мысль наводится на какое-либо общее правило, присущее всем: единичным предметам какого-либо класса. Исключения метод - способ доказательства какого-либо положения путем перечисления всех частных случаев, содержащихся в этом положении, доказывая их невозможность за исключением одного, относительно которого ведется доказательство. Исключенного третьего закон - один из основных законов формальной логики, согласно которому из двух, противоречащих высказываний в одно и то же время и в одном и том же отношении одно непременно истинно. Категорический силлогизм - силлогизм, в котором вывод получается из двух посылок, являющихся категорическими суждениями. Категорическое суждение - суждение, высказывающее принадлежность или непринадлежность признака предмету. Квантор - логический оператор логики предикатов, выражающий, в частности, отношения всеобщности или единичности. Классификация - распределение предметов какого-то рода на взаимосвязанные классы согласно наиболее существенным признакам. Конкретное понятие - понятие, в котором отображен определенный предмет или класс предметов. Конъюнкция - логический оператор, соответствующий грамматическому союзу «и». Круг в доказательстве - логическая ошибка в доказательстве, заключающаяся в том, что истинность какого-либо тезиса обосновывается посредством того же самого положения, которое еще должно быть доказано. Меньшая посылка - посылка категорического силлогизма, в которую входит меньший термин. Меньший термин - термин, который является в заключении простого категорического силлогизма субъектом. Метаязык - язык, на основе которого производится исследование какого-то другого языка. Многозначная логика - раздел логики, в котором используются кроме классических значений «истина» и «ложь» и другие значения. Модальность - характеристика суждения в зависимости от степени его возможности, необходимости, обязательности и т. п. Модусы простого категорического силлогизма - разновидности силлогизма, отличающиеся друг от друга по количеству и качеству суждений. Некорректный - неправильный. Неполная индукция - вид индуктивного умозаключения, в результате которого получается какой-нибудь общий вывод обо всем классе предметов на основании знания лишь некоторых предметов данного класса. Общее понятие - понятие, в котором отображены признаки класса предметов. Общеутвердительное суждение - суждение, которое имеет вид: «Все S суть Р». Объем понятия - множество предметов, которые объединены общим признаком, свойственным данному понятию. Опровержение - доказательство ложности тезиса. Основание деления понятия - признак, который дает возможность разделить объем родового понятия на виды. Остенсивное определение - такое определение, когда непосредственно указывается предмет, который обозначается словом или термином. Относительное понятие - понятие, отображающее признаки предметов, существование которых связано с существованием других предметов. Отрицание - логическая операция, заключающаяся в том, что истинному высказыванию противопоставляется ложное высказывание. Парадокс - рассуждение, приводящее к взаимоисключающим последствиям. Паралогизм - логическая ошибка в умозаключении, происшедшая непредумышленно. Подчинение понятий - такое отношение между понятиями, когда объем одного понятия входит в объем другого понятия. Полисиллогизм - сложный силлогизм, состоящий из нескольких простых силлогизмов. Понятие - форма мышления, отображающая в себе общие и существенные признаки предмета. Посылка - часть рассуждения, в которой содержится известная исследователю информация о предмете изучения. Родовое понятие - понятие, которое выражает существенные признаки класса предметов, являющегося родом каких-либо видов. Силлогизм - умозаключение, в котором из двух категорических суждений, связанных общим (средним) термином, выводится третье суждение, называемое заключением. Символическая логи ка - одно из названий формальной, математической логики. Сложный силлогизм - силлогизм, состоящий из нескольких простых силлогизмов. Содержание понятия - совокупность признаков, отображающих существенные черты какого-то предмета, отраженные в мысли о нем. Сокращенный силлогизм (энтимема) - силлогизм, в котором пропущена одна или несколько посылок. Софизм - логическая уловка, которая умышленно из правильных посылок выводит ложное заключение. Суждение - форма мысли, в которой что-либо утверждается или отрицается относительно предмета, его свойств, отношений или класса предметов. Таблица истинности - семантическая: таблица, с помощью которой определяются истинностные функции сложных высказываний. Тезис - мысль или положение, которое требуется доказать в споре. Фигура силлогизма - форма силлогизма, определяемая положением среднего термина в посылках. Формализация - метод исследования, связанный с использованием искусственного языка, способствующего тому, что системы логических рассуждений трансформируются в формализованные исчисления, состоящие из формул.
|