Ushbu taqdimot til va mantiqiy strukturani tahlil qilish, semiotikaning nazariy asoslari, belgilar va belgilar tizimlari kabi mavzularni o'z ichiga oladi. Tilshunoslik va matematik mantiqqa oid bu sohada gap tuzilmalari, sintaktik va semantik aloqalar, tilning mantiqiy qoidalari o'rganiladi