@The School of Liberal arts inaugural conference – Understanding Others through Narrative Practices – on Friday 5th April 2019 at the University of Wollongong.
0 Comments
1. Hilbert's note on his 24th problem
In 2000, Rüdiger Thiele [1] found in a notebook of David Hilbert, kept in Hilbert's Nachlass at the University of Göttingen, a small note concerning a 24th problem. As Hilbert wrote, he had considered including this problem in his famous problem list for the International Congress of Mathematicians in Paris in 1900 [2–4]. (a) The textThe short paragraph reads in German as follows: Als 24stes Problem in meinem Pariser Vortrag wollte ich die Frage stellen: Kriterien für die Einfachheit bez. Beweis der grössten Einfachheit von gewissen Beweisen führen. Ueberhaupt eine Theorie der Beweismethoden in der Mathematik entwickeln. Es kann doch bei gegebenen Voraussetzungen nur einen einfachsten Beweis geben. Ueberhaupt, wenn man für einen Satz 2 Beweise hat, so muss man nicht eher ruhen, als bis man sie beide aufeinander zurückgeführt hat oder genau erkannt hat, welche verschiedenen Voraussetzungen (und Hilfsmittel) bei den Beweisen benutzt werden: Wenn man 2 Wege hat, so muss man nicht bloss diese Wege gehen oder neue suchen, sondern dann das ganze zwischen den beiden Wegen liegende Gebiet erforschen. Ansätze, die Einfachheit der Beweise zu beurteilen, bieten meine Untersuchungen über Syzygien und Syzygien zwischen Syzygien. Die Benutzung oder Kenntnisse einer Syzygie vereinfacht den Beweis, dass eine gewisse Identität richtig ist, erheblich. Da jeder Process des Addierens Anwendung des commutativen Gesetzes der Addition ist—dies immer geometrischen Sätzen oder logischen Schlüssen entspricht, so kann man diese zählen und z. B. beim Beweis bestimmter Sätze in der Elementargeometrie (Pythagoras oder über merkwürdige Punkte im Dreieck) sehr wohl entscheiden, welches der einfachste Beweis ist. (figure 1). Figure 1.Copy from Hilbert's notebook [5, Heft 3, p. 25f]. We are grateful to the Niedersächsische Staats und Universitätbibliothek Göttingen for permission to reproduce it here. (Online version in colour.) An English translation was given by Thiele as follows: The 24th problem in my Paris lecture was to be: Criteria of simplicity, or proof of the greatest simplicity of certain proofs. Develop a theory of the method of proof in mathematics in general. Under a given set of conditions there can be but one simplest proof. Quite generally, if there are two proofs for a theorem, you must keep going until you have derived each from the other, or until it becomes quite evident what variant conditions (and aids) have been used in the two proofs. Given two routes, it is not right to take either of these two or to look for a third; it is necessary to investigate the area lying between the two routes. Attempts at judging the simplicity of a proof are in my examination of syzygies and syzygies between syzygies. The use or the knowledge of a syzygy simplifies in an essential way a proof that a certain identity is true. Because any process of addition [is] an application of the commutative law of addition etc. [and because] this always corresponds to geometric theorems or logical conclusions, one can count these [processes], and, for instance, in proving certain theorems of elementary geometry (the Pythagoras theorem, [theorems] on remarkable points of triangles), one can very well decide which of the proofs is the simplest. (b) Historical tracesHilbert did not include this problem in the list of the now famous 23 problems from the International Congress of Mathematicians in Paris in 1900. We have no indications for his motives, and it would be pure speculation to discuss such possible motives. There are two (very thin) threads of the 24th problem in Hilbert's work.1 The published version2 of his contribution to the International Congress of Mathematician contains some general considerations which address simplicity in relation to rigour [4]:3 Besides, it is an error to believe that rigor in the proof is the enemy of simplicity. On the contrary, we find it confirmed by numerous examples that the rigorous method is at the same time the simpler and the more easily comprehended. The very effort for rigor forces us to find out simpler methods of proof. This claim is illustrated by referring to three examples concerning the theory of algebraic curves, power series and the calculus of variations. In these examples, he is far from any form of criteria for simplicity, but it is worth noting that they are all taken from core mathematics. There is only one other instance where we found simplicity mentioned in David Hilbert's work, albeit at a very prominent place. In September 1917, Hilbert gave a talk at the Swiss Mathematical Society with the title Axiomatisches Denken (Axiomatic Thinking) [8,9]: By closer inspection, we realize soon that the question of consistency for the whole numbers and sets is not an isolated one, but it belongs to a wide range of most difficult epistemological questions of specific mathematical colouring: I mention, to characterize briefly this area of questions, the problem of the principle solvability of any mathematical question, the problem of a posteriori controllability of the result of a mathematical investigation, further the question of a criterion for the simplicity of mathematical proofs, the question of the relation between contentness and formalismin mathematics and logic, and finally the problem of the decidablity of a mathematical question by a finite number of operations. A ‘criterion for the simplicity of mathematical proofs’ is mentioned here only alongside several other questions. But one may note the slight change from the plural ‘criteria’ in his note of 1900 to the singular ‘criterion’ in 1917. In any case, the question of simplicity was never taken up by the Hilbert school.4 As possible exception, one could think of Saunders MacLane's PhD dissertation [11,12] written in Göttingen in 1934. Its title ‘Abgekürzte Beweise im Logikkalkul’ (Abbreviated Proofs in Logic Calculus) sounds like an echo of Hilbert's 24th problem. The content, however, does not address simplicity directly, but just brevity of (encoding of) proofs. Officially, MacLane was supervised by Hermann Weyl (Hilbert's successor in Göttingen), but one can safely assume that the defacto supervisor was Paul Bernays,5 who could still have had reminiscences of the 24th problem in mind. But there is no written evidence to support such a link. 2. The challengesLooking today at Hilbert's 24th problem, which asks for a theory of the method of proof to give criteria of simplicity, one has to admit that we are still not yet there. The problem represents several challenges for philosophers of mathematics, logicians, and mathematicians which are under discussion, but without general solution. (a) What is a proof?Even the notion of mathematical proof is still a controversial issue (see §3a(i)). Its traditional understanding is, on the one hand, challenged by recent developments of computerassisted proofs, notably in the context of ‘big proofs’, see, e.g. the collection of papers in [14] or [15]. On the other hand, reflections on mathematical practice [16] have expanded the discussion, even opening it up to empirical studies (see §3a(ii)). Any analysis of the simplicity of proof has, of course, first to specify its understanding of the notion of proof. Besides formal proofs, one should not neglect alternative concepts like ‘Proofs without Words’ and visual representations in general (see §3a(iii)). Also, proofs as given in school mathematics deserve a special attention (see §3a(iv)). In addition, any analysis of the simplicity of proof is subject to philosophical assumptions. And one may note that the question of simplicity of proof loses its significance when a theorem receives its sense only via its proof (and therefore, receives different senses by different proofs). This may apply to Wittgenstein, but also to prooftheoretic semantics [17,18]. (b) Mathematical proofIn 1900, Hilbert had clearly ordinary mathematical proofs in mind, rather than formal derivations in logical calculi. Thus, an appreciation of Hilbert's 24th problem requires to look at mathematical examples (see §3c(ii)). One should also take Hilbert's own suggestion into account and look to his ‘examination of syzygies and syzygies between syzygies’ (see §3c(ii)). Thiele identified a passage in Hilbert's unpublished lecture notes to which he could have referred [19, lectures XXXII–XXXIX]; see also [1, §11]. Today, we have a rather long list of wellstudied examples of theorems with different proofs at hand; while in many instances, it is easy to judge whether one proof is simpler than another (or on which different conditions they depend), for now, it does not look like that these examples would give rise to general criteria. A standard reference for such examples are the Proofs from THE BOOK collected by Aigner & Ziegler [20]. This book does not aim for simplicity in the proofs but rather for elegance. And one may agree with Inglis and Aberdein that ‘Beauty Is Not Simplicity’ [21]. But the collection of Aigner and Ziegler should still be the first benchmark for any theory of simplicity of mathematical proof. (c) A theory of the method of proofHilbert and his school developed in the 1920s proof theory as a new discipline in the emerging field of mathematical logic. This proof theory was conceived, first of all, to serve Hilbert's Programme, the attempt to provide finitist consistency proofs of formalized mathematical theories. It succeeded, at least, in the aim of transforming mathematical proofs themselves into mathematical objects which can be studied by mathematical tools.6 When mathematical proofs are represented by formal proofs, we may get a faithful translation. But neither does this imply that mathematical proofs ought to be formal proofs—see [24]—nor could we even expect that such a translation tells us something about the method of proof. Avigad [25] observed that the standard models of formal deductions are not wellequipped to deal with methods of proofs. He suggests to take into account approaches from computerassisted theorem proving—like tactics of the proof system Isabelle—to capture the concept of method. This gives a promising link to computerassisted theorem proving, but one is still far from a theory which would allow to study simplicity in terms of method.7 (d) Proof structureDespite the mathematical character of Hilbert's 24th problem, it is also studied in terms of the logical structure of proofs, see, for instance, Hughes [27,28], Straßburger [29,30] (see also §3b(ii)) and Negri and von Plato [31] (see also §3b(i)), among others. They link the problem mainly with structural properties of formal calculi as studied in Gentzenstyle proof theory. These studies concentrate on aspects of simplicity within the logical representation of proofs. When Hilbert referred to the counting of proof processes, such a counting can, indeed, be best performed in logical calculi. But, it is rather questionable whether length, relative to the specific proof system under consideration, would even be a good measure for simplicity. For the very example of Pythagoras' theorem, mentioned by Hilbert, Loomis collected more than 350 different proofs [32], and it is more than doubtful that one would like to pick the shortest of all these proofs as the simplest. Still, in very specific areas, as for instance semigroup theory, counting might be a reasonable measure (see §3b(iii)). (e) Axiom systemsThe simplified claim ‘there can be but one simplest proof’ will surely be rejected by a majority of scholars but Hilbert was careful enough to qualify it by adding ‘under a given set of conditions’. It might still be doubtful whether ‘under a given set of conditions’, indeed, ‘there can be but one simplest proof’. But Hilbert at least made clear, that we have to identify this ‘given set of conditions’ for different proofs (of the same theorem). At least, the identification of different conditions can be seen as the result of an investigation of ‘the area lying between the two routes.’ And in modern terms, such conditions may correspond simply to different axiomatizations (nonlogical axioms) of a certain field of mathematics. In this direction Hilbert's 24th problem was studied by considering variations of (nonlogical) axiom systems (e.g. for geometry, for algebra, etc.) which were compared with respect to simplicity of proofs. Here we may refer to the discussion of Pambuccian [33,34] and Alama [35] which gives progressively improved axiomatizations for (hyperbolic) Geometry which allows one to identify various criteria of simplicity for the chosen axioms. The emphasis is, thus, on mathematical content (semantically, in the form of axioms), with little concern for formal calculi and notions defined therein (e.g. proof length). Thus, it focuses more on the axiom systems rather than the proofs themselves (see §3c(i)). (f) Computerassisted proof systemsAfter the publication of Hilbert's 24th problem by Rüdiger Thiele [1], various scholars took up the challenge of simplicity in one or the other form. This starts with Thiele himself who published a joint paper with Wos in relation to automated reasoning [36]. Wos & Pieper took the study of the problem in the context of automated reasoning further, linking it with elegance [37]. We already mentioned Avigad [25] who approaches the question of the method by concepts from interactive theorem proving. Such concepts were, of course, already under consideration before Hilbert's 24th problem was rediscovered, for example, proof plans as discussed in [38]. (g) Related questionsPurity of method was already addressed by Hilbert—most notably at the end of his famous book Grundlagen der Geometrie [39, p. 131]—as a particular objective of proof. Quite similiar to simplicity, we still do not have a satisfactory theory of purity at hand. But there are several studies concerning this notion, e.g. [40–43]. In [44], Arana addressed the question of how simplicity might be related to purity. It might not come as a surprise that there seems to be, in general, a tradeoff between simplicity and purity of mathematical proofs. Another question is whether simplicity can play a role in clarifying the notion of explanation in mathematics (see, for instance, [16,45], and §3a(ii)), even if such a clarification was—to our knowledge—not envisaged by Hilbert himself. Finally, Thiele [1, §9] draws our attention to the relation of simplicity to complexity. In the specific area of computational complexity, we are confronted with questions related to Hilbert's 24th problem, for instance, by asking for a notion of the simplest algorithm. 3. The contributions to this special issueIn the following, we review briefly the contributions to this special issue. It is the aim of this special issue to give a broad view of ongoing discussions concerning Hilbert's 24th problem and of questions related to it. (a) ProofBefore analysing simplicity of proof, one has to have a clear specification of what a proof is and what purpose(s) it serves. Today we have a clear definition at hand of the notion of formal proof , not least through the work of the Hilbert school. Its adequacy for the informal notion of proof as used in mathematics, however, is far from being uncontroversial. Thus, the first group of papers in this special issues addresses more general questions concerning the notion of mathematical proof. (i) Metaphor of proofNikolai Vavilov questions, indeed, the adequacy of formal proof to represent mathematical proof in his contribution Reshaping the metaphor of proof [46]. He goes even a step further and puts up to discussion the thesis that ‘a mathematical proof considered as a text proves nothing except the fact of existence of proofs.’ (ii) ExplanationAlison Pease, Andrew Aberdein & Ursula Martin, in their paper Explanation in mathematical conversations: an empirical investigation [47], confront simplicity with the objectives of a ‘good proof’. With empirical data, they discuss six conjectures about mathematical explanation. As a result, their empirical methodology is suggested as a new and fruitful tool to investigate informal notions such as the simplicity of proof. (iii) Spatial thinkingAlan Cain, in Visual thinking and simplicity of proof [48], draws the attention to ‘how spatial thinking interacts with simplicity in [informal] proof’ by analysing some concrete examples of spatial proofs in mathematics in comparsion with nonspatial ones. It is argued that diagrams and spatial thinking can contribute to simplicity in a number of ways. (iv) School mathematicsHelena Rocha characterizes, in Mathematical proof: from mathematics to school mathematics [49], ‘the understanding of mathematical proof in school, its function and the meaning and relevance attributed to the notion of simple proof’. It is observed that, in school mathematics, the understanding of proof differs from the understanding in the mathematical research community and, therefore, also the notion of simplicity of proof may be treated differently in school. (b) Proof structureIt appears that proof theory, as conceived by the Hilbert school in the 1920s is not the ‘theory of the method of proof’ which Hilbert had envisaged in his 24th problem. It plays, however, an important role in the clarification of the notions around any concept of proof. In particular, it gives us a handle on the formal structure of proof. (i) Proof theorySara Negri & Jan von Plato used prominently the expression Hilbert's last problem in the subtitle for their book on Proof analysis [31]. In their contribution From mathematical axioms to mathematical rules of proof: recent developments in proof analysis [50] they discuss examples of Gentzenstyle proof theory which address the general part of Hilbert's 24th problem concerning a theory of proof methods in mathematics. (ii) Proof identityLutz Straßburger focuses on the particular problem of proof identity which clearly relates to simplicity. In his paper, The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem [51], ‘4 objectives that a satisfactory notion of proof identity should obey’ are formulated, and the problem is discussed in the context of Hughes's notion of combinatorial proofs [27]. (iii) Proof simplificationMichael Kinyon, in Proof simplification and automated theorem proving [52], gives a detailed analysis of a proof in algebra which can be simplified by an automated theorem prover using length of proof as one particular measure. (c) Mathematical proofsWhen stating his 24th problem, Hilbert had clearly informal proofs of mathematical theorems in mind, rather than proofs of, let us say, logical tautologies. Therefore, it is particularly interesting to look to examples of Mathematics, including Geometry, Set Theory, and—as Hilbert himself mentioned it—the theory of Syzygies. (i) Use of axiomsVictor Pambuccian, in his contribution Prolegomena to any theory of proof simplicity [53], draws the attention to the choice of axioms which are used to prove a particular theorem. Using examples from Geometry, he discusses how the number of uses of an axiom may serve as a measurement for simplicity; but, of course, only after a fixed set of axioms is already chosen. (ii) Variations of proofsWilfried Sieg analyses in The Cantor–Bernstein Theorem: how many proofs? [54] seemingly different proofs of the Cantor–Bernstein Theorem and formalizes their core in Zermelo–Fraenkel set theory with the conclusion that ‘there is essentially one proof that comes in two variants due to Dedekind and Zermelo, respectively.’ (iii) SyzygiesAntónio Malheiro and José Francisco Reis, in Identification of proofs via Syzygies [55], follow the suggestion of Hilbert and look to the question of simplicity of proofs in the context of syzygies. The modern theory of Gröbner Bases helps, indeed, to investigate examples of simplifications of polynomials which Hilbert might have had in mind as models for simplifications of proofs. Data accessibilityThis article has no additional data. Competing interestsWe declare we have no competing interests. FundingThis work is partially supported by University Postgraduate Award and the International Postgraduate Tuition Award by the University of Wollongong (Australia) and by the Portuguese Science Foundation, FCT, through the projects UID/MAT/00297/2019 (Centro de Matemática e Aplicações) and PTDC/MHCFIL/2583/2014 (Hilbert's 24th Problem). Footnotes1 We follow here the presentation of [6] where one can find a more detailed discussion of these threads. 2 It his talk, Hilbert didn't read the full paper and presented only 10 of the 23 problems explicitly, see [7, p. 68]. 3 See also the discussion in [1, § 5]. It is worth noting that this relation was included by Charlotte Angas Scott in her report of Hilbert's oral presentation in Paris: ‘in seeking this rigor we may find simplicity.’ [7, p. 68]. 4 Thiele, however, observed that Hilbert included the problem of simplicity in an index for his notebooks [5, Heft 3, inserted page] prepared at the end of his life [1, p. 7]. And, when Bernays wrote in 1967 an encyclopaedia entry for ‘David Hilbert’ [10, p. 500], he clearly copied from the above mentioned passage, mentioning also the question ‘of finding a standard of simplicity for mathematical proofs’. 5 See MacLane's recollections in [13]. 6 See Gentzen ([22, p. 237], English translation of [23]): ‘A foremost characteristic of Hilbert's point of view seems to me to be the endeavour to withdraw the problem of the foundations of mathematics from philosophy and to tackle it as far as in any way possible with methods proper to mathematics.’ 7 In [26, §6.1], the modularity of method is addressed as one task. One contribution of 11 to a theme issue ‘The notion of ‘simple proof’  Hilbert's 24th problem’. Full issue here. Friday 12 July 2019 9:30 AM  5:30 PM University of Wollongong (Australia) Building 19 2nd floor  Research Hub It is clear in today’s cognitive science that sometimes how something is perceived is not informed by what we think or believe. Some visual illusions, like the famous debate on the colour of the dress, in 2015, show that sometimes one cannot bring ourselves to see what one knows to be the case. Those cases clearly illustrate that perceiving is sometimes dissociable from, or not informed by background cognizing. Modular theories rightly acknowledge that there has to be some kind of boundary between perceiving and cognizing. They explain it through the idea of an informational boundary between perceiving and cognizing. Philosophical arguments, however, increasingly question this view. Advocates for ‘cognitive penetrability’ reject ‘encapsulation’ as a modular feature. They argue that there has to be an intelligible link between perception and cognition, such that perceptual experience becomes informed (and not informationally encapsulated) from cognitive attitudes. These philosophical arguments are also motivated by empirical research in neuroscience. One example of this is in research concerning the socalled binding problem: the problem of explaining how the diverse elements of perception and cognition are integrated or interact so as to generate or manifest a single, unified perceptual experience. One way of explaining the binding problem is to hold that topdown cognising binds perceptual experience by embodying predictions or anticipations that parametrize or force conformity in lowerlevels. Claiming that perceiving is informed by cognizing, these theories reject the perception/cognition informational boundary. This conference aims to explore new boundaries between cognition and perception. Do these new theories that claim some form of dissolution allow some form of explanatory boundary? Both cognitive penetrability and predictive processing advocate for the dissolution of perceptual processing in background cognizing, are these two frameworks compatible?If cognitive content is introduced even before any processing of sensory information in early vision, what exactly is left to perceptual processing? Confirmed Speakers:
All full program will be available here soon. Contact Details inesh@uow.edu.au This book explores the relationship between schizophrenia and common sense. It approaches this theme from a multidisciplinary perspective. Coverage features contributions from phenomenology, cognitive neuroscience, philosophy of mind, psychology, and social cognition. The contributors address the following questions: How relevant is the loss of common sense in schizophrenia? How can the study of schizophrenia contribute to the study of common sense? How to understand and explain this loss of common sense? They also consider: What is the relationship of practical reasoning and logical formal reasoning with schizophrenia? What is the relationship between the person with a diagnosis of schizophrenia and social values? Chapters examine such issues as rationality, emotions, self, and delusion. In addition, one looks at brain structure and neurotransmission. Others explore phenomenological and Wittgensteinian theories. The book features papers from the Schizophrenia and Common Sense International Workshop, held at New University of Lisbon, November 2015. It offers new insights into this topic and will appeal to researchers, students, as well as interested general readers. Available here: http://www.springer.com/gp/book/9783319739922 Also in Amazon: https://www.amazon.co.uk/SchizophreniaCommonSenseExplainingRelationebook/dp/B07B3S1PWJ/ref=sr_1_1?ie=UTF8&qid=1520466290&sr=81&keywords=schizophrenia+and+common+sense Preprints of the introduction available here. by Daniel Hutto, Shaun Gallagher, Jesus Ilundain and Ines Hipolito
Advancing a radically enactive account of cognition, we provide arguments in favour of the possibility that cultural factors permeate rather than penetrate cognition, such that cognition extensively and transactionally incorporates cultural factors rather than there being any question of cultural factors having to break into the restricted confines of cognition. The paper reviews the limitations of two classical cognitivist, modularist accounts of cognition and a revisionary, new order variant of cognitivism – a Predictive Processing account of Cognition, or PPC. It argues that the cognitivist interpretation of PPC is conservatively and problematically attached to the idea of inner models and stored knowledge. In abandoning that way of understanding PPC, it offers a radically enactive alternative account of how cultural factors matter to cognition – one that abandons all vestiges of the idea that cultural factors might contentfully communicate with basic forms of cognition. In place of that idea, the possibility that culture permeates cognition is promoted. Full paper available for download here. Already available online my paper coauthored paper with Jorge Martins, on "Mindlife continuity: qualitative study of conscious experience", published by Progress in Biophysics and Molecular Biology. We focused on the mindlife continuity thesis and the autopoietic account, which requires a reciprocal influence and determination of first and thirdperson accounts. In this paper, we studied phenomenal data as a crucial fact for the domain of living beings, which, we expect, can provide the ground for a subsequent thirdperson study. We are very thankful to the special contributions of Teresa Rodrigues from IMM, Faculty of Medicine, University of Lisbon, Portugal; Nuno Rosa, Maria Jose Correia, and Marlene Barros from the Institute of Health Sciences (ICS), Center for Interdisciplinary Research in Health (CIIS), Universidade Católica Portuguesa, (Viseu, Portugal); and Mário Simões from LIMMIT lab, Faculty of Medicine, and MindBrain College, from the University of Lisbon, Lisbon, Portugal. The authors also wish to thank Michael Kirchhoff for his insightful comments on the paper, and the Lisbon Wide Minds Group for the fruitful discussion during the presentation of the project at Nova University of Lisbon. The authors would like also to thank the important comments of the reviewers, and the patience of the editors. Inês Hipolito would like to acknowledge that this paper was made possible by an International Postgraduate Award from the University of Wollongong, Australia. Abstract There are two fundamental models to understanding the phenomenon of natural life. One is the computational model, which is based on the symbolic thinking paradigm. The other is the biological organism model. The common difficulty attributed to these paradigms is that their reductive tools allow the phenomenological aspects of experience to remain hidden behind yes/no responses (behavioral tests), or brain ‘pictures’ (neuroimaging). Hence, one of the problems regards how to overcome methodological difficulties towards a nonreductive investigation of conscious experience. It is our aim in this paper to show how cooperation between Eastern and Western traditions may shed light for a nonreductive study of mind and life. This study focuses on the firstperson experience associated with cognitive and mental events. We studied phenomenal data as a crucial fact for the domain of living beings, which, we expect, can provide the ground for a subsequent thirdperson study. The intervention with Jhana meditation, and its qualitative assessment, provided us with experiential profiles based upon subjects' evaluations of their own conscious experiences. The overall results should move towards an integrated or global perspective on mind where neither experience nor external mechanisms have the final word.
The MindTechnology Problem  Investigating Minds, Selves and 21st Century Artifacts
We invite chapter contributions for the volume “The MindTechnology Problem – Investigating Minds, Selves and 21st Century Artifacts” forthcoming in the book series Studies in Brain and Mind (Springer). This book explores the relation between philosophy of mind and emerging technologies. Technologies that only recently seemed to be science fiction are becoming part of everyday life. Our life is increasingly saturated with 'smart' artifacts. The ubiquitous and mobile Internet amounts to a radically new epistemic and cognitive environment which we already inhabit. This smart environment is saturated with artificial intelligence systems that not only guide us to information on the Internet, but are transforming the way we inhabit the nonvirtual realm: the home, the urban environment and beyond. In the process, these technologies may be viewed as a form of rapidly evolving cognitive enhancement (Schneider, 2016, Heersmink, 2015). They may also be radically changing the human cognitive profile (Schneider and Mandik, 2016, Clowes, 2015; Clark, 2007) including the possibility of mind uploading (Corabi and Schneider, 2012). Some see these trends as deeply worrying, undermining a raft of our cognitive and social capacities (Carr, 2010; Turkle, 2011). Others see the relationship as a more of a continuum with the long history of artifactually led, cognitive evolution of human beings (Malafouris, 2013; Clark, 2003). These technologies appear to have important implications for the human mind, sense of identity and even perhaps what we think human beings are. Other technological tendencies may stretch our ideas further toward superintelligence, (within the skin) cognitive enhancements, and more distantly perhaps, machine consciousness. Yet while ideas of artificial general intelligence, cognitive enhancements and a smart environment are widely commented on, a serious analysis of their philosophical implications is only now getting started. In this edited volume, we seek the best philosophical analysis of what current and near future 21st technology means for the metaphysics of mind. Some of the questions still open include: Should the adoption or incorporation of current technologies, such as smart phones or wearable gadgets be viewed as enhancements or diminishments of the human mind? Or is such a framework too restricted? Might they transform the sorts of selfknowledge available to us, or what selfknowledge is? Might the use of such gadgetry force us to rethink the boundary between human beings and technology, or indeed enduring philosophical questions such as personal identity or what the self is? According to various theories of personal identity, are radical cognitive enhancements even compatible with personal survival? In thinking about minds, there is a common tendency to define the ontological status of the mind in terms of whatever is the latest technology. The computational model of mind has certainly been one of the most influential and is currently undergoing important challenges and challenging reinventions (Schneider and Mandik, 2016). Is the notion that the mind or self as a program, which often guides public and philosophical discussions, metaphysically well founded? Whether or not our minds are actually computational, our ability to interface with machines, from virtual reality technologies such as Oculus Rift to our smartphones and wearable gadgetry, are undergoing a profound shift and are rapidly reshaping the metaphors and concepts philosophers use to think about minds and the conclusion they draw (Metzinger, 2009; Chalmers, 2007). As a follow up of our “Minds, Selves and 21st Century Technology” meeting in Lisbon (http://mindandcognition.weebly.com/mindselvesandtechnology.html), we seek high quality submissions that investigate the philosophical implications of the engagement between 21st century technology, metaphysics and the philosophy of mind. We are especially interested in submissions that do not indulge in extensive futuristic speculation but focus on current or nearready technologies which are already changing the shape of the human (and machine) cognitive landscape and our philosophical understanding of mind. Research question include the following: Extended Mind, Extended Cognition, Distributed self: · How should we think of distributed and extended memory in the context of 21st century technology? · Can artifacts make possible new forms of extended selfknowledge? What are the consequences of artifacts—for instance, the ubiquitous smartphone—for notions such as the minimal self, the narrative self, or the distributed self? · What is the role of cognitive artifacts in the cognitive enhancement debate? Metaphysics of the mind: · Does the current state of the art of machine consciousness, brain enhancement or smart ambient technology warrant predictions and extrapolations on questions like personal identity, privacy, super intelligence, etc. many want to make? · Does current work in this realm tell us anything about phenomenal consciousness? The organization of mind? The possibility of artificial minds? · Do hierarchical predictive processing systems support the theoretical literature on the metaphysics of mind (mind, big data, minds online, deep minds)? Radical Brain Enhancement and Uploading: · Would an uploaded mind be me? Is mind uploading a myth? · Does radical brain enhancement challenge our sense of self, personal identity and / or humanity? Confirmed authors Susan Schneider (University of Connecticut) Gualtiero Piccinini (University of Missouri – St. Louis) Mark Bickhard (Lehigh University) Paul Smart (University of Southampton) Richard Heersmink (Macquarie University) Ron Chrisley (University of Sussex) Georg Theiner (Vilanova University) Keith Frankish (University of Crete) Gerald Vision (Temple University) Papers should not exceed 8,000 words. We especially encourage researchers who are women and/or underrepresented minorities to submit For further questions please contact the editors: Robert W. Clowes (robert.clowes@gmail.com), Klaus Gärtner (klga@gmx.de), or Inês Hipólito (hipolito.ines@gmail.com) Please send your contributions to hipolito.ines@gmail.com. Deadline: 31st of January, 2018 References Carr, N. (2010). The Shallows: How the internet is changing the way we think, read and remember. London: Atlantic Books. Chalmers, D. (2007). Forward to Supersizing the Mind Supersizing the Mind: Embodiment, Action and Cognitive Extension. Oxford: Oxford University Press. Clark, A. (2003). Natural Born Cyborgs: Minds, Technologies and the Future of Human Intelligence. New York: Oxford University Press. Clark, A. (2007). Reinventing ourselves: The plasticity of embodiment, sensing, and mind. Journal of Medicine and Philosophy, 32(3), 263282. Clowes, R. W. (2015). Thinking in the cloud: The Cognitive Incorporation of CloudBased Technology. Philosophy and Technology, 28, Issue 2,(2), 261296. Corabi, J., & Schneider, S. (2012). Metaphysics of Uploading. Journal of Consciousness Studies, 19 (7):26. Heersmink, R. (2015). Extended mind and cognitive enhancement: moral aspects of cognitive artifacts. Phenomenology and the Cognitive Sciences, 116. Malafouris, L. (2013). How Things Shape the Mind: MIT Press. Metzinger, T. (2009). The Ego Tunnel: The Science of the Mind and the Myth of the Self: Basic Books. Schneider, S. (Ed.). (2016). Science fiction and philosophy: from time travel to superintelligence. John Wiley & Sons. Schneider, S., & Mandik, P. (2016). How philosophy of mind can shape the future. Philosophy of Mind in the Twentieth and TwentyFirst Centuries. London: Routledge. Turkle, S. (2011). Alone Together: Why We Expect More From Technology and Less from Each Other. New York: Basic Books. Ethical, Legal & Clinical Implications of Neuroscience Research — 1415 September 2017, Sydney, Australia

Categories
All
