14 февраля, сб, 15:30
Философское кафе
Маргарита Ниязова «Семантика возможных миров»
Рассматривается логика предикатов
Логика предикатов .- центральный раздел логики, в котором изучается субъектно-предикатная структура высказываний и истинностные взаимосвязи между ними.
Ква́нтор — общее название для логических операций, ограничивающих область истинности какого-либо предиката и создающих высказывание. Чаще всего упоминают:
Квантор всеобщности (читается: «для любого…», «для каждого…», «для всех…» или «каждый…», «любой…», «все…»).
Квантор существования (читается: «существует…» или «найдется…»).
В математической логике приписывание квантора к формуле называется связыванием или квантификацией.
Вход - свободный.