Two ancient (and modern) motivations for ascribing exhaustively definite foreknowledge to God: a historic overview and critical assessment (2010), p. 55
by Boyd, Gregory A.

Copyright according to our policy

Logic

Aristotelian family

Classical Sigma-2

Boolean complexity

3

Number of labels per vertex (at most)

1

Uniqueness of the vertices up to logical equivalence

Yes

Errors in the diagram

No

Geometry

Shape

Rectangle (irregular)

Colinearity range

0

Coplanarity range

0

Cospatiality range

0

Representation of contradiction

By central symmetry

Vertex description

Conceptual info

No

Mnemonic support (AEIO, purpurea ...)

No

Form

none

Label type

symbolic

,

philosophical theories

Symbolic field

logic

Contains partial formulas or symbols

No

Logical system

temporal logic

Edge description

Style

Diagram is colored

No

Diagram is embellished

No

Tags

subdiagram