We present the Dirac and Laplacian operators on Clifford bundles over space–time, associated to metric compatible linear connections of Cartan–Weyl, with trace-torsion, Q. In the case of nondegenerate metrics, we obtain a theory of generalized Brownian motions whose drift is the metric conjugate of Q. We give the constitutive equations for Q. We find that it contains Maxwell’s equations, characterized by two potentials, an harmonic one which has a zero field (Bohm-Aharonov potential) and a coexact term that generalizes the Hertz (...) potential of Maxwell’s equations in Minkowski space.We develop the theory of the Hertz potential for a general Riemannian manifold. We study the invariant state for the theory, and determine the decomposition of Q in this state which has an invariant Born measure. In addition to the logarithmic potential derivative term, we have the previous Maxwellian potentials normalized by the invariant density. We characterize the time-evolution irreversibility of the Brownian motions generated by the Cartan–Weyl laplacians, in terms of these normalized Maxwell’s potentials. We prove the equivalence of the sourceless Maxwell equation on Minkowski space, and the Dirac-Hestenes equation for a Dirac-Hestenes spinor field written on Minkowski space provided with a Cartan–Weyl connection. If Q is characterized by the invariant state of the diffusion process generated on Euclidean space, then the Maxwell’s potentials appearing in Q can be seen alternatively as derived from the internal rotational degrees of freedom of the Dirac-Hestenes spinor field, yet the equivalence between Maxwell’s equation and Dirac-Hestenes equations is valid if we have that these potentials have only two components corresponding to the spin-plane. We present Lorentz-invariant diffusion representations for the Cartan–Weyl connections that sustain the equivalence of these equations, and furthermore, the diffusion of differential forms along these Brownian motions. We prove that the construction of the relativistic Brownian motion theory for the flat Minkowski metric, follows from the choices of the degenerate Clifford structure and the Oron and Horwitz relativistic Gaussian, instead of the Euclidean structure and the orthogonal invariant Gaussian. We further indicate the random Poincaré–Cartan invariants of phase-space provided with the canonical symplectic structure. We introduce the energy-form of the exact terms of Q and derive the relativistic quantum potential from the groundstate representation. We derive the field equations corresponding to these exact terms from an average on the invariant state Cartan scalar curvature, and find that the quantum potential can be identified with 1 / 12R(g), where R(g) is the metric scalar curvature. We establish a link between an anisotropic noise tensor and the genesis of a gravitational field in terms of the generalized Brownian motions. Thus, when we have a nontrivial curvature, we can identify the quantum nonlocal correlations with the gravitational field. We discuss the relations of this work with the heat kernel approach in quantum gravity. We finally present for the case of Q restricted to this exact term a supersymmetric system, in the classical sense due to E.Witten, and discuss the possible extensions to include the electromagnetic potential terms of Q. (shrink)

We introduce a new theorem in social choice theory built on a path integral approach which will show that, under some reasonable conditions, there is a unique way to aggregate individual preferences based on fuzzy sets into a social preference based on probabilities, and that this way is invariant under any permutation of alternatives. We then apply this theorem to the case of democratic decision making with data of the behaviour and voting preferences of voting agents and show that there (...) is a tradeoff between fairness and efficiency and that no voting system can achieve both simultaneously. (shrink)

In this letter we demonstrate that the fermionic zero modes on a superconducting domain wall can be associated to an one dimensional \ supersymmetry that contains non-trivial topological charges. In addition, the system also possesses three distinct \ supersymmetries with non-trivial topological charges and we also study some duality transformations of the supersymmetric algebras.

This book is a state-of-the-art review on the Physics of Emergence. Foreword v Gregory J. Chaitin Preface vii Ignazio Licata Emergence and Computation at the Edge of Classical and Quantum Systems 1 Ignazio Licata Gauge Generalized Principle for Complex Systems 27 Germano Resconi Undoing Quantum Measurement: Novel Twists to the Physical Account of Time 61 Avshalom C. Elitzur and Shahar Dolev Process Physics: Quantum Theories as Models of Complexity 77 Kirsty Kitto A Cross-disciplinary Framework for the Description of (...) Contextually Mediated Change 109 Liane Gabora and Diederik Aerts Quantum-like Probabilistic Models Outside Physics 135 Andrei Khrennikov Phase Transitions in Biological Matter 165 Eliano Pessa Microcosm to Macrocosm via the Notion of a Sheaf (Observers in Terms of t-topos) 229 Goro Kato The Dissipative Quantum Model of Brain and Laboratory Observations 233 Walter J. Freeman and Giuseppe Vitiello Supersymmetric Methods in the Traveling Variable: Inside Neurons and at the Brain Scale 253 H.C. Rosu, O. Cornejo-Perez, and J.E. Perez-Terrazas Turing Systems: A General Model for Complex Patterns in Nature 267 R.A. Barrio Primordial Evolution in the Finitary Process Soup 297 Olof Gornerup and James P. Crutchfield Emergence of Universe from a Quantum Network 313 Paola A. Zizzi Occam's Razor Revisited: Simplicity vs. Complexity in Biology 327 Joseph P. Zbilut Order in the Nothing: Autopoiesis and the Organizational Characterization of the Living 339 Leonardo Bich and Luisa Damiano Anticipation in Biological and Cognitive Systems: The Need for a Physical Theory of Biological Organization 371 Graziano Terenzi How Uncertain is Uncertainty? 389 Tibor Vamos Archetypes, Causal Description and Creativity in Natural World 405 Leonardo Chiatti . (shrink)

I analyze the exploratory function of two main modeling practices: targetless fictional models and hypothetical perspectival models. In both cases, I argue, modelers invite us to imagine or conceive something about the target system, which is known to be either nonexistent or just hypothetical. I clarify the kind of imagining or conceiving involved in each modeling practice, and I show how each—in its own right—delivers important modal knowledge. I illustrate these two kinds of exploratory models with Maxwell’s ether model and (...) supersymmetric particle models at the Large Hadron Collider. (shrink)

A survey is given of the concepts of interaction (force) and matter, i.e., of process and substance. The development of these concepts, first in antiquity, then in early modern times, and finally in the contemporary system of quantum field theory is described. After a summary of the basic phenomenological attributes (coupling strengths, symmetry quantities, charges), the common ground of concepts of quantum field theory for both interactions and matter entities is discussed. Then attention is focused on the gauge principle which (...) has been developed to describe all interaction fields in the same way, and hopefully to unite them all into one unified field. While a similar unification of all fundamental types of matter fields (quarks and leptons) into one family may be possible (SU 5), there still remains at this level a duality between interaction quanta (bosons with spin 1) and matter particles (fermions with spin 1/2). Whether this duality may be removed in some future supersymmetric theory is not discussed in this paper. Nor is Quantum Gravitation discussed, though the analogy of the gauge principle for the three fundamental non-gravitational interactions (hadronic, electromagnetic and weak) to Einstein's principle of equivalence for gravitation in spacetime is noted. However, the equivalence concept is applied not to spacetime but to the internal spaces for the matter (or charge) fields which are the sources between which the fundamental interactions operate. The gauge principle states that a change in the measures of the internal space charge of gauge or phases of the matter fields is equivalent to, and can be compensated by, suitably introduced interaction fields. From such an interaction field, the gauge potential field in the internal space, one may derive a gauge force field by exterior differentiation.Geometrically, the collection of all internal spaces, one over each point of spacetime, constitutes a fiber bundle. The gauge potential field represents a connection on the fiber bundle, and the gauge force field is the curvature (calculated by taking the exterior derivative of the connection and adding to it the exterior product of the connection with itself). Thus, just as gravitational force is interpreted as spacetime curvature, so the three other fundamental forces are interpretable as internal space curvature. The Standard Model which unites the three non-gravitational fields into an SU c 3 ×SU 2×U 1 structure, and the grand unified model, SU 5, are discussed briefly, and difficulties are noted. Finally it is suggested that a composite model, based on more subtle structure, may be needed to remove the present obscurities and difficulties that stand in the way of a unified theory. (shrink)

About the book: This book explores the idea that we have two minds - automatic, unconscious, and fast, the other controlled, conscious, and slow. In recent years there has been great interest in so-called dual-process theories of reasoning and rationality. According to such theories, there are two distinct systems underlying human reasoning - an evolutionarily old system that is associative, automatic, unconscious, parallel, and fast, and a more recent, distinctively human system that is rule-based, controlled, conscious, serial, and slow. (...) Within the former, processes the former, processes are held to be innate and to use heuristics that evolved to solve specific adaptive problems. In the latter, processes are taken to be learned, flexible, and responsive to rational norms. (shrink)

1. 1. PROGRAM It will be our aim to reconstruct, with precision, certain views which have been traditionally associated with nominalism and to investigate problems arising from these views in the construction of interpreted formal systems. Several such systems are developed in accordance with the demand that the sentences of a system which is acceptable to a nominalist must not imply the existence of any entities other than individuals. Emphasis will be placed on the constructionist method of philosophical (...) analysis. To follow this method is to introduce the central notions of the subject-matter to be investigated into a system governed by exact rules. For example, the constructionist method of investigating the properties of geometric figures may consist in formulating a system of postulates and definitions which, together with the apparatus of formal logic, generates all necessary truths concerning geometric figures. Similarly, a constructionist analysis of the notion of an individual may take the form of an axiomatic theory whose provable assertions are just those which seem essential to the role played by the concept of an individual in system atic contexts. Such axiomatic theories gain in interest if they are supple mented by precise semantical rules specifying the denotation of all terms and the truth conditions of all sentences of the theory. (shrink)

Objectives: Machine learning (ML) has the potential to facilitate “continual learning” in medicine, in which an ML system continues to evolve in response to exposure to new data over time, even after being deployed in a clinical setting. In this article, we provide a tutorial on the range of ethical issues raised by the use of such “adaptive” ML systems in medicine that have, thus far, been neglected in the literature. -/- Target audience: The target audiences for this tutorial (...) are the developers of ML AI systems, healthcare regulators, the broader medical informatics community, and practicing clinicians. -/- Scope: Discussions of adaptive ML systems to date have overlooked the distinction between 2 sorts of variance that such systems may exhibit—diachronic evolution (change over time) and synchronic variation (difference between cotemporaneous instantiations of the algorithm at different sites)—and underestimated the significance of the latter. We highlight the challenges that diachronic evolution and synchronic variation present for the quality of patient care, informed consent, and equity, and discuss the complex ethical trade-offs involved in the design of such systems. (shrink)

Scientists depend on complex computational systems that are often ineliminably opaque, to the detriment of our ability to give scientific explanations and detect artifacts. Some philosophers have s...

Research on human infants, adult nonhuman primates, and children and adults in diverse cultures provides converging evidence for four systems at the foundations of human knowledge. These systems are domain specific and serve to represent both entities in the perceptible world (inanimate manipulable objects and animate agents) and entities that are more abstract (numbers and geometrical forms). Human cognition may be based, as well, on a fifth system for representing social partners and for categorizing the social world into (...) groups. Research on infants and children may contribute both to understanding of these systems and to attempts to overcome misconceptions that they may foster. (shrink)

This paper aims to identify computerized management information systems resources and their relationship to the development of performance in the Electricity Distribution Company in Gaza. This research used two dimensions. The first dimension is computerized management information systems and the second dimension the Development of Performance. The control sample was (063). (360) questioners were distributed and (306) were retrieved back with a percentage of (85%). Several statistical tools were used for data analysis and hypotheses testing, including reliability correlation (...) using Cronbach’s alpha, “ANOVA”, Simple Linear Regression and Step Wise Regression. The overall findings of the current study suggested the presence of a statistically significant relationship between resources (physical, software, and human and organizational) for the computerized management information systems and the development of performance in the Electricity Distribution Company in Gaza. The study recommended the following: The need to strengthen the company's management interest in the potential of computerized management information systems and using them in the computerization of all the company's activities. And the need to involve workers and users in the design of computerized management information systems and assessment and development process. And strengthen the relationship between users and information systems personnel in the department responsible for the system. And it is essential that the company is developing the infrastructure for information technology in general, and computerized management information systems, in particular for the development of performance. And increase interest in providing resources (physical, software, and human and organizational) for the computerized management information systems. The current study is unique by the virtue of its nature, scope and way of implied investigation, as it is the first study at Electricity Distribution Company in Gaza resources explores the status of Computerized management information systems and their relationship to the development of performance in the Electricity Distribution Company in Gaza increasing interest in Computerized management information systems through continuity, keeping pace with technological means and modern techniques. (shrink)

The fundamental, irreplaceable exposition of general semantics. In this work Korzybski developed important lines of formulating neglected by subsequent authors. A must-have for the student of general semantics interested in the original formulations of Alfred Korzybski. The sixth edition of Science and Sanity: An Introduction to Non-Aristotelian Systems and General Semantics includes a new preface by Lance Strate, President of the Institute of General Semantics.

The two contrasting theoretical approaches to visual perception, the constructivist and the ecological, are briefly presented and illustrated through their analyses of space and size perception. Earlier calls for their reconciliation and unification are reviewed. Neurophysiological, neuropsychological, and psychophysical evidence for the existence of two quite distinct visual systems, the ventral and the dorsal, is presented. These two perceptual systems differ in their functions; the ventral system's central function is that of identification, while the dorsal system is mainly (...) engaged in the visual control of motor behavior. The strong parallels between the ecological approach and the functioning of the dorsal system, and between the constructivist approach and the functioning of the ventral system are noted. It is also shown that the experimental paradigms used by the proponents of these two approaches match the functions of the respective visual systems. A dual-process approach to visual perception emerges from this analysis, with the ecological-dorsal process transpiring mainly without conscious awareness, while the constructivist-ventral process is normally conscious. Some implications of this dual-process approach to visual-perceptual phenomena are presented, with emphasis on space perception. Key Words: constructivist; dual-process approach; ecological; size perception; space perception; two visual systems; visual perception theories. (shrink)

Humean reductionism about laws of nature appears to leave a central aspect of scientific practice unmotivated: If the world’s fundamental structure is exhausted by the actual distribution of non-modal properties and the laws of nature are merely efficient summaries of this distribution, then why does science posit laws that cover a wide range of non-actual circumstances? In this paper, we develop a new version of the Humean best systems account of laws based on the idea that laws need to (...) organize information in a way that maximizes their cognitive usefulness for creature like us. We argue that this account motivates scientific practice because the laws’ applicability to non-actual circumstances falls right out of their cognitive usefulness. (shrink)

This is the third draft of a paper that aims to clarify the apparent contradictions in the views presented in certain standards and other specifications of health informatics systems, contradictions which come to light when the latter are evaluated from the perspective of realist philosophy. One of the origins of this document was Klein’s discussion paper of 2005-07-02 entitled “Conceptology vs Reality” and the responses from Smith, as well as the several hours of discussions during the 2005 MIE meeting (...) in Geneva. (shrink)

The following analysis shows how developments in epistemic logic can play a nontrivial role in cognitive neuroscience. We argue that the striking correspondence between two modes of identification, as distinguished in the epistemic context, and two cognitive systems distinguished by neuroscientific investigation of the visual system (the "where" and "what" systems) is not coincidental, and that it can play a clarificatory role at the most fundamental levels of neuroscientific theory.

The recent discussion of fictional models has focused on imagination, implicitly considering fictions as something nonconcrete. We present two cases from synthetic biology that can be viewed as concrete fictions. Both minimal cells and alternative genetic systems are modal in nature: they, as well as their abstract cousins, can be used to study unactualized possibilia. We approach these synthetic constructs through Vaihinger’s notion of a semi-fiction and Goodman’s notion of semifactuality. Our study highlights the relative existence of such concrete (...) fictions. Before their realizations neither minimal cells nor alternative genetic systems were any well-defined objects, and the subsequent experimental work has given more content to these originally schematic imaginings. But it is as yet unclear whether individual members of these heterogeneous groups of somewhat functional synthetic constructs will eventually turn out to be fully realizable, remain only partially realizable, or prove outright impossible. (shrink)

One of the several reasons given in calls for the prohibition of autonomous weapons systems (AWS) is that they are against human dignity (Asaro, 2012; Docherty, 2014; Heyns, 2017; Ulgen, 2016). However there have been criticisms of the reliance on human dignity in arguments against AWS (Birnbacher, 2016; Pop, 2018; Saxton, 2016). This paper critically examines the relationship between human dignity and autonomous weapons systems. Three main types of objection to AWS are identified; (i) arguments based on technology (...) and the ability of AWS to conform to International Humanitarian Law; (ii) deontological arguments based on the need for human judgement and meaningful human control, including arguments based on human dignity; (iii) consequentialist reasons about their effects on global stability and the likelihood of going to war. An account is provided of the claims made about human dignity and AWS, of the criticisms of these claims, and of the several meanings of ‘dignity’. It is concluded that although there are several ways in which AWS can be said to be against human dignity, they are not unique in this respect. There are other weapons, and other technologies, that also compromise human dignity. Given this, and the ambiguities inherent in the concept, it is wiser to draw on several types of objections in arguments against AWS, and not to rely exclusively on human dignity. (shrink)

What is the content of a mental state? This question poses the problem of intentionality: to explain how mental states can be about other things, where being about them is understood as representing them. A framework that integrates predictive coding and signaling systems theories of cognitive processing offers a new perspective on intentionality. On this view, at least some mental states are evaluations, which differ in function, operation, and normativity from representations. A complete naturalistic theory of intentionality must account (...) for both types of intentional state. (shrink)

When a computer system causes harm, who is responsible? This question has renewed significance given the proliferation of autonomous systems enabled by modern artificial intelligence techniques. At the root of this problem is a philosophical difficulty known in the literature as the responsibility gap. That is to say, because of the causal distance between the designers of autonomous systems and the eventual outcomes of those systems, the dilution of agency within the large and complex teams that design (...) autonomous systems, and the impossibility of fully predicting how autonomous systems will behave once deployed, determining who is morally responsible for harms caused by autonomous systems is unclear at a conceptual level. I review past work on this topic, criticizing prior works for suggesting workarounds rather than philosophical answers to the conceptual problem presented by the responsibility gap. The view I develop, drawing on my earlier work on vicarious moral responsibility, explains why computing professionals are ethically required to take responsibility for the systems they design, despite not being blameworthy for the harms these systems may cause. (shrink)

Criminal liability for acts committed by AI systems has recently become a hot legal topic. This paper includes three different contributions. The first contribution is an analysis of the extent to which an AI system can satisfy the requirements for criminal liability: accomplishing an actus reus, having the corresponding mens rea, possessing the cognitive capacities needed for responsibility. The second contribution is a discussion of criminal activity accomplished by an AI entity, with reference to a recent case involving an (...) online bot, the Random Darknet Shopper. This discussion will provide the context for the analysis of commonalities and differences between criminal activities by humans and by artificial systems. The third contribution concerns the evaluation of different ways of addressing criminal activities by AI systems in a regulatory perspective. (shrink)

Ecologist Richard Levins argues population biologists must trade‐off the generality, realism, and precision of their models since biological systems are complex and our limitations are severe. Steven Orzack and Elliott Sober argue that there are cases where these model properties cannot be varied independently of one another. If this is correct, then Levins's thesis that there is a necessary trade‐off between generality, precision, and realism in mathematical models in biology is false. I argue that Orzack and Sober's arguments fail (...) since Levins's thesis concerns the pragmatic features of model building not just the formal properties of models. (shrink)

This paper presents a methodology to design and implement programs intended to decide cases, described as sets of factors, according to a theory of a particular domain based on a set of precedent cases relating to that domain. We useDialectical Frameworks, a recent development in AI knowledge representation, as the central feature of our design method. ADFs will play a role akin to that played by Entity–Relationship models in the design of database systems. First, we explain how the factor (...) hierarchy of the well-known legal reasoning system CATO can be used to instantiate an ADF for the domain of US Trade Secrets. This is intended to demonstrate the suitability of ADFs for expressing the design of legal cased based systems. The method is then applied to two other legal domains often used in the literature of AI and Law. In each domain, the design is provided by the domain analyst expressing the cases in terms of factors organised into an ADF from which an executable program can be implemented in a straightforward way by taking advantage of the closeness of the acceptance conditions of the ADF to components of an executable program. We evaluate the ease of implementation, the performance and efficacy of the resulting program, ease of refinement of the program and the transparency of the reasoning. This evaluation suggests ways in which factor based systems, which are limited by taking as their starting point the representation of cases as sets of factors and so abstracting away the particular facts, can be extended to address open issues in AI and Law by incorporating the case facts to improve the decision, and by considering justification and reasoning using portion of precedents. (shrink)

This paper aims to identify the decision support systems and their role on the strategic management development in the Universities- Case Study: Islamic University of Gaza. The descriptive approach was used where a questionnaire was developed and distributed to a stratified random sample. (230) questionnaires were distributed and (204) were returned with response rate (88.7%). The most important findings of the study: The presence of a statistically significant positive correlation between the decision support systems and strategic management in (...) the Islamic University in Gaza, and this shows that there is a role for decision support systems in strategic management development. The senior management is convinced of the importance of strategic management of the organization, and this conviction paid to clearly understand the process of the development of strategic management and thus led to a commitment to this process to improve its performance. There is an impact on the strategic management of the capabilities available for the use of decision support systems, and the type of decision support systems used, while there is little effect of top management support for the use of decision support systems. Also, the results showed that there were no statistically significant differences between the averages of the respondents answers attributed to personal data. The research also concluded a series of recommendations: The Islamic University of Gaza need to develop its infrastructure of decision support systems when it develops the strategic management. It should increase its interest in organizational potential through the necessity of a separate unit for decision support systems. As well as increased interest in the physical and technical capabilities available to decision support systems through continuity in keeping pace with technological means and techniques, continued support of senior management in the organization of strategic management for its positive role on decision support systems, that senior management will continue in the organization in creating a culture of strategic management, and it should encourage employees to participate in the strategic management process. (shrink)

Context: A central motivation behind various embodied, extended, and enactive (4E) approaches to cognition is to ground our understanding of minds and cognition within the biological structures that give rise to life. Because of this, their advocates often claim a natural kinship with dynamical and developmental systems theories. However, these accounts also explicitly or implicitly privilege individual organisms in ways that contrast with many of the insights of systems and developmental systems approaches to biology. Problem: The prioritization (...) of individual organisms within 4E approaches to cognition contrasts with the default entangled structure of biological systems associated with cognitive agency. We provide means for 4E cognitive science to move beyond an individual-centred view of cognitive agency. Method: We first identify and problematize individual-centredness within various predominant 4E approaches by comparison with biological research and developmental systems theory. Subsequently, we offer conceptual resources from the field of ecological research for understanding cognitive agency beyond the predominant focus on individual organisms. Results: Cognitive agency may be understood without privileging individual organisms by reading nonequilibrium maintenance in terms of a dynamic differentiation instead of individual organismic autonomy. This form of organizational structure corresponds to the notion of sympoiesis from ecological research. Implications: Approaching cognitive agency without privileging individual organisms should be invaluable to advocates of 4E cognition seeking to ground notions of cognition and mind within contemporary biological research. Constructivist content: We seek to expand upon existing constructivist perspectives on the organizing principles of cognitive agency, such as sensorimotor embodiment and autopoiesis, arguing that meta-organismic cognitive agents (including humans) embody distributed relations beyond the privileging of individual organisms. Key words: 4E cognition, autopoiesis, cognitive agency, developmental systems theory, enactivism, extended mind thesis, holobionts, sympoeisis. (shrink)

Due to the variation, contingency and complexity of living systems, biology is often taken to be a science without fundamental theories, laws or general principles. I revisit this question in light of the quest for design principles in systems biology and show that different views can be reconciled if we distinguish between different types of generality. The philosophical literature has primarily focused on generality of specific models or explanations, or on the heuristic role of abstraction. This paper takes (...) a different approach in emphasizing a theory-constituting role of general principles. Design principles signify general dependency-relations between structures and functions, given a set of formally defined constraints. I contend that design principles increase our understanding of living systems by relating specific models to general types. The categorization of types is based on a delineation of the scope of biological possibilities, which serves to identify and define the generic features of classes of systems. To characterize the basis for general principles through generic abstraction and reasoning about possibility spaces, I coin the term constraint-based generality. I show that constraint-based generality is distinct from other types of generality in biology, and argue that general principles play a unifying role that does not entail theory reduction. (shrink)

How veridical is perception? Rather than representing objects as they actually exist in the world, might perception instead represent objects only in terms of the utility they offer to an observer? Previous work employed evolutionary modeling to show that under certain assumptions, natural selection favors such “strict‐interface” perceptual systems. This view has fueled considerable debate, but we think that discussions so far have failed to consider the implications of two critical aspects of perception. First, while existing models have explored (...) single utility functions, perception will often serve multiple largely independent goals. (Sometimes when looking at a stick you want to know how appropriate it would be as kindling for a campfire, and other times you want to know how appropriate it would be as a weapon for self‐defense.) Second, perception often operates in an inflexible, automatic manner—proving “impenetrable” to shifting higher‐level goals. (When your goal shifts from “burning” to “fighting,” your visual experience does not dramatically transform.) These two points have important implications for the veridicality of perception. In particular, as the need for flexible goals increases, inflexible perceptual systems must become more veridical. We support this position by providing evidence from evolutionary simulations that as the number of independent utility functions increases, the distinction between “interface” and “veridical” perceptual systems dissolves. Although natural selection evaluates perceptual systems only on their fitness, the most fit perceptual systems may nevertheless represent the world as it is. (shrink)

Although molecular biology has meant different things at different times, the term is often associated with a tendency to view cellular causation as conforming to simple linear schemas in which macro-scale effects are specified by micro-scale structures. The early achievements of molecular biologists were important for the formation of such an outlook, one to which the discovery of recombinant DNA techniques, and a number of other findings, gave new life even after the complexity of genotype–phenotype
relations had become apparent. Against this (...) background we outline how a range of scientific developments and conceptual considerations can be regarded as enabling and perhaps necessitating contemporary systems approaches. We suggest that philosophical ideas have a valuable part to play in making sense of complex scientific and disciplinary issues. (shrink)

A classic objection to autonomous weapon systems (AWS) is that these could create so-called responsibility gaps, where it is unclear who should be held responsible in the event that an AWS were to violate some portion of the law of armed conflict (LOAC). However, those who raise this objection generally do so presenting it as a problem for AWS as a whole class of weapons. Yet there exists a rather wide range of systems that can be counted as (...) “autonomous weapon systems”, and so the objection is too broad. In this article I present a taxonomic approach to the objection, examining a number of systems that would count as AWS under the prevalent definitions provided by the United States Department of Defense and the International Committee of the Red Cross, and I show that for virtually all such systems there is a clear locus of responsibility which presents itself as soon as one focuses on specific systems, rather than general notions of AWS. In developing these points, I also suggest a method for dealing with near-future types of AWS which may be thought to create situations where responsibility gaps can still arise. The main purpose of the arguments is, however, not to show that responsibility gaps do not exist or can be closed where they do exist. Rather, it is to highlight that any arguments surrounding AWS must be made with reference to specific weapon platforms imbued with specific abilities, subject to specific limitations, and deployed to specific times and places for specific purposes. More succinctly, the arguments show that we cannot and should not aim to treat AWS as if all of these shared all morally relevant features, but instead on a case-by-case basis. Thus, we must contend with the realities of weapons development and deployment, and tailor our arguments and conclusions to those realities, and with an eye to what facts obtain for particular systems fulfilling particular combat roles. (shrink)

The purpose of this paper is to connect the proof theory and the model theory of a family of propositional logics weaker than Heyting's. This family includes systems analogous to the Lambek calculus of syntactic categories, systems of relevant logic, systems related toBCK algebras, and, finally, Johansson's and Heyting's logic. First, sequent-systems are given for these logics, and cut-elimination results are proved. In these sequent-systems the rules for the logical operations are never changed: all changes (...) are made in the structural rules. Next, Hubert-style formulations are given for these logics, and algebraic completeness results are demonstrated with respect to residuated lattice-ordered groupoids. Finally, model structures related to relevant model structures (of Urquhart, Fine, Routley, Meyer, and Maksimova) are given for our logics. These model structures are based on groupoids parallel to the sequent-systems. This paper lays the ground for a kind of correspondence theory for axioms of logics with implication weaker than Heyting's, a correspondence theory analogous to the correspondence theory for modal axioms of normal modal logics.The first part of the paper, which follows, contains the first two sections, which deal with sequent-systems and Hubert-formulations. The second part, due to appear in the next issue of this journal, will contain the third section, which deals with groupoid models. (shrink)

Molly Anderson’s 2020 Presidential Address for the Agriculture and Human Values Society, is a bold call to action that considers the scope and depth of the challenges facing global food systems. This call has particular relevance to scholars who are closely aligned with struggles for food justice and food sovereignty. In this discussion piece, I suggest additional nuance that builds and expands on Anderson’s three opportunities for “pushing beyond the boundaries”. First, collaborations for social and ecological change must be (...) willing to expand predominant ideas to the varied ways that people engage with food systems. Second, interactions with global social movements demands grounding our work in the hearts and minds of individuals and communities while also addressing structural concerns at the levels of governance that enable and constrain food system functions. Third, food systems thinking and action must begin with our relationships to the land and its original inhabitants. The settler colonial project is integrally connected to the dominant food system that is premised on exploitation and control of land, water and people. As scholar allies, “pushing the boundaries” demands acknowledging ways that we are complicit in unjust systems and ways that we benefit from them; doing the personal work required for unlearning and relearning; being prepared to take actions that move towards more equitable and sustainable food systems; and, accepting the potential risks and material consequences that equity demands. (shrink)

Knowledge reduction of information systems is one of the most important parts of rough set theory in real-world applications. Based on the connections between the rough set theory and the theory of topology, a kind of topological reduction of incomplete information systems is discussed. In this study, the topological reduction of incomplete information systems is characterized by belief and plausibility functions from evidence theory. First, we present that a topological space induced by a pair of approximation operators (...) in an incomplete information system is pseudo-discrete, which deduces a partition. Then, the topological reduction is characterized by the belief and plausibility function values of the sets in the partition. A topological reduction algorithm for computing the topological reducts in incomplete information systems is also proposed based on evidence theory, and its efficiency is examined by an example. Moreover, relationships among the concepts of topological reduct, classical reduct, belief reduct, and plausibility reduct of an incomplete information system are presented. (shrink)

The intuitive notion behind the usual semantics of most systems of modal logic is that of ?possible worlds?. Loosely speaking, an expression is necessary if and only if it holds in all possible worlds; it is possible if and only if it holds in some possible world. Of course, contradictory expressions turn out to hold in no possible worlds, and logically true expressions turn out to hold in every possible world. A method is presented for transforming standard modal (...) class='Hi'>systems into systems of modal logic for impossible worlds. To each possible world there corresponds an impossible world such that an expression holds in the impossible world if and only if it does not hold in the possible world. One can then talk about such worlds quite consistently, and there seems to be no logical reason for excluding them from consideration. (shrink)

The fault prediction and abductive fault diagnosis of three-phase induction motors are of great importance for improving their working safety, reliability, and economy; however, it is difficult to succeed in solving these issues. This paper proposes a fault analysis method of motors based on modified fuzzy reasoning spiking neural P systems with real numbers for fault prediction and abductive fault diagnosis. To achieve this goal, fault fuzzy production rules of three-phase induction motors are first proposed. Then, the rMFRSNPS is (...) presented to model the rules, which provides an intuitive way for modelling the motors. Moreover, to realize the parallel data computing and information reasoning in the fault prediction and diagnosis process, three reasoning algorithms for the rMFRSNPS are proposed: the pulse value reasoning algorithm, the forward fault prediction reasoning algorithm, and the backward abductive fault diagnosis reasoning algorithm. Finally, some case studies are given, in order to verify the feasibility and effectiveness of the proposed method. (shrink)

This article develops a method for investigating the consequences of algorithmic systems according to the documents that specify their design constrains. As opposed to reverse engineering algorithms to identify how their logic operates, the article proposes to design or "forward engineer" algorithmic systems in order to theorize how their consequences are informed by design constraints: the specific problems, use cases, and presuppositions that they respond to. This demands a departure from algorithmic reformism, which responds to concerns about the (...) consequences of algorithmic systems by proposing to make algorithms more transparent or less biased. Instead, by investigating algorithmic systems according to documents that specify their design constraints, we identify how the consequences of algorithms are presupposed by the problems that they propose to solve, the types of solutions that they enlist to solve these problems, and the systems of authority that these solutions depend on. To accomplish this, this article develops a methodological framework for researching the process of designing algorithmic systems. In doing so, it proposes to move beyond reforming the technical implementation details of algorithms in order to address the design problems and constraints that underlie them. (shrink)

According to best systems accounts, laws of nature are generalizations in the best systematization of particular matters of fact. Metrics such as simplicity and strength determine which systematization is best, but these are notoriously language relative. For this reason, David Lewis proposed a constraint on languages of inquiry: all predicates must be natural. This constraint is sometimes interpreted as requiring us to know which natural properties are instantiated in our world prior to scientific theorizing. I argue that this interpretation (...) is incorrect. I provide a better interpretation and show how it undercuts an influential epistemological objection to Lewis's best systems account of laws due to Bas van Fraassen. (shrink)