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