Логика

ИМПЛИКАЦИЯ (лат. implico — тесно связываю) — логическая операция, образующая сложное высказывание из двух высказываний посредством логической связки, соответствующей союзу «если... то». В импликативном высказывании различают антецедент — высказывание, которому предпослано слово «если», и консеквент — высказывание, следующее за словом «то».

ИЗОМОРФИЗМ И ГОМОМОРФИЗМ (греч. isos — одинаковый, homoios — подобный и morphe — форма) — понятия, характеризующие соответствие между структурами объектов. Две системы, рассматриваемые отвлеченно от природы составляющих их элементов, являются изоморфными друг другу, если каждому элементу первой системы соответствует лишь один элемент второй и каждой связи в одной системе соответствует связь в другой, и обратно. Такое взаимооднозначное соответствие называется изоморфизмом.

ЗНАЧЕНИЕ И СМЫСЛ. 1. 3. предмета есть та объективная его функция, которую он выполняет в деятельности людей, в процессе их общения. Т. к. исторические способы предметной деятельности есть одновременно и способы общения людей, то все разнообразные предметы деятельности (и — соответственно — познания) выполняют роль общезначимого средства общения и тем самым обладают 3. Следовательно, 3.

ВЫСКАЗЫВАНИЕ — в современной формальной логике предложение определенного языка, рассматриваемое в связи с оценками его истинности (истинно, ложно) или модальности (вероятно, возможно, невозможно, необходимо и др.). Высказывание, включающее в себя другие высказывания, называется сложным; в противном случае — простым. Всякое высказывание выражает некоторую мысль, являющуюся его содержанием и называется смыслом высказывания. Та или иная истинностная оценка высказывания называется его истинностным значением. Объект, к которому относится высказывание, называется предметом высказывания.

ВИД И РОД (в логике) — категории, выражающие отношения между классами (в частности, объемами понятий). Предметы класса Б составляют вид предметов класса А, если они обладают всеми свойствами, общими для предметов А, и наряду с этим имеют некоторые специфические (отличающие их от всех других предметов А) свойства; предметы А в таком случае составляют род для предметов Б. Понятия, обобщающие предметы классов А и Б, называют относительно друг друга соответственно родовым и видовым.

ВЕРОЯТНОСТНАЯ ЛОГИКА — логика, предметом которой являются вероятностные высказывания, независимо от того, рассматривается ли вероятность как свойство отдельного высказывания (тогда вероятность приписывается ему в качестве промежуточного значения между истиной и ложью) или как оценка отношения пары обычных двузначных высказываний. В отличие от теории вероятностей в В. л. обозначение вероятности точным числом не является гл. требованием. Строящийся на этом фундаменте логический аппарат применяется для приближенной оценки гипотез не путем их соотнесения с действительностью, а через др.

НЕПРОТИВОРЕЧИВОСТИ (ПРИНЦИП) (CONTRADICTION, PRINCIPE DE NON). Принцип непротиворечивости гласит: два противоположных высказывания не могут быть одновременно истинными. Конъюнкция «p и не-p» есть противоречие, следовательно, она необходимо ложна. Отсюда следует, что истинности одного высказывания достаточно для доказательства ложности противоречащего ему второго высказывания. Можно добавить: и наоборот. Именно это и провозглашает принцип исключенного третьего (p или не-p;: из двух противоречивых высказываний оба не могут быть ложными).

МОНЕМА (MONEME). Минимальная значащая единица. Например, слово «мир» содержит всего одну монему (если мы попытаемся его расчленить, слово потеряет всякий смысл), а слово «монизм» — две монемы: «мон» (ср.: «мон-изм» и «дуал-изм») и «изм» (ср.: различие, например, «мон-архия»). В предложении «Вы сели на корабль» — пять монем. Монема есть элемент первичного членения (Членение двойное), как фонема — элемент вторичного членения.

Конт-Спонвиль Андре. Философский словарь / Пер. с фр. Е.В. Головиной. – М., 2012, с. 323.

ЛОГИКА (LOGIQUE). Логику можно было бы назвать наукой о разуме (logos), если бы такая наука была возможна. За неимением таковой мы называем логикой науку о рассуждениях, в частности о формальных условиях надежности рассуждений. Логика в наше время все больше математизируется, что не освобождает философов от необходимости ее изучения.

Конт-Спонвиль Андре. Философский словарь / Пер. с фр. Е.В. Головиной. – М., 2012, с. 277.

КОНЪЮНКЦИЯ (CONJONCTION). Соединение или связь. В логике конъюнкцией называют высказывание, состоящее из двух или более высказываний, связанных соединительным союзом «и»: «р и q» — пример конъюнкции. Конъюнкция истинна только при том условии, что истинны все составляющие ее высказывания.

Конт-Спонвиль Андре. Философский словарь / Пер. с фр. Е.В. Головиной. – М., 2012, с. 261.