There are few sartorial ensembles as heavily signified as masculine as a suit. This article focuses on the suit within queer fashion digital cultures and spaces to explore how butch of colour digital fashion suits up to offer us different ways to think about masculinity. Intervening in the erasure of women of colour in histories of fashion – including menswear – and histories of sexuality – butch, dapper, tomboy, dandy – I argue that butch digital fashion works as a site (...) and composition of flesh, fabric and feeling that reworks masculinity as a project of embodiment. I look at three interwoven dimensions of butch digital fashion – aesthetic process, texture as feeling and spatial imaginations – attending to the themes of fantasy, desire and pleasure. I situate butch within and between fashion studies and media studies to offer butch as a relation, practice, orientation and site of embodiment to think about being and becoming, about the body politics of space and feeling, as matters of race, sexuality, class and gender – and the materialities of race, sexuality, class and gender, mediated by the global, and as the global by the digital. Digital butch fashion is, at once, a visual culture, a creative visual space, a resource of queer fantasy and an aesthetic process. It is messy, tense and fraught with the politics of race, colonialism and class, yet at the same time, dense with possibility, pleasure and eroticism. Butch of colour fashion offers frames and forms for rethinking and remaking masculinity as a sign of a body, as a category of personhood, as a set of practices and feelings made coherent by processes of embodiment. (shrink)

The vision of machines autonomously carrying out substantive conjecture generation, theorem discovery, proof discovery, and proof verification in mathematics and the natural sciences has a long history that reaches back before the development of automatic systems designed for such processes. While there has been considerable progress in proof verification in the formal sciences, for instance the Mizar project’ and the four-color theorem, now machine verified, there has been scant such work carried out in the realm of the natural sciences—until recently. (...) The delay in the case of the natural sciences can be attributed to both a lack of formal analysis of the so-called “theories” in such sciences, and the lack of sufficient progress in automated theorem proving. While the lack of analysis is probably due to an inclination toward informality and empiricism on the part of nearly all of the relevant scientists, the lack of progress is to be expected, given the computational hardness of automated theorem proving; after all, theoremhood in even first-order logic is Turing-undecidable. We give in the present short paper a compressed report on our building upon these formal theories using logic-based AI in order to achieve, in relativity, both machine proof discovery and proof verification, for theorems previously established by humans. Our report is intended to serve as a springboard to machine-produced results in the future that have not been obtained by humans. (shrink)

In multiple robot systems, the problem of allocation of complex tasks to heterogeneous teams of robots, also known as the multiple robot coalition formation problem, has begun to receive considerable attention. Efforts to address the problem range from heuristics based approaches that search the subspaces of the coalition structure to evolutionary learning approaches. Conventional approaches typically strive to optimize a single objective function such as the number of tasks executed or the time required to execute all tasks, or a weighted (...) function of such objectives. In real world applications, objectives such as minimizing distance traveled and maximizing the number of tasks completed are often conflicting in nature. The coalition formation problem thus naturally lends itself to a multi-objective optimization approach based on evolutionary learning. In this paper, we formulate the problem of mapping coalitions of robots to a set of tasks as a multi-objective optimization problem and propose a variant of non-dominated sorting genetic algorithm to arrive at trade-off solutions. Additionally, we extend the solution to domains where robot resources are non-additive. Simulations demonstrate the efficacy of the proposed approach in generating the set of Pareto-optimal solutions. (shrink)

This book is about the philosophy or nature of aesthetic values and beauty.

Dans le présent article, nous examinons la façon dont la coutume et le droit coutumier ont été construits par les juristes britanniques durant l’époque colonial en Inde à la fin du xviiie et aux xixe siècles. À travers l’explication de la transmission juridique, nous analysons les arguments théoriques employés par John Austin et Sumner Maine dans leur définition du droit en tant que « commandement du souverain ». Tout en décrivant les tentatives administratives coloniales de codification des droits coutumiers dans (...) le sous-continent indien, nous argumentons que deux voies de pensée ont dominé dans ce processus. D’un côté, la codification était conçue dans la tradition du droit civil au xviiie siècle par la création des « digestes » des traités juridiques hindoues et musulmanes. De l’autre côté, la position dominante au xixe siècle a accentué la codification des pratiques coutumières existantes dérivées des études anthropologiques et des enquêtes réalisées dans les régions conquises par les Britanniques tels que le Pendjab. Quoi qu’il en soit, nous évaluons les aspects épistémologiques intrinsèques au discours colonial, qui ont été soutenus par une conception particulière de la souveraineté prémoderne en Inde. Ces idées du droit coutumier se sont élaborées non seulement à travers la logique du discours colonial mais aussi dans le cadre plus large de la science du droit et de l’autorité politique impliquées dans les débats européens au xixe siècle sur la codification du droit. (shrink)

This article argues that existing systems on the Web cannot approach human-level intelligence, as envisioned by Descartes, without being able to achieve genuine problem solving on unseen problems. The article argues that this entails committing to a strong intensional logic. In addition to revising extant arguments in favor of intensional systems, it presents a novel mathematical argument to show why extensional systems can never hope to capture the inherent complexity of natural language. The argument makes its case by focusing on (...) representing, with increasing degrees of complexity, knowledge in a first-order language. Nevertheless, the attempts at representation fail to achieve consistency, making the case for an intensional representation system for natural language clear. (shrink)

(1997). “Emergence, a domain where distinction between conception in matter and mind, and arts and sciences, are meaningless”. World Futures: Vol. 51, No. 1-2, pp. 27-46.

The doctrine of double effect is an ethical principle that can account for human judgment in moral dilemmas: situations in which all available options have large good and bad consequences. We have previously formalized \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {{DDE}}$$\end{document} in a computational logic that can be implemented in robots. \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {{DDE}}$$\end{document}, as an ethical principle for robots, is attractive for a number of reasons: Empirical studies (...) have found that \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {{DDE}}$$\end{document} is used by untrained humans; many legal systems use \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {{DDE}}$$\end{document}; and finally, the doctrine is a hybrid of the two major opposing families of ethical theories. In spite of all its attractive features, we have found that \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {{DDE}}$$\end{document} does not fully account for human behavior in many ethically challenging situations. Specifically, standard \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {{DDE}}$$\end{document} fails in situations wherein humans have the option of self-sacrifice. Accordingly, we present an enhancement of our \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {{DDE}}$$\end{document}-formalism to handle self-sacrifice; we end by looking ahead to future work. (shrink)

In order to employ and exhibit our Simon-inspired approach to computational economics, and specifically defend our version of the view that even logically untrained humans are rational, albeit no more than “boundedly” so, we provide two models, both rooted in computational logic, of how it is that logically untrained humans perform in a seemingly irrational fashion in a particular “deviant” auction.

Social networks play a significant role in learning and thus in farmers’ adoption of new agricultural technologies. This study examined the effects of social network factors on information acquisition and adoption of new seed varieties among groundnut farmers in Uganda and Kenya. The data were generated through face-to-face interviews from a random sample of 461 farmers, 232 in Uganda and 229 in Kenya. To assess these effects two alternative econometric models were used: a seemingly unrelated bivariate probit model and a (...) recursive bivariate probit model. The statistical evaluation of the SUBP shows that information acquisition and adoption decisions are interrelated while tests for the RBP do not support this latter model. Therefore, the analysis is based on the results obtained from the SUBP. These results reveal that social network factors, particularly weak ties with external support, partially influence information acquisition, but do not influence adoption. In Uganda, external support, gender, farm size, and geographic location have an impact on information acquisition. In Kenya, external support and geographic location also have an impact on information acquisition. With regard to adoption, gender, household size, and geographic location play the most important roles for Ugandan farmers, while in Kenya information from external sources, education, and farm size affect adoption choice. The study provides insight on the importance of external weak ties in groundnut farming, and a need to understand regional differences along gender lines while developing agricultural strategies. This study further illustrates the importance of farmer participation in applied technology research and the impact of social interactions among farmers and external agents. (shrink)

A well-ingrained and recommended engineering practice in safety-critical software systems is to separate safety concerns from other aspects of the system. Along these lines, there have been calls for operating systems that implement ethical controls in an ethical layer separate from, and not amenable to tampering by, developers and modules in higher-level intelligence or cognition layers. There have been no implementations that demonstrate such a marshalling of ethical principles into an ethical layer. To address this, we present three different tracks (...) for implementing such systems, and offer a prototype implementation of the third track. We end by addressing objections to our approach. (shrink)

This volume offers very selected papers from the 2014 conference of the “International Association for Computing and Philosophy” (IACAP) - a conference tradition of 28 years. - - - Table of Contents - 0 Vincent C. Müller: - Editorial - 1) Philosophy of computing - 1 Çem Bozsahin: - What is a computational constraint? - 2 Joe Dewhurst: - Computing Mechanisms and Autopoietic Systems - 3 Vincenzo Fano, Pierluigi Graziani, Roberto Macrelli and Gino Tarozzi: - Are Gandy Machines really local? (...) - 4 Doukas Kapantais: - A refutation of the Church-Turing thesis according to some interpretation of what the thesis says - 5 Paul Schweizer: - In What Sense Does the Brain Compute? - 2) Philosophy of computer science & discovery - 6 Mark Addis, Peter Sozou, Peter C R Lane and Fernand Gobet: - Computational Scientific Discovery and Cognitive Science Theories - 7 Nicola Angius and Petros Stefaneas: - Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach. - 8 Selmer Bringsjord, John Licato, Daniel Arista, Naveen Sundar Govindarajulu and Paul Bello: - Introducing the Doxastically Centered Approach to Formalizing Relevance Bonds in Conditionals - 9 Orly Stettiner: - From Silico to Vitro: - Computational Models of Complex Biological Systems Reveal Real-world Emergent Phenomena - 3) Philosophy of cognition & intelligence - 10 Douglas Campbell: - Why We Shouldn’t Reason Classically, and the Implications for Artificial Intelligence - 11 Stefano Franchi: - Cognition as Higher Order Regulation - 12 Marcello Guarini: - Eliminativisms, Languages of Thought, & the Philosophy of Computational Cognitive Modeling - 13 Marcin Miłkowski: - A Mechanistic Account of Computational Explanation in Cognitive Science and Computational Neuroscience - 14 Alex Tillas: - Internal supervision & clustering: - A new lesson from ‘old’ findings? - 4) Computing & society - 15 Vasileios Galanos: - Floridi/Flusser: - Parallel Lives in Hyper/Posthistory - 16 Paul Bello: - Machine Ethics and Modal Psychology - 17 Marty J. Wolf and Nir Fresco: - My Liver Is Broken, Can You Print Me a New One? - 18 Marty J. Wolf, Frances Grodzinsky and Keith W. Miller: - Robots, Ethics and Software – FOSS vs. Proprietary Licenses. (shrink)