Logic

AND THE TRUTH OF THE WHOLE WILL DEPEND EXCLUSIVELY ON THE TRUTH OF THE PARTS.

What we say about the subject of the sentence

Aristotle calls the subject of the sentence.

ALL PROPERTY IS THEFT.
SO ALL THEFT IS PROPERTY.
THEREFORE THESE PEARLS ARE MINE.

Logic is quite simply the study of truth-preserving arguments.

Logic is quite simply the study of truth-preserving arguments.

The great advantage of the reductio method is that it allows us to tell if a statement is true, even if we do not know how to construct a proof for it. We can tell a statement is true by showing that its negation leads to a contradiction.