La lógica griega se desarrolló entre los siglos V y IV a. C. por filósofos como Sócrates, Platón y Aristóteles. Establecieron las bases de la lógica deductiva al introducir conceptos como las proposiciones, los argumentos válidos y los silogismos. Su trabajo sentó las bases para el desarrollo posterior de la lógica formal en la filosofía occidental.