What numbers are

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/43823/1/11229_2004_Article_BF00660892.pd

Use of the Frank sequence in pulsed EPR

The Frank polyphase sequence has been applied to pulsed EPR of triarylmethyl radicals at 256 MHz (9.1 mT magnetic field), using 256 phase pulses. In EPR, as in NMR, use of a Frank sequence of phase steps permits pulsed FID signal acquisition with very low power microwave/RF pulses (ca. 1.5 mW in the application reported here) relative to standard pulsed EPR. A 0.2 mM aqueous solution of a triarylmethyl radical was studied using a 16 mm diameter cross loop resonator to isolate the EPR signal detection system from the incident pulses

Mind and body, form and content: how not to do petitio principii analysis

Few theoretical insights have emerged from the extensive literature discussions of petitio principii argument. In particular, the pattern of petitio analysis has largely been one of movement between the two sides of a dichotomy, that of form and content. In this paper, I trace the basis of this dichotomy to a dualist conception of mind and world. I argue for the rejection of the form/content dichotomy on the ground that its dualist presuppositions generate a reductionist analysis of certain concepts which are central to the analysis of petitio argument. I contend, for example, that no syntactic relation can assimilate within its analysis the essentially holistic nature of a notion like justification. In this regard, I expound a form of dialectical criticism which has been frequently employed in the philosophical arguments of Hilary Putnam. Here the focus of analysis is upon the way in which the proponent of a position proceeds to explain or argue for his/her own particular theses. My conclusion points to the use of such dialectic within future analyses of petitio principii

Machine Learning and Irresponsible Inference: Morally Assessing the Training Data for Image Recognition Systems

Just as humans can draw conclusions responsibly or irresponsibly, so too can computers. Machine learning systems that have been trained on data sets that include irresponsible judgments are likely to yield irresponsible predictions as outputs. In this paper I focus on a particular kind of inference a computer system might make: identification of the intentions with which a person acted on the basis of photographic evidence. Such inferences are liable to be morally objectionable, because of a way in which they are presumptuous. After elaborating this moral concern, I explore the possibility that carefully procuring the training data for image recognition systems could ensure that the systems avoid the problem. The lesson of this paper extends beyond just the particular case of image recognition systems and the challenge of responsibly identifying a person’s intentions. Reflection on this particular case demonstrates the importance (as well as the difficulty) of evaluating machine learning systems and their training data from the standpoint of moral considerations that are not encompassed by ordinary assessments of predictive accuracy

The Wonder of Colors and the Principle of Ariadne

The Principle of Ariadne, formulated in 1988 ago by Walter Carnielli and Carlos Di Prisco and later published in 1993, is an infinitary principle that is independent of the Axiom of Choice in ZF, although it can be consistently added to the remaining ZF axioms. The present paper surveys, and motivates, the foundational importance of the Principle of Ariadne and proposes the Ariadne Game, showing that the Principle of Ariadne, corresponds precisely to a winning strategy for the Ariadne Game. Some relations to other alternative. set-theoretical principles are also briefly discussed

Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories

The computer-mechanization of an ambitious explicit ethical theory, Gewirth's Principle of Generic Consistency, is used to showcase an approach for representing and reasoning with ethical theories exhibiting complex logical features like alethic and deontic modalities, indexicals, higher-order quantification, among others. Harnessing the high expressive power of Church's type theory as a meta-logic to semantically embed a combination of quantified non-classical logics, our work pushes existing boundaries in knowledge representation and reasoning. We demonstrate that intuitive encodings of complex ethical theories and their automation on the computer are no longer antipodes.Comment: 14 page

A new revisability paradox

In a recent article, Mark Colyvan has criticized Jerrold Katz's attempt to show that Quinean holism is self-refuting. Katz argued that a Quinean epistemology incorporating a principle of the universal revisability of beliefs would have to hold that that and other principles of the system were both revisable and unrevisable. Colyvan rejects Katz's argument for failing to take into account the logic of belief revision. But granting the terms of debate laid down by Colyvan, the universal revisability principle still commits Quineans to holding that one belief is both revisable and unrevisable: the belief that some beliefs are revisabl

Non-invasive genotyping and spatial mark-recapture methods to estimate European pine marten density in forested landscapes

Accurate population density estimates are important for conservation but can be difficult to obtain where species are elusive or rare. Non-invasive genotyping from hair or faeces has provided a promising solution and allowed individual identification from genotypes to inform population assessment models. We use individual genotypes derived from hair samples and Spatially Explicit Capture Recapture (SECR) models to estimate the population density of European pine marten (Martes martes) in three Scottish forests, then examine the effects of forest fragmentation on population size. Relative trends in pine marten abundance can be observed via changes in the number of scats in an area through time, but the link between this measure and population density remains unclear. We provide the first calibration of scat counts to enable population density estimation without the need for genetic analysis. Population density estimates ranged from 0.07 km-2 (95% CI 0.03 – 0.16) to 0.38 km-2 (95% CI 0.11 – 1.07), which were mid to low compared to other estimates from the Scottish population. An unequal sex ratio was found in one of the three forests. We found support for the previous finding that pine marten density in Scotland increases with forest fragmentation up to a threshold level (20 – 35% forest cover), beyond which it decreases. Our calibration suggests a non-linear relationship between scat counts and population density, although relatively small changes in population density result in marked changes in scat number. Following the recent re-introduction of pine martens to Wales, non-invasive genetic sampling for population estimation may provide an effective way of monitoring their progress