Results for 'simultaneously verifiable'

968 found
Order:
  1. Designing AI for Explainability and Verifiability: A Value Sensitive Design Approach to Avoid Artificial Stupidity in Autonomous Vehicles.Steven Umbrello & Roman Yampolskiy - 2022 - International Journal of Social Robotics 14 (2):313-322.
    One of the primary, if not most critical, difficulties in the design and implementation of autonomous systems is the black-boxed nature of the decision-making structures and logical pathways. How human values are embodied and actualised in situ may ultimately prove to be harmful if not outright recalcitrant. For this reason, the values of stakeholders become of particular significance given the risks posed by opaque structures of intelligent agents (IAs). This paper explores how decision matrix algorithms, via the belief-desire-intention model for (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  2.  26
    An empirical, purely spatial criterion for the planes ofF-simultaneity.Robert Alan Coleman & Herbert Korte - 1991 - Foundations of Physics 21 (4):417-437.
    The claim that distant simultaneity with respect to an inertial observer is conventional arose in the context of a space-and-time rather than a spacetime ontology. Reformulating this problem in terms of a spacetime ontology merely trivializes it. In the context of flat space, flat time, and a linear inertial structure (a purely space-and-time formalism), we prove that the hyperplanes of space for a given inertial observer are determined by a purely spatial criterion that depends for its validity only on the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3. Toward a More Natural Expression of Quantum Logic with Boolean Fractions.Philip G. Calabrese - 2005 - Journal of Philosophical Logic 34 (4):363-401.
    This paper uses a non-distributive system of Boolean fractions (a|b), where a and b are 2-valued propositions or events, to express uncertain conditional propositions and conditional events. These Boolean fractions, 'a if b' or 'a given b', ordered pairs of events, which did not exist for the founders of quantum logic, can better represent uncertain conditional information just as integer fractions can better represent partial distances on a number line. Since the indeterminacy of some pairs of quantum events is due (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  4.  34
    Trust but Verify: The Interactive Effects of Trust and Autonomy Preferences on Health Outcomes. [REVIEW]Yin-Yang Lee & Julia L. Lin - 2009 - Health Care Analysis 17 (3):244-260.
    Patients’ trust in their physicians improves their health outcomes because of better compliance, more disclosure, stronger placebo effect, and more physicians’ trustworthy behaviors. Patients’ autonomy may also impact on health outcomes and is increasingly being emphasized in health care. However, despite the critical role of trust and autonomy, patients that naïvely trust their physicians may become overly dependent and lack the motivation to participate in medical care. In this article, we argue that increased trust does not necessarily imply decreased autonomy. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  19
    The Logic of Quantum Measurements in terms of Conditional Events.Philip Calabrese - 2006 - Logic Journal of the IGPL 14 (3):435-455.
    This paper shows that the non-Boolean logic of quantum measurements is more naturally represented by a relatively new 4-operation system of Boolean fractions—conditional events—than by the standard representation using Hilbert Space. After the requirements of quantum mechanics and the properties of conditional event algebra are introduced, the quantum concepts of orthogonality, completeness, simultaneous verifiability, logical operations, and deductions are expressed in terms of conditional events thereby demonstrating the adequacy and efficacy of this formulation. Since conditional event algebra is nearly Boolean (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6. Paradox in Wave-Particle Duality.Shahriar S. Afshar, Eduardo Flores, Keith F. McDonald & Ernst Knoesel - 2007 - Foundations of Physics 37 (2):295-305.
    We report on the simultaneous determination of complementary wave and particle aspects of light in a double-slit type “welcher-weg” experiment beyond the limitations set by Bohr’s Principle of Complementarity. Applying classical logic, we verify the presence of sharp interference in the single photon regime, while reliably maintaining the information about the particular pinhole through which each individual photon had passed. This experiment poses interesting questions on the validity of Complementarity in cases where measurements techniques that avoid Heisenberg’s uncertainty principle and (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  7. Belief and the basis of meaning.Donald Davidson - 1974 - Synthese 27 (July-August):309-323.
    A theory of radical interpretation gives the meanings of all sentences of a language, and can be verified by evidence available to someone who does not understand the language. Such evidence cannot include detailed information concerning the beliefs and intentions of speakers, and therefore the theory must simultaneously interpret the utterances of speakers and specify (some of) his beliefs. Analogies and connections with decision theory suggest the kind of theory that will serve for radical interpretation, and how permissible evidence (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   176 citations  
  8.  39
    Adaptive Backstepping Fuzzy Neural Network Fractional-Order Control of Microgyroscope Using a Nonsingular Terminal Sliding Mode Controller.Juntao Fei & Xiao Liang - 2018 - Complexity 2018:1-12.
    An adaptive fractional-order nonsingular terminal sliding mode controller for a microgyroscope is presented with uncertainties and external disturbances using a fuzzy neural network compensator based on a backstepping technique. First, the dynamic of the microgyroscope is transformed into an analogical cascade system to guarantee the application of a backstepping design. Then, a fractional-order nonsingular terminal sliding mode surface is designed which provides an additional degree of freedom, higher precision, and finite convergence without a singularity problem. The proposed control scheme requires (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  9.  10
    Application of Remote Sensing Image Data Scene Generation Method in Smart City.Yuanjin Xu - 2021 - Complexity 2021:1-13.
    Remote sensing image simulation is a very effective method to verify the feasibility of sensor devices for ground observation. The key to remote sensing image application is that simultaneous interpreting of remote sensing images can make use of the different characteristics of different data, eliminate the redundancy and contradiction between different sensors, and improve the timeliness and reliability of remote sensing information extraction. The hotspots and difficulties in this direction are based on remote sensing image simulation of 3D scenes on (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  15
    Evaluating Spiritual Leadership Coherence at a Professional Services Company as a Way to Drive Connectedness and Well-Being in Organizations.Danny Sandra - 2022 - Humanistic Management Journal 7 (3):441-468.
    In these challenging times, connectedness has become more necessary than ever before. Meanwhile, research in organizations highlighted the importance of entrainment, a process of synchronizing rhythms over time that drives connectedness within, between, and across rhythmic activities. It is also suggested that an inner life and spiritual leadership coherence can play a key role in this process, out of which spiritual well-being emerges. The purpose of this study is to evaluate the conditions for entrainment through the revised model of spiritual (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11. Accountable privacy supporting services.Jan Camenisch, Thomas Groß & Thomas Scott Heydt-Benjamin - 2009 - Identity in the Information Society 2 (3):241-267.
    As privacy concerns among consumers rise, service providers increasingly want to provide services that support privacy enhancing technologies. At the same time, online service providers must be able to protect themselves against misbehaving users. For instance, users that do not pay their bill must be held accountable for their behavior. This tension between privacy and accountability is fundamental, however a tradeoff is not always required. In this article we propose the concept of a time capsule, that is, a verifiable (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  12.  16
    Relational Power, Legitimation, and Pregnancy Discrimination.Vincent J. Roscigno & Reginald A. Byron - 2014 - Gender and Society 28 (3):435-462.
    Pregnancy-based employment discrimination has long been a topic of interest for gender inequality scholars and civil rights agencies. Prior work suggests that employer stereotypes and financial interests leave pregnant women vulnerable to being fired. We still know little, however, about women’s interpretations of their terminations and how employers justify such decisions in the face of arguably protective laws. This article provides much needed, in-depth analyses of such dynamics and a relational account of pregnancy-based employment discrimination claims. Elaborating on theoretical expositions (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  13. The Primacy of Existence: An Existential Natural Theology.Avery M. Fouts - 1996 - Dissertation, The Claremont Graduate University
    This dissertation examines the source and structure of twentieth-century existential despair and the implications for the existence of God that come with its resolution. ;I argue that a despairing consciousness is defined by giving epistemological primacy to thought over being. Although this dialectic defines despair generally, it is peculiar to the contemporary Western consciousness given that the latter has been defined by modern philosophy whose essential characteristic is the epistemological primacy of thought. ;Modern philosophy has taken offense in the face (...)
     
    Export citation  
     
    Bookmark  
  14.  11
    Mining knowledge: Nineteenth-century Cornish electrical science and the controversies of clay.Edward J. Gillin - 2024 - History of Science 62 (2):202-226.
    Michael Faraday’s laboratory experiments have dominated traditional histories of the electrical sciences in 1820s and 1830s Britain. However, as this article demonstrates, in the mining region of Cornwall, Robert Were Fox fashioned a very different approach to the study of electromagnetic phenomena. Here, it was the mine that provided the foremost site of scientific experimentation, with Fox employing these underground locations to measure the Earth’s heat and make claims over the existence of subterranean electrical currents. Yet securing philosophical claims cultivated (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15. Buddhist Doctrines of Identity and Impermanence in the Western Mind.Donna M. Giancola - unknown
    In Buddhism the idea of a transcendental or eternal self is denied as non-substantial and impermanent: a non-verifiable metaphysical entity that leads to grasping, craving and suffering. Buddhism posits that things continually change, are continually reducible and recyclable, and that no inherent existence or metaphysical “self” exists but rather a series of aggregates give rise to the experience so that consciousness itself is causally conditioned. As applied to the notion of no- self the one who is reborn and the (...)
     
    Export citation  
     
    Bookmark  
  16.  12
    Atomic order.Enrico Cantore - 1969 - Cambridge, Mass.,: MIT Press.
    The intention of Atomic Order is to encourage and contribute to the dialogue between philosophers and scientists by discussing a concrete example of scientific discovery according to a method acceptable and understandable to both sides. This discussion takes simultaneously into account the scientific and philosophical methodologies and mentalities. By regarding "pure" science or "pure" philosophy as limiting cases, it becomes evident that basic questions are best posed and answered by emphasiz ing the deeply embedded complementary relationship between the two. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  19
    Robust Bearing-Only Localization Using Total Least Absolute Residuals Optimization.Ji-An Luo, Chang-Cheng Xue & Dong-Liang Peng - 2020 - Complexity 2020:1-13.
    Robust techniques critically improve bearing-only target localization when the relevant measurements are being corrupted by impulsive noise. Resistance to isolated gross errors refers to the conventional least absolute residual method, and its estimate can be determined by linear programming when pseudolinear equations are set. The LAR approach, however, cannot reduce the bias attributed to the correlation between system matrices and noise vectors. In the present study, perturbations are introduced into the elements of the system matrix and the data vector (...), and the total optimization problem is formulated based on least absolute deviations. Subsequently, an equivalent form of total least absolute residuals is obtained, and an algorithm is developed to calculate the robust estimate by dual ascent algorithms. Moreover, the performance of the proposed method is verified through the numerical simulations by using two types of localization geometries, i.e., random and linear. As revealed from the results, the TLAR algorithm is capable of exhibiting significantly higher localization accuracy as compared with the LAR method. (shrink)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  47
    Online democracy: Applying Hannah Arendt's model of democracy to the internet.Sylvie Bláhová - 2023 - Theoria 89 (6):856-871.
    The internet is a major part of our lives today. This applies to politics as well, and accordingly, the question of whether it is possible to realize democracy on the internet has arisen. Using the arguments of Hannah Arendt, the paper aims to determine what online democracy should look like. It is argued that the internet's decentralized structure is advantageous because it facilitates the implementation of the Arendtian system of political councils. Due to the character of online political platforms – (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  23
    Conflicts of Interest Result From Relationships But Are Not Resolved by Preventing Relationships.Carlo Petrini & Luciana Riva - 2021 - Journal of Bioethical Inquiry 18 (1):187-188.
    Goldberg notes that the relationship is a component of Conflicts of Interests. Networks of relationships and the simultaneous presence of several interests are not negative per se but become so when they generate a conflict that undermines impartiality. The solution to the problem of COIs, therefore, cannot be to abolish relationships and the interests that they necessarily express but rather to verify whether those relationships are such as to unduly affect an individual’s judgement. The evolution of an Italian legislation about (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  52
    A fundamental measure of treatment effect heterogeneity.Romain Pirracchio, Alan Hubbard, Mark van der Laan & Jonathan Levy - 2021 - Journal of Causal Inference 9 (1):83-108.
    The stratum-specific treatment effect function is a random variable giving the average treatment effect (ATE) for a randomly drawn stratum of potential confounders a clinician may use to assign treatment. In addition to the ATE, the variance of the stratum-specific treatment effect function is fundamental in determining the heterogeneity of treatment effect values. We offer a non-parametric plug-in estimator, the targeted maximum likelihood estimator (TMLE) and the cross-validated TMLE (CV-TMLE), to simultaneously estimate both the average and variance of the (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  15
    Portfolio Selection with respect to the Probabilistic Preference in Variable Risk Appetites: A Double-Hierarchy Analysis Method.Ruitao Gu, Qingjuan Chen & Qiaoyun Zhang - 2021 - Complexity 2021:1-14.
    Traditional portfolio selection models mainly obtain the optimized portfolio ratio by focusing on the prices of financial products. However, investors’ multiple preferences and risk appetites are also significant factors that should be taken into account. In consideration of these two factors simultaneously, we propose a double-hierarchy model in this paper. Specifically, the first hierarchy quantifies investors’ risk appetite based on a historical simulation method and probabilistic preference theory. This hierarchy can be utilized to describe investors’ variable risk appetites and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  22
    An electrophysiological approach to investigations of sensory dysfunction in schizophrenia.Inga Griskova & Sidse M. Arnfred - 2008 - Poiesis and Praxis 6 (3-4):175-189.
    Sensory dysfunction has been shown to be a part of the pathophysiology of schizophrenia. Nowadays we have an objective, non-invasive tool with which to measure neural manifestations of sensory dysfunction. Defined as time-locked changes to external stimuli in the EEG, event-related potentials (ERPs) provide an objective index of information processing in the human brain. Importantly, ERPs may be analyzed through a variety of approaches such as conventional ERP analysis, analysis in the time-frequency domain, microstate segmentation and topographical analysis, as well (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  23.  10
    Das reflexive Absolute: über die Bedeutung der Metaphysik in Hegels "Wissenschaft der Logik".Andrés Parra - 2021 - Frankfurt am Main: Vittorio Klostermann.
    This book investigates the relationship between Hegel's Science of Logic und metaphysics. Its main thesis is that Hegel makes a case for a reflexive theory of the absolute. The Author thus establishes a distinction between first and second order theories of the absolute. First order theories are basic descriptions of the absolute whose consistency can be verified in merely analytical terms. The second order theory intends not only to describe the absolute without contradictions, but also to include coherently the thought (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  63
    Ethics in scientific communication: study of a problem case.R. L. Berger - 1994 - Journal of Medical Ethics 20 (4):207-211.
    The hypothermia experiments performed on humans during the Second World War at the German concentration camp in Dachau have been regarded as crimes against humanity, disguised as medical research. For almost 50 years, scientists maintained that the study produced valuable, even if not totally reliable, information. In recent years, the results from the Dachau hypothermia project were glamorized with life-saving potential and a heated ethical dialogue was activated about the use of life-saving but tainted scientific information. In the wake of (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  25.  12
    In-Depth Learning Layout and Path Optimization of Energy Service Urban Distribution Sites under e-Commerce Environment.Kun Wang & Ki-Hyung Bae - 2021 - Complexity 2021:1-11.
    This article uses a research method that combines theoretical research and empirical analysis. It first introduces the relevant theories of energy service city distribution sites in the context of e-commerce and then the types of energy service city distribution sites and the composition of energy service city distribution systems. The network layout of the service city distribution site and the location objectives, principles, and processes of the model is studied to determine the network layout plan of the energy service city (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  32
    La réception des Écritures inspirées.Christoph Theobald - 2005 - Recherches de Science Religieuse 4 (4):545-570.
    C'est d'un nouveau positionnement de la Bible dans la culture dont il s'agit aujourd'hui, et pas seulement d'une nouvelle manière de la recevoir et de la lire, bien que ces deux aspects soient inséparables. L'Ecriture s'est progressivement sécularisée et transformée en " classique " parmi d'autres. Simultanément, l'accès au texte s'est " démocratisé ". Désormais, il ne jouit plus d'aucun privilège statutaire par rapport à d'autres grands textes de l'humanité : tous sont soumis à la même méthodologie plurielle qui évolue (...)
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  27. Evidentially Compelling Religious Experiences and the Moral Status of Naturalism.Travis Dumsday - 2016 - European Journal for Philosophy of Religion 8 (3):123-144.
    Religious experiences come in a variety of types, leading to multiple taxonomies. One sort that has not received much attention as a distinct topic is what I will call ‘evidentially compelling religious experience’ (ECRE). The nature of an ECRE is such that if it actually occurs, its occurrence plausibly entails the falsity of metaphysical naturalism. Examples of ECREs might include visions / auditions / near-death experiences conveying information the hearer could not have known through natural means, later verified; unambiguously miraculous (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28. W poszukiwaniu ontologicznych podstaw prawa. Arthura Kaufmanna teoria sprawiedliwości [In Search for Ontological Foundations of Law: Arthur Kaufmann’s Theory of Justice].Marek Piechowiak - 1992 - Instytut Nauk Prawnych PAN.
    Arthur Kaufmann is one of the most prominent figures among the contemporary philosophers of law in German speaking countries. For many years he was a director of the Institute of Philosophy of Law and Computer Sciences for Law at the University in Munich. Presently, he is a retired professor of this university. Rare in the contemporary legal thought, Arthur Kaufmann's philosophy of law is one with the highest ambitions — it aspires to pinpoint the ultimate foundations of law by explicitly (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  29.  15
    Power Option Pricing Based on Time-Fractional Model and Triangular Interval Type-2 Fuzzy Numbers.Tong Wang, Pingping Zhao & Aimin Song - 2022 - Complexity 2022:1-10.
    The problem of generalizing the power option-pricing model to incorporate more empirical features becomes an urgent and necessary event. A new power option pricing method is designed for the financial market uncertainty that simultaneously involves randomness and fuzziness. The randomness in market uncertainty is modeled by a time-fractional diffusion model, which describes trend memory in underlying asset prices. The fuzziness in market uncertainty is characterized by a triangular interval type-2 fuzzy numbers, which better captures the fuzziness of underlying asset (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  8
    The Modality of Being.Robert C. Beissel - 1992 - The Thomist 56 (1):49-69.
    In lieu of an abstract, here is a brief excerpt of the content:THE MODALITY OF BEING ROBERT c. BEISSEL Phoenix, Arizona " It must be of itself that the divine thought thinks." Aristotle, Metaphysics, Bk. 12, c. 9. ST. THOMAS IS AS Neoplatonic as Plotinus in his awareness that Being is not being and that being is not Being.1 Yet, like St. Augustine, St. Thomas knew that being is closer to Being than to itself; he knew that beyond the question (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  21
    Fast and Robust Image Encryption Scheme Based on Quantum Logistic Map and Hyperchaotic System.Nehal Abd El-Salam Mohamed, Aliaa Youssif & Hala Abdel-Galil El-Sayed - 2022 - Complexity 2022 (1):3676265.
    Topic of quantum chaos has begun to draw increasing attention in recent years. So, to ensure the security of digital image, an image encryption algorithm based on combining a hyperchaotic system and quantum 3D logistic map is proposed. This algorithm is applied in four stages. Initially, the key generator builds upon the foundation of mean for any row or column of the edges of the plain image. Its output value is used to yield initial conditions and parameters of the proposed (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  97
    Examining the Relationships Among Parental Overprotection, Military Life Adjustment, Social Anxiety, and Collective Efficacy.Kyounghee Bark, Jung Hee Ha & Juliet Jue - 2021 - Frontiers in Psychology 12.
    The purpose of this study was to verify the relationships among parental overprotection, military life adjustment, social anxiety, and collective efficacy. There have been studies examining the influence of each of these variables in isolation, but no study has examined these variables simultaneously. Two hundred and thirty-one male conscript soldiers participated in the study. Results indicated that all four variables were correlated with one another. Through hierarchical regression analysis, we determined that social anxiety fully mediated the relationship between PO (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  8
    Regards sur la pensée française, 1870-1940.Jean Guitton - 1968 - Paris,: Beauchesne.
    J'ai choisi comme sujet de cours, en cette seconde année de captivité, de dresser un tableau de la pensée française de 1870 à 1940, c'est-à-dire entre deux grands désastres pour la France. Il m'a semblé que cette époque avait été en philosophie une grande époque, non seulement parce qu'elle avait été marquée par de très grands noms et de très hardis efforts, mais encore parce que la philosophie, à l'inverse de ce qui se passait auparavant, avait pénétré dans des domaines (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  22
    A Statistical Approach to Model the H-Index Based on the Total Number of Citations and the Duration from the Publishing of the First Article.Mohammad Reza Mahmoudi, Marzieh Rahmati, Zulkefli Mansor, Amirhosein Mosavi & Shahab S. Band - 2021 - Complexity 2021:1-8.
    The productivity of researchers and the impact of the work they do are a preoccupation of universities, research funding agencies, and sometimes even researchers themselves. The h-index is the most popular of different metrics to measure these activities. This research deals with presenting a practical approach to model the h-index based on the total number of citations and the duration from the publishing of the first article. To determine the effect of every factor on h, we applied a set of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  25
    The Philosophy and Theology of Anders Nygren. [REVIEW]M. V. J. - 1971 - Review of Metaphysics 25 (2):379-380.
    Anders Nygren is widely known among English-speaking readers for his subtle and scholarly analysis of the forms of love, Agape and Eros, first published in 1930. Important facets of his far-ranging thought, however, have remained largely inaccessible to those who do not read Swedish. The present volume is a significant step in reducing that inaccessibility. Nygren's work is treated by seventeen different contributors in essays grouped under the following headings: Philosophy of Religion, Motif Research, The Meanings of Love, Systematic Theology, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  95
    Concepts of simultaneity: from antiquity to Einstein and beyond.Max Jammer - 2006 - Baltimore, Md.: Johns Hopkins University Press.
    Max Jammer's Concepts of Simultaneity presents a comprehensive, accessible account of the historical development of an important and controversial concept -- which played a critical role in initiating modern theoretical physics -- from the days of Egyptian hieroglyphs through to Einstein's work in 1905, and beyond. Beginning with the use of the concept of simultaneity in ancient Egypt and in the Bible, the study discusses its role in Greek and medieval philosophy as well as its significance in Newtonian physics and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   23 citations  
  37.  47
    On Verifying the Accuracy of Information: Philosophical Perspectives.Don Fallis - 2004 - Library Trends 52 (3):463-487.
    How can one verify the accuracy of recorded information (e.g., information found in books, newspapers, and on Web sites)? In this paper, I argue that work in the epistemology of testimony (especially that of philosophers David Hume and Alvin Goldman) can help with this important practical problem in library and information science. This work suggests that there are four important areas to consider when verifying the accuracy of information: (i) authority, (ii) independent corroboration, (iii) plausibility and support, and (iv) presentation. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  38. Simultaneity, conventionality and existence.Vesselin Petkov - 1989 - British Journal for the Philosophy of Science 40 (1):69-76.
    The present paper pursues two aims. First to show that the experiment proposed by Stolakis [1986] does not lead to absolute synchronization in a single frame of reference and therefore also to the measurement of one-way velocity of light. Second, by consecutively considering the problems of the conventionality of simultaneity and of existence to show that the simultaneity of distant events can be a matter of convention only in a four-dimensional world. * I am grateful to the anonymous referees for (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  39.  53
    The verifiability of different kinds of facts and values.Ray Lepley - 1940 - Philosophy of Science 7 (4):464-475.
    A common dictum or assumption in contemporary scientific and philosophical circles is that, if values are at all verifiable in any significant sense, they are less verified and less verifiable than facts. Esthetic and moral values in particular are regarded as less verifiable than scientific facts. It is frequently said that esthetic and moral “facts” and values are essentially and finally a matter of private preference or arbitrary social agreement whereas scientific facts are in the last analysis (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  40.  22
    Simultaneous EEG-NIRS Measurement of the Inferior Parietal Lobule During a Reaching Task With Delayed Visual Feedback.Takuro Zama, Yoshiyuki Takahashi & Sotaro Shimada - 2019 - Frontiers in Human Neuroscience 13:442959.
    We investigated whether the inferior parietal lobule (IPL) responds in real-time to multisensory inconsistency during movement. The IPL is thought to be involved in both the detection of inconsistencies in multisensory information obtained during movement and that obtained during self-other discrimination. However, because of the limited temporal resolution of conventional neuroimaging techniques, it is difficult to distinguish IPL activity during movement from that during self-other discrimination. We simultaneously conducted electroencephalography (EEG) and near-infrared spectroscopy (NIRS) with the goal of examining (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  41.  29
    Simultaneous brightness induction as a function of inducing- and test-field luminances.Eric G. Heinemann - 1955 - Journal of Experimental Psychology 50 (2):89.
  42. Verifying time, memory and communication bounds in systems of reasoning agents.Natasha Alechina, Brian Logan, Hoang Nga Nguyen & Abdur Rakib - 2009 - Synthese 169 (2):385-403.
    We present a framework for verifying systems composed of heterogeneous reasoning agents, in which each agent may have differing knowledge and inferential capabilities, and where the resources each agent is prepared to commit to a goal (time, memory and communication bandwidth) are bounded. The framework allows us to investigate, for example, whether a goal can be achieved if a particular agent, perhaps possessing key information or inferential capabilities, is unable (or unwilling) to contribute more than a given portion of its (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  43. Modelling simultaneous games in dynamic logic.Johan van Benthem, Sujata Ghosh & Fenrong Liu - 2008 - Synthese 165 (2):247-268.
    We make a proposal for formalizing simultaneous games at the abstraction level of player’s powers, combining ideas from dynamic logic of sequential games and concurrent dynamic logic. We prove completeness for a new system of ‘concurrent game logic’ CDGL with respect to finite non-determined games. We also show how this system raises new mathematical issues, and throws light on branching quantifiers and independence-friendly evaluation games for first-order logic.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  44.  47
    (1 other version)Truth, verifiability, and propositions about the future.C. J. Ducasse - 1941 - Philosophy of Science 8 (3):329-337.
    The contentions of this paper are essentially two. One is that truth does not consist of verifiability—and still less of verification—in the sense in which this has been maintained by some pragmatists, operationalists, and positivists. The other is that in a certain other sense of “verifiability”, which will be described, truth is the same thing as verifiability. The paper, it should be understood, attempts only to make clear what is and what is not the relation between truth and verifiability. It (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  89
    Simultaneous belief updates via successive Jeffrey conditionalization.Ilho Park - 2013 - Synthese 190 (16):3511-3533.
    This paper discusses simultaneous belief updates. I argue here that modeling such belief updates using the Principle of Minimum Information can be regarded as applying Jeffrey conditionalization successively, and so that, contrary to what many probabilists have thought, the simultaneous belief updates can be successfully modeled by means of Jeffrey conditionalization.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46. Self-verifying axiom systems, the incompleteness theorem and related reflection principles.Dan Willard - 2001 - Journal of Symbolic Logic 66 (2):536-596.
    We will study several weak axiom systems that use the Subtraction and Division primitives (rather than Addition and Multiplication) to formally encode the theorems of Arithmetic. Provided such axiom systems do not recognize Multiplication as a total function, we will show that it is feasible for them to verify their Semantic Tableaux, Herbrand, and Cut-Free consistencies. If our axiom systems additionally do not recognize Addition as a total function, they will be capable of recognizing the consistency of their Hilbert-style deductive (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  47.  88
    Verifiability and the external world.Frederick L. Will - 1940 - Philosophy of Science 7 (2):182-191.
    For some time there have been appearing in the philosophical literature hints and suggestions that the so-called “problem of the external world” should be abandoned, not primarily because it is of little pragmatic significance, but rather because there is really no such problem to be solved. The publication of Reichenbach's Experience and Prediction has now stimulated a resurgence of these suggestions. In the course of his discussion of the book in the April Philosophy of Science Professor Ernest Nagel has taken (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  48.  57
    Simultaneous stationary reflection and square sequences.Yair Hayut & Chris Lambie-Hanson - 2017 - Journal of Mathematical Logic 17 (2):1750010.
    We investigate the relationship between weak square principles and simultaneous reflection of stationary sets.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  49.  23
    The simultaneous transfer of conditioned excitation and conditioned inhibition.D. D. Wickens - 1939 - Journal of Experimental Psychology 24 (3):332.
  50. How to Verify an Epistemic Protocol with DEL.Jan van Eijck - unknown
    Verifying an epistemic protocol involves creating a formalized version of the protocol in a suitable logical language, and next showing (i) that the steps of the protocol are in one to one correspondence with the steps in its formalized version, (ii) that the formalized version satisfies certain correctness conditions, and (iii) hence, that the original version also satisfies these conditions. We will show that DEL is a suitable medium for carrying out this program for an interesting example protocol.
     
    Export citation  
     
    Bookmark  
1 — 50 / 968