Иногда встречаются утверждения, что формальная логика сводится к построению грамматически «корректного» языка, не допускающего противоречивых высказываний. Правда ли это?
И, соответственно, исследования в области логики для языков программирования сводятся к нахождению грамматики, не допускающей противоречий.
Это не соответствует понятию логики вообще, которая пляшет не от языка, а от смысла высказываний. Высказывания логики строятся на естественном языке, который грамматически допускает любые, в том числе и противоречивые высказывания.
Каково соотношение межуд логикой и формальной логикой? Что общего между ними?
