Albert Lautman (b. 1908–1944) was a philosopher of mathematics whose views on mathematical reality and on the philosophy of mathematics parted with the dominant tendencies of mathematical epistemology of the time. Lautman considered the role of philosophy, and of the philosopher, in relation to mathematics to be quite specific. He writes that: ‘in the development of mathematics, a reality is asserted that mathematical philosophy has as a function to recognize and describe’ (Lautman 2011, 87). He goes on to characterize this (...) reality as an ‘ideal reality’ that ‘governs’ the development of mathematics. The relation between mathematical problems as they arise in the historical development of mathematics and the solutions that are provided to these problems by mathematicians, in the form of new mathematical theories, definitions or axioms, are governed by a what Lautman characterises as a dialectics of mathematics. The aim of this paper is to give an account of this Lautmanian dialectic and of how it can be understood to govern the development of solutions to mathematical problems. (shrink)

In order to explain Wittgenstein’s account of the reality of completed infinity in mathematics, a brief overview of Cantor’s initial injection of the idea into set- theory, its trajectory and the philosophic implications he attributed to it will be presented. Subsequently, we will first expound Wittgenstein’s grammatical critique of the use of the term ‘infinity’ in common parlance and its conversion into a notion of an actually existing infinite ‘set’. Secondly, we will delve into Wittgenstein’s technical critique of the concept (...) of ‘denumerability’ as it is presented in set theory as well as his philosophic refutation of Cantor’s Diagonal Argument and the implications of such a refutation onto the problems of the Continuum Hypothesis and Cantor’s Theorem. Throughout, the discussion will be placed within the historical and philosophical framework of the Grundlagenkrise der Mathematik and Hilbert’s problems. (shrink)

This thesis explores the significance of Godel's Theorem for an understanding of law as rules, and of legal adjudication as rule-following. It argues that Godel's Theorem, read through Wittgenstein's understanding of rules and language as a contextual activity, and through Derrida's account of 'undecidability,' offers an alternative account of the relationship of judging to justice. Instead of providing support for the 'indeterminacy' claim, Godel's Theorem illuminates the predicament of undecidability that structures any interpretation and every legal decision, and which constitutes (...) the opening to justice. The first argument in this thesis examines Godel's proof, Wittgenstein's views on rules, and Derrida's undecidability, as manifestations of a common concern with the limits of what can be formalized. The meta-argument examines their misinterpretation and misappropriation within legal theory as a case study of just what they mean about meaning, context, and justice as necessarily co-implicated. (shrink)