Ideas from 'Briefings on Existence' by Alain Badiou [1998], by Theme Structure
		
		[found in 'Briefings on Existence' by Badiou,Alain (ed/tr Madarsz,Norman)  [SUNY 2006,0-7914-6804-6]].
		
		green numbers give full details    |    
		 back to texts
		
		
				    |    
	 expand these ideas
	 
   
		1. Philosophy / C. History of Philosophy / 5. Modern Philosophy / c. Modern philosophy mid-period
		
	
	
		| 12330 | In ontology, logic dominated language, until logic was mathematized | 
		
		
		
		
				 
				
      		
			
		
			
		
		
		
		
	    
				
					1. Philosophy / D. Nature of Philosophy / 8. Humour
	            
            	       
	
	
		| 12318 | The female body, when taken in its entirety, is the Phallus itself | 
		
			
				 
				
      		
			
		
			
			
			
				
					1. Philosophy / E. Nature of Metaphysics / 7. Against Metaphysics
	            
            	       
	
	
		| 12325 | Philosophy has been relieved of physics, cosmology, politics, and now must give up ontology | 
		
			
				 
				
      		
			
		
			
			
			
				
					2. Reason / A. Nature of Reason / 4. Aims of Reason
	            
            	       
	
	
		| 12324 | Consensus is the enemy of thought | 
		
			
				 
				
      		
			
		
			
			
			
				
					4. Formal Logic / F. Set Theory ST / 2. Mechanics of Set Theory / b. Terminology of ST
	            
            	       
	
	
		| 12337 | There is 'transivity' iff membership ∈ also means inclusion ⊆ | 
		
			
				 
				
      		
			
		
			
			
			
				
					4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
	            
            	       
	
	
		| 12321 | The axiom of choice must accept an indeterminate, indefinable, unconstructible set | 
		
			
				 
				
      		
			
		
			
			
			
				
					5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
	            
            	       
	
	
		| 12342 | Topos theory explains the plurality of possible logics | 
		
			
				 
				
      		
			
		
			
			
			
				
					5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic
	            
            	       
	
	
		| 12341 | Logic is a mathematical account of a universe of relations | 
		
			
				 
				
      		
			
		
			
			
			
				
					6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / a. Numbers
	            
            	       
	
	
		| 12334 | There is no single unified definition of number | 
		
			
				 
				
      		
			
		
			
			
			       
	
	
		| 12335 | Numbers are for measuring and for calculating (and the two must be consistent) | 
		
			
				 
				
      		
			
		
			
			
			
				
					6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / b. Types of number
	            
            	       
	
	
		| 12333 | Each type of number has its own characteristic procedure of introduction | 
		
			
				 
				
      		
			
		
			
			
			       
	
	
		| 12322 | Must we accept numbers as existing when they no longer consist of units? | 
		
			
				 
				
      		
			
		
			
			
			
				
					6. Mathematics / A. Nature of Mathematics / 5. The Infinite / g. Continuum Hypothesis
	            
            	       
	
	
		| 12327 | The undecidability of the Continuum Hypothesis may have ruined or fragmented set theory | 
		
			
				 
				
      		
			
		
			
			
			
				
					6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / c. Nominalist structuralism
	            
            	       
	
	
		| 12329 | If mathematics is a logic of the possible, then questions of existence are not intrinsic to it | 
		
			
				 
				
      		
			
		
			
			
			
				
					6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
	            
            	       
	
	
		| 12328 | Platonists like axioms and decisions, Aristotelians like definitions, possibilities and logic | 
		
			
				 
				
      		
			
		
			
			
			
				
					6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
	            
            	       
	
	
		| 12331 | Logic is definitional, but real mathematics is axiomatic | 
		
			
				 
				
      		
			
		
			
			
			
				
					7. Existence / A. Nature of Existence / 3. Being / a. Nature of Being
	            
            	       
	
	
		| 12340 | There is no Being as a whole, because there is no set of all sets | 
		
			
				 
				
      		
			
		
			
			
			
				
					7. Existence / A. Nature of Existence / 3. Being / b. Being and existence
	            
            	       
	
	
		| 12323 | Existence is Being itself, but only as our thought decides it | 
		
			
				 
				
      		
			
		
			
			
			
				
					7. Existence / A. Nature of Existence / 3. Being / i. Deflating being
	            
            	       
	
	
		| 12326 | The primitive name of Being is the empty set; in a sense, only the empty set 'is' | 
		
			
				 
				
      		
			
		
			
			
			       
	
	
		| 12332 | The modern view of Being comes when we reject numbers as merely successions of One | 
		
			
				 
				
      		
			
		
			
			
			
				
					7. Existence / D. Theories of Reality / 1. Ontologies
	            
            	       
	
	
		| 12320 | Ontology is (and always has been) Cantorian mathematics | 
		
			
				 
				
      		
			
		
			
			
			
				
					25. Social Practice / E. Policies / 2. Religion in Society
	            
            	       
	
	
		| 12316 | For Enlightenment philosophers, God was no longer involved in politics | 
		
			
				 
				
      		
			
		
			
			
			
				
					29. Religion / D. Religious Issues / 1. Religious Commitment / a. Religious Belief
	            
            	       
	
	
		| 12317 | The God of religion results from an encounter, not from a proof |