After having defined the KARO logic for specifying intelligent agents in earlier work we now turn to the question how to realise agents specified in the KARO framework. To this end we look at agent programming languages that we have defined, and investigate how programs in these languages can be linked to the KARO logic.

C I Lewis showed up Down Under in 2005, in e-mails initiated by Allen Hazen of Melbourne. Their topic was the system Hazen called FL (a Funny Logic), axiomatized in passing in Lewis 1921. I show that FL is the system MEN of material equivalence with negation. But negation plays no special role in MEN. Symbolizing equivalence with → and defining ∼A inferentially as A→f, the theorems of MEN are just those of the underlying theory ME of pure material equivalence. (...) This accords with the treatment of negation in the Abelian l-group logic A of Meyer and Slaney (Abelian logic. Abstract, Journal of Symbolic Logic 46, 425–426, 1981), which also defines ∼A inferentially with no special conditions on f. The paper then concentrates on the pure implicational part AI of A, the simple logic of Abelian groups. The integers Z were known to be characteristic for AI, with every non-theorem B refutable mod some Zn for finite n. Noted here is that AI is pre-tabular, having the Scroggs property that every proper extension SI of AI, closed under substitution and detachment, has some finite Zn as its characteristic matrix. In particular FL is the extension for which n = 2 (Lewis, The structure of logic and its relation to other systems. The Journal of Philosophy 18, 505–516, 1921; Meyer and Slaney, Abelian logic. Abstract. Journal of Symbolic Logic 46, 425–426, 1981; This is an abstract of the much longer paper finally published in 1989 in G. G. Priest, R. Routley and J. Norman, eds., Paraconsistent logic: essays on the inconsistent, Philosophica Verlag, Munich, pp. 245–288, 1989). (shrink)

C I Lewis showed up Down Under in 2005, in e-mails initiated by Allen Hazen of Melbourne. Their topic was the system Hazen called FL (a Funny Logic), axiomatized in passing in Lewis 1921. I show that FL is the system MEN of material equivalence with negation. But negation plays no special role in MEN. Symbolizing equivalence with → and defining ∼A inferentially as A→f, the theorems of MEN are just those of the underlying theory ME of pure material equivalence. (...) This accords with the treatment of negation in the Abelian l-group logic A of Meyer and Slaney (Abelian logic. Abstract, Journal of Symbolic Logic 46, 425–426, 1981), which also defines ∼A inferentially with no special conditions on f. The paper then concentrates on the pure implicational part AI of A, the simple logic of Abelian groups. The integers Z were known to be characteristic for AI, with every non-theorem B refutable mod some Zn for finite n. Noted here is that AI is pre-tabular, having the Scroggs property that every proper extension SI of AI, closed under substitution and detachment, has some finite Zn as its characteristic matrix. In particular FL is the extension for which n = 2 (Lewis, The structure of logic and its relation to other systems. The Journal of Philosophy 18, 505–516, 1921; Meyer and Slaney, Abelian logic. Abstract. Journal of Symbolic Logic 46, 425–426, 1981; This is an abstract of the much longer paper finally published in 1989 in G. G. Priest, R. Routley and J. Norman, eds., Paraconsistent logic: essays on the inconsistent, Philosophica Verlag, Munich, pp. 245–288, 1989). (shrink)

Sentential constants have been part of the R environment since Church [1]. They have had diverse uses in explicating relevant ideas and in sim- plifying them technically. Of most interest have been the Ackermann pair of constants t; f, functioning conceptually as a least truth, and as a greatest , under the ordering of propositions under true impli- cation. Also interesting have been the Church constants F; T, functioning similarly as least greatest propositions.

The title of this and proposed second volume presents the basic idea which unifies the wide variety of topics developed and investigated by the principal authors, major contributing authors, J. M. Dunn and Robert K. Meyer, and eleven other contributors. The other contributors are: J. R. Chidgey, J. A. Coffa, Dorthy L. Grover, Bas van Fraassen, H. Leblanc, Storrs McCall, A. Parks, G. Pottinger, R. Routley, A. Urquhart, and R. G. Wolf. From both the useful analytic table of contents (...) and from the section titles it is clear which contributing author has written each section. Chapter I, "The Pure Calculus of Entailment," suggests how logics of entailment are logics of relevance and necessity. When we explain why a large number of systems are investigated, it will be clear why we write of logics of entailment instead of the logic of entailment. The principal authors build a case in Chapter I, and elsewhere, that a genuinely valid formal inference, viz., a formal entailment, from a formula A to a formula B requires that A be relevant to B in addition to it being impossible that there be an interpretation making A true and B false. So, a claim that A entails B tells us, explicitly or implicitly, that A is relevant to B and that "if A then B" is necessarily true, i.e., A strictly implies B. Consequently since a logic of entailment presents allegedly unfalsifiable claims, i.e., theses, using entailment claims, a logic of entailment presents theses about relevance between antecedents and consequents and necessity. It should be noted that the systems of logic developed are for formal entailments; they may not be logics for material entailments such as: being a cube entails having six surfaces. (shrink)

In this essay I call attention to the fact that there is a work of art in Heidegger’s “The Origin of the Work of Art,” and yet almost no one talks about it: the C. F. Meyer poem “Roman Fountain.” This critical silence is all the more ironic, since it is a self-sufficient artwork, and not just described or mentioned in the text; and the poem’s fountain, as man-made spring, seems to speak to—if not speak of—Heidegger’s thesis concerning the (...) Ur-sprung of the artwork itself. I argue that the poem illuminates a central problem or question concerning the status of art as mimesis, and I suggest that the reason why this poem tends to be overlooked amid the “obsessive” critical attention that it otherwise attracts can be found within the essay itself. (shrink)

In this essay I call attention to the fact that there is a work of art in Heidegger’s “The Origin of the Work of Art,” and yet almost no one talks about it: the C. F. Meyer poem “Roman Fountain.” This critical silence is all the more ironic, since (1) it is a self-sufficient artwork, and not just described or mentioned in the text; and (2) the poem’s fountain, as man-made spring, seems to speak to—if not speak of—Heidegger’s thesis (...) concerning the Ur-sprung of the artwork itself. I argue that the poem illuminates a central problem or question concerning the status of art as mimesis, and I suggest that the reason why this poem tends to be overlooked amid the “obsessive” critical attention that it otherwise attracts can be found within the essay itself. (shrink)

Essays that put noted political thinkers of the past—including Plato, Machiavelli, Hobbes, Wollstonecraft, Marx, and Confucius—in dialogue with current environmental political theory. Contemporary environmental political theory considers the implications of the environmental crisis for such political concepts as rights, citizenship, justice, democracy, the state, race, class, and gender. As the field has matured, scholars have begun to explore connections between Green Theory and such canonical political thinkers as Plato, Machiavelli, Locke, and Marx. The essays in this volume put important figures (...) from the political theory canon in dialogue with current environmental political theory. It is the first comprehensive volume to bring the insights of Green Theory to bear in reinterpreting these canonical theorists. Individual essays cover such classical figures in Western thought as Aristotle, Hume, Rousseau, Mill, and Burke, but they also depart from the traditional canon to consider Mary Wollstonecraft, W. E. B. Du Bois, Hannah Arendt, and Confucius. Engaging and accessible, the essays also offer original and innovative interpretations that often challenge standard readings of these thinkers. In examining and explicating how these great thinkers of the past viewed the natural world and our relationship with nature, the essays also illuminate our current environmental predicament. Essays on Plato • Aristotle • Niccolò Machiavelli • Thomas Hobbes • John Locke • David Hume • Jean-Jacques Rousseau • Edmund Burke • Mary Wollstonecraft • John Stuart Mill • Karl Marx • W. E. B. Du Bois • Martin Heidegger • Hannah Arendt • Confucius Contributors Sheryl D. Breen, W. Scott Cameron, Peter F. Cannavò, Joel Jay Kassiola, Joseph H. Lane Jr. Timothy W. Luke, John M. Meyer, Özgüç Orhan, Barbara K. Seeber, Francisco Seijo, Kimberly K. Smith, Piers H. G. Stephens, Zev Trachtenberg, Andrew Valls, Harlan Wilson. (shrink)

We present a solution to the paradox of free choice permission by introducing strong and weak permission in a deontic logic of action. It is shown how counterintuitive consequences of strong permission can be avoided by limiting the contexts in which an action can be performed. This is done by introducing the only operator, which allows us to say that only is performed (and nothing else), and by introducing contextual interpretation of action terms.

Hand function improvement in stroke survivors in the chronic stage usually plateaus by 6 months. Brain-computer interface (BCI)-guided robot-assisted training has been shown to be effective for facilitating upper-limb motor function recovery in chronic stroke. However, the underlying neuroplasticity change is not well understood. This study aimed to investigate the whole-brain neuroplasticity changes after 20-session BCI-guided robot hand training, and whether the changes could be maintained at the 6-month follow-up. Therefore, the clinical improvement and the neurological changes before, immediately after, (...) and 6 months after training were explored in 14 chronic stroke subjects. The upper-limb motor function was assessed by Action Research Arm Test (ARAT) and Fugl-Meyer Assessment for Upper-Limb (FMA), and the neurological changes were assessed using resting-state functional magnetic resonance imaging. Repeated-measure ANOVAs indicated that long-term motor improvement was found by both FMA (F[2,26]= 6.367,p= 0.006) and ARAT (F[2,26]= 7.230,p= 0.003). Seed-based functional connectivity analysis exhibited that significantly modulated FC was observed between ipsilesional motor regions (primary motor cortex and supplementary motor area) and contralesional areas (supplementary motor area, premotor cortex, and superior parietal lobule), and the effects were sustained after 6 months. The fALFF analysis showed that local neuronal activities significantly increased in central, frontal and parietal regions, and the effects were also sustained after 6 months. Consistent results in FC and fALFF analyses demonstrated the increase of neural activities in sensorimotor and fronto-parietal regions, which were highly involved in the BCI-guided training.Clinical Trial Registration:This study has been registered atClinicalTrials.govwith clinical trial registration number NCT02323061. (shrink)

Those who deny the usefulness of the concept of “motive” for psychology commonly bring two arguments in support of theirview. The first is that the whole notion of “motive” is “animistic” and “folklorish”, since a motive cannot be directly observed. The second is that “motives” cannot be accurately observed, and therefore are beyond the scope of scientific study, because they are “the secret of the agent”, and the agenthimself has no indubitable knowledge of his “motives”. In a recent article, Professor (...) MacIver defends the view that the imputation of “motives” is necessary to a complete explanation of behaviour. To the first of the above criticisms, he replies that such a view neglects a part of reality and that since “motives” exist they should be studied by psychology. This reply does nothing to demonstrate the necessity of imputing motives in order to obtain a complete explanation of behaviour. To the second criticism he replies “motives” are not the secret of the agent, and we can only assert that the agent has mistaken his “motive” if we can gain indepen-dent knowledge of it. We can do this, Professor MacIver asserts, by observing typical behaviour in typical circum-stances, and making inferences from the coherence of total situations. Professor MacIver's replies to the second of the above criticisms are valid only if “motive” is defined as equivalent to “need”, so that we can say “under such-and-such conditions, such-and-such behaviour occurs”. A statement of this type says nothing about the agent's awareness of his goal. When the term “consciousness” is carefully defined along the lines suggested by Boring, the methods of imputation described by Professor MacIver can be seen to lead us only to the agent's “drives”, or “needs”, defined without reference to the agent's awareness of his goal. Professor MacIver uses “motives” to mean “awareness of the goal”, but gives us no clue as to how they may be imputed, and adduces no proof that their imputation is necessary. A possible criterion of the presence of a “motive” is the degree of direction observable in the organism's varied reac-tions in response to frustration, though the more precise definition of such a criterion must await further experiment. In view of the ambiguity of the term “motive” and its penumbra of false suggestion, it is desirable that the term be dropped from psychology. (shrink)

The term ‘environment’ is not uniformly defined in the public health sciences, which causes crucial inconsistencies in research, health policy, and practice. As we shall indicate, this is somewhat entangled with diverging pathogenic and salutogenic perspectives (research and policy priorities) concerning environmental health. We emphasise two distinct concepts of environment in use by the World Health Organisation. One significant way these concepts differ concerns whether the social environment is included. Divergence on this matter has profound consequences for the understanding of (...) health and disease, for measures derived from that understanding targeting health promotion and disease prevention, and consequently, for epistemic structures and concept development in scientific practice. We hope to improve the given situation in public health by uncovering these differences and by developing a fruitful way of thinking about environment. Firstly, we side with the salutogenic conception of environment as a _health resource_ (as well as a source of health risks). Secondly, we subdivide the concept of environment into four _health-oriented environmental categories_ (viz., natural, built-material, socio-cultural, and psychosocial) and we link these with other theoretical notions proposed in the health sciences literature. Thirdly, we propose that in public health ‘environment’ should be understood as consisting of all extrinsic factors that influence or are influenced by the health, well-being, and development of an individual. Consequently, none of the four categories should be excluded from the concept of environment. We point out the practical relevance and fruitfulness of the conception of environment as a health source and frame this in causal terms, representing _individual health environments_ as causal networks. Throughout, we side with the view that for the design of human health-promoting settings, increased attention and consideration of environmental resources of salutogenic potential is particularly pressing. (shrink)

The average male–female performance difference in the three sports of track athletics, swimming and time trial cycling are examined between the years 1948 and 1976. During this period females have gradually come to participate in a much larger number of events, particularly those of longer duration. In each of these three sports, women's performances in relation to men's have more or less continuously improved and it appears that if the changes between 1948 and 1976 are maintained, average female performance will (...) equal that of males for all events currently competed in by both sexes in these sports at some time during the next century. Estimates as to when, precisely, this will occur vary somewhat according to the basis on which the calculations are made. The other main change evident during these years is that in all three sports women's performances relative to men's for events of long duration have become as good or better than their relative performance at events of short duration. (shrink)

The analysis of genetic and epigenetic mechanisms of the genotype–phenotypic connection has, so far, only been possible in a handful of genetic model systems. Recent technological advances, including next‐generation sequencing methods such as RNA‐seq, ChIP‐seq and RAD‐seq, and genome‐editing approaches including CRISPR‐Cas, now permit to address these fundamental questions of biology also in organisms that have been studied in their natural habitats. We provide an overview of the benefits and drawbacks of these novel techniques and experimental approaches that can now (...) be applied to ecological and evolutionary vertebrate models such as sticklebacks and cichlid fish. We can anticipate that these new methods will increase the understanding of the genetic and epigenetic factors influencing adaptations and phenotypic variation in ecological settings. These new arrows in the methodological quiver of ecologist will drastically increase the understanding of the genetic basis of adaptive traits – leading to a further closing of the genotype–phenotype gap. -/- . (shrink)

laudationem ferculum est insecutum plane non pro expectatione magnum: novitas tamen omnium convertit oculos. rotundum enim repositoriurr duodecim habebat signa in orbe disposita, super quae proprium convenien. temque materiae structor imposuerat cibum: super arietem cicer arietinum, super taurum bubulae frustum, super geminos testiculos ac rienes, supei cancrum coronam, super leonem ficum Africanam, super virginem steriliculam super libram stateram in cuius altera parte scriblita erat, in altera placenta super scorpionem † pisciculum marinum, super sagittarium oclopetam, supei capricornum locustam marinam,† super pisces (...) duos mullos. in medio autem caespes cum herbis excisus favum sustinebat. (shrink)

The essays in this volume are all concerned with the arguments about law as a system of rule-based decision-making,particularly the ideas advanced by legal philosopher Frederick Schauer. Schauer's work has not only helped revive interest in legal formalism but has also helped relocate arguments about the relationship between posited rules and morality. The contributors to this volume, themselves distinguished theorists, have concentrated on three aspects of Schauer's work: the nature of jurisprudential description; his theory of presumptive positivism; and the application (...) of his theory of rule-based decision-making to other areas of legal and moral thought. Contributors: Larry Alexander, Brian Bix, Philip Bobbitt, Marianne Constable, Michael C. Dorf, Jeremy Elkins, Claire Oakes Finkelstein, Leo Katz, Jason Johnston, Dennis Patterson. (shrink)

laudationem ferculum est insecutum plane non pro expectatione magnum: novitas tamen omnium convertit oculos. rotundum enim repositoriurr duodecim habebat signa in orbe disposita, super quae proprium convenien. temque materiae structor imposuerat cibum: super arietem cicer arietinum, super taurum bubulae frustum, super geminos testiculos ac rienes, supei cancrum coronam, super leonem ficum Africanam, super virginem steriliculam super libram stateram in cuius altera parte scriblita erat, in altera placenta super scorpionem † pisciculum marinum, super sagittarium oclopetam, supei capricornum locustam marinam,† super pisces (...) duos mullos. in medio autem caespes cum herbis excisus favum sustinebat. (shrink)