Les Quinque Viae (Cinq Voies) constituent la démonstration systématique de Thomas d'Aquin de l'existence de Dieu à travers cinq arguments distincts fondés sur la raison naturelle. Chaque voie commence par une observation empirique du monde et procède par raisonnement causal pour conclure que Dieu existe comme principe explicatif ultime. Les cinq arguments sont : (1) du mouvement au Premier Moteur immobile, (2) de la causalité efficiente à la Cause Première, (3) de la contingence à l'Être Nécessaire, (4) des degrés de perfection à l'Être Maximal, et (5) de la téléologie au Concepteur Intelligent. Ces arguments prétendent établir l'existence de Dieu sans recours à la révélation, opérant purement dans le domaine du raisonnement philosophique accessible à tous les êtres rationnels.
Thomas d'Aquin (1225-1274) a présenté les Quinque Viae dans sa Somme Théologique (I, q.2, a.3), synthétisant la philosophie aristotélicienne avec la théologie chrétienne. Tout en s'appuyant sur des penseurs antérieurs—particulièrement la Physique et la Métaphysique d'Aristote pour les deux premières voies, et la Métaphysique du Shifā' d'Avicenne pour la troisième—Thomas d'Aquin a donné à ces arguments leur formulation classique. La tradition fut poursuivie par des commentateurs comme Jean Capreolus (1380-1444) dans ses Defensiones, Cajetan (1469-1534) dans son commentaire sur la Somme, et Jean de Saint-Thomas (1589-1644) dans son Cursus Philosophicus. Au vingtième siècle, les néo-thomistes comme Étienne Gilson (Le Thomisme, 1956) et Jacques Maritain (Approches de Dieu, 1954) ont défendu des versions actualisées, tandis qu'Edward Feser (Aquinas, 2009) a soutenu leur pertinence contemporaine.
Les critiques ont soulevé des objections substantielles contre chaque voie. David Hume (Dialogues sur la religion naturelle, 1779) a argumenté que les principes causaux valides à l'intérieur de l'univers ne peuvent être étendus à l'univers dans son ensemble. Emmanuel Kant (Critique de la raison pure, 1781) a soutenu que les arguments appliquent illégitimement des catégories de l'expérience au-delà de l'expérience possible. Bertrand Russell a déclaré fameusement l'univers un « fait brut » ne nécessitant aucune explication. Les philosophes contemporains comme J.L. Mackie (The Miracle of Theism, 1982) et Graham Oppy (Arguing About Gods, 2006) contestent l'inférence des êtres contingents à un être nécessaire. Les défenseurs répondent que ces objections mécomprennent le cadre métaphysique : les arguments concernent l'acte et la puissance, non les séquences temporelles ; ils démontrent la nécessité métaphysique et non logique ; et ils établissent des attributs par théologie négative qui évitent l'anthropomorphisme.
Les Quinque Viae diffèrent des autres formulations de théologie naturelle par leur systématicité et leur rigueur métaphysique. Contrairement à la tradition du Livre de la Nature, qui privilégie la lecture contemplative de la création, les Cinq Voies emploient un raisonnement démonstratif strict. Contrairement à la Révélation Générale, qui concerne ce que tous les humains peuvent connaître de Dieu par la création et la conscience, les Quinque Viae se concentrent spécifiquement sur les preuves d'existence. Contrairement à la Physico-théologie, qui émergea dans la science moderne pour argumenter à partir de la mécanique newtonienne, les arguments d'Aquin reposent sur des principes métaphysiques plutôt qu'empiriques qui revendiquent l'indépendance vis-à-vis du changement scientifique.