Deducibility and Paradoxes | Synapse