çağdaş mantık anlamı İng. modern logic
Boole ve Frege'yle başlayıp, White-head-Russell i!e önemli bir aşama yapıp biçimsel dizgelerin incelenmesine ağırlık veren mantık çalışmalarına günümüzde verilen ad. Krş.. matematiksel mantık, simgesel mantık, geleneksel mantık,