Switch to: References

Citations of:

Consequences of a Diagrammatic Representation of Paul Cohen's Forcing Technique Based on CS Peirce's Existential Graphs

In W. Carnielli L. Magnani (ed.), Model-Based Reasoning in Science and Technology. pp. 429--443 (2010)

Add citations

You must login to add citations.
  1. Gamma graph calculi for modal logics.Minghui Ma & Ahti-Veikko Pietarinen - 2018 - Synthese 195 (8):3621-3650.
    We describe Peirce’s 1903 system of modal gamma graphs, its transformation rules of inference, and the interpretation of the broken-cut modal operator. We show that Peirce proposed the normality rule in his gamma system. We then show how various normal modal logics arise from Peirce’s assumptions concerning the broken-cut notation. By developing an algebraic semantics we establish the completeness of fifteen modal logics of gamma graphs. We show that, besides logical necessity and possibility, Peirce proposed an epistemic interpretation of the (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Generic reasoning: A programmatic sketch.Federico L. G. Faroldi - forthcoming - Logic Journal of the IGPL.
    A single significant instance may support general conclusions, with possible exceptions being tolerated. This is the case in practical human reasoning (e.g. moral and legal normativity: general rules tolerating exceptions), in theoretical human reasoning engaging with external reality (e.g. empirical and social sciences: the use of case studies and model organisms) and in abstract domains (possibly mind-unrelated, e.g. pure mathematics: the use of arbitrary objects). While this has been recognized in modern times, such a process is not captured by current (...)
    Download  
     
    Export citation  
     
    Bookmark