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