text: Соответственно, к формальной логике ими относились все те разделы логики, которые удалось формализовать в символических формах, разработанных в XIX—начале XX век математиками и логиками О. де Морганом, Дж.