Certain selected issues around the Gödelian anti-mechanist arguments which have received less attention are discussed.

Selectionist evolutionary theory has often been faulted for not making novel predictions that are surprising, risky, and correct. I argue that it in fact exhibits the theoretical virtue of predictive capacity in addition to two other virtues: explanatory unification and model fitting. Two case studies show the predictive capacity of selectionist evolutionary theory: parallel evolutionary change in E. coli, and the origin of eukaryotic cells through endosymbiosis.

ABSTRACT We use Gödel’s incompleteness theorems as a case study for investigating mathematical depth. We examine the philosophical question of what the depth of Gödel’s incompleteness theorems consists in. We focus on the methodological study of the depth of Gödel’s incompleteness theorems, and propose three criteria to account for the depth of the incompleteness theorems: influence, fruitfulness, and unity. Finally, we give some explanations for our account of the depth of Gödel’s incompleteness theorems.

Albert Einstein once made the following remark about "the world of our sense experiences": "the fact that it is comprehensible is a miracle." (1936, p. 351) A few decades later, another physicist, Eugene Wigner, wondered about the unreasonable effectiveness of mathematics in the natural sciences, concluding his classic article thus: "the miracle of the appropriateness of the language of mathematics for the formulation of the laws of physics is a wonderful gift which we neither understand nor deserve" (1960, p. 14). (...) At least three factors are involved in Einstein's and Wigner's miracles: the physical world, mathematics, and human cognition. One way to relate these factors is to ask how the universe could possibly be structured in such a way that mathematics would be applicable to it, and we would be able to understand that application. This is roughly Wigner's question. Alternatively, the way of the mathematical naturalist is to argue that we abstract certain properties from the world, perhaps using our bodies and physical tools, thereby articulating basic mathematical concepts, which we continue building into the complex formal structures of mathematics. John Stuart Mill, Penelope Maddy, and Rafael Nuñez teach this strategy of cognitive abstraction, in very different manners. But what if the very concepts and basic principles of mathematics were built into our cognitive structure itself? Given such a cognitive a priori mathematical endowment, would the miracles of the link between world and cognition (Einstein) and mathematics and world (Wigner) not vanish, or at least significantly diminish? This is the stance of Stanislas Deheane and Elizabeth Brannon's 2011 anthology, following a venerable rationalist tradition including Plato and Immanuel Kant. (shrink)

In contrast to dominant approaches to human reason involving essentially a logical and instrumental conception of rationality easily modeled by artificial intelligence mechanisms, I argue that the specific capacities of the human mind are meta-analytic in nature, understood as irreducible to the analytic or the logical, or else the computational. Firstly, the assumption of a meta-analytical level of rationality is derived from key insights developed in various branches of the social sciences. This meta-analytical level is then inferred from Gödel’s incompleteness (...) theorem. On these bases, and with the help of psychological approaches to consciousness, I argue that human rationality may be characterized as the capacity to make meaningful use of signs. (shrink)

In this paper I will attempt to explain why the controversy surrounding the alleged refutation of Mechanism by Gödel’s theorem is continuing even after its unanimous refutation by logicians. I will argue that the philosophical point its proponents want to establish is a necessary gap between the intended meaning and its formulation. Such a gap is the main tenet of philosophical hermeneutics. While Gödel’s theorem does not disprove Mechanism, it is nevertheless an important illustration of the hermeneutic principle. The ongoing (...) misunderstanding is therefore based in a distinction between a metalogical illustration of a crucial feature of human understanding, and a logically precise, but wrong claim. The main reason for the confusion is the fact that in order to make the claim logically precise, it must be transformed in a way which destroys its informal value. Part of this transformation is a clear distinction between the Turing Machine as a mathematical object and a machine as a physical device. (shrink)

Lucas-Penrose type arguments have been the focus of many papers in the literature. In the present paper we attempt to evaluate the consequences of Gödel’s incompleteness theorems for the philosophy of the mind. We argue that the best answer to this question was given by Gödel already in 1951 when he realized that either our intellectual capability is not representable by a Turing Machine, or we can never know with mathematical certainty what such a machine is. But his considerations became (...) known only in recent times when many scholars were already aware of Benacerraf’s and Chihara’s analyses on the consequences of Gödel’s incompleteness theorems for the philosophy of the mind. Benacerraf and Chihara, in fact, discussing Lucas’ paper, arrived at the same conclusions as Gödel in the sixties, but in a more formal way. After Penrose’s provocative arguments, Shapiro again shed light on the question. In our paper, after a broad and simple presentation of the contributions to the debate made by different authors, we show how to present Gödel’s argument in a rigorous way, highlighting the necessary philosophical premises of Gödel’s argument and more in general of Gödelian arguments. (shrink)

This is a paper for a special issue of Semiotic Studies devoted to Stanislaw Krajewski’s paper. This paper gives some supplementary notes to Krajewski’s on the Anti-Mechanist Arguments based on Gödel’s incompleteness theorem. In Section 3, we give some additional explanations to Section 4–6 in Krajewski’s and classify some misunderstandings of Gödel’s incompleteness theorem related to AntiMechanist Arguments. In Section 4 and 5, we give a more detailed discussion of Gödel’s Disjunctive Thesis, Gödel’s Undemonstrability of Consistency Thesis and the definability (...) of natural numbers as in Section 7–8 in Krajewski’s, describing how recent advances bear on these issues. (shrink)

We show that the name “Lucas-Penrose thesis” encompasses several different theses. All these theses refer to extremely vague concepts, and so are either practically meaningless, or obviously false. The arguments for the various theses, in turn, are based on confusions with regard to the meaning of these vague notions, and on unjustified hidden assumptions concerning them. All these observations are true also for all interesting versions of the much weaker thesis known as “Gö- del disjunction”. Our main conclusions are that (...) pure mathematical theorems cannot decide alone any question which is not purely mathematical, and that an argument that cannot be fully formalized cannot be taken as a mathematical proof. (shrink)