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)

Volume 25, Issue 2, February 2025, Page 157-159.

“The primary purpose of this book has been to provide a single source of containing the basic information about systematic and theoretical psychology which any student of psychology should have. It is mainly directed at the senior undergraduate major and the beginning of the graduate student.”-Publisher.

This article presents the first, systematic analysis of the ethical challenges posed by recommender systems through a literature review. The article identifies six areas of concern, and maps them onto a proposed taxonomy of different kinds of ethical impact. The analysis uncovers a gap in the literature: currently user-centred approaches do not consider the interests of a variety of other stakeholders—as opposed to just the receivers of a recommendation—in assessing the ethical impacts of a recommender system.

The starting point of this chapter is the observation that at the global level the climate system is failing to produce the outcomes it was set up to produce and as such is lacking consistency integrity. That is, it is failing to act in accordance with its public institutional justification and the values embodied in it. However, emerging so-called polycentric systems are increasingly successful at addressing the challenges of global climatic change, according to economist Elinor Ostrom. The aim of (...) this chapter is to discuss the possibility of applying the integrity approach to polycentric systems, which comprise a multitude of institutional, corporate and individual agents not all of which have a clear public institutional justification. (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)

Taking the lead from Susan Wolf's and Linda Emanuel's work on systems thinking, and developing ideas from Moberg's, Seabright's and my work on mental models and moral imagination, in this paper I shall argue that what is often missing in management decision-making is a systems approach. Systems thinking requires conceiving of management dilemmas as arising from within a system with interdependent elements, subsystems, and networks of relationships and patterns of interaction. Taking a systems approach and coupling (...) it with moral imagination, now engaged on the organizational and systemic as well as individual levels of decision-making, I shall conclude, is a methodology that encourages managers and companies to think more imaginatively and to engage in integrating moral decision-making into ordinary business decisions. More importantly this sort of thinking is a means to circumvent what often appear to be intractable problems created by systemic constraints for which no individual appears to be responsible. (shrink)

It is often assumed that the capability to make inferences requires language. Against this assumption, I claim that inferential abilities do not necessarily require a language. On the contrary, certain cartographic systems could be used to explain some forms of inferences, and they are capable of warranting rational relations between contents they represent. By arguing that certain maps, as well as sentences, are adequate for inferential processes, I do not mean to neglect that there are important differences between maps (...) and sentences. Instead, the purpose of this paper is to highlight interesting distinctions that might affect the way that cartographic thinking works. (shrink)

To many, the idea of autonomous weapons systems (AWS) killing human beings is grotesque. Yet critics have had difficulty explaining why it should make a significant moral difference if a human combatant is killed by an AWS as opposed to being killed by a human combatant. The purpose of this paper is to explore the roots of various deontological concerns with AWS and to consider whether these concerns are distinct from any concerns that also apply to long-distance, human-guided weaponry. (...) We suggest that at least one major driver of the intuitive moral aversion to lethal AWS is that their use disrespects their human targets by violating the martial contract between human combatants. On our understanding of this doctrine, service personnel cede a right not to be directly targeted with lethal violence to other human agents alone. Artificial agents, of which AWS are one example, cannot understand the value of human life. A human combatant cannot transfer his privileges of targeting enemy combatants to a robot. Therefore, the human duty-holder who deploys AWS breaches the martial contract between human combatants and disrespects the targeted combatants. We consider whether this novel deontological objection to AWS forms the foundation of several other popular yet imperfect deontological objections to AWS. (shrink)

In this reply to James H. Fetzer’s “Minds and Machines: Limits to Simulations of Thought and Action”, I argue that computationalism should not be the view that (human) cognition is computation, but that it should be the view that cognition (simpliciter) is computable. It follows that computationalism can be true even if (human) cognition is not the result of computations in the brain. I also argue that, if semiotic systems are systems that interpret signs, then both humans and (...) computers are semiotic systems. Finally, I suggest that minds can be considered as virtual machines implemented in certain semiotic systems, primarily the brain, but also AI computers. In doing so, I take issue with Fetzer’s arguments to the contrary. (shrink)

Gentzen's systems of natural deduction and sequent calculus were byproducts in his program of proving the consistency of arithmetic and analysis. It is suggested that the central component in his results on logical calculi was the use of a tree form for derivations. It allows the composition of derivations and the permutation of the order of application of rules, with a full control over the structure of derivations as a result. Recently found documents shed new light on the discovery (...) of these calculi. In particular, Gentzen set up five different forms of natural calculi and gave a detailed proof of normalization for intuitionistic natural deduction. An early handwritten manuscript of his thesis shows that a direct translation from natural deduction to the axiomatic logic of Hilbert and Ackermann was, in addition to the influence of Paul Hertz, the second component in the discovery of sequent calculus. A system intermediate between the sequent calculus LI and axiomatic logic, denoted LIG in unpublished sources, is implicit in Gentzen's published thesis of 1934—35. The calculus has half rules, half “groundsequents,” and does not allow full cut elimination. Nevertheless, a translation from LI to LIG in the published thesis gives a subformula property for a complete class of derivations in LIG. After the thesis, Gentzen continued to work on variants of sequent calculi for ten more years, in the hope to find a consistency proof for arithmetic within an intuitionistic calculus. (shrink)

Feferman, S. and G. Jäger, Systems of explicit mathematics with non-constructive μ-operator. Part I, Annals of Pure and Applied Logic 65 243-263. This paper is mainly concerned with the proof-theoretic analysis of systems of explicit mathematics with a non-constructive minimum operator. We start off from a basic theory BON of operators and numbers and add some principles of set and formula induction on the natural numbers as well as axioms for μ. The principal results then state: BON plus (...) set induction is proof-theoretically equivalent to Peano arithmetic PA; BON plus formula induction is proof-theoretically equivalent to the system <0 of second-order arithmetic. (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)

A number of two-systems accounts have been proposed to explain the apparent discrepancy between infants’ early success in nonverbal mindreading tasks, on the one hand, and the failures of children younger than four to pass verbally-mediated false-belief tasks, on the other. Many of these accounts have not been empirically fruitful. This paper focuses, in contrast, on the two-systems proposal put forward by Ian Apperly and colleagues. This has issued in a number of new findings. The present paper shows (...) that the theoretical arguments offered in support of Apperly’s account are nevertheless unconvincing, and that the data can be explained in other terms. A better view is that there is just a single mindreading system that exists throughout, but which undergoes gradual conceptual enrichment through infancy and childhood. This system can be used in ways that do, or do not, draw on executive resources and/or working memory. (shrink)

The gap between Science and the Humanities becomes tangible when they both attempt to address the same problem. One such case is relationship between Life and biological molecules. Traditionally, molecular biology has attempted to explain biological processes in terms of physicochemical characteristics of individual macromolecules. The new science of systems biology largely ignores the molecular characteristics of specific molecules and endeavors to analyze biological processes through the relationship between thousands of molecules. On the face of it, the difference between (...) the molecular and the systems approach to biological research corresponds to the tension between the reductionist and the emergentist view in the philosophy of biology. However, a closer analysis reveals that experimental science and philosophy are concerned with different aspects of the problem and therefore search for different solutions. A main reason for this is the difference in their respective concepts of “question” and “answer”, which is essentially unbridgeable. (shrink)

Resilience thinking challenges us to reconsider the meaning of sustainability in a world that must constantly adapt in the face of gradual and at times catastrophic change. This volume further asks environmental education and resource management scholars to consider the relationship of environmental learning and behaviours to attributes of resilient social-ecological systems - attributes such as ecosystem services, innovative governance structures, biological and cultural diversity, and social capital. Similar to current approaches to environmental education and education for sustainable development, (...) resilience scholarship integrates social and ecological perspectives. The authors of _Resilience in social-ecological systems: the role of learning and education_ present a wealth of perspectives, integrating theory with reviews of empirical studies in natural resource management, and in youth, adult, and higher education. The authors explore the role of education and learning in helping social-ecological systems as they respond to change, through adaptation and transformation. This book also serves to integrate a growing literature on resilience and social learning in natural resources management, with research in environmental education and education for sustainable development. This book was originally published as a special issue of _Environmental Education Research_. (shrink)

Unmanned systems in military applications will often play a role in determining the success or failure of combat missions and thus in determining who lives and dies in times of war. Designers of UMS must therefore consider ethical, as well as operational, requirements and limits when developing UMS. I group the ethical issues involved in UMS design under two broad headings, Building Safe Systems and Designing for the Law of Armed Conflict, and identify and discuss a number of (...) issues under each of these headings. As well as identifying issues, I offer some analysis of their implications and how they might be addressed. (shrink)

The emerging concept of systems medicine (or ‘P4 medicine’—predictive, preventive, personalized and participatory) is at the vanguard of the post-genomic movement towards ‘precision medicine’. It is the medical application of systems biology, the biological study of wholes. Of particular interest, P4 systems medicine is currently promised as a revolutionary new biomedical approach that is holistic rather than reductionist. This article analyzes its concept of holism, both with regard to methods and conceptualization of health and disease. Rather than (...) representing a medical holism associated with basic humanistic ideas, we find a technoscientific holism resulting from altered technological and theoretical circumstances in biology. We argue that this holism, which is aimed at disease prevention and health optimization, points towards an expanded form of medicalization, which we call ‘holistic medicalization’: Each person’s whole life process is defined in biomedical, technoscientific terms as quantifiable and controllable and underlain a regime of medical control that is holistic in that it is all-encompassing. It is directed at all levels of functioning, from the molecular to the social, continual throughout life and aimed at managing the whole continuum from cure of disease to optimization of health. We argue that this medicalization is a very concrete materialization of a broader trend in medicine and society, which we call ‘the medicalization of health and life itself’. We explicate this holistic medicalization, discuss potential harms and conclude by calling for preventive measures aimed at avoiding eventual harmful effects of overmedicalization in systems medicine (quaternary prevention). (shrink)

Our understanding of communication and its evolution has advanced significantly through the study of simple models involving interacting senders and receivers of signals. Many theorists have thought that the resources of mathematical information theory are all that are needed to capture the meaning or content that is being communicated in these systems. However, the way theorists routinely talk about the models implicitly draws on a conception of content that is richer than bare informational content, especially in contexts where false (...) content is important. This article shows that this concept can be made precise by defining a notion of functional content that captures the degree to which different states of the world are involved in stabilizing senders’ and receivers’ use of a signal at equilibrium. A series of case studies is used to contrast functional content with informational content, and to illustrate the explanatory role and limitations of this definition of functional content. _1_ Introduction _2_ Modelling Framework _3_ Two Kinds of Content _3.1_ Informational content _3.2_ Functional content _4_ Cases _4.1_ Case 1: Simplest case _4.2_ Case 2: Partial pooling _4.3_ Case 3: Bottleneck _4.4_ Case 4: Partial common interest _4.5_ Case 5: Deception _4.6_ Case 6: A further problem arising from divergent interests _5_ Discussion Appendix. (shrink)

This article is focused on the relation between peace and nonviolence. It claims that the main challenge for peace comes from the power of structural violence. This is the main form of evil in history. Today structural violence is at work in the political and economic global systems. They obey a logic of conflict. The exercise of nonviolence can avoid the tendency to transform the connection between violence, evil, dehumanization, and great organizational systems into a destiny. The dynamic (...) that is needed to effect this is to move from the primacy of automatism in political and market power to the primacy of human consciousness. Experiences such as reconciliation, democratic growth, restorative justice, and harmonization with the natural world should be considered as the effects of this systemic translation to nonviolence. (shrink)

. Prediction of crop yield is significant in order to accurately meet market requirements and proper administration of agricultural activities directed towards enhancement in yield. Several parameters such as weather, pests, biophysical and physio morphological features merit their consideration while determining the yield. However, these parameters are uncertain in their nature, thus making the determined amount of yield to be approximate. It is exactly here that the fuzzy logic comes into play. This paper elaborates an attempt to develop fuzzy inference (...) systems for crop yield prediction. Physio morphological features of Sorghum were considered. A huge database of physio morphological features such as days of 50 percent flowering, dead heart percentage, plant height, panicle length, panicle weight and number of primaries and the corresponding yield were considered for the development of the model. In order to find out the sensitivity of parameters, one-to-one, two-to-one and three-to-one combinations of input and output were considered. The results have clearly shown that panicle length contributes for the yield as the lone parameter with almost one-to-one matching between predicted yield and actual value while panicle length and panicle weight in combination seemed to play a decisive role in contributing for the yield with the prediction accuracy reflected by very low RMS value. (shrink)

This study aims to compare and contrast how specific information health technologies (IHTs) have been debated, how they have proliferated, and what they have enabled in Germany’s and England’s healthcare systems. For this a discourse analysis was undertaken that specifically focussed on future-scenarios articulated in policy documents and strategy papers released by relevant actors from both healthcare systems. The study reveals that the way IHTs have been debated and how they have proliferated depends on country-specific regulatory structures, their (...) respective values, actors’ and institutions’ organized interests, and the status of health professionals. These conditions have enabled IHTs to promote a new and similar concept of patienthood in both countries, although they tend to affect practitioners’ practices more dramatically in England. The conclusion is drawn that with the usage of IHTs, healthcare systems reproduced existing patterns of health provision while also enabling a sort of convergence. Future research should investigate whether the new concept of patienthood emerging in both welfare states actually suits patients’ and professionals’ needs and requirements. (shrink)

This book provides an introduction to applied statistical mechanics by considering physically realistic models. It provides a simple and accessible introduction to theories of thermal fluctuations and diffusion, and goes on to apply them in a variety of physical contexts. The first part of the book is devoted to processes in thermal equilibrium, and considers linear systems. Ideas central to the subject, such as the fluctuation dissipation theorem, Fokker-Planck equations and the Kramers-Kroenig relations are introduced during the course of (...) the exposition. The scope is then expanded to include non-equilibrium systems and also illustrates simple nonlinear systems. This book will be of interest to final year undergraduate and graduate students studying statistical mechanics, plasma physics, basic electronics, solid state physics and anyone who wants an accessible introduction to the subject. (shrink)

It is often claimed (1) that levels of nature are related by supervenience, and (2) that processes occurring at particular levels of nature should be studied using dynamical systems theory. However, there has been little consideration of how these claims are related. To address the issue, I show how supervenience relations give rise to ‘supervenience functions’, and use these functions to show how dynamical systems at different levels are related to one another. I then use this analysis to (...) describe a graded approach to non-reductive physicalism, and to critically assess Davidson’s arguments for psychological anomaly. I also show how this approach can inform empirical research in cognitive science. (shrink)

Three comments are made. The proposal that recollection and familiarity-based recognition take different thalamic routes does not fit recent experimental evidence, suggesting that mediodorsal thalamus acts in an integrative role with respect to prefrontal cortex. Second, the role of frontal cortex in episodic memory has been understated. Third, the role of the hippocampal axis is likely to be the computation and storage of ideothetic information.

This paper presents two systems of natural deduction for the rejection of non-tautologies of classical propositional logic. The first system is sound and complete with respect to the body of all non-tautologies, the second system is sound and complete with respect to the body of all contradictions. The second system is a subsystem of the first. Starting with Jan Łukasiewicz's work, we describe the historical development of theories of rejection for classical propositional logic. Subsequently, we present the two (...) class='Hi'>systems of natural deduction and prove them to be sound and complete. We conclude with a ‘Theorem of Inversion’. (shrink)

Progress in general systems theory has been slow. Three recent books in the field reflect both the hopes and continuing frustrations of systems advocates. Frustrations include the widespread perception that systems theory is a kind of gnostic redemption, an abstract program to be administered by an elite cadre of experts for the sake of integrating knowledge and reorganizing society. This mechanistic understanding generates a resistance which could be countered by a more open and organic model of human (...) systems. The ambiguity of systems thought lies ironically in its ability to embrace both of these images within its conceptual scheme. (shrink)

Ground-coupled heating-cooling systems (GCHCSs) exchange heat between the built environment and the subsurface using pipework buried in trenches or boreholes. If heat pumps in GCHCSs are powered by “green electricity,” they offer genuine carbon-free heating-cooling; for this reason, there has been a surge in the technology in recent years. Interference between adjoining installations is being reported, raising issues of sustainability in terms of performance, equitable sharing of natural resources, and localized ecological impacts. Using an analytical model for heat transport (...) in porous media, sensitivity analyses have been obtained for open-loop systems in typical hydro-geological settings for urban GSHCSs in the United Kingdom, revealing that breakthrough of injected water will likely lead to significant declines in system performance in less than 25 years for well spacings less than 300 m, unless injection rates are kept below 250 m3/d. Only by cooperatively planning will adjoining landowners in urban areas achieve large-scale sustainable system designs. (shrink)

It can be argued that dual-system theorists should adopt an action - based view of System 2 (S2), on which S2 reasoning is an intentional activity. It can also be argued that they should adopt a dual - attitude theory, on which the two systems have distinct sets of propositional attitudes. However, Peter Carruthers has argued that on the action-based view there are no S2 attitudes. This paper replies to Carruthers, proposing a view of S2 attitudes as virtual ones, (...) which are partially realized in S1 attitudes. This view is compatible with, and a natural extension of, the action-based view. (shrink)

Recent evidence that young children seem to both understand false belief in one sense, but not in another, has led to two-systems theorizing about mindreading. By analyzing the most detailed two-systems approach in studying social cognition—the theory of mindreading defended by Ian Apperly and Stephen Butterfill—I argue that that even when dutifully constructed, two-systems approaches in social cognition struggle to adequately define the mindreading systems in terms of signature processing limits, an issue that becomes most apparent (...) when investigating mindreading in infancy. I end the article by developing several challenges that face any two-systems account of mindreading. (shrink)

"Lesniewski defined ontology, one of his three foundational systems, as 'a certain kind of modernized 'traditional logic' [On the foundations of mathematics (FM), p. 176]. In this respect it is worth bearing in mind that in the 1937-38 academic year Lesniewski taught a course called "Traditional 'formal logic' and traditional 'set theory' on the ground of ontology"; cf. Srzednicki and Stachniak, S. Lesniewski's Systems. Protothetic, 1988, p. 180. On this see Kotarbinski Gnosiology. The scientific approach to the theory (...) of knowledge, 1966, pp. 253-54 [the Polish original was published in 1929], which Lesniewski praised in [FM]: see in particular pp. 373 ff. Kotarbinski noted that Lesniewski "calls his system 'ontology' in harmony with certain terms used earlier (as in.. (shrink)

Lorenzen, in his book Einführung in die operative Logik und Mathematik has given a relatively precise form of syntactical system which he calls a calculus. The present paper deals with the relationship of Lorenzen's notion of calculus with the notion of formal system . It is shown that the obs of a formal system can be represented as the theses of a calculus of a certain type just when the calculus has a property called the tectonic property, and conditions are (...) given under which one form of system can be transformed into the other.ZusammenfassungLorenzen hat in seinem Buch, Einführung in die operative Logik und Mathematik, eine ziemlich genaue Auffassung eines syntaktischen Systems angegeben, die er Kalkül nennt. Die vorliegende Abhandlung betrifft die Verwandtschaft dieses Lorenzenschen Begriffs mit dem eines formalen Systems . Es wird bewiesen, dass die « Obs » eines formalen Systems sich als die Thesen eines passenden Kalküls genau dann repräsentieren lassen, wenn dieser Kalkül eine gewisse Eigenschaft, die « tectonic property » heisst, besitzt; die Bedingungen für die Überführung einer Art von System in die andere werden aufgezeigt.RésuméLorenzen, dans son livre Einführung in die operative Logik und Mathematik, a exposé une forme assez précise de systéme syntaxique qu'il a appelée un calcul. L'article actuel traite les relations entre cette idée et celle d'un système formel . L'auteur dèmontre que les « obs » d'un système formel peuvent se représenter comme les thèses d'un calcul d'une certaine espèce justement quand le calcul a une propriété que l'on appelle « the tectonic property »; et it énonce des conditions pour qu'un type de système soit transformable en l'autre. (shrink)