Логики и программы

Оказывается логики бывают разные. Впрочем, ничего удивительного – дети, женщины, программисты, … – у всех есть своя специфическая логика. На уроках математики в школе учат классической «Аристотелевой логике», которая является основой доказательных логических рассуждений. Но доказательное логическое рассуждение относится к обычному в некотором отношении так же, как стихи относятся к прозе. Речь пойдёт о возможных правилах построения логических рассуждений (правилах вывода). Программистам, кроме классической логики, на практике могут пригодиться конструктивные, релевантные, модальные и другие логики.