Математична логіка і філософія

Abstrakt

Логіка як наука – предмет майже такий же древній, як і математика. В античності та середньовіччі вона була невід’ємною частиною тривіуму (граматика, риторика, логіка та діалектика). Математичні предмети (арифметика, геометрія, астрономія і музика) складали наступний, більш просунутий, рівень, званий квадривіумом, (від слова «тривіум» походить один з улюблених виразів математиків «тривіальний»). Під предметами тривіума розумілися науки про те, як правильно писати, говорити і, відповідно, міркувати.