Без заголовка

Конечно, есть много разных направлений про "исчисление языков". Так, связью знаков и предметов мира занимается логика, а вот линеаризацией "структуры" в "цепочку слов" занимается лингвистика, разнопарадигмальностью выражений занимается computer science. Языки ведь многогранны, разные науки занимаются в них разным. А обсуждаемый материал нужно все-таки знать ;)