This library is built in the open.
If you spot an error, have a suggestion, or just want to say hello — we’d love to hear from you.

A large logical tree diagram at the top of the page illustrating the square of opposition and the logic of indefinite terms. The diagram is divided into two main branches: "man" on the left and "not-man" on the right. Each side further branches into four propositional forms: "is just," "is not just," "not-just is," and "not-just is not." Connecting lines and annotations between the branches indicate logical relations such as contradiction and subalternation.
It happens according to the underlying assumptions of the negation?
A second, smaller logical diagram below the first, also structured as a branching tree, further refining the divisions of categorical propositions and their negations.
Regarding? the opposites? ...?
The contradiction according to negation is not? ...? syllogistikē syllogistic/relating to syllogism ...?
I mean ...? in the katholou universal ...? universal ...?
upon? ...? kataphasis affirmation ...? apophasis negation ...? protasis premise
...? syllogismos syllogism ...? through? ...? categoricos categorical ...?
...? in? these? ...? ...? logos discourse/reason ...? alētheia truth ...?
Institutional library stamp at the bottom center of the page, circular with an inner emblem.