Switch to: References

Add citations

You must login to add citations.
  1. Logical theory revision through data underdetermination: an anti-exceptionalist exercise.Sanderson Molick - 2021 - Principia: An International Journal of Epistemology 25 (1).
    The anti-exceptionalist debate brought into play the problem of what are the relevant data for logical theories and how such data affects the validities accepted by a logical theory. In the present paper, I depart from Laudan's reticulated model of science to analyze one aspect of this problem, namely of the role of logical data within the process of revision of logical theories. For this, I argue that the ubiquitous nature of logical data is responsible for the proliferation of several (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation