86,805 research outputs found

    No ground for doomsday

    Get PDF
    ABSTRACTThe ability of providing an adequate supervenience base for tensed truths may seem to be one of the main theoretical advantages of both the growing-block and the moving-spotlight theory of time over presentism. However, in this paper I will argue that some propositions appear to be as problematic for growing-block theorists as past-directed propositions are for presentists, namely propositions stating that nothing will be the case in the future. Furthermore, I will show that the moving-spotlight theory can adequately address all the main supervenience challenges that can be levelled against A-theories of time. I will, thus, conclude that, at least as far as the supervenience principle is concerned, the moving-spotlight theory should be preferred over both presentism and the growing-block theory

    Spotlight Abstraction of Agents and Areas

    Get PDF
    We present "spotlight abstraction" as a generic abstraction technique for the analysis of systems comprising an unbounded number of communicating agents. The abstraction principle is heterogeneous in the sense that the behaviour of a finite number of agents is preserved while the others are only abstractly represented. The precision of the abstraction can be tuned by an iterative procedure based on the analysis of counterexamples. Going beyond existing work, we show how to use the spotlight principle for analysing systems where the physical position of agents is relevant. To this end, we put the spotlight on areas rather than on fixed sets of agents

    Unsupervised Learning via Total Correlation Explanation

    Full text link
    Learning by children and animals occurs effortlessly and largely without obvious supervision. Successes in automating supervised learning have not translated to the more ambiguous realm of unsupervised learning where goals and labels are not provided. Barlow (1961) suggested that the signal that brains leverage for unsupervised learning is dependence, or redundancy, in the sensory environment. Dependence can be characterized using the information-theoretic multivariate mutual information measure called total correlation. The principle of Total Cor-relation Ex-planation (CorEx) is to learn representations of data that "explain" as much dependence in the data as possible. We review some manifestations of this principle along with successes in unsupervised learning problems across diverse domains including human behavior, biology, and language.Comment: Invited contribution for IJCAI 2017 Early Career Spotlight. 5 pages, 1 figur

    Flow Fragmentalism

    Get PDF
    In this paper, we articulate a version of non-standard A-theory – which we call Flow Fragmentalism – in relation to its take on the issue of supervenience of truth on being. According to the Truth Supervenes on Being (TSB) Principle, the truth of past- and future-tensed propositions supervenes, respectively, on past and future facts. Since the standard presentist denies the existence of past and future entities and facts concerning them that do not obtain in the present, she seems to lack the resources to accept both past and future-tensed truths and the TSB Principle. Contrariwise, positions in philosophy of time that accept an eternalist ontology (e.g., B-theory, moving spotlight, and Fine’s and Lipman’s versions of fragmentalism) allow for a “direct” supervenience base for past- and future-tensed truths. We argue that Flow Fragmentalism constitutes a middle ground, which retains most of the advantages of both views, and allows us to articulate a novel account of the passage of time

    To err is human to forgive divine: spotlight on complaints in the NHS, the crusade for perceived justice

    Get PDF
    The Healthcare Commission’s recently published report ‘Spotlight on Complaints’ highlights a general state of malaise with the NHS’ approach to complaint management. The conclusion of this the second report by the Commission is clear, NHS Trusts still have much to do to improve the principle antecedents, which collectively construct complainants’ attainment of perceived justice

    Can God Promise Us a New Past? A Response to Lebens and Goldschmidt

    Get PDF
    Samuel Lebens and Tyron Goldschmidt provided original theodicies, which suggest that at one time God will change the past, either by erasing/substituting the sins of humans or erasing the whole entirety of evils. Both theodicies imply the idea that God can completely change the past without leaving any traces. In this paper, I argue that Lebens’ and Goldschmidt’s preferred model, which they call the scene-changing theory, is problematic. First, its complex metaphysical foundation could be replaced with presentism (roughly, the view in the ontology of time that only present things exist) without losing any substantial heuristics. Second, their theory either implies a controversial theory of truthmaking under presentistic and hyper-presentistic ontology or implies controversial views on the counting of events under presentistic and hyper-presentistic ontology. Thirdly, I will argue that any theory of elimination/substitution of evils of the past implies that there are unnecessary evils, which is inconsistent with God’s goodness

    spotlight europe 2008/08, July 2008: Prospects for a new EU-Russia-Agreement

    Get PDF
    The latest EU-Russia-Summit on 27th June 2008 marks a breakthrough in their relations. The planned negotiations on a new strategic partnership between the two actors were stalled for nearly two years. Now all member states have agreed on a broad negotiating mandate for the Commission. After the Irish 'No' to the Lisbon Treaty the talks with Russia become a test case for the EU´s capacity to act as a global player

    Near Infrared Microspectroscopy, Fluorescence Microspectroscopy, Infrared Chemical Imaging and High-Resolution Nuclear Magnetic Resonance Analysis of Soybean Seeds, Embryos and Single Cells

    Get PDF
    Chemical analysis of soybean seeds, somatic embryos and single cells were carried out by Fourier Transform Infrared (FT-IR), Fourier Transform Near Infrared (FT-NIR) Microspectroscopy, Fluorescence and High-Resolution NMR (HR-NMR). The first FT-NIR chemical images of biological systems approaching 1 micron (1μ) resolution are presented here. Chemical images obtained by FT-NIR and FT-IR Microspectroscopy are presented for oil in soybean seeds and somatic embryos under physiological conditions. FT-NIR spectra of oil and proteins were obtained for volumes as small as 2μ3. Related, HR-NMR analyses of oil contents in somatic embryos are also presented here with nanoliter precision. Such 400 MHz 1H NMR analyses allowed the selection of mutagenized embryos with higher oil content (e.g. ~20%) compared to non-mutagenized control embryos. Moreover, developmental changes in single soybean seeds and/or somatic embryos may be monitored by FT-NIR with a precision approaching the picogram level. Indeed, detailed chemical analyses of oils and phytochemicals are now becoming possible by FT-NIR Chemical Imaging/ Microspectroscopy of single cells. The cost, speed and analytical requirements of plant breeding and genetic selection programs are fully satisfied by FT-NIR spectroscopy and Microspectroscopy for soybeans and soybean embryos. FT-NIR Microspectroscopy and Chemical Imaging are also shown to be potentially important in functional Genomics and Proteomics research through the rapid and accurate detection of high-content microarrays (HCMA). Multi-photon (MP), pulsed femtosecond laser NIR Fluorescence Excitation techniques were shown to be capable of Single Molecule Detection (SMD). Therefore, such powerful techniques allow for the most sensitive and reliable quantitative analyses to be carried out both in vitro and in vivo. Thus, MP NIR excitation for Fluorescence Correlation Spectroscopy (FCS) allows not only single molecule detection, but also molecular dynamics and high resolution, submicron imaging of femtoliter volumes inside living cells and tissues. These novel, ultra-sensitive and rapid NIR/FCS analyses have numerous applications in important research areas, such as: agricultural biotechnology, food safety, pharmacology, medical research and clinical diagnosis of viral diseases and cancers
    • …
    corecore