A fundamental problem in artificial intelligence is that nobody really knows what intelligence is. The problem is especially acute when we need to consider artificial systems which are significantly different to humans. In this paper we approach this problem in the following way: we take a number of well known informal definitions of human intelligence that have been given by experts, and extract their essential features. These are then mathematically formalised to produce a general measure of intelligence for arbitrary machines. (...) We believe that this equation formally captures the concept of machine intelligence in the broadest reasonable sense. We then show how this formal definition is related to the theory of universal optimal learning agents. Finally, we survey the many other tests and definitions of intelligence that have been proposed for machines. (shrink)

Can an agent's intelligence level be negative? We extend the Legg-Hutter agent-environment framework to include punishments and argue for an affirmative answer to that question. We show that if the background encodings and Universal Turing Machine (UTM) admit certain Kolmogorov complexity symmetries, then the resulting Legg-Hutter intelligence measure is symmetric about the origin. In particular, this implies reward-ignoring agents have Legg-Hutter intelligence 0 according to such UTMs.

The first decade of this century has seen the nascency of the first mathematical theory of general artificial intelligence. This theory of Universal Artificial Intelligence (UAI) has made significant contributions to many theoretical, philosophical, and practical AI questions. In a series of papers culminating in book (Hutter, 2005), an exciting sound and complete mathematical model for a super intelligent agent (AIXI) has been developed and rigorously analyzed. While nowadays most AI researchers avoid discussing intelligence, the award-winning PhD thesis ( (...) class='Hi'>Legg, 2008) provided the philosophical embedding and investigated the UAI-based universal measure of rational intelligence, which is formal, objective and non-anthropocentric. Recently, effective approximations of AIXI have been derived and experimentally investigated in JAIR paper (Veness et al. 2011). This practical breakthrough has resulted in some impressive applications, finally muting earlier critique that UAI is only a theory. For the first time, without providing any domain knowledge, the same agent is able to self-adapt to a diverse range of interactive environments. For instance, AIXI is able to learn from scratch to play TicTacToe, Pacman, Kuhn Poker, and other games by trial and error, without even providing the rules of the games. These achievements give new hope that the grand goal of Artificial General Intelligence is not elusive. This article provides an informal overview of UAI in context. It attempts to gently introduce a very theoretical, formal, and mathematical subject, and discusses philosophical and technical ingredients, traits of intelligence, some social questions, and the past and future of UAI. (shrink)

Legg and Hutter, as well as subsequent authors, considered intelligent agents through the lens of interaction with reward-giving environments, attempting to assign numeric intelligence measures to such agents, with the guiding principle that a more intelligent agent should gain higher rewards from environments in some aggregate sense. In this paper, we consider a related question: rather than measure numeric intelligence of one Legg- Hutter agent, how can we compare the relative intelligence of two (...) class='Hi'>Legg-Hutter agents? We propose an elegant answer based on the following insight: we can view Legg-Hutter agents as candidates in an election, whose voters are environments, letting each environment vote (via its rewards) which agent (if either) is more intelligent. This leads to an abstract family of comparators simple enough that we can prove some structural theorems about them. It is an open question whether these structural theorems apply to more practical intelligence measures. (shrink)

In their thought-provoking paper, Legg and Hutter consider a certain abstrac- tion of an intelligent agent, and define a universal intelligence measure, which assigns every such agent a numerical intelligence rating. We will briefly summarize Legg and Hutter’s paper, and then give a tongue-in-cheek argument that if one’s goal is to become more intelligent by cultivating music appreciation, then it is bet- ter to use classical music (such as Bach, Mozart, and Beethoven) than to use more (...) recent pop music. The same argument could be adapted to other media: books beat films, card games beat first-person shooters, parables beat dissertations, etc. We leave it to the reader to decide whether this argument tells us something about classical music, something about Legg-Hutter intelligence, or something about both. (shrink)

Can humans get arbitrarily capable reinforcement learning agents to do their bidding? Or will sufficiently capable RL agents always find ways to bypass their intended objectives by shortcutting their reward signal? This question impacts how far RL can be scaled, and whether alternative paradigms must be developed in order to build safe artificial general intelligence. In this paper, we study when an RL agent has an instrumental goal to tamper with its reward process, and describe design principles that (...) prevent instrumental goals for two different types of reward tampering. Combined, the design principles can prevent reward tampering from being an instrumental goal. The analysis benefits from causal influence diagrams to provide intuitive yet precise formalizations. (shrink)

Inspired by recent progress in multi-agent Reinforcement Learning (RL), in this work we examine the collective intelligent behaviour of theoretical universal agents by introducing a weighted mixture operation. Given a weighted set of agents, their weighted mixture is a new agent whose expected total reward in any environment is the corresponding weighted average of the original agents' expected total rewards in that environment. Thus, if RL agent intelligence is quantified in terms of performance across environments, the weighted (...) mixture's intelligence is the weighted average of the original agents' intelligences. This operation enables various interesting new theorems that shed light on the geometry of RL agent intelligence, namely: results about symmetries, convex agent-sets, and local extrema. We also show that any RL agent intelligence measure based on average performance across environments, subject to certain weak technical conditions, is identical (up to a constant factor) to performance within a single environment dependent on said intelligence measure. (shrink)

Sequential decision theory formally solves the problem of rational agents in uncertain worlds if the true environmental prior probability distribution is known. Solomonoff's theory of universal induction formally solves the problem of sequence prediction for unknown prior distribution. We combine both ideas and get a parameter-free theory of universal Artificial Intelligence. We give strong arguments that the resulting AIXI model is the most intelligent unbiased agent possible. We outline how the AIXI model can formally solve a number of problem (...) classes, including sequence prediction, strategic games, function minimization, reinforcement and supervised learning. The major drawback of the AIXI model is that it is uncomputable. To overcome this problem, we construct a modified algorithm AIXItl that is still effectively more intelligent than any other time t and length l bounded agent. The computation time of AIXItl is of the order t x 2^l. The discussion includes formal definitions of intelligence order relations, the horizon problem and relations of the AIXI theory to other AI approaches. (shrink)

Automated reasoning about uncertain knowledge has many applications. One difficulty when developing such systems is the lack of a completely satisfactory integration of logic and probability. We address this problem directly. Expressive languages like higher-order logic are ideally suited for representing and reasoning about structured knowledge. Uncertain knowledge can be modeled by using graded probabilities rather than binary truth-values. The main technical problem studied in this paper is the following: Given a set of sentences, each having some probability of being (...) true, what probability should be ascribed to other (query) sentences? A natural wish-list, among others, is that the probability distribution (i) is consistent with the knowledge base, (ii) allows for a consistent inference procedure and in particular (iii) reduces to deductive logic in the limit of probabilities being 0 and 1, (iv) allows (Bayesian) inductive reasoning and (v) learning in the limit and in particular (vi) allows confirmation of universally quantified hypotheses/sentences. We translate this wish-list into technical requirements for a prior probability and show that probabilities satisfying all our criteria exist. We also give explicit constructions and several general characterizations of probabilities that satisfy some or all of the criteria and various (counter) examples. We also derive necessary and sufficient conditions for extending beliefs about finitely many sentences to suitable probabilities over all sentences, and in particular least dogmatic or least biased ones. We conclude with a brief outlook on how the developed theory might be used and approximated in autonomous reasoning agents. Our theory is a step towards a globally consistent and empirically satisfactory unification of probability and logic. (shrink)

Although pragmatism and phenomenology have both contributed significantly to the genealogy of so-called “4E” – embodied, embedded, enactive and extended – cognition, there is benefit to be had from a systematic comparative study of these roots. As existing 4E cognition literature has tended to emphasise one or the other tradition, issues remain to be addressed concerning their commonalities – and possible incompatibilities. We begin by exploring pragmatism and phenomenology’s shared focus on contesting intellectualism, and its key assumption of mindedness as (...) representation. We then outline distinctive insights from both traditions regarding the nature and role of habits, in order to put forward a habit-based epistemology as an alternative to the Cartesian idea-based epistemology that has dominated modern philosophy. We pay particular attention to the work of classical pragmatist C.S. Peirce, arguing that his semiotics, which analyses sign-use as habit, shows how theorists of embodied cognition can break a certain false dichotomy between embodiment and logical or intellectual structure which has prevented them from fully theorising propositional knowledge. In this way, our work both augments and challenges the Dewey/Merleau-Ponty connection that has been much more extensively explored by the field. (shrink)

This paper contrasts the scholastic realisms of David Armstrong and Charles Peirce. It is argued that the so-called 'problem of universals' is not a problem in pure ontology (concerning whether universals exist) as Armstrong construes it. Rather, it pertains to which predicates should be applied where, issues which Armstrong sets aside under the label of 'semantics', and which from a Peircean perspective encompass even fundamentals of scientific methodology. It is argued that Peirce's scholastic realism not only presents a more nuanced (...) ontology (distinguishing existence and reality) but also illuminates why scholastic realism is a position worth fighting for. (shrink)

This paper addresses some apparent philosophical tensions between realism and enactivism by means of Charles Peirce’s pragmatism. Enactivism’s Mind-Life Continuity thesis has been taken to commit it to some form of anti-realist ‘world-construction’ which has been considered controversial. Accordingly, a new realist enactivism is proposed by Zahidi (_Phenomenology and the Cognitive Sciences,_ _13_(3), 461–475, 2014 ), drawing on Ian Hacking’s ‘entity realism’, which places subjects in worlds comprised of the things that they can successfully manipulate. We review this attempt, and (...) argue that whilst Zahidi rightly urges enactivists towards ‘internal realism’, he cannot sustain a non-negotiable aspect of realism that is crucial for scientific progress – the claim that multiple subjects inhabit _the same world_. We explore Peirce’s pragmatism as an alternative solution, foregrounding his distinction between existence and reality, and his inquiry-based account of cognition. These theoretical innovations, we argue, fruitfully generalize Zahidi’s _manipulation-based_ enactivist realism to a richer, _inquiry-based_ enactivist realism. We explore how this realism’s pan-species monism about truth encourages and supports the investigation of non-human animal cognition, and conclude by considering some implications of our discussion for long-standing realism debates within pragmatism. (shrink)

The theme of the philosopher as therapist dominates Nietzsche's entire opus, from his earliest writings to the Zarathustra period and beyond. Nietzsche wishes to hasten the coming and future sanctification of a new type of synthetic human being, and his entire teaching is shaped by his own struggles against illness.Yet few Nietzsche scholars have paid this crucial therapeutic element of his thought sufficient attention. This collection of essays by leading scholars in the field is composed around the Nietzschean insight, which (...) has its roots in the Hippocratic tradition of ancient medicine, that beliefs, behaviours, ideals and patterns of striving are not things for which individuals or even cultures are responsible. Rather, they are symptoms of what an individual or culture is, which symptoms require diagnostic interpretation and evaluation. The book identifies three principal approaches in Nietzsche's philosophy: diagnostic, prognostic and therapeutic. Each essay takes up this essential insight into Nietzsche's therapeutic philosophy from a different perspective and collectively they reveal an array of insightful approaches to self-induced enhancement, for both individuals and cultures. (shrink)

An original work of philosophy that highlights the connection between self-understanding and narrative form.

OBJECTIVES: To compare 2005 and 1995 ethics guidelines from journal editors to authors regarding requirements for institutional review board (IRB) approval and conflict-of-interest (COI) disclosure. DESIGN: A descriptive study of the ethics guidelines published in 103 English-language biomedical journals listed in the Abridged Index Medicus in 1995 and 2005. Each journal was reviewed by the principal author and one of four independent reviewers. RESULTS: During the period, the proportion of journals requiring IRB approval increased from 42% (95% CI 32.2% to (...) 51.2%, p<0.001) to 76% (95% CI 66.4% to 83.1%, p<0.001). In 2005, an additional 9% referred to the Declaration of Helsinki or the International Committee of Medical Journal Editors' Uniform requirements for ethical guidelines; 15% (95% CI 8.5% to 22.5%, p<0.01) provided ambiguous or no requirements. The proportion of journals requiring COI disclosure increased from 75% (95% CI 66.6% to 83.3%, p<0.05) to 94% (95% CI 89.4% to 98.6%, p<0.05); 41% had comprehensive requirements, while some addressed only funding source (6%), were vague (10%) or both (14%). Criteria for authorship rose from 40% (95% CI 30.5% to 49.5%, p<0.05) to 72% (95% CI 63.3% to 80.7%, p<0.05). Journals with higher impact factors were more likely to require IRB approval (p<0.01). Journals in anaesthesia and radiology all required IRB approval; requirements in other disciplines varied. CONCLUSIONS: Instructions to authors regarding ethical standards have improved. Some remain incomplete, especially regarding the scope of disclosure of COI. The ethical guidelines presented to authors need further clarification and standardisation. (shrink)

ABSTRACTResearch that dissociates different types of processes within a given task using a processing tree approach suggests that attitudes may be acquired through evaluative conditioning in the absence of explicit encoding of CS-US pairings in memory. This research distinguishes explicit memory for the CS-US pairings from CS-liking acquired without encoding of CS-US pairs in explicit memory. It has been suggested that the latter effect may be due to an implicit misattribution process that is assumed to operate when US evocativeness is (...) low. In the present research, the latter assumption was supported neither by two high-powered experiments nor by complementary meta-analytic evidence, whereas evocativeness exerted an influence on explicit memory. This pattern of findings is inconsistent with the view that CS-liking acquired without encoding of CS-US pairs in explicit memory reflects an implicit misattribution process at learning. Hence, the underlying learning process is awaiting further empirical scrutiny. (shrink)

Exploring how modern internationalism emerged as a negotiated process through international conferences, this edited collection studies the spaces and networks through which states, civil society institutions and anti-colonial political networks used these events to realise their visions of the international. Using an interdisciplinary approach, contributors explore the spatial paradox of two fundamental features of modern internationalism. First, overcoming limitations of place to go beyond the nation-state in search of the shared interests of humankind, and second the role of the spaces (...) in which people came together to conceive and enact their internationalist ideas. From Paris 1919 to Bandung 1955, this book shows how modern internationalism interacted with the ongoing influence of nation-states and imperial sovereignty through international conferences. While international 'permanent institutions' such as the League of Nations, UN and Institute of Pacific Relations constantly negotiated national and imperial politics, lesser-resourced and more radical political networks more frequently targeted states. Taken together these conferences radically expand our conception of where and how modern internationalism emerged, and make the case for focusing on internationalism in a contemporary moment when its merits are being called into question. (shrink)

Feeding difficulties in older patients who are suffering from dementia present problems with balancing conflicting ethical principles. They have been considered by several writers in recent years, and the views of nursing and care staff have been studied in different contexts. The present study used focus groups to explore the way in which nursing and care staff in a National Health Service trust deal with conflict between ethical principles in this area. Three focus groups were convened, one each from the (...) staff of three wards caring for patients with dementia. Case histories were discussed and transcripts analysed. It emerged that staff were aware of making fine judgements of utility concerning the spectrum of feeding methods available. Informants gave some weight to the principle of autonomy, but sought to balance that against their commitment to care. In explaining their perspectives, informants gave more weight to personal attitudes and trust culture than to professional ethics. (shrink)

The Conference on Artificial General Intelligence is the only major conference series devoted wholly and specifically to the creation of AI systems possessing general intelligence at the human level and ultimately beyond. Its second installation, AGI-09, in Arlington, Virginia, March 6-9, 2009, attracted 67 paper submissions, which is a substantial increase from the previous year. Of these submissions, 33 (i.e., 49%) were accepted as full papers for presentation at the conference. Additional 13 papers were included as position papers. The program (...) also included a keynote address by Juergen Schmidhuber on 'The New AI', a post-conference workshop on 'The Future of AI', and a number of pre-conference tutorials on various topics related to AGI. (shrink)

Name der Zeitschrift: Zeitschrift für Religionswissenschaft Jahrgang: 26 Heft: 1 Seiten: 202-205.

The call for business practices that create benefits for companies, customers, and society is getting louder. This article analyzes a new implementation of such a win–win–win approach: the carrotmob. Activists and managers jointly organize a shopping flashmob in which consumers collectively purchase the products of a target company to reward its intent to act more socially responsible. Given that carrotmobs are only efficient if they are supported by a critical mass of consumers, a survey study of 337 young consumers explores (...) the critical drivers of carrotmob participation. Accordingly, object-oriented, personal, and social motives jointly determine carrotmob participation with social motives having the strongest impact. (shrink)

Charles Peirce's diagrammatic logic — the Existential Graphs — is presented as a tool for illuminating how we know necessity, in answer to Benacerraf's famous challenge that most ‘semantics for mathematics’ do not ‘fit an acceptable epistemology’. It is suggested that necessary reasoning is in essence a recognition that a certain structure has the particular structure that it has. This means that, contra Hume and his contemporary heirs, necessity is observable. One just needs to pay attention, not merely to individual (...) things but to how those things are related in larger structures, certain aspects of which relations force certain other aspects to be a certain way. (shrink)

In many diagrams one seems to perceive necessity – one sees not only that something is so, but that it must be so. That conflicts with a certain empiricism largely taken for granted in contemporary philosophy, which believes perception is not capable of such feats. The reason for this belief is often thought well-summarized in Hume's maxim: ‘there are no necessary connections between distinct existences’. It is also thought that even if there were such necessities, perception is too passive or (...) localized a faculty to register them. We defend the perception of necessity against such Humeanism, drawing on examples from mathematics. (shrink)

Das Verhaltnis von Spekulation und Vorstellung in Hegels enzyklopadischem System ist von einer eigentumlichen Spannung gekennzeichnet. Spekulation ist nicht nur die kritische Reinigung der Inhalte der Vorstellung von ihren Vorurteilen und Irrtumern, sondern zugleich Anerkennung des endlichen, vorstellenden Denkens innerhalb seiner Grenzen, sowohl auf dem Gebiet der Erkenntnistheorie als auch der Religion. Wie verhalten sich aber Spekulation und Vorstellung zueinander in verschiedenen Teilen des enzyklopadischen Systems, in der Logik und der Philosophie des Geistes? Diesem Zusammenhang gehen die Beitrage des Tagungsbandes (...) im Detail nach und uberprufen kritisch das enzyklopadische Zusammenspiel von Spekulation und Vorstellung in den Spharen des subjektiven und des absoluten Geistes. Mit Beitragen von: Kazimir Drilo, Markus Gabriel, Christoph Halbig, Gunnar Hindrichs, Axel Hutter, Franz Knappik, Anton Friedrich Koch, Christian Georg Martin, Jan Rohls, Rainer Schafer. (shrink)

An overview of a philosophical movement originating in the United States of America in the 19th century.

This entry explores Charles Peirce's account of truth in terms of the end or ‘limit’ of inquiry. This account is distinct from – and arguably more objectivist than – views of truth found in other pragmatists such as James and Rorty. The roots of the account in mathematical concepts is explored, and it is defended from objections that it is (i) incoherent, (ii) in its faith in convergence, too realist and (iii) in its ‘internal realism’, not realist enough.

Robert Brandom’s expressivism argues that not all semantic content may be made fully explicit. This view connects in interesting ways with recent movements in philosophy of mathematics and logic (e.g. Brown, Shin, Giaquinto) to take diagrams seriously - as more than a mere “heuristic aid” to proof, but either proofs themselves, or irreducible components of such. However what exactly is a diagram in logic? Does this constitute a semiotic natural kind? The paper will argue that such a natural kind does (...) exist in Charles Peirce’s conception of iconic signs, but that fully understood, logical diagrams involve a structured array of normative reasoning practices, as well as just a “picture on a page”. (shrink)

Mainstream philosophy has seen a recent flowering in discussions of intellectualism which revisits Gilbert Ryle’s famous distinction between ‘knowing how’ and ‘knowing that’, and challenges his argument that the former cannot be reduced to the latter. These debates so far appear not to have engaged with pragmatist philosophy in any substantial way, which is curious as the relation between theory and practice is one of pragmatism’s main themes. Accordingly, this paper examines the contemporary debate in the light of Charles Peirce’s (...) habit-based epistemology. We argue both that knowing-that can be understood as a particularly sophisticated form of knowing-how, and that all bodily competencies—if sufficiently deliberately developed—can be analysed as instantiating propositional structure broadly conceived. In this way, intellectualism and anti-intellectualism are seen to be not opposed, and both true, although Peirce’s original naturalistic account of propositional structure does lead him to reject what we shall call ‘linguistic intellectualism’. (shrink)

Name der Zeitschrift: Zeitschrift für Religionswissenschaft Jahrgang: 26 Heft: 1 Seiten: 205-207.

ABSTRACTRecent research into evaluative conditioning shows that information about the relationship between the conditioned and unconditioned stimuli can exert strong effects on the size and di...

Pragmatism’s heartening recent revival (spearheaded by Richard Rorty’s bold intervention into analytic philosophy Philosophy and the Mirror of Nature) has coalesced into a distinctive philosophical movement frequently referred to as ‘neopragmatism’. This movement interprets the very meaning of pragmatism as rejection of metaphysical commitments: our words do not primarily serve to represent non-linguistic entities, but are tools to achieve a range of human purposes. A particularly thorough and consistent version of this position is Huw Price’s global expressivism. We here critically (...) appraise Price’s understanding of a commitment to pragmatism as a rejection of metaphysics, and argue that such rejection is not as easy or desirable as Price claims. First we argue that Price’s global expressivism itself draws on significant metaphysical assumptions (a ‘word-world’ dualism, and a nominalism concerning the meaning of general terms). Then we seek to resolve neopragmatist anxieties about metaphysics by arguing that metaphysics is indispensable for pragmatist philosophizing insofar as it seeks ways for human beings to realise themselves through practices of understanding reality and their place in it. If, as we argue, metaphysics consists in a maximally general inquiry into the nature and structure of reality, to try to block it seems a puzzling exercise in epistemic self-harm. (shrink)

Enactivism has influentially argued that the traditional intellectualist ‘act-content’ model of intentionality is insufficient both phenomenologically and naturalistically, and minds are built from world-involving bodily habits – thus, knowledge should be regarded as more of a skilled performance than an informational encoding. Radical enactivists have assumed that this insight must entail non-representationalism concerning at least basic minds. But what if it could be shown that representation is itself a form of skilled performance? I sketch the outline of such an account (...) from the perspective of Peirce’s pragmatist semiotics, which theorises signs as habits of associating specific cues with appropriate acts and schemas of ensuing experience. Within this framework, I argue, a naturalistic account of propositional structure can be constructed which transcends the symbolic – and in some instances even the linguistic – sphere, and offers new insights regarding the Information Processing Challenge, and the Hard Problem of Content. (shrink)

Charles Peirce famously divided all signs into icons, indices and symbols. The past few decades have seen mainstream analytic philosophy broaden its traditional focus on symbols to recognise the so-called essential indexical. Can the moral now be extended to icons? Is there an “essential icon”? And if so, what exactly would be essential about it? It is argued that there is and it consists in logical form. Danielle Macbeth’s radical new “expressivist” interpretation of Frege’s logic and Charles Peirce’s existential graphs (...) are mobilized in support of this claim. (shrink)

A commentary on a current paper by Aaron Sloman. Sloman argues that in order to make progress in AI, consciousness, "should be replaced by more precise and varied architecture-based concepts better suited to specify what needs to be explained by scientific theories". This original vision of philosophical inquiry as mapping out 'design-spaces' for a contested concept seeks to achieve a holistic, synthetic understanding of what possibilities such spaces embody. It therefore does not reduce to either "relations of ideas" or "matters (...) of fact" in Hume's famous dichotomy. It is also interestingly opposite to a current vogue for 'experimental philosophy'. (shrink)

Philosophical discussion of truthmaking has flourished in recent times, but what exactly does it mean to ‘make’ a truth-bearer true? I argue that ‘making’ is a concept with modal force, and this renders it a problematic deployment for truthmaker theorists with nominalist sympathies, which characterises most current theories. I sketch the outlines of what I argue is a more genuinely realist truthmaker theory, which is capable of answering the explanatory question: In virtue of what does each particular truthmaker make its (...) particular truthbearer(s) true? I do this by drawing on recent work by Frederik Stjernfelt on Charles Peirce’s account of the proposition as having a ‘particular double structure’, according to which a proposition not only depicts certain characters of an object, it also depicts itself claiming those characters to pertain to the object. This double structure, I shall argue, also resolves important issues in analytic philosophers’ truthmaker theory, including the proper distinction between reference and truthmaking, and a dilemma concerning an infinite regress of truthmaking. (shrink)

Understanding inductive reasoning is a problem that has engaged mankind for thousands of years. This problem is relevant to a wide range of fields and is integral to the philosophy of science. It has been tackled by many great minds ranging from philosophers to scientists to mathematicians, and more recently computer scientists. In this article we argue the case for Solomonoff Induction, a formal inductive framework which combines algorithmic information theory with the Bayesian framework. Although it achieves excellent theoretical results (...) and is based on solid philosophical foundations, the requisite technical knowledge necessary for understanding this framework has caused it to remain largely unknown and unappreciated in the wider scientific community. The main contribution of this article is to convey Solomonoff induction and its related concepts in a generally accessible form with the aim of bridging this current technical gap. In the process we examine the major historical contributions that have led to the formulation of Solomonoff Induction as well as criticisms of Solomonoff and induction in general. In particular we examine how Solomonoff induction addresses many issues that have plagued other inductive systems, such as the black ravens paradox and the confirmation problem, and compare this approach with other recent approaches. (shrink)

Charles S. Peirce’s semiotics uniquely divides signs into: i) symbols, which pick out their objects by arbitrary convention or habit, ii) indices, which pick out their objects by unmediated ‘pointing’, and iii) icons, which pick out their objects by resembling them (as Peirce put it: an icon’s parts are related in the same way that the objects represented by those parts are themselves related). Thus representing structure is one of the icon’s greatest strengths. It is argued that the implications of (...) scaffolding education iconically are profound: for providing learners with a navigable road-map of a subject matter, for enabling them to see further connections of their own in what is taught, and for supporting meaningful active learning. Potential objections that iconic teaching is excessively entertaining and overly susceptible to misleading rhetorical manipulation are addressed. (shrink)

Much mainstream analytic epistemology is built around a sceptical treatment of modality which descends from Hume. The roots of this scepticism are argued to lie in Hume’s (nominalist) theory of perception, which is excavated, studied and compared with the very different (realist) theory of perception developed by Peirce. It is argued that Peirce’s theory not only enables a considerably more nuanced and effective epistemology, it also (unlike Hume’s theory) does justice to what happens when we appreciate a proof in mathematics.

An important part of our Theory of Mind—the ability to reason about other people's unobservable mental states—is the ability to attribute false beliefs to others. We investigated whether processing these false beliefs, as well as similar but nonmental representations, is reliant on language. Participants watched videos in which a protagonist hides a gift and either takes a photo of it or writes a text about its location before a second person inadvertently moves the present to a different location, thereby rendering (...) the belief and either the photo or text false. At the same time, participants performed either a concurrent verbal interference task (rehearsing strings of digits) or a visual interference task (remembering a visual pattern). Results showed that performance on false belief trials did not decline under verbal interference relative to visual interference. We interpret these findings as further support for the view that language does not form an essential part of the process of reasoning online (“in the moment”) about false beliefs. (shrink)