Существенный Признак

— мысль, выражаемая повествовательным предло­жением и являющаяся истинной или ложной. С. Лишено психоло­гического оттенка, свойственного утверждению. Хотя С. Находит свое выражение только в языке, оно, в отличие от предложения, не зависит от конкретного языка. Сообщение о том, что некоторое С. Высказывалось в определенной ситуации, не нуждается в указа­нии, какой при этом использовался язык. Одно и то же С. Может быть выражено различными предложениями одного и того же языка или разных языков. Та..

(от лат. Suppositio — подкладывание, подмена) — термин, использовавшийся средневековыми логиками для обозна­чения разных употреблений термина. В обычном языке один и тот же термин может относиться к предметам различных типов. Во-первых, он может использоваться для обозначения отдельного предмета соответствующего класса. Это употребление термина в его собственном, или обычном, смысле называется формальной (или естественной) С. Напр., слово «че­ловек» обычно является общим именем множества людей. ..

— наличие хотя бы одного общего признака у изуча­емых предметов. Отношение сходства двух предметов в достаточно определенных признаках обладает свойствами симметричности (см. Отношение симметричное), транзитивности (см. Отношение тран­зитивное) и рефлексивности (см. Отношение рефлексивное). С. Есть отношение, родственное отношению равенства.. ..

- таблица, с помощью которой уста­навливается истинностное значение сложного высказывания при данных значениях входящих в него простых высказываний. В клас­сической математической логике предполагается, что каждое про­стое (не содержащее логических связок) высказывание является либо истинным, либо ложным, но не тем и другим одновременно. Нам не известно, истинно или ложно данное простое высказыва­ние, чтобы установить это, потребовалось бы обратиться к фактам действительности, но логика этого не..