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)

It is common to think that what theory of linguistic vagueness is correct has implications for debates in philosophy of law. I disagree. I argue that the implications of particular theories of vagueness on substantive issues of legal theory and practice are less far-reaching than often thought. I focus on four putative implications discussed in the literature concerning (i) the value of vagueness in the law, (ii) the possibility and value of legal indeterminacy, (iii) the possibility of the rule of (...) law, and (iv) strong discretion. I conclude with some methodological remarks. Delineating questions about conventional meaning, the metaphysics/metasemantics of (legal) content determination, and norms of legal interpretation and judicial practice can motivate clearer answers and a more refined understanding of the space of overall theories of vagueness, interpretation, and law. (shrink)

The fields of linguistic pragmatics and legal interpretation are deeply interrelated. The purpose of this paper is to show how pragmatics and the developments in argumentation theory can contribute to the debate on legal interpretation. The relation between the pragmatic maxims and the presumptions underlying the legal canons are brought to light, unveiling the principles that underlie the types of argument usually used to justify a construction. The Gricean maxims and the arguments of legal interpretation are regarded as presumptions subject (...) to default used to justify an interpretation. This approach can allow one to trace the different legal interpretive arguments back to their basic underlying presumptions, so that they can be compared, ordered, and assessed according to their defeasibility conditions. This approach allows one to understand the difference between various types of interpretive canons, and their strength in justifying an interpretation. (shrink)

Paraphrase is ubiquitous in philosophy, especially in discussions about ontological commitment. But should it be? Paraphrases are seldom accompanied by evidence that would convince, say, a linguist that the paraphrase and the paraphrased sentence have the same meaning. Indeed, from the perspective of linguistics, many paraphrases would seem to be nothing but bad jokes. For this reason, many philosophers have become deeply suspicious about paraphrase. I ague in this paper that this worry is misguided--that successful paraphrases do not need to (...) preserve semantic content, and that the way that paraphrase has been used in Quinean meta-ontology, and philosophical inquiry more generally, corresponds, at least roughly, to the way it should be used. (shrink)

In a circulated but heretofore unpublished 2001 paper, I argued that Leiter's analogy to Quine's 'naturalization of epistemology' does not do the philosophical work Leiter suggests. I revisit the issues in this new essay. I first show that Leiter's replies to my arguments fail. Most significantly, if — contrary to the genuinely naturalistic reading of Quine that I advanced — Quine is understood as claiming that we have no vantage point from which to address whether belief in scientific theories is (...) ever justified, it would not help Leiter's parallel. Given Leiter's way of drawing the parallel, the analogous position in the legal case would be not the Legal Realists' indeterminacy thesis, but the very different position that we have no vantage point from which to address whether legal decisions can ever be justified. I then go on to address the more important question of whether the indeterminacy thesis, if true, would support any replacement of important legal philosophical questions with empirical ones. Although Ronald Dworkin has argued against the indeterminacy thesis, if he were wrong on this issue, it would not in any way suggest that the questions with which Dworkin is centrally concerned cannot fruitfully be addressed. The indeterminacy thesis is a bone of contention in an ordinary philosophical debate between its proponents and Dworkin. Of course, if the determinacy thesis were true, no one should try to show that it is false, but this triviality lends no support to the kind of replacement proposal that Leiter proposes. I conclude with some general reflections on naturalism and philosophical methodology. (shrink)

Argumentation schemes are forms of reasoning that are fallible but correctable within a self-correcting framework. Their use provides a basis for taking rational action or for reasonably accepting a conclusion as a tentative hypothesis, but they are not deductively valid. We argue that teleological reasoning can provide the basis for justifying the use of argument schemes both in monological and dialogical reasoning. We consider how such a teleological justification, besides being inspired by the aim of directing a bounded cognizer to (...) true belief and correct choices, needs to take into account the attitudes of dialogue partners as well as normative models of dialogue and communicative activity types, in particular social and cultural settings. (shrink)

Scott Soames argues that consideration of the practice of legal judgement gives us good reason to favor the partial-definition/context-sensitive theory of vagueness against epistemicism. Despite the fact that the value of power-delegation through vagueness is evidenced in practice, Soames says, epistemicism cannot account for it theoretically, while the partial-definition/context-sensitive theory is capable of it. In this paper, I examine the two possible arguments against epistemicism that can be extracted from Soames’s account: (i) an argument based on unknown obligations, and (ii) (...) an argument based on power-delegation through vagueness. The first argument tries to convince us that, as based on epistemicism, the law has already decided the borderline cases, so that judges have obligatory decisions even in such cases: therefore epistemicism is inconsistent with the discretion of judges in borderline cases. I show that even if we sympathize with Soames’s intuitions concerning the legal practice, the argument he offers is not conclusive since it is either invalid, unsound, or paradoxical. The second argument holds that only the gaps which the partial-definition/context-sensitive theory predicts give judges the possibility of lawmaking in borderline cases. However, by categorizing the vague laws as imperfect laws, the judges can claim the right of lawmaking without any need to refer to gaps in the law. By neutralizing these arguments, I argue that epistemicism is able to explain the phenomena just as well as the partial-definition/context-sensitive theory. (shrink)

In a circulated but heretofore unpublished 2001 paper, I argued that Leiter’s analogy to Quine’s “naturalization of epistemology” does not do the philosophical work Leiter suggests. I revisit the issues in this new essay. I first show that Leiter’s replies to my arguments fail. Most significantly, if – contrary to the genuinely naturalistic reading of Quine that I advanced – Quine is understood as claiming that we have no vantage point from which to address whether belief in scientific theories is (...) ever justified, it would not help Leiter’s parallel. Given Leiter’s way of drawing the parallel, the analogous position in the legal case would be not the Legal Realists’ indeterminacy thesis, but the very different position that we have no vantage point from which to address whether legal decisions can ever be justified. I then go on to address the more important question of whether the indeterminacy thesis, if true, would support any replacement of important legal philosophical questions with empirical ones. Although Ronald Dworkin has argued against the indeterminacy thesis, if he were wrong on this issue, it would not in any way suggest that the questions with which Dworkin is centrally concerned cannot fruitfully be addressed. The indeterminacy thesis is a bone of contention in an ordinary philosophical debate between its proponents and Dworkin. Of course, if the determinacy thesis were true, no one should try to show that it is false, but this triviality lends no support to the kind of replacement proposal that Leiter proposes. I conclude with some general reflections on naturalism and philosophical methodology. (shrink)

A provision’s legal meaning is thought by many to be a function of its literal meaning. To explain the appearance that lawyers are arguing over a provision’s legal meaning and not just over which outcome would be more prudent or morally preferable, some legal literalists claim that a provision’s literal meaning may be causally, rather than conventionally, determined. I argue, first, that the proposed explanation is inconsistent with common intuitions about legal meaning; second, that explaining legal disagreement as a function (...) of the causally determined meanings of moral terms requires, but lacks, a causal semantics which is clearly consistent with the scope of moral disagreement. Finally, I suggest that an element of the theory of language invoked by ‘causal’ legal literalists might be better deployed as part of an intentionalist account of legal practice. (shrink)