古希臘羅馬時期創立，經過歐洲中世紀、文藝復興時期的發展，到現代時期在歐美所形成的邏輯科學。見邏輯。