[Book review] Psicologia Della Prova [Psychology of Proof]

Review of: Psicologia Della Prova [Psychology of Proof] edited by C. Cabras, Giuffré, Milano. 1996.

Ontological considerations of time, meta-predicates and temporal propositions

A natural approach to representing and reasoning about temporal propositions (i.e., statements with time-dependent truth-values) is to associate them with time elements. In the literature, there are three choices regarding the primitive for the ontology of time: (1) instantaneous points, (2) durative intervals and (3) both points and intervals. Problems may arise when one conflates different views of temporal structure and questions whether some certain types of temporal propositions can be validly and meaningfully associated with different time elements. In this paper, we shall summarize an ontological glossary with respect to time elements, and diversify a wider range of meta-predicates for ascribing temporal propositions to time elements. Based on these, we shall also devise a versatile categorization of temporal propositions, which can subsume those representative categories proposed in the literature, including that of Vendler, of McDermott, of Allen, of Shoham, of Galton and of Terenziani and Torasso. It is demonstrated that the new categorization of propositions, together with the proposed range of meta-predicates, provides the expressive power for modeling some typical temporal terms/phenomena, such as starting-instant, stopping-instant, dividing-instant, instigation, termination and intermingling etc.

An ontological characterization of time-series and state-sequences for data mining

Time-series and sequences are important patterns in data mining. Based on an ontology of time-elements, this paper presents a formal characterization of time-series and state-sequences, where a state denotes a collection of data whose validation is dependent on time. While a time-series is formalized as a vector of time-elements temporally ordered one after another, a state-sequence is denoted as a list of states correspondingly ordered by a time-series. In general, a time-series and a state-sequence can be incomplete in various ways. This leads to the distinction between complete and incomplete time-series, and between complete and incomplete state-sequences, which allows the expression of both absolute and relative temporal knowledge in data mining.

Zinc polycarboxylate dental cement for the controlled release of an active organic substance: proof of concept

The potential of employing zinc polycarboxylate dental cement as a controlled release material has been studied. Benzalkonium chloride was used as the active ingredient, and incorporated at concentrations of 1, 2 and 3% by mass within the cement. At these levels, there was no observable effect on the speed of setting. Release was followed using an ion-selective electrode to determine changes in chloride ion concentration with time. This technique showed that the additive was released when the cured cement was placed in water, with release occurring by a diffusion mechanism for the first 3 h, but continuing beyond that for up to 1 week. Diffusion coefficients were in the range 5.62 × 10(−6) cm(2) s(−1) (for 1% concentration) to 10.90 × 10(−6) cm(2) s(−1) (for 3% concentration). Up to 3% of the total loading of benzalkonium chloride was released from the zinc polycarboxylate after a week, which is similar to that found in previous studies with glass-ionomer cement. It is concluded that zinc polycarboxylate cement is capable of acting as a useful material for the controlled release of active organic compounds.

Proof of polar ejection from the close-binary core of the planetary nebula Abell 63

We present the first detailed kinematical analysis of the planetary nebula Abell 63, which is known to contain the eclipsing close-binary nucleus UU Sge. Abell 63 provides an important test case in investigating the role of close-binary central stars on the evolution of planetary nebulae. Longslit observations were obtained using the Manchester echelle spectrometer combined with the 2.1-m San Pedro Martir Telescope. The spectra reveal that the central bright rim of Abell 63 has a tube-like structure. A deep image shows collimated lobes extending from the nebula, which are shown to be high-velocity outflows. The kinematic ages of the nebular rim and the extended lobes are calculated to be 8400 +/- 500 and 12900 +/- 2800 yr, respectively, which suggests that the lobes were formed at an earlier stage than the nebular rim. This is consistent with expectations that disc-generated jets form immediately after the common envelope phase. A morphological-kinematical model of the central nebula is presented and the best-fitting model is found to have the same inclination as the orbital plane of the central binary system; this is the first proof that a close-binary system directly affects the shaping of its nebula. A Hubble-type flow is well-established in the morphological-kinematical modelling of the observed line profiles and imagery. Two possible formation models for the elongated lobes of Abell 63 are considered, (i) a low-density, pressure-driven jet excavates a cavity in the remnant asymptotic giant branch (AGB) envelope; (ii) high-density bullets form the lobes in a single ballistic ejection event.

Presentism and ontological symmetry

In this paper, I argue that there is an inconsistency between two presentist doctrines: that of ontological symmetry and asymmetry of fixity. The former refers to the presentist belief that the past and future are equally unreal. The latter refers to the A-Theoretic intuition that the past is closed or actual, and the future is open or potential. My position in this paper is that the presentist is unable to account for the temporal asymmetry that is so fundamentally a part of her theory. In Section I, I briefly outline a recent defence of presentism due to Craig, and argue that a flaw in this defence highlights the tension between the presentist's doctrines of ontological symmetry and asymmetry of fixity. In Section II, I undertake an investigation, on the presentist's behalf, in order to determine whether she is capable of reconciling these two doctrines. In the course of the investigation, I consider different asymmetries, other than that of ontology, which might be said fundamentally to constitute temporal asymmetry, and the asymmetry of fixity in particular. In Section III, I also consider whether the presentist is able to avail herself of some of the standard B-Theoretic accounts of the asymmetry of fixity, and argue that she cannot. Finally, I conclude that temporal asymmetry cannot be accounted for (or explained) other than through the postulation of an ontological asymmetry.

'Ontological insecurity' and 'terror management' Linking two free-floating anxieties

In this article, we seek to clarify and develop the concept of ontological insecurity by linking it to the better developed, empirical literature on 'terror management theory' in social psychology. We argue that the understanding of both ontological insecurity and terror management can be improved through this overdue integration. In particular, merging these literatures can have important explanatory power when it comes to understanding punitive attitudes. The considerable body of empirical evidence that has been gathered to validate the proposition behind terror management theory can be understood as providing indirect support for the concept of ontological insecurity on an individual level. On the other hand, the macrosociological research on ontological insecurity provides the largely decontextualized, laboratory-based literature on terror management with a well-developed understanding of why 'terror management' has become increasingly important in late modern society.

An exploratory study of Principal Investigator roles in UK University Proof-of-Concept processes: an Absorptive capacity perspective

The increasing emphasis on academic entrepreneurship, technology transfer and research commercialisation within UK universities is predicated on basic research being developed by academics into commercial entities such as university spin-off companies or licensing arrangements. However, this process is fraught with challenges and risks, given the degree of uncertainty regarding future returns. In an attempt to minimise such risks, the Proof-of-Concept (PoC) process has been developed within University Science Park Incubators (USIs) to test the technological, business and market potential of embryonic technology. The key or the pivotal stakeholder within the PoC is the Principal Investigator (PI), who is usually the lead academic responsible for the embryonic technology. Within the current literature, there appears to be a lack of research pertaining to the role of the PI in the PoC process. Moreover, Absorptive Capacity (ACAP) has emerged within the literature as a theoretical framework or lens for exploring the development and application of new knowledge and technology, where the USI is the organisation considered in the current study. Therefore, the aim of this paper is to explore the role and influence of the PI in the PoC process within a USI setting using an ACAP perspective. The research involved a multiple case analysis of PoC applications within a UK university USI. The results demonstrate the role of the PI in developing practices and routines within the PoC process. These practices and processes were initially tacit and informal in nature but became more explicit and formal over time so that knowledge was retained within the USI after the PIs had completed the PoC process. © 2010 The Authors. R&D Management © 2010 Blackwell Publishing Ltd.

A short proof of existence of disjoint hypercyclic operators

We give a short proof of existence of disjoint hypercyclic tuples of operators of any given length on any separable infinite dimensional Fr\'echet space. Similar argument provides disjoint dual hypercyclic tuples of operators of any length on any infinite dimensional Banach space with separable dual.