Switch to: References

Add citations

You must login to add citations.
  1. Is Classical Mathematics Appropriate for Theory of Computation?Farzad Didehvar - manuscript
    Throughout this paper, we are trying to show how and why our Mathematical frame-work seems inappropriate to solve problems in Theory of Computation. More exactly, the concept of turning back in time in paradoxes causes inconsistency in modeling of the concept of Time in some semantic situations. As we see in the first chapter, by introducing a version of “Unexpected Hanging Paradox”,first we attempt to open a new explanation for some paradoxes. In the second step, by applying this paradox, it (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Cretan Square.Jean-Yves Beziau & Jens Lemanski - 2020 - Logica Universalis 14 (1):1-5.
    This special issue is related to the 6th World Congress on the Square of Opposition which took place at the Orthodox Academy of Crete in November 2018. In this introductory paper we explain the context of the event and the topics discussed.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Is the Principle of Contradiction a Consequence of $$x^{2}=x$$ x 2 = x?Jean-Yves Beziau - 2018 - Logica Universalis 12 (1-2):55-81.
    According to Boole it is possible to deduce the principle of contradiction from what he calls the fundamental law of thought and expresses as \. We examine in which framework this makes sense and up to which point it depends on notation. This leads us to make various comments on the history and philosophy of modern logic.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Structures of Opposition and Comparisons: Boolean and Gradual Cases.Didier Dubois, Henri Prade & Agnès Rico - 2020 - Logica Universalis 14 (1):115-149.
    This paper first investigates logical characterizations of different structures of opposition that extend the square of opposition in a way or in another. Blanché’s hexagon of opposition is based on three disjoint sets. There are at least two meaningful cubes of opposition, proposed respectively by two of the authors and by Moretti, and pioneered by philosophers such as J. N. Keynes, W. E. Johnson, for the former, and H. Reichenbach for the latter. These cubes exhibit four and six squares of (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Analogy between concepts.N. Barbot, L. Miclet & H. Prade - 2019 - Artificial Intelligence 275 (C):487-539.
    Download  
     
    Export citation  
     
    Bookmark