Abstract. We use two logical resources, namely, the notion of recursively defined function and the Benardete-Yablo paradox, together with some inherent features of causality and time, as usually conceived, to derive two results: that no ungrounded causal chain exists and that time has a beginning.
The Monist's call for papers for this issue ended: "if formalism is true, then it must be possible in principle to mechanize meaning in a conscious thinking and language-using machine; if intentionalism is true, no such project is intelligible". We use the GrellingNelson paradox to show that natural language is indefinitely extensible, which has two important consequences: it cannot be formalized and model theoretic semantics, standard for formal languages, is not suitable for it. We also point out that object-object mapping theories of semantics, the usual account for the possibility of non intentional semantics, doesn't seem able to account for the indefinitely extensible productivity of natural language. Keywords: natural language; formalization; indefinite extensibility; universe of discourse; semantics. Introduction.There exist at least three published papers (Cook 2007(Cook , 2009Schlenker 2010), arguing that natural language is indefinitely extensible in some sense. More concretely, all the three papers start from the Liar paradox and by means of Strengthened and Strengthened Strengthened Liars construct a hierarchy of truth values with as many of them as there are ordinal numbers. Both authors renounce the principle of Bivalence in order to solve the Liar and its revenge forms.Bivalence is, however, a fundamental law of classical logic with a considerable intuitive appeal; it is the logical counterpart of the ontological principle that any well-defined situation either obtains or does not obtain. As we see it, trading such a fundamental principle for a solution of the Liar is no bargain. The price could be too high for many people. So, we offer a path to the indefinite extensibility of natural language that is compatible with all principles commonly held as laws of logic. Instead of the Liar, we will use the Grelling-Nelson paradox.We will first address the issue of formalizability, just to show that natural language is not formalizable. Then we will interpret the result in terms of indefinite extensibility as defined in due time. Vagueness.Some readers may contemplate natural language as trivially non formalizable because of its inherent vagueness. We do not wish to go into the discussion whether vagueness can be formalized or not. We just wish to show that, leaving vagueness aside, natural language turns out to be non formalizable on quite another account, namely, indefinite extensibility.So we ask the reader to assume we are dealing with a definite segment of Englishwhich we will call -English-so that all metalinguistic predicates here used are definite and that the corresponding sets, when they exist, are ordinary nonfuzzy sets. The reader may well not believe such a crisp core of English to exist but this should not prevent him from following us: we only purport to show that on the assumption that -English exists we can all the same prove that it cannot be formalized; this will reveal at least that
The structure of Yablo’s paradox is analysed and generalised in order to show that beginningless step-by-step determination processes can be used to provoke antinomies, more concretely, to make our logical and our ontological intuitions clash. The flow of time and the flow of causality are usually conceived of as intimately intertwined, so that temporal causation is the very paradigm of a step-by-step determination process. As a consequence, the paradoxical nature of beginningless step-by-step determination processes concerns time and causality as usually conceived.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.