kalkul
kalkul [lat.], log. formalizovaná soustava - systém pravidel operací se znaky. Metoda formalizace, tj. zanedbání sémantického významu příslušných výrazů, se vyhýbá nevýhodám běžného jazyka a rozšiřuje možnosti obsahového myšleni při řešeni problémů dokazování daného kalkulu. Podstatou k. je to, že prvkům studovaného obsahu jsou přiřazovány objekty, s nimiž lze zacházet pouze podle kalkulem stanovených pravidel.
