В процессе обсуждения первой части статьи выявилась необходимость дополнительно прояснить семантику кванторов.

Формулу

∀x P(x)

можно понимать как бесконечный аналог логического произведения

P(x₁) ∧ P(x₂) ∧ … ∧ P(x_n)

Изложить основы логики предикатов на нескольких страницах. Возможно ли это? Думаю, нет. Но я попробую. Я встречал лишь одно подобное изложение. Это §25 в книге Юзефа Бохеньского «Современная европейская философия» (1947, есть русский перевод). Там изложение логики предикатов занимает 8,5 страниц. Очень рекомендую.

Остается один вопрос – зачем вообще это нужно. Я приведу слова Бохеньского, с которыми я полностью согласен:

Силлогистика (др.-греч.  pol_nick, 27 Ноябрь, 2023 - 08:17