| |
| |
| Author's Preface | |
| |
| |
| Translator's Preface | |
| |
| |
| Introduction | |
| |
| |
| |
| Being: Multiple and Void. Plato/Cantor | |
| |
| |
| |
| The One and the Multiple: a priori conditions of any possible ontology | |
| |
| |
| |
| Plato | |
| |
| |
| |
| Theory of the Pure Multiple: paradoxes and critical decision | |
| |
| |
| Technical Note: the conventions of writing | |
| |
| |
| |
| The Void: Proper name of being | |
| |
| |
| |
| The Mark [emptyset] | |
| |
| |
| |
| The same and the other: the axiom of extensionality | |
| |
| |
| |
| The operations under condition: axioms of the powerset, of union, of separation and of replacement | |
| |
| |
| |
| The void, subtractive suture to being | |
| |
| |
| |
| Aristotle | |
| |
| |
| |
| Being: Excess, State of the Situation, One/Multiple, Whole/Parts, or [Element]/[subset]? | |
| |
| |
| |
| The Point of Excess | |
| |
| |
| |
| Belonging and inclusion | |
| |
| |
| |
| The theorem of the point of excess | |
| |
| |
| |
| The void and the excess | |
| |
| |
| |
| One, count-as-one, unicity, and forming-into-one | |
| |
| |
| |
| The State, or Metastructure, and the Typology of Being (normality, singularity, excrescence) | |
| |
| |
| |
| The State of the Historico-social Situation | |
| |
| |
| |
| Spinoza | |
| |
| |
| |
| Being: Nature and Infinity. Heidegger/Galileo | |
| |
| |
| |
| Nature: Poem or matheme? | |
| |
| |
| |
| The Ontological Schema of Natural Multiples and the Non-existence of Nature | |
| |
| |
| |
| The concept of normality: transitive sets | |
| |
| |
| |
| Natural multiples: ordinals | |
| |
| |
| |
| The play of presentation in natural multiples or ordinals | |
| |
| |
| |
| Ultimate natural element (unique atom) | |
| |
| |
| |
| An ordinal is the number of that of which it is the name | |
| |
| |
| |
| Nature does not exist | |
| |
| |
| |
| Infinity: the other, the rule and the Other | |
| |
| |
| |
| The Ontological Decision: 'There is some infinity in natural multiples' | |
| |
| |
| |
| Point of being and operator of passage | |
| |
| |
| |
| Succession and limit | |
| |
| |
| |
| The second existential seal | |
| |
| |
| |
| Infinity finally defined | |
| |
| |
| |
| The finite, in second place | |
| |
| |
| |
| Hegel | |
| |
| |
| |
| The Matheme of infinity revisited | |
| |
| |
| |
| How can an infinity be bad? | |
| |
| |
| |
| The return and the nomination | |
| |
| |
| |
| The arcana of quantity | |
| |
| |
| |
| Disjunction | |
| |
| |
| |
| The Event: History and Ultra-one | |
| |
| |
| |
| Evental Sites and Historical Situations | |
| |
| |
| |
| The Matheme of the Event | |
| |
| |
| |
| Being's Prohibition of the Event | |
| |
| |
| |
| The ontological schema of historicity and instability | |
| |
| |
| |
| The axiom of foundation | |
| |
| |
| |
| The axiom of foundation is a metaontological thesis of ontology | |
| |
| |
| |
| Nature and history | |
| |
| |
| |
| The event belongs to that-which-is-not-being-qua-being | |
| |
| |
| |
| Mallarme | |
| |
| |
| |
| The Event: Intervention and Fidelity. Pascal/Choice; Holderlin/Deduction | |
| |
| |
| |
| The Intervention: Illegal choice of a name for the event, logic of the two, temporal foundation | |
| |
| |
| |
| Pascal | |
| |
| |
| |
| The Form-multiple of Intervention: is there a being of choice? | |
| |
| |
| |
| Fidelity, Connection | |
| |
| |
| |
| Deduction as Operator of Ontological Fidelity | |
| |
| |
| |
| The formal concept of deduction | |
| |
| |
| |
| Reasoning via hypothesis | |
| |
| |
| |
| Reasoning via the absurd | |
| |
| |
| |
| Triple determination of deductive fidelity | |
| |
| |
| |
| Holderlin | |
| |
| |
| |
| Quantity and Knowledge. The Discernible (or Constructible): Leibniz/Godel | |
| |
| |
| |
| The Concept of Quantity and the Impasse of Ontology | |
| |
| |
| |
| The quantitative comparison of infinite sets | |
| |
| |
| |
| Natural quantitative correlate of a multiple: cardinality and cardinals | |
| |
| |
| |
| The problem of infinite cardinals | |
| |
| |
| |
| The state of a situation is quantitatively larger than the situation itself | |
| |
| |
| |
| First examination of Cantor's theorem: the measuring scale of infinite multiples, or the sequence of alephs | |
| |
| |
| |
| Second examination of Cantor's theorem: what measure for excess? | |
| |
| |
| |
| Complete errancy of the state of a situation: Easton's theorem | |
| |
| |
| |
| Ontological Destiny of Orientation in Thought | |
| |
| |
| |
| Constructivist Thought and the Knowledge of Being | |
| |
| |
| |
| The Folding of Being and the Sovereignty of Language | |
| |
| |
| |
| Construction of the concept of constructible set | |
| |
| |
| |
| The hypothesis of constructibility | |
| |
| |
| |
| Absoluteness | |
| |
| |
| |
| The absolute non-being of the event | |
| |
| |
| |
| The legalization of intervention | |
| |
| |
| |
| The normalization of excess | |
| |
| |
| |
| Scholarly ascesis and its limitation | |
| |
| |
| |
| Leibniz | |
| |
| |
| |
| The Generic: Indiscernible and Truth. The Event | |
| |
| |
| |
| |
| The Thought of the Generic and Being in Truth | |
| |
| |
| |
| Knowledge revisited | |
| |
| |
| |
| Enquiries | |
| |
| |
| |
| Truth and veridicity | |
| |
| |
| |
| The generic procedure | |
| |
| |
| |
| The generic is the being-multiple of a truth | |
| |
| |
| |
| Do truths exist? | |
| |
| |
| |
| Rousseau | |
| |
| |
| |
| The Matheme of the Indiscernible: P. J. Cohen's strategy | |
| |
| |
| |
| Fundamental quasi-complete situation | |
| |
| |
| |
| The conditions: material and sense | |
| |
| |
| |
| Correct subset (or part) of the set of conditions | |
| |
| |
| |
| Indiscernible or generic subset | |
| |
| |
| |
| The Existence of the Indiscernible: the power of names | |
| |
| |
| |
| In danger of inexistence | |
| |
| |
| |
| Ontological coup de theatre: the indiscernible exists | |
| |
| |
| |
| The nomination of the indiscernible | |
| |
| |
| |
| [female]-referent of a name and extension by the indiscernible | |
| |
| |
| |
| The fundamental situation is a part of any generic extension, and the indiscernible [female] is an element of any generic extension | |
| |
| |
| |
| Exploration of the generic extension | |
| |
| |
| |
| Intrinsic or in-situation indiscernibility | |
| |
| |
| |
| Forcing: Truth and the Subject. Beyond Lacan | |
| |
| |
| |
| Theory of the Subject | |
| |
| |
| |
| Subjectivization: intervention and operator of faithful connection | |
| |
| |
| |
| Chance, from which any truth is woven, is the matter of the subject | |
| |
| |
| |
| Subject and truth: indiscernibility and nomination | |
| |
| |
| |
| Veracity and truth from the standpoint of the faithful procedure: forcing | |
| |
| |
| |
| Subjective production: decision of an undecidable, disqualification, principle of inexistents | |
| |
| |
| |
| Forcing: from the indiscernible to the undecidable | |
| |
| |
| |
| The technique of forcing | |
| |
| |
| |
| A generic extension of a quasi-complete situation is also itself quasi-complete | |
| |
| |
| |
| Status of veridical statements within a generic extension S([female]): the undecidable | |
| |
| |
| |
| Errancy of excess (1) | |
| |
| |
| |
| Absenting and maintenance of intrinsic quantity | |
| |
| |
| |
| Errancy of excess (2) | |
| |
| |
| |
| From the indiscernible to the undecidable | |
| |
| |
| |
| Descartes/Lacan | |
| |
| |
| Appendixes | |
| |
| |
| |
| Principle of minimality for ordinals | |
| |
| |
| |
| A relation, or a function, is solely a pure multiple | |
| |
| |
| |
| Heterogeneity of the cardinals: regularity and singularity | |
| |
| |
| |
| Every ordinal is constructible | |
| |
| |
| |
| On absoluteness | |
| |
| |
| |
| Primitive signs of logic and recurrence on the length of formulas | |
| |
| |
| |
| Forcing of equality for names of the nominal rank 0 | |
| |
| |
| |
| Every generic extension of a quasi-complete situation is itself quasi-complete | |
| |
| |
| |
| Completion of the demonstration of p([omega subscript 0]) [greater than or equal] [delta] within a generic extension | |
| |
| |
| |
| Absenting of a cardinal [delta] of S in a generic extension | |
| |
| |
| |
| Necessary condition for a cardinal to be absented in a generic extension | |
| |
| |
| |
| Cardinality of the antichains of conditions | |
| |
| |
| Notes | |
| |
| |
| Dictionary | |