Tambalacoque. For a formal account of the gist of a scholarly argument

Argumentation as reflected in a short communication from the published literature of botany and zoology is discussed. Trying to capture the logic structure of the argument, however imperfectly, is relevant to information science and depends on a particular goal: namely, to potentially benefit the task of sketching the relationship between bibliographic entries in a better manner than is possible with present-day bibliometric or scientometric practice. This imposes tight limits on the depth of analysis of the text.

Reified temporal logics: an overview

There are three main approaches to the representation of temporal information in AI literature: the so-called method of temporal arguments that simply extends functions and predicates of first-order language to include time as the additional argument; modal temporal logics which are extensions ofthe propositional or predicate calculus with modal temporal operators; and reified temporal logics which reify standard propositions of some initial language (e.g., the classical first-order or modal logic) as objects denoting propositional terms. The objective of this paper is to provide an overview onthe temporal reified approach by looking closely atsome representative existing systems featuring reified propositions, including those of Allen, McDermott, Shoham, Reichgelt, Galton, and Ma and Knight. We shall demonstrate that, although reified logics might be more complicated in expressing assertions about some given objects with respect to different times, they accord a special status to time and therefore have several distinct advantages in talking about some important issues which would be difficult (if not impossible) to express in other approaches.

An improved result of exponential stability of stochastic semilinear evolution equations

Sufficient conditions for the exponential stability of a class ofnonlinear, non-autonomous stochastic differential equations in infinitedimensions are studied. The analysis consists of introducing a suitableapproximating solution systems and using a limiting argument to pass onstability of strong solutions to mild ones. As a consequence, the classicalcriteriaof stability in A. Ichikawa [8] are improved and extended to cover a class ofnon-autonomous stochastic evolution equations.Two examples are investigated to illustrate our theory.

A sound and complete reified temporal logic

There are mainly two known approaches to the representation of temporal information in Computer Science: modal logic approaches (including tense logics and hybrid temporal logics) and predicate logic approaches (including temporal argument methods and reified temporal logics). On one hand, while tense logics, hybrid temporal logics and temporal argument methods enjoy formal theoretical foundations, their expressiveness has been criticised as not power enough for representing general temporal knowledge; on the other hand, although current reified temporal logics provide greater expressive power, most of them lack of complete and sound axiomatic theories. In this paper, we propose a new reified temporal logic with a clear syntax and semantics in terms of a sound and complete axiomatic formalism which retains all the expressive power of the approach of temporal reification.

Film and literature in the legal classroom

The way in which law and lawyers are portrayed in popular film and literature is a fascinating subject not only for the social scientist but, more importantly, the lawyer and law student. Increasingly in law schools, films and classic literature with a legal theme are being used to identify various aspects of legal activity ranging from legal practice (i.e. intrinsic lawyer skills including legal argument, negotiation and advocacy) to various aspects of the legal process (e.g. the function of the judge and jury) as well as important elements of legal and ethical theory. This article focuses on the Law Through Film and Literature option which is offered to law students in the final year of their LLB (Hons) degree at Greenwich. The aim is to show how law-related film and literature can be a useful tool in the legal classroom, as well as providing some insights into how students have responded and developed as a result of their experiences on the course.

'Re-using an existing wheel' developing data architecture for cooperating autonomous and semi-autonomous, agent-based web services

This short position paper considers issues in developing Data Architecture for the Internet of Things (IoT) through the medium of an exemplar project, Domain Expertise Capture in Authoring and Development ­Environments (DECADE). A brief discussion sets the background for IoT, and the development of the ­distinction between things and computers. The paper makes a strong argument to avoid reinvention of the wheel, and to reuse approaches to distributed heterogeneous data architectures and the lessons learned from that work, and apply them to this situation. DECADE requires an autonomous recording system, ­local data storage, semi-autonomous verification model, sign-off mechanism, qualitative and ­quantitative ­analysis ­carried out when and where required through web-service architecture, based on ontology and analytic agents, with a self-maintaining ontology model. To develop this, we describe a web-service ­architecture, ­combining a distributed data warehouse, web services for analysis agents, ontology agents and a ­verification engine, with a centrally verified outcome database maintained by certifying body for qualification/­professional status.

The completeness and soundness of temporal theories

Generally speaking, the term temporal logic refers to any system of rules and symbolism for representing and reasoning about propositions qualified in terms of time. In computer science, particularly in the domain of Artificial Intelligence, there are mainly two known approaches to the representation of temporal information: modal logic approaches including tense logic and hybrid temporal logic, and predicate logic approaches including temporal arguement method and reified temporal logic. On one hand, while tense logic, hybrid temporal logic and temporal argument method enjoy formal theoretical foundations, their expressiveness has been criticised as not power enough for representing general temporal knowledge; on the other hand, although reified temporal logic provides greater expressive power, most of the current systems following the temporal reification lack of complete and sound axiomatic theories. With there observations in mind, a new reified temporal logic with clear syntax and semantics in terms of a sound and complete axiomatic formalism is introduced in this paper, which retains all the expressive power of temporal reification.

Socialising young literacy learners into a discourse of failure: Dominant discourses in literacy teaching and assessment and their impact on the progression of young literacy learners into employment

This paper argues that contemporary literacy programmes are a mismatch for the expectations of both the government and employers as well as the goals of learners. It submits that the dominant discourses in literacy provision have led to the emergence of a learning culture which not only fails the learners but is also incapable of meeting the aspirations of both the government and employers. To support this argument, the paper reports a small scale research project that analyses the perceptions of learners, teachers and employers who were involved in a work placement scheme for young literacy learners in a college of further education. Data for the study were collected through focus group and face to face interviews and analysed using the framework of discourse analysis provided by Gill (2000) with findings codified and analysed thematically. The study found that teachers were aware that their learners were not adequately prepared for the world of work because of the demands of the dominant discourses of quality and performance measurement which were most obviously manifested in their assessment, teaching methods and the attitudes of learners. It found that employers perceive young learners as inadequate in terms of the workplace expectations. Learners in the study revealed that their workplace culture and expectations were totally different from the culture to which they had been socialised in their studies. The study concludes that unless the dominance of these discourses is ameliorated, young literacy learners will continue to be socialised into a discourse of failure.

Jung as a writer

Jung as a Writer traces a relationship between Jung and literature by analysing his texts using the methodology of literary theory. This investigation serves to illuminate the literary nature of Jung’s writing in order to shed new light on his psychology and its relationship with literature as a cultural practice. Jung employed literary devices throughout his writing, including direct and indirect argument, anecdote, fantasy, myth, epic, textual analysis and metaphor. Susan Rowland examines Jung’s use of literary techniques in several of his works, including Anima and Animus, On the Nature of the Psyche, Psychology and Alchemy and Synchronicity and describes Jung’s need for literature in order to capture in writing his ideas about the unconscious. Jung as a Writer succeeds in demonstrating Jung’s contribution to literary and cultural theory in autobiography, gender studies, postmodernism, feminism, deconstruction and hermeneutics and concludes by giving a new culturally-orientated Jungian criticism. The application of literary theory to Jung’s works provides a new perspective on Jungian Psychology that will be of interest to anyone involved in the study of Jung, Psychoanalysis, literary theory and cultural studies. [From the Publisher]

(Un)veiling desire: re-defining relationships between gendered adult education subjects and adult education programmes

My underlying argument, in this paper, is that conceptualisations of power as a commodity, through which the 'disempowered-as-illiterate' subject moves towards becoming an 'empowered-as-literate' subject, forces constructs of identities into a powerful/powerless dichotomy which does not always do justice to diverse experiences. The claimed 'empowering' intentions of adult education programme and policy practice may, in reality, contribute to the dominance of restrictive disciplining and regulatory discursive practices. Moving away from emancipatory trajectories of adult education programmes that allege only liberation from domination, through 'literacy', can promise freedom points to another position of hope. Drawing on Foucauldian analysis, I explore sites of resistance as possibilities of transforming 'structures of understanding' at different levels. Officially validated and recognised transformations, in adult education programme as well as policy understandings, of the 'illiterate' subject may also hope to include choices in postures of autonomy (see Spivak 1996) made by programme participants in other 'fields' of socio-cultural practice linked to their material realities. Subsequently, 'empowerment' of the 'illiterate Indian village woman' cannot solely be imagined as a product of laws, policies and institutional discursive practices (see, for example, Gouws 2005; Rai 2003 on gender mainstreaming and Mosse 2005 on aid policy and practice). The 'illiterate Indian village woman' represented as a site of resistance, throughout this paper, displaces homogeneous representations of the 'illiterate' which situate her in the role of 'dependent' or 'victim', as failed attempts to rob her of her historical and political agency (Mohanty 1996). Through narrating other 'images' of refusal in my ethnographic vignettes, I hope to recognise different individuals' sense of agency, at all levels, as embedded in and evolving through forms of collective action that activate differences in order to develop possibilities and sustain hope for transforming historically rooted discursive practices of inequality. I provide ethnographic accounts of resisting 'literacy' programme participants, based in different villages in Bihar (Northern India), as accounts of resistance impacted on by notions of norms, translating and interpreting Others, networks and empowerment.

What Education Studies is and what it might be

Education Studies at the University of Greenwich is presented as an example of what Education Studies is – at least at one Higher Education Institution. As a field of practice to which a body of knowledge can be applied, Education Studies shares common features with other disciplinary fields of study. It is also unique in that its field – learning, is also what its students do – learn. What Education Studies isn’t is then discussed in relation to studies of schooling, the psychology of learning, sociology of education, traditional education degrees and teacher training. Lastly, what Education Studies could become is presented with reference to Ranson’s (1993) argument for the centrality of education as the common focus of all HE study. It is suggested that the subject could then contribute to expanding critical space in (higher) education through making research/ scholarship and creation an integral part of the Independent Study of all students at all levels of learning. This would be a necessary complement to the wider democratic transformation now demanded for human survival. It would also accord with what Marx called humanity’s “species being” as a “learning animal” (Morris). Such a social theory of learning can discriminate between information and competence at one level of learning and (corresponding terms) knowledge and skill at another more generalised level in relation to new divisions of knowledge and labour. Potentially these levels can be combined to create a new form of polytechnic learning, relating theory to practice, education to training and further to higher education.