  In this work we develop a theory of motives for logarithmic schemes over
fields in the sense of Fontaine, Illusie, and Kato. Our construction is based
on the notion of finite log correspondences, the dividing Nisnevich topology on
log schemes, and the basic idea of parameterizing homotopies by
$\overline{\square}$, i.e. the projective line with respect to its
compactifying logarithmic structure at infinity. We show that Hodge cohomology
of log schemes is a $\overline{\square}$-invariant theory that is representable
in the category of logarithmic motives. Our category is closely related to
Voevodsky's category of motives and $\mathbb{A}^{1}$-invariant theories:
assuming resolution of singularities, we identify the latter with the full
subcategory comprised of $\mathbb{A}^{1}$-local objects in the category of
logarithmic motives. Fundamental properties such as
$\overline{\square}$-homotopy invariance, Mayer-Vietoris for coverings, the
analogs of the Gysin sequence and the Thom space isomorphism as well as a
blow-up formula and a projective bundle formula witness the robustness of the
setup.
