kalkil (francuski calcul, od latinski calculus), račun, proračun, računanje. U logici se pod kalkilom razumijeva neki sustav za izvođenje temeljnih figura iz stanovitih polazišnih pozicija, prema određenim pravilima izvođenja, koja onda služe za uspostavljanje određenih tablica za izvođenje računskih operacija. R. Descartes i D. Hume smatrali su da se pravila kalkila mogu primijeniti i na pravila mišljenja, tj. polazili su od pretpostavke da se svaki zaključak može svesti na dvije operacije, adiciju i suptrakciju. Međutim, tek je G. W. Leibnizu pošlo za rukom da, pozivajući se na stariju kombinatoričku tradiciju »Ars Magna«, sigurnost čisto formalnoga računanja prenese na sadržajne načine zaključivanja u logici. G. Fregeu je prvi put uspjelo potpuno razjašnjenje kalkiziranja logičkoga zaključivanja, koje je htio primijeniti i na cjelokupnu sadržajnu matematiku, što je K. Gödel pokazao nemogućim.
