kalkyl (franska calcul, av calculer ’räkna’, av senlat. caʹlculo ’räkna (med småstenar)’, av latin caʹlculus ’räkning’, egentligen: ’liten sten, använd vid räkneoperationer’, diminutivbildning till calx ’kalksten’), logisk kalkyl, logistisk kalkyl, inom filosofi alternativ benämning på formellt system.