Year:

  1. Some Logical Notations for Pragmatic Assertions.Massimiliano Carrara, Daniele Chiffi & Ahti-Veikko Pietarinen - 2020 - Logique Et Analyse 251:297 - 315.
    The pragmatic notion of assertion has an important inferential role in logic. There are also many notational forms to express assertions in logical systems. This paper reviews, compares and analyses languages with signs for assertions, including explicit signs such as Frege’s and Dalla Pozza’s logical systems and implicit signs with no specific sign for assertion, such as Peirce’s algebraic and graphical logics and the recent modification of the latter termed Assertive Graphs. We identify and discuss the main ‘points’ of these (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  23
    Multiple Readability in Principle and Practice: Existential Graphs and Complex Symbols.Dirk Schlimm & David Waszek - 2020 - Logique Et Analyse 251:231-260.
    Since Sun-Joo Shin's groundbreaking study (2002), Peirce's existential graphs have attracted much attention as a way of writing logic that seems profoundly different from our usual logical calculi. In particular, Shin argued that existential graphs enjoy a distinctive property that marks them out as "diagrammatic": they are "multiply readable," in the sense that there are several di erent, equally legitimate ways to translate one and the same graph into a standard logical language. Stenning (2000) and Bellucci and Pietarinen (2016) have (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  56
    DESCRIPTION, ESPACE LOGIQUE ET ENJEU DE L'IMPLICATION DE L'OUVERTURE AU LANGAGE POUR LA CONCEPTION DU JUGEMENT DE LA LOGIQUE DE PORT-ROYAL.Katarina Peixoto - 2020 - Logique Et Analyse 249 (249-250):79-95.
    In this study, I intend to show how and why, in the Port-Royal Logic, a singular term can reveal the nature of the logical judgment in the handbook. As I argue, the treatment given to one of thee singular terms, namely, the defined descriptions, in the terminology introduced by Russell, leads to an opening to langage that sounds unexpected and unjustified. Considering the privilege of thinking over langage and also that judgment is the mental act that defines logic, however, we (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4.  25
    Calculus CL - From Baroque Logic to Artificial Intelligence.Jens Lemanski - 2020 - Logique Et Analyse 249:111-129.
    In the year 1714, Johann Christian Lange published a baroque textbook about a logic machine, supposed to simulate human cognitive abilities such as perception, judgement, and reasoning. From today’s perspective, it can be argued that this blueprint is based on an inference engine applied to a strict ontology which serves as a knowledge base. In this paper, I will first introduce Lange’s approach in the period of baroque logic and then present a diagrammatic modernization of Lange’s principles, entitled Calculus CL. (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  1
    La temporalité antinomique de Lesniewski à la lumière du concept cartésien d'intuition.Valentina Luporini - 2020 - Logique Et Analyse 249:3-20.
    Y a-t-il un temps propre à la pratique logique? A-t-il sens de parler de la temporalité d’un système formel? Ces questionnements semblent acquérir une importance capitale lorsqu’on dirige notre attention à l’oeuvre logique et philosophique de Leśniewski. En effet, surtout dans l’article «La vérité est-elle éternelle ou éternelle et sempiternelle?» (1913), l’auteur dégage une conception du temps profondément antinomique: les symboles logiques, dont la vérité est éternelle, sont conçus comme des tokens qui se développent dans un espace et dans un (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
 Previous issues
  
Next issues