14 февраля, сб, 15:30

 

Философское кафе

 

 

Маргарита Ниязова «Семантика возможных миров»

 

 

Рассматривается логика предикатов

 

Логика предикатов .- центральный раздел логики, в котором изучается субъектно-предикатная структура высказываний и истинностные взаимосвязи между ними.

 

Ква́нтор — общее название для логических операций, ограничивающих область истинности какого-либо предиката и создающих высказывание. Чаще всего упоминают:

 

Квантор всеобщности (читается: «для любого…», «для каждого…», «для всех…» или «каждый…», «любой…», «все…»).

 

Квантор существования (читается: «существует…» или «найдется…»).

 

В математической логике приписывание квантора к формуле называется связыванием или квантификацией.

 

 

Вход - свободный.