tokens: Была формализована логика первого порядка или логика предикатов , которая к настоящему моменту хорошо изучена Однако , как оказалось , для полноценного анализа философской аргументации , а тем более естественной , кто первый первый формально изложил понятие силлогизма и простейшей логической системы ? человеческой речи требуется применение Из чего состоит современная логика ?