Implicit and Explicit Examples of the Phenomenon of Deviant Encodings
- Paula Quinon
The core of the problem discussed in this paper is the following: the Church-Turing Thesis states that Turing Machines formally explicate the intuitive concept of computability. The description of Turing Machines requires description of the notation used for the input and for the output. Providing a general definition of notations acceptable in the process of computations causes problems. This is because a notation, or an encoding suitable for a computation, has to be computable. Yet, using the concept of computation, in a definition of a notation, which will be further used in a definition of the concept of computation yields an obvious vicious circle. The circularity of this definition causes trouble in distinguishing on the theoretical level, what is an acceptable notation from what is not an acceptable notation, or as it is usually referred to in the literature, “deviant encodings”. Deviant encodings appear explicitly in discussions about what is an adequate or correct conceptual analysis of the concept of computation. In this paper, I focus on philosophical examples where the phenomenon appears implicitly, in a “disguised” version. In particular, I present its use in the analysis of the concept of natural number. I also point at additional phenomena related to deviant encodings: conceptual fixed points and apparent “computability” of uncomputable functions. In parallel, I develop the idea that Carnapian explications provide a much more adequate framework for understanding the concept of computation, than the classical philosophical analysis.
- Record ID
- Journal series
- Studies in Logic, Grammar and Rhetoric, ISSN 0860-150X
- Issue year
- Publication size in sheets
- Keywords in English
- concept of computation the concept of natural number deviant encoding computational structuralism conceptual engineering explications the Church-Turing thesis.
- ASJC Classification
- DOI:10.2478/slgr-2020-0027 Opening in a new tab
- https://doi.org/10.2478/slgr-2020-0027 Opening in a new tab
- (en) English
- Score (nominal)
- Score source
- = 40.0, 24-04-2021, ArticleFromJournal
- Publication indicators
- : 2018 = 0.358
- Uniform Resource Identifier
* presented citation count is obtained through Internet information analysis and it is close to the number calculated by the Publish or PerishOpening in a new tab system.