A key failing in contemporary philosophy of mind is the lack of attention paid to evolutionary theory in its research projects. Notably, where evolution is incorporated into the study of mind, the work being done is often described as philosophy of cognitive science rather than philosophy of mind. Even then, whereas possible implications of the evolution of human cognition are taken more seriously within the cognitive sciences and the philosophy of cognitive science, its relevance for cognitive science has only been (...) appreciated relatively recently, and the approach still comes in for some major criticism from prominent theorists within the field. This paper explores some of the reasons for this state of affairs and finds that it might have less to do with due consideration and well-founded scepticism about the relevance of evolutionary theory to these disciplines and more to do with historical accident and faulty assumptions on the part of key theorists in these disciplines. It is also noted that where cognitive scientists are taking evolution into account in their work on the mind, they straying more and more into domains that used to fall exclusively under the purview of philosophy of mind as it is traditionally conceived – qualia, consciousness, perception, intentionality and so forth. The point is made that in ignoring the work being done on the evolution of mind, philosophy of mind runs the risk of becoming obsolete. (shrink)

The chapter provides an overview on what it means to be in a world that is uncertain, e.g., how under conditions of limited understanding any activity is an activity that designs and constructs, and how designing objects, spaces, and situations relates to the (designed) meta-world of second-order cybernetics. Designers require a framework that is open, but one that supplies ethical guidance when ‘constructing’ something new. Relating second-order design thinking to insights in philosophy and aesthetics, the chapter argues that second-order cybernetics (...) provides a response to this ethical challenge and essentially it entails a poetics of designing. //// 'A Poetics of Designing' is part of the first book-length collection of texts in Design Cybernetics. It introduces the subject from the point of view of aesthetics. Importantly, the chapter argues that second-order cybernetics circumvents the necessity for a muse inspired artist or genius as a mediator between higher spirits and life, in favour of artists and designers who have true agency. //// Cybernetics is often associated with AI, which is, however, only one of the branches that developed on the basis of the interdisciplinary research begun in the 1940s and entitled cybernetics. I hope the chapter contributes to a better understanding of the second-order cybernetics that has been conceived in close relationship with art and design from the late 60s onwards. (shrink)

This article discusses two coextensive concepts of logical consequence that are implicit in the two fundamental logical practices of establishing validity and invalidity for premise-conclusion arguments. The premises and conclusion of an argument have information content (they ?say? something), and they have subject matter (they are ?about? something). The asymmetry between establishing validity and establishing invalidity has long been noted: validity is established through an information-processing procedure exhibiting a step-by-step deduction of the conclusion from the premise-set. Invalidity is established by (...) exhibiting a countermodel satisfying the premises but not the conclusion. The process of establishing validity focuses on information content; the process of establishing invalidity focuses on subject matter. Corcoran's information-theoretic concept of logical consequence corresponds to the former. Tarski's model-theoretic concept of logical consequence formulated in his famous 1936 no-countermodels definition corresponds to the latter. Both are found to be indispensable for understanding the rationale of the deductive method and each complements the other. This study discusses the ontic question of the nature of logical consequence and the epistemic question of the human capabilities presupposed by practical applications of these two concepts as they make validity and invalidity accessible to human knowledge. (shrink)

The book addresses the broad issue of sustainability of our civilization and seeks to contribute to the ongoing discussion of what many see as its systemic crisis. There is a broad agreement that new creative ideas, initiatives, and solutions are essential for dealing with the current problems. However, despite this recognition, we still know very little about the process of creation and how it works. As a result, our civilization fails to harness the enormous creative potential of humanity. This failure, (...) the book argues, is the main source of our current problems—languishing economy, deteriorating environment, continued violence, the deficit of democracy, and the lack of new fundamental breakthroughs in science. It examines some of these problems and demonstrates the connection between them and our failure to embrace the process of creation. The book offers a perspective that sheds light on the process of creation. It pays special attention to the theoretical contributions of Jean Piaget and the ongoing discussions of knowledge production that help us understand better how the process of creation works. The central argument of the book is that in order to solve our current problems and ensure the sustainability of our civilization well into the future we must embrace the process of creation and make it the central organizing principle of our social practice. Finally, the book provides an outline of the principal changes that the adoption of the new social practice organized around the process of creation will involve. (shrink)

What happens to the inner light of consciousness with the death of the individual body and brain? Reductive materialism assumes it simply fades to black. Others think of consciousness as indicating a continuation of self, a transformation, an awakening or even alternatives based on the quality of life experience. In this issue, speculation drawn from theoretic research are presented. -/- Table of Contents Epigraph: From “The Immortal”, Jorge Luis Borges iii Editor’s Introduction: I Killed a Squirrel the Other Day, Gregory (...) M. Nixon iv-xi Research Essays The Tilde Fallacy and Reincarnation: Variations on a "Skeptical" Argument Teed Rockwell 862-881 Death, Consciousness, and Phenomenology, Steve Bindeman 882-899 The Idealist View of Consciousness After Death, Bernardo Kastrup 900-909 Consciousness, a Cosmic Phenomenon—A Hypothesis, Eva Déli 910-930 The Theory of a Natural Afterlife: A Newfound, Real Possibility for What Awaits Us at Death, Bryon K. Ehlmann 931-950 Near-Death Cases Desegregating Non-Locality/Disembodiment via Quantum Mediated Consciousness: An Extended Version of the Cell-Soul Pathway, Contzen Pereira & J Shashi Kiran Reddy 951-968 On the Possible Existence of Quantum Consciousness After Brain Death, Massimo Pregnolato & Alfredo Pereira Jr. 969-991 Science and Postmortem Survival, Edward F. Kelly 992-1011 Explorations ISS Theory: Cosmic Consciousness, Self, and Life Beyond Death in a Hyperdimensional Physics, Chris H. Hardy 1012-1035 Does the Consciousness End, Remain Awake, or Transform After Death? Radivoj Stankovich (with Micho Durdevich) 1036-1050 Big Bang Spirituality, Life, and Death, Ken Bausch 1051-1063 Death, Consciousness and the Quantum Paradigm, Ronald Peter Glasberg 1064-1077 Living With Limits: The Continuum of Consciousness, Donald Brackett 1078-1098 Mysticism, Consciousness, Death, Mike Sosteric 1099-1118 What Dies? Eternalism and the Afterlife in William James, Jonathan Bricklin 1119-1140 Theories of Consciousness and Death: Does Consciousness End, Continue, Awaken, or Transform When the Body Dies? Roger Cook 1141-1153 It’s the Other Way Around: Matter is a Form of Consciousness and Death is the End of the Illusion of Life in the World, James P. Kowall & Pradeep B. Deshpande 1154-1208 Statements A Feminine Vision for the World Consciousness, & a New Outrageous Ontology, Lorna Green 1209-1217 The Mask of Eternity: The Quest for Immortality and the Afterlife, Iona Miller 1218-1228 Are We Really “such stuff as dreams are made on”? Chris Nunn 1229-1225 Is the Afterlife a Non-Question? (Let's Hope Not), Deepak Chopra 1226-1230 Life After Death? An Improbable Essay, Stuart Kauffman 1231-1236. (shrink)

A standard illustration' of this situation in this: let M~ be a theory of mechanics employing mass points as basic objects and let Mz be similar yet with only extended objects as its primitive elements. Let M> postulate that mass points come only in dense collections. Granted reasonable assumptions about the further details of Mq and M2, we can define the extended objects of Mz in M~ as dense sets of mass points whereas the latter can be defined in Mz (...) as nested sets of the former. Both theories offer equivalent descriptions of the world in the sense that any claim of Mq can be systematically translated into a theorem of Mz and conversely. (shrink)

The paper seeks to answer two new questions about truth and scientific change: What lessons does the phenomenon of scientific change teach us about the nature of truth? What light do recent developments in the theory of truth, incorporating these lessons, throw on problems arising from the prevalence of scientific change, specifically, the problem of pessimistic meta-induction?

Church's thesis asserts that a number-theoretic function is intuitively computable if and only if it is recursive. A related thesis asserts that Turing's work yields a conceptual analysis of the intuitive notion of numerical computability. I endorse Church's thesis, but I argue against the related thesis. I argue that purported conceptual analyses based upon Turing's work involve a subtle but persistent circularity. Turing machines manipulate syntactic entities. To specify which number-theoretic function a Turing machine computes, we must correlate these syntactic (...) entities with numbers. I argue that, in providing this correlation, we must demand that the correlation itself be computable. Otherwise, the Turing machine will compute uncomputable functions. But if we presuppose the intuitive notion of a computable relation between syntactic entities and numbers, then our analysis of computability is circular. (shrink)

Tagmemic theory as a semiotic theory can be used to analyze multiple systems of logic and to assess their strengths and weaknesses. This analysis constitutes an application of semiotics and also a contribution to understanding of the nature of logic within the context of human meaning. Each system of logic is best adapted to represent one portion of human rationality. Acknowledging this correlation between systems and their targets helps explain the usefulness of more than one system. Among these systems, the (...) two-valued system of classical logic takes its place. All the systems of logic can be incorporated into a complex mathematical model that has a place for each system and that represents a larger whole in human reasoning. The model can represent why tight formal systems of logic can be applied in some contexts with great success, but in other contexts are not directly applicable. The result suggests that human reasoning is innately richer than any one formal system of logic. (shrink)

Individuals operating within the scientific paradigm presume that the world is made of matter. Although the perspective engendered by this presupposition is very powerful, it excludes value and subjective experience from its fundamental ontology. In addition, it provides very little guidance with regards to the fundamentals of ethical action. Individuals within the religious paradigm, by contrast, presume that the world is made out of what matters. From such a perspective, the phenomenon of meaning is the primary reality. This meaning is (...) revealed both subjectively and objectively, and serves—under the appropriate conditions—as an unerring guide to ethical action.The ancient stories of Genesis cannot be properly understood without viewing them from within the religious paradigm. Genesis describes the primary categories of the world of meaning, as well as the eternal interactions of those categories. Order arises out of Chaos, through the creative intermediation of Logos, and man is manifested, in turn. Man, a constrained Logos, exists within a bounded state of being, Eden. Eden is a place where order and chaos, nature and culture, find their optimal state of balance. Because Eden is a walled garden, however—a bounded state of being—something is inevitably excluded. Unfortunately, what is excluded does not simply cease to exist. Every bounded paradise thus contains something forbidden and unknown. Man's curiosity inevitably drives him to investigate what has been excluded. The knowledge thus generated perpetually destroys the presuppositions and boundaries that allow his temporary Edens to exist. Thus, man is eternally fallen. The existential pain generated by this endlessly fallen state can undermine man's belief in the moral justifi0ability of being—and may turn him, like Cain, against brother and God. (shrink)

Ordinary semantic compositionality (meaning of whole determined from meanings of parts plus composition) can serve to explain how a hearer manages to assign an appropriate meaning to a new sentence. But it does not serve to explain how the speaker manages to find an appropriate sentence for expressing a new thought. For this we would need a principle of inverse compositionality, by which the expression of a complex content is determined by the expressions of it parts and the mode of (...) composition. But this presupposes that contents have constituent structure, and this cannot be taken for granted. However, it can be proved that if a certain principle of substitutivity is valid for a particular language, then the meanings expressed by its sentences can justifiably be treated as structured. In its simplest form, this principle says that if in a complex expression a constituent is replaced by another constituent with a different meaning, the new complex has a meaning different from the original. This principle is again inversely related to the normal compositional principle of substitutivity. The combination of ordinary and inverse compositionality is here called 'strong compositionality'. The proof is carried out in the algebraic framework developed by Wilfrid Hodges and Dag Westerståhl. (shrink)

The article “Is Google Making Us Stupid?” in last Summer’s Atlantic Monthly, raised a number of provocative, and indeed worrisome, questions about computer usage and cognitive development. For instance, persons with considerable experience of reading for the sake of pleasure report that, after a couple of years using computers a great deal, they have experienced a loss of interest in pleasure-reading, even feeling impatient when written sources do not supply the information they seek quickly and conveniently. One suggestion is that (...) these effects are somehow related to the mathematical basis of computing provided in the work of Alan Turing. Since, however, Turing's work is based on earlier work by Kurt Gödel, the question may be referred to Gödel's results and it is argued that the mathematical architecture underlying computer operation and applications in no way limits the creativity or even the cognitive activity of its users. (shrink)

This article examines Hilary Putnam's work in the philosophy of mathematics and - more specifically - his arguments against mathematical realism or objectivism. These include a wide range of considerations, from Gödel's incompleteness-theorem and the limits of axiomatic set-theory as formalised in the Löwenheim-Skolem proof to Wittgenstein's sceptical thoughts about rule-following, Michael Dummett's anti-realist philosophy of mathematics, and certain problems – as Putnam sees them – with the conceptual foundations of Peano arithmetic. He also adopts a thought-experimental approach – a (...) variant of Descartes' dream scenario – in order to establish the in-principle possibility that we might be deceived by the apparent self-evidence of basic arithmetical truths or that it might be ‘rational’ to doubt them under some conceivable set of circumstances. Thus Putnam assumes that mathematical realism involves a self-contradictory ‘Platonist’ idea of our somehow having quasi-perceptual epistemic ‘contact’ with truths that in their very nature transcend the utmost reach of human cognitive grasp. On this account, quite simply, ‘nothing works’ in philosophy of mathematics since wecan either cling to that unworkable notion of objective truth or abandon mathematical realism in favour of a verificationist approach that restricts the range of admissible statements to those for which we happen to possess some means of proof or ascertainment. My essay puts the case, conversely, that these hyperbolic doubts are not forced upon us but result from a false understanding of mathematical realism – a curious mixture of idealist and empiricist themes – which effectively skews the debate toward a preordained sceptical conclusion. I then go on to mount a defence of mathematical realism with reference to recent work in this field and also to indicate some problems – as I seethem – with Putnam's thought-experimental approach as well ashis use of anti-realist arguments from Dummett, Kripke, Wittgenstein, and others. (shrink)

The introduction of massive parallelism and the renewed interest in neural networks gives a new need to evaluate the relationship of symbolic processing and artificial intelligence. The physical symbol hypothesis has encountered many difficulties coping with human concepts and common sense. Expert systems are showing more promise for the early stages of learning than for real expertise. There is a need to evaluate more fully the inherent limitations of symbol systems and the potential for programming compared with training. This can (...) give more realistic goals for symbolic systems, particularly those based on logical foundations. (shrink)

The topics of structural proof theory and logic programming have influenced each other for more than three decades. Proof theory has contributed the notion of sequent calculus, linear logic, and higher-order quantification. Logic programming has introduced new normal forms of proofs and forced the examination of logic-based approaches to the treatment of bindings. As a result, proof theory has responded by developing an approach to proof search based on focused proof systems in which introduction rules are organized into two alternating (...) phases of rule application. Since the logic programming community can generate many examples and many design goals, the close connections with proof theory have helped to keep proof theory relevant to the general topic of computational logic. (shrink)

This paper is concerned with the reversal in meaning of the word positivism, which has come to mean ‘theory which assumes the existence of a world beyond our ideas’ whereas once it meant ‘theory which is agnostic about the existence of a world beyond our ideas', and with educational writers’ persistent mistakes in using quotation marks, as a consequence of this reversal.

In this work we report a simple way to assign a single numeric value in a three-dimensional space to a given nucleotide sequence. The method reported allows for theoretical comparisons of naturally occurring nucleotide sequences.

MaxEnt inference algorithm and information theory are relevant for the time evolution of macroscopic systems considered as problem of incomplete information. Two different MaxEnt approaches are introduced in this work, both applied to prediction of time evolution for closed Hamiltonian systems. The first one is based on Liouville equation for the conditional probability distribution, introduced as a strict microscopic constraint on time evolution in phase space. The conditional probability distribution is defined for the set of microstates associated with the set (...) of phase space paths determined by solutions of Hamilton’s equations. The MaxEnt inference algorithm with Shannon’s concept of the conditional information entropy is then applied to prediction, consistently with this strict microscopic constraint on time evolution in phase space. The second approach is based on the same concepts, with a difference that Liouville equation for the conditional probability distribution is introduced as a macroscopic constraint given by a phase space average. We consider the incomplete nature of our information about microscopic dynamics in a rational way that is consistent with Jaynes’ formulation of predictive statistical mechanics, and the concept of macroscopic reproducibility for time dependent processes. Maximization of the conditional information entropy subject to this macroscopic constraint leads to a loss of correlation between the initial phase space paths and final microstates. Information entropy is the theoretic upper bound on the conditional information entropy, with the upper bound attained only in case of the complete loss of correlation. In this alternative approach to prediction of macroscopic time evolution, maximization of the conditional information entropy is equivalent to the loss of statistical correlation, and leads to corresponding loss of information. In accordance with the original idea of Jaynes, irreversibility appears as a consequence of gradual loss of information about possible microstates of the system. (shrink)

We sketch the historical and conceptual context of Turing's analysis of algorithmic or mechanical computation. We then discuss two responses to that analysis, by Gödel and by Gandy, both of which raise, though in very different ways. The possibility of computation procedures that cannot be reduced to the basic procedures into which Turing decomposed computation. Along the way, we touch on some of Cleland's views.

It is argued that mathematical statements are "a posteriori synthetic" statements of a very special sort, To be called "structure-Analytic" statements. They follow logically from the axioms defining the mathematical structure they are describing--Provided that these axioms are "consistent". Yet, Consistency of these axioms is an empirical claim: it may be "empirically verifiable" by existence of a finite model, Or may have the nature of an "empirically falsifiable hypothesis" that no contradiction can be derived from the axioms.

Artificial intelligence is presented as a set of tools with which we can try to come to terms with human problems, and with the assistance of which, some human problems can be solved. Artificial intelligence is located in its social context, in terms of the environment within which it is developed, and the applications to which it is put. Drawing on social theory, there is consideration of the collaborative and social problem-solving processes which are involved in artificial intelligence and society. (...) In a look ahead to the coming generations of highly parallel computing systems, it is suggested that lessons can be learnt from the highly parallel processes of human social problem-solving. (shrink)

This article focuses on issues related to improving an argument about minds and machines given by Kurt Gödel in 1951, in a prominent lecture. Roughly, Gödel’s argument supported the conjecture that either the human mind is not algorithmic, or there is a particular arithmetical truth impossible for the human mind to master, or both. A well-known weakness in his argument is crucial reliance on the assumption that, if the deductive capability of the human mind is equivalent to that of a (...) formal system, then that system must be consistent. Such a consistency assumption is a strong infallibility assumption about human reasoning, since a formal system having even the slightest inconsistency allows deduction of all statements expressible within the formal system, including all falsehoods expressible within the system. We investigate how that weakness and some of the other problematic aspects of Gödel’s argument can be eliminated or reduced. (shrink)

odel’s theorem than he has often been credited with. Substantively, they find in Wittgenstein’s remarks “a philosophical claim of great interest,” and they argue that, when this claim is properly assessed, it helps to vindicate some of Wittgenstein’s broader views on G¨.

A review of Manfred Spitzer's The mind within the net: Models of learning, thinking, and acting.

This dissertation examines several of the problems that Hilbert discovered in the foundations of mathematics, from a metalogical perspective. The problems manifest themselves in four different aspects of Hilbert’s views: (i) Hilbert’s axiomatic approach to the foundations of mathematics; (ii) His response to criticisms of set theory; (iii) His response to intuitionist criticisms of classical mathematics; (iv) Hilbert’s contribution to the specification of the role of logical inference in mathematical reasoning. This dissertation argues that Hilbert’s axiomatic approach was guided primarily (...) by model theoretical concerns. Accordingly, the ultimate aim of his consistency program was to prove the model-theoretical consistency of mathematical theories. It turns out that for the purpose of carrying out such consistency proofs, a suitable modification of the ordinary first-order logic is needed. To effect this modification, independence-friendly logic is needed as the appropriate conceptual framework. It is then shown how the model theoretical consistency of arithmetic can be proved by using IF logic as its basic logic. Hilbert’s other problems, manifesting themselves as aspects (ii), (iii), and (iv)—most notably the problem of the status of the axiom of choice, the problem of the role of the law of excluded middle, and the problem of giving an elementary account of quantification—can likewise be approached by using the resources of IF logic. It is shown that by means of IF logic one can carry out Hilbertian solutions to all these problems. The two major results concerning aspects (ii), (iii) and (iv) are the following: (a) The axiom of choice is a logical principle; (b) The law of excluded middle divides metamathematical methods into elementary and non-elementary ones. It is argued that these results show that IF logic helps to vindicate Hilbert’s nominalist philosophy of mathematics. On the basis of an elementary approach to logic, which enriches the expressive resources of ordinary first-order logic, this dissertation shows how the different problems that Hilbert discovered in the foundations of mathematics can be solved. (shrink)

We respond to some of the points made by Bennet and Blanck (2022) concerning a previous publication of ours (2021).

Over the past thirty years, it is been common to hear the mind likened to a digital computer. This essay is concerned with a particular philosophical view that holds that the mind literally is a digital computer (in a specific sense of “computer” to be developed), and that thought literally is a kind of computation. This view—which will be called the “Computational Theory of Mind” (CTM)—is thus to be distinguished from other and broader attempts to connect the mind with computation, (...) including (a) various enterprises at modeling features of the mind using computational modeling techniques, and (b) employing some feature or features of production-model computers (such as the stored program concept, or the distinction between hardware and software) merely as a guiding metaphor for understanding some feature of the mind. This entry is therefore concerned solely with the Computational Theory of Mind (CTM) proposed by Hilary Putnam [1961] and developed most notably for philosophers by Jerry Fodor [1975, 1980, 1987, 1993]. The senses of ‘computer’ and ‘computation’ employed here are technical; the main tasks of this entry will therefore be to elucidate: (a) the technical sense of ‘computation’ that is at issue, (b) the ways in which it is claimed to be applicable to the mind, (c) the philosophical problems this understanding of the mind is claimed to solve, and (d) the major criticisms that have accrued to this view. (shrink)

The present paper proposes a new perspective on the place of Frege’s work in the history of computability theory, by calling attention to his 1874 Habilitationsschrift. It shows the prominent role played by functional iteration in Frege’s early efforts to provide a general concept of numerical magnitude, attached to an embryonic recursion schema and the use of functions as expressive means. Moreover, a connection is suggested between the iteration theory used and developed by Frege in his treatise and Schröder’s original (...) concern for the mathematical treatment of the problem of the feasibility of algorithmic computation. (shrink)

Perhaps there has been no greater opportunity than in this “VOLUME FIFTEEN of our Death And Anti-Death set of anthologies” to write about how might think about life and how to avoid death. There are two reasons to discuss “life”, the first being enhancing our understanding of who we are and why we may be here in the Universe. The second is more practical: how humans meet the physical challenges brought about by the way they have interacted with their environment. (...) Many persons discussing “life” beg the question about what “life” is. Surely, when one discusses how to overcome its opposite, death, they are not referring to another “living” thing such as a plant. There seems to be a commonality, though, and it is this commonality is one needing elaboration. It ostensibly seems to be the boundary condition separating what is completely passive (inert) from what attempts to maintain its integrity, as well as fulfilling other conditions we think “life” has. In our present discussion, there will be a reminder that it by no means has been unequivocally established what life really is by placing quotes around the word, namely, “life”. Consider it a tag representing a bundle of philosophical ideas that will be unpacked in this paper. (shrink)

En este artículo se mostrará cómo la producción de conocimiento de manera participada es una exigencia científica que transciende el compromiso ético. Si consideramos -como aquí se argumentará- que no hay objeto sin sujeto, ni sujeto sin objeto y, por tanto, que no hay un universo sino sistemas observadores que dan cuenta de pluriversos, la producción de conocirniento ha de pasar por la puesta en marcha de procesos conversacionales entre sistemas observadores, en donde se produzcan realidades compatibles que satisfagan al (...) más denso conjunto de acción posible, esto es, que satisfagan con la mayor intensidad al mayor número de sistemas observadores. (shrink)

This paper challenges Tony Lawson's account of the relationship between mainstream economics and ideology along two key axes. First off, we argue that Newtonian physics has been the primary version of pro-science ideology within mainstream economics, rather than mathematics per se. Secondly, we argue that the particular uses of mathematics within mainstream economics have always been ideological in the pro-capitalist sense of the term. In order to defend these claims we develop a line of argument that Lawson has thus far (...) strategically avoided. Namely, we view mainstream economic theory as an integrated theoretical paradigm with intrinsic links to the capitalist economy. Viewed in this way, it becomes clear that Lawson's (trans) historical account of ideology is too general to capture the complexity of the relationship between natural science, mathematics and mainstream methods. Having briefly outlined Lawson's central argument, we highlight the non-mathematical methods underpinning Classical Political Economy. Thereafter, we assess the nature of the mathematics associated with the Marginal Revolution of the 1870s and the Formalist Revolution of the 1950s. (shrink)

An information recovery problem is the problem of constructing a proposition containing the information dropped in going from a given premise to a given conclusion that folIows. The proposition(s) to beconstructed can be required to satisfy other conditions as well, e.g. being independent of the conclusion, or being “informationally unconnected” with the conclusion, or some other condition dictated by the context. This paper discusses various types of such problems, it presents techniques and principles useful in solving them, and it develops (...) algorithmic methods for certain classes of such problems. The results are then applied to classical number theory, in particular, to questions concerning possible refinements of the 1931 Gödel Axiom Set, e.g. whether any of its axioms can be analyzed into “informational atoms”. Two propositions are “informationally unconnected” [with each other] if no informative (nontautological) consequence of one also follows from the other. A proposition is an “informational atom” if it is informative but no information can be dropped from it without rendering it uninformative (tautological). Presentation, employment, and investigation of these two new concepts are prominent features of this paper. (shrink)

Homo deceptus is a book that brings together new ideas on language, consciousness and physics into a comprehensive theory that unifies science and philosophy in a different kind of Theory of Everything. The subject of how we are to make sense of the world is addressed in a structured and ordered manner, which starts with a recognition that scientific truths are constructed within a linguistic framework. The author argues that an epistemic foundation of natural language must be understood before laying (...) claim to any notion of reality. This foundation begins with Ludwig Wittgenstein’s Tractatus Logico-Philosophicus and the relationship of language to formal logic. Ultimately, we arrive at an answer to the question of why people believe the things they do. This is effectively a modification of Alfred Tarski’s semantic theory of truth. The second major issue addressed is the ‘dreaded’ Hard Problem of Consciousness as first stated by David Chalmers in 1995. The solution is found in the unification of consciousness, information theory and notions of physicalism. The physical world is shown to be an isomorphic representation of the phenomenological conscious experience. New concepts in understanding how language operates help to explain why this relationship has been so difficult to appreciate. The inclusion of concepts from information theory shows how a digital mechanics resolves heretofore conflicting theories in physics, cognitive science and linguistics. Scientific orthodoxy is supported, but viewed in a different light. Mainstream science is not challenged, but findings are interpreted in a manner that unifies consciousness without contradiction. Digital mechanics and formal systems of logic play central roles in combining language, consciousness and the physical world into a unified theory where all can be understood within a single consistent framework. (shrink)

This thesis articulates the resonances between J. M. Coetzee's lifelong engagement with mathematics and his practice as a novelist, critic, and poet. Though the critical discourse surrounding Coetzee's literary work continues to flourish, and though the basic details of his background in mathematics are now widely acknowledged, his inheritance from that background has not yet been the subject of a comprehensive and mathematically- literate account. In providing such an account, I propose that these two strands of his intellectual trajectory not (...) only developed in parallel, but together engendered several of the characteristic qualities of his finest work. The structure of the thesis is essentially thematic, but is also broadly chronological. Chapter 1 focuses on Coetzee's poetry, charting the increasing involvement of mathematical concepts and methods in his practice and poetics between 1958 and 1979. Chapter 2 situates his master's thesis alongside archival materials from the early stages of his academic career, and thus traces the development of his philosophical interest in the migration of quantificatory metaphors into other conceptual domains. Concentrating on his doctoral thesis and a series of contemporaneous reviews, essays, and lecture notes, Chapter 3 details the calculated ambivalence with which he therein articulates, adopts, and challenges various statistical methods designed to disclose objective truth. Chapter 4 explores the thematisation of several mathematical concepts in Dusklands and In the Heart of the Country. Chapter Five considers Waiting for the Barbarians and Foe in the context provided by Coetzee's interest in the attempts of Isaac Newton to bridge the gap between natural language and the supposedly transparent language of mathematics. Finally, Chapter 6 locates in Elizabeth Costello and Diary of a Bad Year a cognitive approach to the use of mathematical concepts in ethics, politics, and aesthetics, and, by analogy, a central aspect of the challenge Coetzee's late fiction poses to the contemporary literary landscape. (shrink)

In this paper, Douglas Hofstadter’s view of the self as a “strange loop” is used in order to understand how several acting techniques work. As examples of acting techniques I will use the work of Lee Strasberg, Constantin Stanislavski, Stella Adler and Sanford Meisner. I will argue that Douglas Hofstadter’s view of the self as a strange loop allows us to understand how acting works. I will furthermore argue that because Douglas Hofstadter’s view is successful in explaining how different acting (...) techniques work, that is a good indication of its adequacy as a theory of the self. (shrink)

Our commonsense notion of reality is supported by two critical assumptions for which we have little understanding: The conscious experience which underpins the observations integral to the scientific method and language, which is the method by which all theories, scientific or otherwise, are communicated. This book examines both of these matters in detail and arrives at a new theoretical foundation for understanding how nature undertakes the task of building the universe. -/- Creating Reality is a synthesis of Darwin’s The Origin (...) of Species and Douglas Hofstadter’s Gödel, Escher, Bach (GEB). It is an intellectual journey that addresses the most profound questions facing science and philosophy today and delivers the greatest transformation in the way we view the world since Darwin’s masterpiece. The book is targeted at anyone up for the cerebral challenge of thinking deeply about how we make sense of the world and our existence. The book is thoroughly researched and referenced, drawing from the most highly credential sources. -/- When we take stock of where we are in our understanding of nature, it seems that three important questions stand out for which we have few answers. More than just questions, they represent gaps in our comprehension of what makes the universe tick. These are the thematic focal points of this book: -/- • What is the nature of belief? (An examination of truth as a function of language). • What is consciousness? • What is the relationship between mathematics and the physical world? -/- The exploration of these three questions unravels the mystery behind the principal means by which we come to have knowledge of the world. So our journey begins by asking the more generic question: How do we come to know the world? The book makes no assumptions about this thing called ‘reality’ and takes a fresh look at the presuppositions underlying commonsense notions of reality. (shrink)