This paper investigates the profound connection between arithmetic cohomology theories and the rationality properties of special values of automorphic L-functions. The central thesis is that the algebraic and arithmetic nature of these special values, which are a priori complex-analytic objects, is deeply encoded in the structure of various cohomology groups associated with arithmetic varieties, such as Shimura varieties. We explore how the Langlands program provides a conjectural bridge between automorphic representations and Galois representations, whose arithmetic information is naturally captured by étale cohomology. The Eichler-Shimura isomorphism serves as a foundational example, relating the cohomology of modular curves to modular forms and thereby linking the special values of their L-functions to periods arising from cohomology. We then delve into more advanced frameworks, including motivic cohomology and the Bloch-Kato conjecture, which offer a precise conjectural formula relating special L-values to the orders of Selmer groups and other arithmetic invariants. This paper synthesizes these perspectives, arguing that arithmetic cohomology provides the essential geometric and algebraic language needed to understand the rationality, algebraicity, and ultimately the motivic nature of automorphic L-functions.