Twenty-four critical essays, including a substantial introduction, written by the most distinguished international scholars, in honour of Graziella Federici Vescovini.

This paper examines the relationship of bonding with nonhuman animals during an interactive, animal-in-the-wild science program and the science attitudes of 358 young children between the ages of 8 and 14 Talking Talons utilizes typically wild animals such as raptors, reptiles, and bats in a school-based educational science curriculum. Qualitative data from interviews with students in the program indicated that "bonding with animals" and the educators within the program were related to increased positive attitudes toward science. The program used quantitative (...) methods to examine these dual relationships—with animals and with educators- on student attitude toward science. The program performed a step-wise multiple regression with "Attitude toward Science" as the dependent variable and "Gender," "Age," and "Bonding with Animals" as independent variables. Both "Bonding with Animals" and "Bonding with the Educator" contributed significantly to prediction of the participants' science attitudes. Altogether 28% of the variance in "Science Attitude" was predicted by both "Gender" and "Age" , "Bonding with Animals" and "Bonding with Educator" . Bonding with the animals had a large quantifiable relationship with student attitudes toward science. (shrink)

Accessing knowledge of a single knowledge source with different client applications often requires the help of mediator systems as middleware components. In the domain of theorem proving large efforts have been made to formalize knowledge for mathematics and verification issues, and to structure it in databases. But these databases are either specialized for a single client, or if the knowledge is stored in a general database, the services this database can provide are usually limited and hard to adjust for a (...) particular theorem prover. Only recently there have been initiatives to flexibly connect existing theorem proving systems into networked environments that contain large knowledge bases. An intermediate layer containing both, search and proving functionality can be used to mediate between the two. In this paper we motivate the need and discuss the requirements for mediators between mathematical knowledge bases and theorem proving systems. We also present an attempt at a concurrent mediator between a knowledge base and a proof planning system. (shrink)

The phenomenon of exchange degeneracy of 2-particle quantum states is studied in detail within the framework of Relativistic Schrödinger Theory (RST). In conventional quantum theory this kind of degeneracy refers to the circumstance that, under neglection of the interparticle interactions, symmetric and anti-symmetric 2-particle states have identical energy eigenvalues. However the analogous effect of RST degeneracy is rather related to the emergence of two types of mixtures (positive and negative) in connection with the vanishing or non-vanishing of certain components of (...) the Hamiltonian (“exchange fields”). As a consequence, there arise two subcases of RST degeneracy: (i) mixture degeneracy through neglection of the exchange fields and (ii) exchange degeneracy through neglection of the mixture character of matter. The latter RST exchange degeneracy consists in the fact that the RST dynamics admits a certain set of pure-state solutions, as borderline case between positive and negative mixtures, and all these different solutions are generating the same physical situation, e.g., concerning mass eigenvalues and physical densities (of current and energy-momentum). The general results are exemplified by considering the 2-particle states for (scalar) Helium. Analogously as the conventional exchange degeneracy is broken (ortho- and para-Helium) by taking into account the interparticle interactions (e.g., Coulomb forces), the RST degeneracy is broken by simultaneously taking into account the mixture character of matter together with non-zero exchange fields. (shrink)

This paper elaborates on relationalism about space and time as motivated by a minimalist ontology of the physical world: there are only matter points that are individuated by the distance relations among them, with these relations changing. We assess two strategies to combine this ontology with physics, using classical mechanics as example: the Humean strategy adopts the standard, non-relationalist physical theories as they stand and interprets their formal apparatus as the means of bookkeeping of the change of the distance relations (...) instead of committing us to additional elements of the ontology. The alternative theory strategy seeks to combine the relationalist ontology with a relationalist physical theory that reproduces the predictions of the standard theory in the domain where these are empirically tested. We show that, as things stand, this strategy cannot be accomplished without compromising a minimalist relationalist ontology. (shrink)

Within the framework of Relativistic Schrödinger Theory (RST), the scalar two-particle systems with electromagnetic interactions are treated on the basis of a non-Abelian gauge group U(2) which is broken down to the Abelian subgroup U(1)×U(1). In order that the RST dynamics be consistent with the (non-Abelian) Maxwell equations, there arises a compatibility condition which yields cross relationships for the links between the field strengths and currents of both particles such that self-interactions are eliminated. In the non-relativistic limit, the RST dynamics (...) becomes identical to the well-known Hartree–Fock equations (for spinless particles). Consequently the original RST field equations may be considered as the relativistic generalization of the Hartree–Fock equations, and the “exchange interactions” of the conventional theory (induced by the anti-symmetrization postulate) do reappear here as ordinary gauge interactions due to a broken symmetry. (shrink)

Epistemic Contextualism is the view that “knows that” is semantically context-sensitive and that properly accommodating this fact into our philosophical theory promises to solve various puzzles concerning knowledge. Yet Epistemic Contextualism faces a big—some would say fatal—problem: The Semantic Error Problem. In its prominent form, this runs thus: speakers just don’t seem to recognise that “knows that” is context-sensitive; so, if “knows that” really is context-sensitive then such speakers are systematically in error about what is said by, or how to (...) evaluate, ordinary uses of “S knows that p”; but since it's wildly implausible that ordinary speakers should exhibit such systematic error, the expression “knows that” isn't context-sensitive. We are interested in whether, and in what ways, there is such semantic error; if there is such error, how it arises and is made manifest; and, again, if there is such error to what extent it is a problem for Epistemic Contextualism. The upshot is that some forms of The Semantic Error Problem turn out to be largely unproblematic. Those that remain troublesome have analogue error problems for various competitor conceptions of knowledge. So, if error is any sort of problem, then there is a problem for every extant competitor view. (shrink)

"Genocide is a problem: not only the terrible fact of mass death, but also how the relatively new idea and law of genocide organises and distorts our thinking about civilian destruction. Taking the normative perspective of civilian immunity from military attack, this book argues that the implicit hierarchy of international law, atop which sits genocide as the "crime of crimes," blinds us to other types of humanly caused civilian death, like bombing cities, the "collateral damage" of missile and drone strikes, (...) blockades, and sanctions. In other words, talk of genocide functions ideologically to detract from systematic violence against civilians perpetrated by governments. The Problems of Genocide also contends that this violence is the consequence of "permanent security" imperatives: the striving of states, and armed groups seeking to found states, to make themselves invulnerable to threats. To solve the problems of genocide, this book proposes replacing it with permanent security, which should be criminalized"--. (shrink)

This paper reports on the integration of the higher-order theorem proving environment TPS [Andrews96] into the mathematical assistant OMEGA [Omega97]. TPS can be called from OMEGA either as a black box or as an interactive system. In black box mode, the user has control over the parameters which control proof search in TPS; in interactive mode, all features of the TPS-system are available to the user. If the subproblem which is passed to TPS contains concepts defined in OMEGA’s database of (...) mathematical theories, these definitions are not instantiated but are also passed to TPS. Using a special theory which contains proof tactics that model the ND-calculus variant of TPS within OMEGA, any complete or partial proof generated in TPS can be translated one to one into an OMEGA proof plan. Proof transformation is realised by proof plan expansion in OMEGA’s 3-dimensional proof data structure, and remains transparent to the user. (shrink)

The relativistic Schrödinger theory (RST) for N-fermion systems is further elaborated with respect to three fundamental problems which must emerge in any relativistic theory of quantum matter: (i) emergence/suppression of exchange forces between identical/non-identical particles, (ii) self-interactions, (iii) non-relativistic approximation. These questions are studied in detail for two- and three-particle systems but the results do apply to a general N-particle system. As a concrete demonstration, the singlet and triplet configurations of the positronium groundstate are considered within the RST framework, including (...) a discussion of the corresponding hyperfine splitting. (shrink)

Dedicated to Dana Scott on his sixtieth birthday.It is common knowledge that for a short while Hermann Weyl joined Brouwer in his pursuit of a revision of mathematics according to intuitionistic principles. There is, however, little in the literature that sheds light on Weyl's role and in particular on Brouwer's reaction to Weyl's allegiance to the cause of intuitionism. This short episode certainly raises a number of questions: what made Weyl give up his own program, spelled out in “Das Kontinuum”, (...) how did Weyl come to be so well-informed about Brouwer's new intuitionism, in what respect did Weyl's intuitionism differ from Brouwer's intuitionism, what did Brouwer think of Weyl's views,…? To some of these questions at least partial answers can be put forward on the basis of some of the available correspondence and notes. The present paper will concentrate mostly on the historical issues of the intuitionistic episode in Weyl's career.Weyl entered the foundational controversy with a bang in 1920 with his sensational paper “On the new foundational crisis in mathematics”. He had already made a name for himself in the foundations of mathematics in 1918 with his monograph “The Continuum” [18]; this contained in addition to a technical logical-mathematical construction of the continuum, a fairly extensive discussion of the shortcomings of the traditional construction of the continuum on the basis of arbitrary—and hence also impredicative—Dedekind cuts. (shrink)

On October 4, 1937, Zermelo composed a small note entitled “Der Relativismus in der Mengenlehre und der sogenannte Skolemsche Satz” in which he gives a refutation of “Skolem's paradox”, i.e., the fact that Zermelo-Fraenkel set theory—guaranteeing the existence of uncountably many sets—has a countable model. Compared with what he wished to disprove, the argument fails. However, at a second glance, it strongly documents his view of mathematics as based on a world of objects that could only be grasped adequately by (...) infinitary means. So the refutation might serve as a final clue to his epistemological credo.Whereas the Skolem paradox was to raise a lot of concern in the twenties and the early thirties, it seemed to have been settled by the time Zermelo wrote his paper, namely in favour of Skolem's approach, thus also accepting the noncategoricity and incompleteness of the first-order axiom systems. So the paper might be considered a late-comer in a community of logicians and set theorists who mainly followed finitary conceptions, in particular emphasizing the role of first-order logic. However, Zermelo never shared this viewpoint: In his first letter to Gödel of September 21, 1931, he had written that the Skolem paradox rested on the erroneous assumption that every mathematically definable notion should be expressible by a finite combination of signs, whereas a reasonable metamathematics would only be possible after this “finitistic prejudice” would have been overcome, “a task I have made my particular duty”. (shrink)

Via a historical reconstruction, this paper primarily demonstrates how the societal debate on genetically modified organisms (GMOs) gradually extended in terms of actors involved and concerns reflected. It is argued that the implementation of recombinant DNA technology out of the laboratory and into civil society entailed a “complex of concerns.” In this complex, distinctions between environmental, agricultural, socio-economic, and ethical issues proved to be blurred. This fueled the confusion between the wider debate on genetic modification and the risk assessment of (...) transgenic crops in the European Union. In this paper, the lasting skeptical and/or ambivalent attitude of Europeans towards agro-food biotechnology is interpreted as signaling an ongoing social request – and even a quest – for an evaluation of biotechnology with Sense and Sensibility. In this (re)quest, a broader-than-scientific dimension is sought for that allows addressing the GMO debate in a more “sensible” way, whilst making “sense” of the different stances taken in it. Here, the restyling of the European regulatory frame on transgenic agro-food products and of science communication models are discussed and taken to be indicative of the (re)quest to move from a merely scientific evaluation and risk-based policy towards a socially more robust evaluation that takes the “non-scientific” concerns at stake in the GMO debate seriously. (shrink)

The relativistic three-particle systems are studied within the framework of Relativistic Schrödinger Theory, with emphasis on the determination of the energy functional for the stationary bound states. The phenomenon of entanglement shows up here in form of the exchange energy which is a significant part of the relativistic field energy. The electromagnetic interactions become unified with the exchange interactions into a relativistic U gauge theory, which has the Hartree–Fock equations as its non-relativistic limit. This yields a general framework for treating (...) entangled states of relativistic many-particle systems, e.g., the N-electron atoms. (shrink)

We consider subintuitionistic logics as an extension of positive propositional logic with a binary modality, interpreted over ordered and unordered monotone neighborhood frames, with a range of frame conditions. This change in perspective allows us to apply tools and techniques from the modal setting to subintuitionistic logics. We provide a Priestley-style duality, and transfer results from the (classical) logic of monotone neighborhood frames to obtain completeness, conservativity, and a finite model property for the basic logic, extended with a number of (...) axioms. (shrink)

Extant literature on Political CSR and the role of governments in the governance of business conduct tends to neglect key implications of the political-institutional macro-context for public deliberation. Contextual assumptions often remain rather implicit, leading to the need for a more nuanced, explicit and context-sensitive exploration of the theoretical and practical boundary conditions of Political CSR. In non-democratic political-institutional contexts, political pluralism and participation are limited, and governmental agencies continue to play the most central role in regulation and its enforcement. (...) Drawing on a qualitative case study on a nuclear energy project in the Hashemite Kingdom of Jordan, we show how both governments and MNCs co-create a context hostile to socially responsible business conduct in the sense of Political CSR. Utilizing rich qualitative data derived from interviews, public documents, and participant observation between 2008 and 2018, we specifically illuminate how—through which interactions and strategies—the multiple governmental and corporate actors involved counter civil society demands for public deliberation, indicating the limitations of Political CSR in non-democratic political-institutional contexts. We particularly contribute to the development of Political CSR by analysing the role of coercive and discursive forms of power. We thus offer a more nuanced perspective on the role of governments in constraining the room for public deliberation in the sense of Political CSR. (shrink)

In the present paper the story is told of the brief and far from tranquil encounter of L.E.J. Brouwer and A. Fraenkel. The relationship which started in perfect harmony, ended in irritation and reproaches.The mutual appreciation at the outset is beyond question. All the more deplorable is the sudden outbreak of an emotional disagreement in 1927. Looking at the Brouwer–Fraenkel episode, one should keep in mind that at that time the so-called Grundlagenstreit was in full swing. An emotional man like (...) Brouwer, who easily suffered under stress, was already on edgewhen Fraenkel's book Zehn Vorlesungen Über die Grundlegung der Mengenlehre, [Fraenkel 1927] was about to appear.With the Grundlagenstreit reaching a level of personal abuse unusual in the quiet circles of pure mathematics, Brouwer was rather sensitive, where the expositions of his ideas were concerned. So when he thought that he detected instances of misconception and misrepresentation in the case of his intuitionism, he felt slighted. We will mainly look at Brouwer's reactions. since the Fraenkel letters have not been preserved.The late Mrs. Fraenkel kindly put the Brouwer letters that were in her possession at my disposal. I am grateful to the Fraenkel family for the permission to use the material.I am indebted to Andreas Blass for his valuable suggestions and corrections.Abraham Fraenkel was one of the first non-partisan mathematicians, if not the first, who developed a genuine interest in intuitionism. (shrink)

St. Thomas’s Third Way to prove the existence of God, “Of Possibility and Necessity” (ST 1, q.2, art. 3, response) is one of the most controverted passages in the entire Thomistic corpus. The central point of dispute is that if there were only possible beings, each at some time would cease to exist and, therefore, at some point in time nothing would exist, and because something cannot come from nothing, in such an eventuality, nothing would exist now—a reductio ad absurdum (...) conclusion. Therefore, at least one necessary being must exist. Generations of critics and defenders have contended over St. Thomas’s proof. This article argues that the principle of pros hen analogy is implicit in the Third Way and that once identified explains the ontological dependency of possible beings, as secondary analogates, on the first necessary being, as primary analogate. Thus, without the necessary being as primary analogate, possible beings simply could not exist. The fact that they do exist is evidence for the existence of the necessary being. St. Thomas makes synthesizes the principle of pros hen analogy, as found in Aristotle’s Metaphysics, with the Neoplatonic principle of participation. Aristotle develops pros hen analogy in contradistinction to univocal and equivocal predication as well as to genus in Metaphysics 4.2, 11.3, 12.3-5. Since Scotus and re-enforced by modern analytic logic, philosophers have almost universally regarded any kind of analogical predication as a sub-category of equivocal predication and, thus, implicitly occlude the possibility of considering pros hen analogy in their readings of the Third Way. Distinction of per se and per accidens infinite regress and of radical and natural contingency are also central to understanding the Third Way. While resolving apparent problems in the Third Way, the article also seeks to rehabilitate the doctrine of pros hen analogy as a basic principle in Thomistic and, indeed, Aristotelian metaphysics. (shrink)

The discipline, Christian Spirituality, evokes a new interest in Early Christian spirituality. What conceived spiritualities were fostered when the early Christians read the documents that were written to them and how did it influence them? According to Wolfgang Iser, a ‘reader often feels involved in events which, at the time of reading, seems real to him’. This article looks into how John describes and explains the divinity of Jesus. It also attempts to determine conceived spiritualities (lived experiences) fostered when the (...) early Christians read John. The article starts with a brief orientation of what it means when a reader becomes entangled in the reading of a text. Then some mechanisms, as proposed by Waaijman and Iser, that can foster spiritualities are employed to examine the text, including the interaction between the text and the reader; the creation of images; the dialectic between retention and pretension and the filling of gaps. (shrink)

In a previous publication, this author investigated the code as well as the objectives of holiness in the Gospel of John. This research deals with the en route to and character of holiness. The research starts with a concise characterisation of Jesus for the en route and character of holiness is embedded in the character of Jesus. Secondly, reference is made to the mimesis theories of Plato, Aristotle and Ricoeur. This facilitates a better understanding of the en route and character (...) of holiness in John. Thirdly, Jesus could exhorted them to follow him because he has set them an example (ὑπόδειγμα) in showing (καθώς) them the way. Fourthly, the research scrutinises those features in John that relate closely to the character of Jesus to provide more light to the en route and character of holiness. Finally, the Spirit (παράκλητος) will enable and will continue to sanctify the disciples of Jesus. The contribution of this research lies not only in providing a holistic overview of sanctification in John, but also in connecting the en route to and character of holiness in John with the character of Jesus which revolves around his mission of revelation and salvation. (shrink)

Historically, "Healing Methods" (HMS) have not been based on rational theories. Of the thousands of HMs that have arisen over the ages, only a small number survive today, drawing their power and longevity mostly from their superior ability to act as a placebo within the context of modern-day culture, rather than through any other mode of action.When it comes to HMs, Western scientific culture has not yet evolved beyond a pre-scientific stage (Fancher 1995). A scientific analysis of the part played (...) by practitioner/subject empathy and other emotional influences within the healing situation is needed. Furthermore, the question "Does 'it'work?" should be reformulated as "Is 'it' an effective placebo?"Once one accepts .. (shrink)