ЛОГИКА (от греч. λόγος — слово, речь, разум, рассуждение) — наука о законах, формах и приемах интеллектуальной (мыслительной) познавательной деятельности. В настоящее время Л. представляет собой разветвленную и многоплановую науку, в составе которой можно выделить следующие основные разделы — теорию рассуждений, метаяогику и логическую методологию.
Читайте подробное определение понятия Логика.
ВИД И РОД (в логике) — категории, выражающие отношения между классами (в частности, объемами понятий). Предметы класса Б составляют вид предметов класса А, если они обладают всеми свойствами, общими для предметов А, и наряду с этим имеют некоторые специфические (отличающие их от всех других предметов А) свойства; предметы А в таком случае составляют род для предметов Б. Понятия, обобщающие предметы классов А и Б, называют относительно друг друга соответственно родовым и видовым.
ВЕРОЯТНОСТНАЯ ЛОГИКА — логика, предметом которой являются вероятностные высказывания, независимо от того, рассматривается ли вероятность как свойство отдельного высказывания (тогда вероятность приписывается ему в качестве промежуточного значения между истиной и ложью) или как оценка отношения пары обычных двузначных высказываний. В отличие от теории вероятностей в В. л. обозначение вероятности точным числом не является гл. требованием. Строящийся на этом фундаменте логический аппарат применяется для приближенной оценки гипотез не путем их соотнесения с действительностью, а через др.
НЕПРОТИВОРЕЧИВОСТИ (ПРИНЦИП) (CONTRADICTION, PRINCIPE DE NON). Принцип непротиворечивости гласит: два противоположных высказывания не могут быть одновременно истинными. Конъюнкция «p и не-p» есть противоречие, следовательно, она необходимо ложна. Отсюда следует, что истинности одного высказывания достаточно для доказательства ложности противоречащего ему второго высказывания. Можно добавить: и наоборот. Именно это и провозглашает принцип исключенного третьего (p или не-p;: из двух противоречивых высказываний оба не могут быть ложными).
МОНЕМА (MONEME). Минимальная значащая единица. Например, слово «мир» содержит всего одну монему (если мы попытаемся его расчленить, слово потеряет всякий смысл), а слово «монизм» — две монемы: «мон» (ср.: «мон-изм» и «дуал-изм») и «изм» (ср.: различие, например, «мон-архия»). В предложении «Вы сели на корабль» — пять монем. Монема есть элемент первичного членения (Членение двойное), как фонема — элемент вторичного членения.
Конт-Спонвиль Андре. Философский словарь / Пер. с фр. Е.В. Головиной. – М., 2012, с. 323.
ЛОГИКА (LOGIQUE). Логику можно было бы назвать наукой о разуме (logos), если бы такая наука была возможна. За неимением таковой мы называем логикой науку о рассуждениях, в частности о формальных условиях надежности рассуждений. Логика в наше время все больше математизируется, что не освобождает философов от необходимости ее изучения.
Конт-Спонвиль Андре. Философский словарь / Пер. с фр. Е.В. Головиной. – М., 2012, с. 277.
КОНЪЮНКЦИЯ (CONJONCTION). Соединение или связь. В логике конъюнкцией называют высказывание, состоящее из двух или более высказываний, связанных соединительным союзом «и»: «р и q» — пример конъюнкции. Конъюнкция истинна только при том условии, что истинны все составляющие ее высказывания.
Конт-Спонвиль Андре. Философский словарь / Пер. с фр. Е.В. Головиной. – М., 2012, с. 261.
КОНЕЧНОЕ (FINI). В философии не столько нечто законченное, сколько то, что может быть таковым, что не является бесконечным. «Неоконченная симфония» — столь же завершенное произведение, как и любое другое. И мы осуждены на конечность задолго до смерти.
Конт-Спонвиль Андре. Философский словарь / Пер. с фр. Е.В. Головиной. – М., 2012, с. 259.
КОНЕЧНАЯ (ПРИЧИНА) (FINALE, CAUSE -). Причина — это ответ на вопрос: «Почему?» Конечная причина предполагает ответ на этот же вопрос, но с указанием цели, поэтому конечную причину называют также конечной целью. Например, как поясняет Аристотель, конечной целью прогулки является здоровье, потому что на вопрос «Почему он гуляет?» можно на вполне законном основании ответить: «Чтобы быть здоровым» («Физика», книга II, глава 3). Таким образом, конечная цель есть то, ради чего что-то существует, то, без чего оно не могло бы существовать.
КОГЕРЕНТНОСТЬ (COHERENCE). Связность (co-haerens), но не столько физическая, сколько логическая. Когерентным называют то, что непротиворечиво. Нетрудно заметить, что когерентность не может служить доказательством, вернее, служит доказательством только самой себя. Связная и непротиворечивая ошибка еще не становится истиной.
Конт-Спонвиль Андре. Философский словарь / Пер. с фр. Е.В. Головиной. – М., 2012, с. 255.
КАТЕГОРИИ (CATEGORIES). Наиболее общие предикаты, которые в рамках суждения можно присвоить тому или иному субъекту: фундаментальные понятия, позволяющие осмыслить бытие (Аристотель) или структурировать мысль (Кант). Оба эти варианта применения категорий не столько противостоят друг другу, сколько дополняют друг друга: второе делает возможным первое, первое оправдывает второе. Если бы наша мысль осмысливала только себя самое, мы были бы Богом или сумасшедшими. И в том и в другом случае нам незачем было бы мыслить.