Telic monism in logic is the thesis that there is one single philosophically primary goal to logic. A different way to put it is that there is only one canonical application to logic. This thesis is widely present—implicitly or more explicitly—in the literature on the philosophy of logic, yet has not been examined nor argued for extensively. In this paper I will present and critically examine telic monism. One prominent candidate for the canonical application of logic, namely the formal codification (...) of logical consequence in natural language, will be challenged directly. The critique will then be generalized by appealing to a practice-based philosophy of logic. The general argument I put forth here claims that we have no principled reason to assume there to be just one primary goal to logic. Rather, I claim that it is more plausible that there actually is a variety of goals, purposes and applications to logic, without one of them enjoying primacy over the others. If this argument succeeds, at least one of the consequences is that it allows for a kind of logical pluralism that has previously been deemed insignificant, namely logical instrumentalism. (shrink)

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 (...) is demonstrated that any formalized system for the Theory of Computation based on Classical Logic and Turing Model of Computation leads us to a contradiction. We conclude that our mathematical frame work is inappropriate for Theory of Computation. Furthermore, the result provides us a reason that many problems in Complexity Theory resist to be solved.(This work is completed in 2017 -5- 2, it is in vixra in 2017-5-14, presented in Unilog 2018, Vichy). (shrink)