La logica y la matematica son esenciales para todas las ciencias por la capacidad de poder inferir con seguridad unas verdades a partir de otras establecidas; es lo que las hace recibir la denominación de ciencias exactas.
La función más importante de ambas es la creación de sistemas formales de inferencia y la concreción en la expresión de modelos científicos. La observación y colección de medidas, así como la creación de hipótesis y la predicción, requieren a menudo modelos lógico-matemáticos y el uso extensivo del cálculo; resulta especialmente relevante la creación de modelos científicos mediante el cálculo numérico, debido a las enormes posibilidades de cálculo que ofrecen los ordenadores.
Las ramas de la matemática más comúnmente empleadas en la ciencia incluyen el análisis matemático, el cálculo numérico y la estadística, aunque virtualmente toda rama de la matemática tiene aplicaciones en la ciencia, incluso áreas «puras» como la teoría de números y la topología.
El empirismo lógico llegó a postular que la ciencia venía a ser, en su unidad formal, una ciencia lógico-matemática capaz de interpretar adecuadamente la realidad del mundo. La utilidad de la matemática para describir el universo es un tema central de la filosofía de la matemática.