Из изложенного вытекает вывод, что все отрицания значений имен имеют логическую форму. А ввиду обязательного наличия какого-либо титула отрицания в их составе эти логические формы можно обоснованно выделить как «логические формы отрицаний».

Единство логической формы и смысла отрицаний имен имеет ту особенность, что такие имена в имени объекта внимания выражают его наличие (или присутствие, существование), а в сочетании с титулом отрицания, то есть в целом, выражают отсутствие названного объекта (или несуществование, утрату). Таким образом имена– отрицания являют противоречия: существования><несуществования; присутствия><отсутствия; наличия><утраты.

Представленные выше особенности отрицаний (имен) являют закономерности их логических форм и их использования в речи и речевом мышлении. Для них, как и для всех логических структур, связываемых с языковой (словесной) конструкцией, обязательно условие единства смысла сложного имени и его формы, являемой в речи совокупностью логической структуры и языковой конструкции.

Уже само наличие у отрицаний имен гармонизируемой логической структуры и языковой конструкции свидетельствуют о том, что их надлежит выделять из общего числа сложных имен в самостоятельный вид логических форм – отрицания. Их самостоятельная функциональность не оставляет сомнений в правильности приведенного вывода.

Титулы отрицаний, то есть принятые в естественном языке условности выражения отрицаний значений имен, функционально различны. Одни из них, например, «нет», могут служить в качестве самостоятельных именных высказываний и образовывать, кроме того, сочетания с другими именами, выражающие отрицания значений этих имен. Другие, такие как «не» и «ни» служат созданию сочетаний с другими именами для выражения отрицаний. Иные, как «а» и «анти», как правило, используются для образования цельных сложных слов с новым значением и смыслом, что во многих случаях выражает новое имя и устраняет функцию отрицания, если не противопоставляется антиподам. («Этот антигерой – один из основных персонажей романа». «В данной научной работе научное объяснение вынуждено противостоять распространенному антинаучному истолкованию».)

Именное высказывание со значением отрицания: «нет», – используется в контексте. В иных случаях оно служит для создания сочетаний имен со значением отрицания: «нет средств», «нет у нас механика», «нет времени», – и подобных.

В символическом виде их логическая структура может быть представлена в виде формулы «-S».

Таким же образом образующие отрицания сочетания имен с титулами отрицаний (не, ни и др.) могут быть представлены символически. В зависимости от имеющейся задачи сочетания имен, образующие отрицание при наличии в них опосредованной логической связи можно представить символически по-разному. Например, сложное имя отрицания «не с ним», можно показать как «-S» или «-N» и «-Lc», в составе утверждения.

Отрицания в виде сочетаний имен могут служить именными высказываниями или входить в их состав либо в состав утверждений и других видов высказываний в качестве их компонентов. Во всех этих вариантах логическая форма отрицаний выражает отрицание наличия объекта, который назван, и реализует это через отрицание его значения. Эта логическая форма является только лишь сочетанием смыслов имени титула отрицания и имени объекта, в котором отрицается значение имени. Как это показано ранее, усложнение этого сочетания имеет место только при опосредованной логической связи.

Рассмотрим следующее утверждение:

«У Джона в этих условиях нет никакой возможности