Математична логіка і філософія
Анотація
Логіка як наука – предмет майже такий же древній, як і математика. В античності та середньовіччі вона була невід’ємною частиною тривіуму (граматика, риторика, логіка та діалектика). Математичні предмети (арифметика, геометрія, астрономія і музика) складали наступний, більш просунутий, рівень, званий квадривіумом, (від слова «тривіум» походить один з улюблених виразів математиків «тривіальний»). Під предметами тривіума розумілися науки про те, як правильно писати, говорити і, відповідно, міркувати.
Посилання
Шкільняк С. С. Математична логіка. Приклади і задачі. Київ: ВПЦ Київ. унт. 2007. 144 с.
Гладунський В. Вища математика й елементи логіки: означення, формули, приклади: навчальний посібник; Міністерство освіти і науки України, ЛБІ, НБУ. Вид. 2-ге, доп. Львів: Афіша, 2008. 502 с.
Зубенко В. В., Шкільняк С. С. Основи математичної логіка: навчальний посібник. Київ: НУБіП України, 2020. 102 с.
