Логика

ИНДИВИД (лат. individuum — неделимый) — 1. Единичный, отдельный объект, выделенный из определенного вида, рода или класса объектов. В современной логике — объект вне или внутри сознания, обладающий теми или иными качествами и находящийся в отношениях с др. объектами, но не рассматриваемый со стороны этих качеств и отношений 2. Единичный представитель человеческого рода, отдельно взятый человек безотносительно к его реальным антропологическим и социальным особенностям. Родившийся ребенок — индивид, но он еще не есть человеческая индивидуальность.

ИМЯ (в логике) — выражение языка, обозначающее некоторый предмет, понимаемый в самом широком смысле — как все, что мы можем назвать, а не только как материальный объект. В логической семантике обычно рассматривается так называемый «семантический треугольник»: 1) имя; 2) предмет, обозначаемый им (денотат, или десигнат); 3) смысл имени (Значение и смысл). В отличие от обычного словоупотребления современная логика рассматривает в качестве имен не только термины (слова), но и предложения. Денотатом термина считается обозначаемый им объект, смыслом термина — выражаемое им свойство. Денотатом предложения считается его значение истинности (т. е. истина или ложь), смыслом — выражаемое им суждение.

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

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

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

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

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

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

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

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

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