Logický kalkul

Logický kalkul je kalkul, ktorého zložky sa prostredníctvom nejakej interpretácie logicky
vykladajú. Takáto interpretácia spočíva v tom, že určité znaky kalkulu sa vykladajú ako logické konštanty, iné ako individuové premenné a predikátové premenné alebo ako výrokové premenné, či premenné pravdivostných hodnôt, a určité postupnosti znakov kalkulu ako logické výrazy alebo výroky atď.

Ak sú oblasti logiky ako výroková logika, predikátová logika prvého stupňa atď. tak exaktne budované, že spĺňajú podmienky kladené na nejaký kalkul, tak hovoríme o výrokovom kalkule, predikátovom kalkule prvého stupňa atď. Výstavba logických odborov vo forme kalkulov je nevyhnutne potrebná pre
skúmanie ich základov (napr. s ohľadom na logickú nezávislosť, logickú úplnosť alebo logickú bezrozpornosť).

 Externé odkazy 


Kategória:Logika