konieczność logiczna

konieczność logiczna,

log. własność zdań tradycyjnie utożsamiana z analitycznością (R. Carnap) lub też uważana za cechę wspólną zdań analitycznych oraz tzw. zdań syntetycznych a priori;

współcz. badania nad koniecznością logiczną rozwinęły się w związku z powstaniem systemów logik wielowartościowych i ze wzrostem zainteresowania formami rozumowania normatywnego (tj. zawierającego wyrażenia „wolno”, „należy” itp.); w rachunku zdań konieczność logiczna wyraża się za pomocą funktora „jest konieczne” (symbolicznie: □) lub innych jego odpowiedników (np. „musi”).