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

Лингвистика и математика - две разные дисциплины, но они имеют много общего и могут взаимодействовать друг с другом. В этой статье мы рассмотрим, зачем лингвисту изучать математику и приведем несколько примеров, как математика может помочь в лингвистических исследованиях. 0. Формализация языка Математика предоставляет лингвистам инструменты для формализации языковых структур и правил. Это позволяет создавать точные описания языковых явлений, которые можно использовать для создания компьютерных моделей языковых процессов...