5 found
Sort by:
  1. Brice Halimi (2014). Une nouvelle sémantique de l'itération modale. Philosophia Scientiæ 18:185-203.
    Dire d’une proposition que, nécessairement, elle est nécessairement vraie, c’est affirmer incomparablement plus que ce que l’on affirme en disant simplement qu’elle est nécessairement vraie. C’est en effet, intuitivement, affirmer qu’elle est nécessaire quelle que puisse être la donnée de tous les mondes possibles à l’aune de laquelle sa nécessité est établie. C’est faire de cette don­née elle-même un possible parmi d’autres, et faire ainsi référence à des mondes possibles d’ordre supérieur. Cet article vise à formaliser la notion de monde (...)
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  2. Brice Halimi (2012). Diagrams as Sketches. Synthese 186 (1):387-409.
    This article puts forward the notion of “evolving diagram” as an important case of mathematical diagram. An evolving diagram combines, through a dynamic graphical enrichment, the representation of an object and the representation of a piece of reasoning based on the representation of that object. Evolving diagrams can be illustrated in particular with category-theoretic diagrams (hereafter “diagrams*”) in the context of “sketch theory,” a branch of modern category theory. It is argued that sketch theory provides a diagrammatic* theory of diagrams*, (...)
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Andrew Arana & Brice Halimi (2011). L'infinité des nombres premiers : une étude de cas de la pureté des méthodes. Les Études Philosophiques 2 (2):193-213.
    Translate to English
    | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Brice Halimi (2011). Structures et généralité en théorie combinatoire : les mathématiques et les lettres. Les Études Philosophiques 2 (2):215-242.
    Translate to English
    | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Brice Halimi (2011). The Versatility of Universality inPrincipia Mathematica. History and Philosophy of Logic 32 (3):241-264.
    In this article, I examine the ramified-type theory set out in the first edition of Russell and Whitehead's Principia Mathematica. My starting point is the ?no loss of generality? problem: Russell, in the Introduction (Russell, B. and Whitehead, A. N. 1910. Principia Mathematica, Volume I, 1st ed., Cambridge: Cambridge University Press, pp. 53?54), says that one can account for all propositional functions using predicative variables only, that is, dismissing non-predicative variables. That claim is not self-evident at all, hence a problem. (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation