This thesis seeks to show that the recorded thought of William Kingdon Clifford in the third quarter of the 19th C was not only relevant to scientific advancement but removed absolute certainty from any posited model of reality. The period during which Clifford worked was a turning point in humanity's understanding of the world. The two most significant developments of his time that Clifford used in his speculative metaphysic were the possibility of non-Euclidean geometries being abstract as opposed to abstruse, and the evolutionary theory of Darwin. Clifford was foremost a geometer. However he had an insatiable desire to understand his world, which led to him becoming fluent in several languages, applying his geometrical skills to contemporary unsolved problems of physics, involving himself in speculative metaphysics. Clifford is recognised as being a highly gifted geometer. His thought was taken up by John Archibald Wheeler in the mid 20th C. Likewise Ernst Mach recognised the thought of Clifford. Although the thesis involves mathematics I make no claim to being a mathematician. It is Clifford's speculative metaphysic and how it relates to our understanding of consciousness and the nature of languages both formal and natural that is my particular interest. Because of this I explore the relationship between Clifford, Gottlob Frege and Ludwig Wittgenstein in most detail. However the understanding of the world must take into consideration the world in its entirety.

Представляется, что некоторые предложения естественного языка обладают такой семантикой, которая трабует, и притом несводимым образом, "многократного" примененип метода сверхоценок. В этой статье данный феномен исследуется на основе технического аппарата и идеологии теоретико-игровой семантики (ТИС). Обсужда ются также некоторые следствия-как с логической, так и с лингвистической точкн зрения.[It seems that some natural-language sentences naturally invite irreducibly multiple (that is, nested) application of the method of supervaluations. In this paper, the technical apparatus and ideology of Game-Theoretical Semantics is used to investigate this phenomenon and trace some of its implications, both on the logical and linguistic sides. The main claim of the paper is that the unavoidable nestedness of supervaluations in sufficiently complex semantic settings (mildly) endangers the original aim of introducing supervaluations, namely, preservation of classical logical truths in languages with truth-value gaps.]