suggest that the eight main propositions i suggest that there are eight and not seven main propositions in the tractatus the eighth is at paragraph which concerns the freedom of the will 'the freedom of the will consists in the impossibility of knowing actions that still lie in the future ' alex smith