This paper considers the real and imagined geographies of livestock animals. In doing so, it reconsiders the spatial relationship between people and domesticated farm animals. Some consideration is given to the origins of domestication and comparisons are drawn between the natural and domesticated geographies of animals. The paper mainly focuses on the contemporary geographies of livestock animals and, in particular, "rare breeds" of British livestock animals. Attention is given to the spatial relationship these animals have with people and the place (...) of these animals in the British countryside today. The paper concludes by highlighting why it is important to consider livestock animal breeds as part of on-going research into the geographies of domestic livestock animals. (shrink)

Mathematics professor from Brown University uses colorful illustrations and cartoons to display the concepts of infinity and large numbers.

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work.As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

In this paper we compare Kierkegaard’s and Marx’s views on social reform. Then we argue that Kierkegaard’s own reasoning is consistent with the expression of neighbor-love through collective action, i.e. social reform. However, Kierkegaard’s approach to social reform would be vastly different than Marx’s. We end by reviewing several questions that Kierkegaardian social reformers would ask themselves. Our hope is that this exploration will provide helpful insights into how those who genuinely love their neighbors ought to seek the common good (...) through collective action. (shrink)

In this paper, I reinterpret Kant’s Transcendental Analytic as a description of a cognitive architecture. I describe a computer implementation of this architecture, and show how it has been applied to two unsupervised learning tasks. The resulting program is very data efficient, able to learn from a tiny handful of examples. I show how the program achieves data-efficiency: the constraints described in the Analytic of Principles are reinterpreted as strong prior knowledge, constraining the set of possible solutions.

Introduction i This book is about how we study history, how we research and write about it, and how we read it. In the postmodern age, historians are being ...

How should a machine intelligence perform unsupervised structure discovery over streams of sensory input? One approach to this problem is to cast it as an apperception task [1]. Here, the task is to construct an explicit interpretable theory that both explains the sensory sequence and also satisfies a set of unity conditions, designed to ensure that the constituents of the theory are connected in a relational structure. However, the original formulation of the apperception task had one fundamental limitation: it assumed (...) the raw sensory input had already been parsed using a set of discrete categories, so that all the system had to do was receive this already-digested symbolic input, and make sense of it. But what if we don't have access to pre-parsed input? What if our sensory sequence is raw unprocessed information? The central contribution of this paper is a neuro-symbolic framework for distilling interpretable theories out of streams of raw, unprocessed sensory experience. First, we extend the definition of the apperception task to include ambiguous (but still symbolic) input: sequences of sets of disjunctions. Next, we use a neural network to map raw sensory input to disjunctive input. Our binary neural network is encoded as a logic program, so the weights of the network and the rules of the theory can be solved jointly as a single SAT problem. This way, we are able to jointly learn how to perceive (mapping raw sensory information to concepts) and apperceive (combining concepts into declarative rules). (shrink)

The three books presented in this volume, _Integral Humanism_, _Freedom in the Modern World_, and _A Letter on Independence_, were all written in the early 1930s, a time of dire trouble for France. France was then surrounded by enemies preparing for war and was itself so violently split between parties of Left and Right that it seemed on the verge of Civil War. In this collection, Jacques Maritain accepts the responsibility of a Christian philosopher to actively address the agonizing practical (...) problems of the time. Maritain discusses major political issues such as the relation of freedom and religion, the opposition of democracy to any form of totalitarianism, the relation of the spiritual and the temporal, the need for an integral and Christian humanism, and the prospects for a new Christian civilization, all in opposition to the materialism of both communism and capitalism. Against the fierce antagonism of the parties of the political Left and Right, Maritain declares a plague on both their houses and strongly affirms the need for independence from both of them. He does so by distinguishing between two senses of the terms Left and Right, one denoting a temperamental or physiological disposition, the other a definite political position. In the latter sense, Maritain asserts that he is an independent, while acknowledging that he is, by temperament, a man of the Left. (shrink)

This paper attempts to answer a central question in unsupervised learning: what does it mean to “make sense” of a sensory sequence? In our formalization, making sense involves constructing a symbolic causal theory that both explains the sensory sequence and also satisfies a set of unity conditions. The unity conditions insist that the constituents of the causal theory – objects, properties, and laws – must be integrated into a coherent whole. On our account, making sense of sensory input is a (...) type of program synthesis, but it is unsupervised program synthesis. Our second contribution is a computer implementation, the Apperception Engine, that was designed to satisfy the above requirements. Our system is able to produce interpretable human-readable causal theories from very small amounts of data, because of the strong inductive bias provided by the unity conditions. A causal theory produced by our system is able to predict future sensor readings, as well as retrodict earlier readings, and impute (fill in the blanks of) missing sensory readings, in any combination. In fact, it is able to do all three tasks simultaneously. We tested the engine in a diverse variety of domains, including cellular automata, rhythms and simple nursery tunes, multi-modal binding problems, occlusion tasks, and sequence induction intelligence tests. In each domain, we test our engine's ability to predict future sensor values, retrodict earlier sensor values, and impute missing sensory data. The Apperception Engine performs well in all these domains, significantly out-performing neural net baselines. We note in particular that in the sequence induction intelligence tests, our system achieved human-level performance. This is notable because our system is not a bespoke system designed specifically to solve intelligence tests, but a general-purpose system that was designed to make sense of any sensory sequence. (shrink)

This paper describes an attempt to repurpose Kant’s a priori psychology as the architectural blueprint for a machine learning system. First, it describes the conditions that must be satisfied for the agent to achieve unity of experience: the intuitions must be connected, via binary relations, so as to satisfy various unity conditions. Second, it shows how the categories are derived within this model: the categories are pure unary predicates that are derived from the pure binary relations. Third, I describe how (...) Kant’s cognitive architecture has been implemented in a computer system (the Apperception Engine) and show in detail what it is like for the system to construct a unified experience from a sequence of raw sensory input. (shrink)

This paper formalizes part of the cognitive architecture that Kant develops in the Critique of Pure Reason. The central Kantian notion that we formalize is the rule. As we interpret Kant, a rule is not a declarative conditional stating what would be true if such and such conditions hold. Rather, a Kantian rule is a general procedure, represented by a conditional imperative or permissive, indicating which acts must or may be performed, given certain acts that are already being performed. These (...) acts are not propositions; they do not have truth-values. Our formalization is related to the input/ output logics, a family of logics designed to capture relations between elements that need not have truth-values. In this paper, we introduce KL3 as a formalization of Kant’s conception of rules as conditional imperatives and permissives. We explain how it differs from standard input/output logics, geometric logic, and first-order logic, as well as how it translates natural language sentences not well captured by first-order logic. Finally, we show how the various distinctions in Kant’s much-maligned Table of Judgements emerge as the most natural way of dividing up the various types and sub-types of rule in KL3. Our analysis sheds new light on the way in which normative notions play a fundamental role in the conception of logic at the heart of Kant’s theoretical philosophy. (shrink)

First published in 1979. Routledge is an imprint of Taylor & Francis, an informa company.

Developing novices’ proficiency in skilful activities is central to the reproduction of human societies. The interactional practices through which instruction is accomplished have provided a rich focus for ethnomethodological and conversation analytic studies examining classroom settings, and, more recently, non-classroom environments of instruction in practical and manual skills. This paper examines the work of instruction in basketball training and in particular the correction of player performances, which are a ubiquitous and central feature of instruction in basketball training sessions. A central (...) part of this instructional action relies on the coach observing training activities to determine players’ competencies and to extract relevant correctables from the players’ embodied displays, which are in turn embedded within complex arrangements of rapidly moving bodies situated in material environments. In this paper we examine the visual-analytic work involved in both organizing and observing a basketball training activity, demonstrating the sequential layering of multiple membership categorization devices drawn upon in producing and recognizing actions in this setting. We argue that the coach deploys spatial orientations which function analogously to membership categorization devices, with players’ bodily positions relative to one another and the material structure of the surround generating category-like sets of rights, responsibilities, and sequential relevancies. As we demonstrate, these orientations provide crucial resources for the identification of players’ errors and thereby for the organization of instruction in interaction in this setting. (shrink)

There has been a widespread recovery of public memory of the events of the Second World War since the end of the 1980s, with war crimes trials, restitution actions, monuments and memorials to the victims of Nazism appearing in many countries. This has inevitably involved historians being called upon to act as expert witnesses in legal actions, yet there has been little discussion of the problems that this poses for them. The French historian Henry Rousso has argued that this confuses (...) memory with history. In the aftermath of the Second World War, judicial investigations unearthed a mass of historical documentation. Historians used this, and further researches, from the 1960s onwards to develop their own ideas and interpretations. But since the early 1990s there has been a judicialization of history, in which historians and their work have been forced into the service of moral and legal forms of judgment which are alien to the historical enterprise and do violence to the subleties and nuances of the historian's search for truth. This reflects Rousso's perhaps rather simplistically scientistic view of the historian's enterprise; yet his arguments are powerful and should be taken seriously by any historian considering involvement in a law case; they also have a wider implication for the moralization of the history of the Second World War, which is now dominated by categories such as "perpetrator," "victim," and "bystander" that are legal rather than historical in origin. The article concludes by suggesting that while historians who testify in war crimes trials should confine themselves to elucidating the historical context, and not become involved in judging whether an individual was guilty or otherwise of a crime, it remains legitimate to offer expert opinion, as the author of the article has done, in a legal action that turns on the research and writing of history itself. (shrink)

_ Source: _Volume 10, Issue 3, pp 457 - 467 This reply to the critiques by Daniel Woolf, Cass R. Sunstein and Daniel Nolan of my book _Altered Pasts: Counterfactuals in History_, takes each of their contributions in turn, and reasserts the centrality to counterfactual history of positing definite, long term alternative timelines rather than a vague claim that things might have turned out differently to the way they actually did. Such alternate timelines have no claim to either truth or (...) utility since they ignore the many possible contingencies that would most likely have taken place following the initial deviation from the real timeline of history. (shrink)

In this paper, I attempt to address a fundamental challenge for machine intelligence: to understand whether and how a machine’s internal states and external outputs can exhibit original non-derivative intentionality. This question has three aspects. First, what does it take for a machine to exhibit original de dicto intentionality? Second, what does it take to exhibit original de re intentionality? Third, what is required for the machine to defer to the external objective world by respecting the word-to-world direction of fit? (...) I attempt to answer the first challenge by providing a constitutive counts-as understanding of de dicto intentionality. This analysis involves repurposing Kant’s vision of a self-legislating agent as a specification of a machine that reprograms itself. I attempt to answer the second and third challenges by extending Kant’s synchronic model of de dicto intentionality with Brandom’s interpretation of Hegel’s diachronic model of de re intentionality, using Hegel’s notion of recollection to provide an understanding of what is involved in achieving deference to the external world. (shrink)

This paper compares two approaches to representing personality traits in synthetic agents. It proposes a set of goals that any computational implementation of personality should satisfy. It describes the personality trait system used in The Sims 3. Then an alternative system is described, in which traits are represented as conditionals relating world state to emotional state. It is shown that the conditionals model does a better job of satisfying the desiderata.

The business world is not a separate universe of economic values and goals distinct from society, but an aspect of the behaviour of society as a whole. Ethics cannot be a cosmetic applied to established practice in the business world, a mere restraint on the unsocial or criminal behaviour of managers or a pragmatic response to consumer pressure. The author argues for a Total Ethics concept analogous to Zero Defects concepts in operations management. This ethic should form the foundation of (...) the organisation's mission and permeate its statements of business objectives. If the ethic is to serve the common good of all who have an interest in the business, then all the stakeholders, not just those with a financial interest, must contribute to the business objectives and exercise some control. (shrink)

This paper introduces Exclusion Logic - a simple modal logic without negation or disjunction. We show that this logic has an efficient decision procedure. We describe how Exclusion Logic can be used as a deontic logic. We compare this deontic logic with Standard Deontic Logic and with more syntactically restricted logics.

Research in multi-agent systems typically assumes a regulative model of social practice. This model starts with agents who are already capable of acting autonomously to further their individual ends. A social practice, according to this view, is a way of achieving coordination between multiple agents by restricting the set of actions available. For example, in a world containing cars but no driving regulations, agents are free to drive on either side of the road. To prevent collisions, we introduce driving regulations, (...) insisting that everyone drives on the left hand side of the road. We accept this limitation on our freedom because it lowers the probability of a collision. -/- This paper describes AI systems that are based on the constitutive view of social practice. According to this alternative view, there are certain actions that are only available to the agent because he is participating in a practice of a certain sort. For example, you can swing a peculiarly shaped piece of wood without participating in any particular practice - but this action will only constitute a strike if you are participating in a game of baseball. I can raise my hand whenever I like, but this only counts as voting for the motion within the institution of voting. But not all the examples are from frivolous, optional or institutional activities. Sellars and Brandom argue that even the fundamental act of assertion is only possible within the context of a particular social practice: the Game of Giving and Asking for Reasons. -/- The constitutive view, which is familiar to philosophers, is relatively unknown within the AI community. -/- The central aim of this paper is to show how the constitutive view of practice can be put to use in AI applications. (shrink)

We are able to participate in countless different sorts of social practice. This indefinite set of capacities must be explainable in terms of a finite stock of capacities. This paper compares and contrasts two different explanations. A standard decomposition of the capacity to participate in social practices goes something like this: the interpreter arrives on the scene with a stock of generic practice-types. He looks at the current scene to fill-in the current tokens of these types. He looks at the (...) current state of these practice tokens to see what actions are available to him. He uses his current desires to choose between these various possible actions. I argue that this standard explanation is defective, drawing on arguments by Searle and Wittgenstein and Garfinkel. I propose an alternative explanation, in which the participants must continually show each other the state of the scene in order to maintain the scene’s intelligibility. I provide a simple formal language in which to describe this alternative approach, in which we can state quite precisely what someone is doing when they participate in a practice. This language is related to both deontic and epistemic logics, but it is much simpler – it does not include the classic propositional connectives, and it is driven by a very different set of assumptions. The inspirations for this formal language are Searle’s analysis of directions of fit, Wittgenstein’s remarks on rule-following and Garfinkel’s ethnomethodology. (shrink)

Richard Evans trad in 2000 op als expert-getuige in het proces dat historica Deborah Lipstadt aanspande tegen haar collega David Irving. Lipstadt beschuldigde Irving ervan in zijn geschriften een grote hoeveelheid goedverkopende historische boeken over de Tweede Wereldoorlog, stelselmatig de Holocaust te ontkennen. Evans, eveneens een historicus, kreeg de taak te onderzoeken of er inderdaad sprake was van verdraaiing van de feiten in het werk van Irving. Zijn bevindingen, die hij in dit essay uit de doeken doet, (...) en het uiteindelijke oordeel van de rechter leiden hem ertoe na te denken over de verantwoordelijkheid die de geschiedschrijver heeft tegenover de waarheid. (shrink)

Cathoristic logic is a multi-modal logic where negation is replaced by a novel operator allowing the expression of incompatible sentences. We present the syntax and semantics of the logic including complete proof rules, and establish a number of results such as compactness, a semantic characterisa- tion of elementary equivalence, the existence of a quadratic-time decision pro- cedure, and Brandom’s incompatibility semantics property. We demonstrate the usefulness of the logic as a language for knowledge representation.

The central claim of normative pragmatism is that intentional states can be explained in terms of participation in practices. My aim in this paper is not so much to defend this claim as to rearticulate it in a different medium: the medium of computation. I describe two computer programs in which this claim is re-expressed. The first is the latest version of THE SIMS, in which participation in practices enables the Sims to do and understand more. The second is a (...) prototype simulation of philosophical debate. In this second program, normative pragmatism is expressed at two different levels: once as the theory powering the implementation, and once as a set of claims which are debated by the simulated philosophers. Here, a philosophical theory is used to implement a system in which that very same theory is articulated, challenged, and justified. (shrink)

This text brings together what is known about liberal feminist and socialist movements for the emancipation of women all over the world in the 19th and early 20th centuries.

The Ikhwan al-Safa (Brethren of Purity), the anonymous adepts of a tenth-century esoteric fraternity based in Basra and Baghdad, hold an eminent position in the history of science and philosophy in Islam due to the wide reception and assimilation of their monumental encyclopaedia, the Rasa'il Ikhwan al-Safa (Epistles of the Brethren of Purity). This compendium contains fifty-two epistles offering synoptic accounts of the classical sciences and philosophies of the age; divided into four classificatory parts, it treats themes in mathematics, logic, (...) natural philosophy, psychology, metaphysics, and theology, in addition to didactic fables. The Rasa'il constitutes a paradigmatic legacy in the canonization of philosophy and the sciences in mediaeval Islamic civilization, as well as having shown a permeating influence in Western culture. The present volume is the first of this definitive series consisting of the very first critical edition of the Rasa' il in its original Arabic, with a complete, fully annotated English translation. This epistle, The Case of the Animals versus Man Before the King of the Jinn (Epistle 22), prepared by Professors Lenn E. Goodman and Richard McGregor, is arguably the best known, on account of its prominent ecological fable which casts the exploited and oppressed animals pursuing a case against mankind. Perhaps yet more relevant in modern times, the Ikhwan demonstrate the arrogance of man's claim to superiority, in contrast to the animals' pious understanding of their respective roles within nature. The fable complements and expands upon the short exposition on zoology featured at the beginning of the epistle. (shrink)

When the benefits of surgery do not outweigh the harms or where they do not clearly do so, surgical interventions become morally contested. Cutting to the Core examines a number of such surgeries, including infant male circumcision and cutting the genitals of female children, the separation of conjoined twins, surgical sex assignment of intersex children and the surgical re-assignment of transsexuals, limb and face transplantation, cosmetic surgery, and placebo surgery.