Vad är logiken?

Logiken är vetenskapen om rätt tänkande.

En klassisk definition är nya och nödvändiga resonemang. Det är nya eftersom du inte visste objektet innan, och nödvändigt eftersom en korrekt formulerade syllogismen måste vara sant om baserna är sanna.

Denna syllogism är ett välkänt exempel:

Alla människor är dödliga.
Sokrates är en människa.

Därför, Sokrates är dödlig.

Vi tog två axiom och gjorde en ny och nödvändig slutsats.