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