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