Results for 'Ł-decidability'

981 found
Order:
  1. Appearance of Impropriety: Deciding When a Judge's Impartiality “Might Reasonably Be Questioned,” 14 Geo. J.L. Abramson - 2000 - Legal Ethics 55:60.
     
    Export citation  
     
    Bookmark  
  2.  10
    Two trends in middle-class birth in the United States.Vern L. Katz - 1993 - Human Nature 4 (4):367-382.
    This discussion focuses on two important trends in American childbirth that have emerged in the past 30 years, the demand for a perfect baby and the desire for a perfect birth. These two trends are particularly important in the subgroup of middle-class women who have decided on delayed childbearing. Tremendous technological innovations, such as ultra-sound, prenatal genetic analysis, and fetal monitoring, have promoted the perception that physicians can control the prenatal environment and predict the pregnancy outcome. This expectation may lead (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  52
    The decidability of dependency in intuitionistic propositional Logi.Dick de Jongh & L. A. Chagrova - 1995 - Journal of Symbolic Logic 60 (2):498-504.
    A definition is given for formulae $A_1,\ldots,A_n$ in some theory $T$ which is formalized in a propositional calculus $S$ to be (in)dependent with respect to $S$. It is shown that, for intuitionistic propositional logic $\mathbf{IPC}$, dependency (with respect to $\mathbf{IPC}$ itself) is decidable. This is an almost immediate consequence of Pitts' uniform interpolation theorem for $\mathbf{IPC}$. A reasonably simple infinite sequence of $\mathbf{IPC}$-formulae $F_n(p, q)$ is given such that $\mathbf{IPC}$-formulae $A$ and $B$ are dependent if and only if at least (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  4. So you've decided to develop a distance education class.Cynthia L. Walker - 2001 - Kairos: A Journal of Rhetoric, Technology, and Pedagogy 6.
     
    Export citation  
     
    Bookmark  
  5. Deciding for others-reply.L. Snyder - 1990 - Hastings Center Report 20 (5):48-49.
     
    Export citation  
     
    Bookmark  
  6.  21
    On the decidability of the theory of modules over the ring of algebraic integers.Sonia L'Innocente, Carlo Toffalori & Gena Puninski - 2017 - Annals of Pure and Applied Logic 168 (8):1507-1516.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  19
    There Is No Free Won't: The Role Definitions Play.L. Asma - 2017 - Journal of Consciousness Studies 24 (5-6):8-23.
    In this paper, I analyse how neuroscientists come to the conclusion that the brain 'decides' what we will do. I do so by focusing on a recent study on free won't, from which it is concluded that the decision to veto is not free. First, I argue that assumptions about voluntariness and freedom that underlie this and other Libet-style experiments are more stringent than assumed by other critics. Second, I claim that these assumptions lead to an experimental setting in which (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  8. Viscount Samuel, O.M.: Philosophy.L. C. Robertson - 1959 - Philosophy 34 (129):97-98.
    Now in his 89th year, Viscount Samuel, who with advancing age has had progressively to restrict the activities of his many-sided life, has reluctantly decided not to stand this year for election to the Presidency of The Royal Institute of Philosophy. It is but fitting, before he vacates the Presidential Chair in June, that PHILOSOPHY, as the official organ of the Institute, should pay a small tribute to one who has served its interests so devotedly, and whose claims on its (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  21
    Deciding to Act.L. Fields - 1989 - Philosophical Inquiry 11 (3-4):1-17.
  10.  9
    Needs and medicine.L. Duane Willard - 1982 - Journal of Medicine and Philosophy 7 (3):259-274.
    It is argued that human needs are not facts (properties, states, processes, relations) about people, but are values. The reasons presented for this position are (1) that needs are goal oriented and goals are things people value, (2) that ‘need’ functions as a basic motivational term, and (3) that disagreements about what people need are disagreements in attitude toward, and emotional attachment to, things variously considered to be valuable. If human needs are not facts, then, of course, health or medical (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  11.  14
    Agency and the metalottery fallacy.L. McGrew - 2002 - Australasian Journal of Philosophy 80 (4):440 – 464.
    In deciding whether an event was caused by chance or agency, it is incorrect to attribute the event to chance on the grounds that there have been enough broadly similar situations in the universe to provide opportunities for the event to occur by chance somewhere or other. In order to include a set of instances in an inference as opportunities for the event to occur by chance, we must calculate the impact of the other proposed opportunities upon the prior probabilities (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  25
    Egg freezing experiences of women in Turkey: From the social context to the narratives of reproductive ageing and empowerment.Azer Kılıç & İpek Göçmen - 2018 - European Journal of Women's Studies 25 (2):168-182.
    This article explores egg freezing experiences of women in Turkey. Since 2014, it has been legal in Turkey to use egg freezing technology for ageing women, while it was previously allowed only for disease-related purposes. In cooperation with a private fertility clinic in Istanbul, the authors conducted 21 interviews with older, single women who held either professional or managerial positions and who were undergoing or had undergone the procedure. Drawing on a qualitative analysis of these interviews, the authors explore the (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  13.  35
    Rational Choice and Action Omnipotence.John L. Pollock - 2002 - Philosophical Review 111 (1):1.
    A theory of rational choice is a theory of how an agent should, rationally, go about deciding what actions to perform at any given time. For example, I may want to decide whether to go to a movie this evening or stay home and read a book. The actions between which we want to choose are perfectly ordinary actions, and the presumption is that to make such a decision we should attend to the likely consequences of our decision. It is (...)
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  14.  11
    Isaac Newton's Scientific Method: Turning Data Into Evidence About Gravity and Cosmology.William L. Harper - 2011 - Oxford, GB: Oxford University Press UK.
    Isaac Newton's Scientific Method examines Newton's argument for universal gravity and his application of it to resolve the problem of deciding between geocentric and heliocentric world systems by measuring masses of the sun and planets. William L. Harper suggests that Newton's inferences from phenomena realize an ideal of empirical success that is richer than prediction. Any theory that can achieve this rich sort of empirical success must not only be able to predict the phenomena it purports to explain, but also (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  15.  31
    Aesthetic Discrimination Against Persons.L. Duane Willard - 1977 - Dialogue 16 (4):676-692.
    An Acquaintance of mine decided, in the late 1950s, to become an officer in the U.S. Navy, until he discovered a Navy regulation stating that ugly men would not be accepted as officer candidates. Surely there is something suspicious about such a policy. Yet, in a time when people are so conscious of the many forms of discrimination — race, colour, sex, age, religion — it is somewhat surprising that little serious attention is given to the practice of what I (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  16. Realism and determinable properties.Crawford L. Elder - 1996 - Philosophy and Phenomenological Research 56 (1):149-159.
    The modern form of realism about properties has typically been far more austere than its Platonic ancestor. There is nothing especially austere about denying, as most modern property realists do, the reality of “disjunctive properties”—properties which would correspond, in the world, to disjunctive predicates such as “is an apple or an ocean,” “is observed by now and green or not observed by now and blue,” etc. But modern property realists typically deny far more. It has been argued, for example, that (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  17.  25
    Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems.Rod J. L. Adams & Roman Murawski - 1999 - Dordrecht, Netherland: Springer Verlag.
    Traces the development of recursive functions from their origins in the late nineteenth century to the mid-1930s, with particular emphasis on the work and influence of Kurt Gödel.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  18.  93
    A computational model of ratio decidendi.L. Karl Branting - 1993 - Artificial Intelligence and Law 2 (1):1-31.
    This paper proposes a model ofratio decidendi as a justification structure consisting of a series of reasoning steps, some of which relate abstract predicates to other abstract predicates and some of which relate abstract predicates to specific facts. This model satisfies an important set of characteristics ofratio decidendi identified from the jurisprudential literature. In particular, the model shows how the theory under which a case is decided controls its precedential effect. By contrast, a purely exemplar-based model ofratio decidendi fails to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  19.  74
    The Importance of Time.L. Nathan Oaklander (ed.) - 2001 - Dordrecht: Kluwer.
    The Philosophy of Time Society grew out of a National Endowment for the Humanities Summer Seminar on the Philosophy of Time offered by George Schlesinger in 1991. The members of that seminar wanted to promote interest in the philosophy of time and Jon N. Turgerson offered to become the first Director of the society with the initial costs underwritten by the Drake University Center for the Humanities. Thus, the Philosophy of Time Society (PTS) was formed in 1993. Its goal is (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  20.  15
    What Is the Force of an Argument?L. E. O. Apostel - 1979 - Revue Internationale de Philosophie 33 (127/128):99-109.
    In their "traite de l'argumentation" perelman olbrechts indicate five factors contributing to the forces of arguments. the present paper is an analysis of each of these five factors taken in isolation; it indicates directions for operationalization of these factors. it stresses moreover that this multidimensional concept if it is to be used must lead to a weighted function of the five variables in order to be able to use the concept of "force of an argument." the absence of this weighted (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  21. Mental causation versus physical causation: No contest.Crawford L. Elder - 2001 - Philosophy and Phenomenological Research 62 (1):110-127.
    James decides that the best price today on pork chops is at Supermarket S, then James makes driving motions for twenty minutes, then James’ car enters the parking lot at Supermarket S. Common sense supposes that the stages in this sequence may be causally connected, and that the pattern is commonplace: James’ belief (together with his desire for pork chops) causes bodily behavior, and the behavior causes a change in James’ whereabouts. Anyone committed to the idea that beliefs and desires (...)
    Direct download (14 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  22.  20
    Realism and Determinable Properties.Crawford L. Elder - 1996 - Philosophy and Phenomenological Research 56 (1):149-159.
    The modern form of realism about properties has typically been far more austere than its Platonic ancestor. There is nothing especially austere about denying, as most modern property realists do, the reality of “disjunctive properties”—properties which would correspond, in the world, to disjunctive predicates such as “is an apple or an ocean,” “is observed by now and green or not observed by now and blue,” etc. But modern property realists typically deny far more. It has been argued, for example, that (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  23.  8
    The adoption of conservation practices in the Corn Belt: the role of one formal farmer network, Practical Farmers of Iowa.L. Asprooth, M. Norton & R. Galt - 2023 - Agriculture and Human Values 40 (4):1559-1580.
    Substantial evidence has shown that involvement in peer-to-peer farming networks influences whether a farmer decides to try a new practice. Formally organized farmer networks are emerging as a unique entity that blend the benefits of decentralized exchange of farmer knowledge within the structure of an organization providing a variety of sources of information and forms of engagement. We define formal farmer networks as farmer networks with a distinct membership and organizational structure, leadership that includes farmers, and an emphasis on peer-to-peer (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24. So you think you exist? — In defense of nolipsism.John L. Pollock & Jenann Ismael - 2006 - In Thomas M. Crisp, Matthew Davidson & David Vander Laan (eds.), Knowledge and Reality: Essays in Honor of Alvin Plantinga. Dordrecht: Springer.
    Human beings think of themselves in terms of a privileged non-descriptive designator — a mental “I”. Such thoughts are called “_de se_” thoughts. The mind/body problem is the problem of deciding what kind of thing I am, and it can be regarded as arising from the fact that we think of ourselves non-descriptively. Why do we think of ourselves in this way? We investigate the functional role of “I” (and also “here” and “now”) in cognition, arguing that the use of (...)
     
    Export citation  
     
    Bookmark   4 citations  
  25.  29
    Isaac Newton's Scientific Method: Turning Data Into Evidence About Gravity and Cosmology.William L. Harper - 2011 - Oxford, GB: Oxford University Press UK.
    Isaac Newton's Scientific Method examines Newton's argument for universal gravity and his application of it to resolve the problem of deciding between geocentric and heliocentric world systems by measuring masses of the sun and planets. William L. Harper suggests that Newton's inferences from phenomena realize an ideal of empirical success that is richer than prediction. Any theory that can achieve this rich sort of empirical success must not only be able to predict the phenomena it purports to explain, but also (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   43 citations  
  26.  91
    So You Think You Exist? — In Defense of Nolipsism.Jenann Ismael & John L. Pollock - unknown
    Human beings think of themselves in terms of a privileged non-descriptive designator — a mental “I”. Such thoughts are called “de se” thoughts. The mind/body problem is the problem of deciding what kind of thing I am, and it can be regarded as arising from the fact that we think of ourselves non-descriptively. Why do we think of ourselves in this way? We investigate the functional role of “I” (and also “here” and “now”) in cognition, arguing that the use of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  27.  15
    The Importance of Time: Proceedings of the Philosophy of Time Society, 1995–2000.L. Nathan Oaklander (ed.) - 2001 - Dordrecht: Springer.
    The Philosophy of Time Society (PTS) grew out of a National Endowment for the Humanities Summer Seminar on the Philosophy of Time offered by George Schlesinger in 1991. The members of that seminar wanted to promote interest in the philosophy of time and Jon N. Turgerson offered to become the first Director of the PTS with the initial costs underwritten by the Drake University Center for the Humanities. Thus, the PTS was formed in 1993. Its goal is to promote the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  28.  13
    A reduction-graph model of precedent in legal analysis.L. Karl Branting - 2003 - Artificial Intelligence 150 (1-2):59-95.
    Legal analysis is a task underlying many forms of legal problem solving. In the Anglo-American legal system, legal analysis is based in part on legal precedents, previously decided cases. This paper describes a reduction-graph model of legal precedents that accounts for a key characteristic of legal precedents: a precedent's relevance to subsequent cases is determined by the theory under which the precedent is decided. This paper identifies the implementation requirements for legal analysis using the reduction-graph model of legal precedents and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  29.  36
    HIV testing and informed consent.L. Frith - 2005 - Journal of Medical Ethics 31 (12):699-700.
    People should be allowed to decide how and where they wish to be tested for HIV without there being a formal requirement for pretest counsellingIn his paper, Ethics of HIV testing in general practice without informed consent, Fraser argues that pretest counselling and informed consent are pillars of the ethical conduct of HIV testing. In my response I want to look critically at these contentions. While I will agree with Fraser that it is always necessary to get informed consent from (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  30.  22
    People, Professionalization, and Promises: Navigating the Politics of PhD Programs in Women's Studies.L. Ayu Saraswati - 2018 - Feminist Studies 44 (2):400.
    In lieu of an abstract, here is a brief excerpt of the content:400 Feminist Studies 44, no. 2. © 2018 by Feminist Studies, Inc. L. Ayu Saraswati People, Professionalization, and Promises: Navigating the Politics of PhD Programs in Women’s Studies I have been housed at four different universities—all in women’s studies. My PhD is from the University of Maryland, College Park. I completed a postdoctoral program at Emory University. My first tenure track position was at the University of Kansas. I (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  4
    Logic in Practice.L. Susan Stebbing - 1934 - London,: Routledge.
    Originally published in 1934. This fourth edition originally published 1954., revised by C. W. K. Mundle. "It must be the desire of every reasonable person to know how to justify a contention which is of sufficient importance to be seriously questioned. The explicit formulation of the principles of sound reasoning is the concern of Logic". This book discusses the habit of sound reasoning which is acquired by consciously attending to the logical principles of sound reasoning, in order to apply them (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32. Decidable regularly closed fields of algebraic numbers.Louden Dries & Rick L. Smith - 1985 - Journal of Symbolic Logic 50 (2):468 - 475.
  33.  26
    Social Cognition, Language Acquisition and The Development of the Theory of Mind.Candida C. Peterson Jay L. Garfield - 2001 - Mind and Language 16 (5):494-541.
    Theory of Mind is the cognitive achievement that enables us to report our propositional attitudes, to attribute such attitudes to others, and to use such postulated or observed mental states in the prediction and explanation of behavior. Most normally developing children acquire ToM between the ages of 3 and 5 years, but serious delays beyond this chronological and mental age have been observed in children with autism, as well as in those with severe sensory impairments. We examine data from studies (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  78
    On the Phenomenon of “Dog‐Wise Arrangement”.Crawford L. Elder - 2007 - Philosophy and Phenomenological Research 74 (1):132-155.
    An influential line of thought in metaphysics holds that where common sense discerns a tree or a dog or a baseball there may be just many microparticles. Provided the microparticles are arranged in the right way—are “treewise” or “dogwise” or “baseballwise” arranged—our sensory experiences will be just the same as if a tree or dog or baseball were really there. Thereforewhetherthere really are such familiar objects in the world can be decided only by determining whatmoreis needed for microparticles dogwise arranged (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  35.  17
    On the Phenomenon of “Dog‐Wise Arrangement”.Crawford L. Elder - 2007 - Philosophy and Phenomenological Research 74 (1):132-155.
    An influential line of thought in metaphysics holds that where common sense discerns a tree or a dog or a baseball there may be just many microparticles. Provided the microparticles are arranged in the right way—are “treewise” or “dogwise” or “baseballwise” arranged—our sensory experiences will be just the same as if a tree or dog or baseball were really there. Thereforewhetherthere really are such familiar objects in the world can be decided only by determining whatmoreis needed for microparticles dogwise arranged (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  36.  13
    Decidability of the theory of modules over prüfer domains with infinite residue fields.Lorna Gregory, Sonia L’Innocente, Gena Puninski & Carlo Toffalori - 2018 - Journal of Symbolic Logic 83 (4):1391-1412.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  28
    A Decidable Class of Equations in Recursive Arithmetic.R. L. Goodstein & R. D. Lee - 1966 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 12 (1):235-239.
    Direct download  
     
    Export citation  
     
    Bookmark  
  38. A Decidable Class of Equations in Recursive Arithmetic.R. L. Goodstein & R. D. Lee - 1968 - Journal of Symbolic Logic 33 (4):618-619.
     
    Export citation  
     
    Bookmark  
  39.  15
    A Decidable Fragment of Recursive Arithmetic.R. L. Goodstein - 1963 - Mathematical Logic Quarterly 9 (12‐15):199-201.
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  22
    A Decidable Fragment of Recursive Arithmetic.R. L. Goodstein - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (12-15):199-201.
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  5
    Ethical experiments with children.L. Gerasymchuk - 2005 - Ukrainian Religious Studies 36:171-172.
    President of Ukraine Viktor Yushchenko at a roundtable meeting on the theme "With love and concern for children" set the task for Ukrainian educators: to create a special course on religious ethics by the end of August. The head of state popularly explained that “it is about God, faith in one form or another: it does not aim to unilaterally cover this issue. The general approaches of all churches should be taken. " Of course, the accomplishment of such a task (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  21
    Paternity testing requested by private parties in Italy: some ethical considerations.L. Caenazzo, A. Comacchio, P. Tozzo, D. Rodriguez & P. Benciolini - 2008 - Journal of Medical Ethics 34 (10):735-737.
    In Italy, judicial and extrajudicial requests for paternity testing have increased in recent years. A retrospective analysis of such private extrajudicial requests received by the legal medicine unit of the Department of Environmental Medicine and Public Health of Padua University was conducted to identify problem areas most helpful in determining whether to accept private parties’ requests for paternity testing. Such testing is most delicate when a presumptive father may be seeking to disown paternity and when testing is wanted without the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  43.  24
    Viscount Samuel, O.M.L. C. Robertson - 1959 - Philosophy 34 (129):97-.
    Now in his 89th year, Viscount Samuel, who with advancing age has had progressively to restrict the activities of his many-sided life, has reluctantly decided not to stand this year for election to the Presidency of The Royal Institute of Philosophy. It is but fitting, before he vacates the Presidential Chair in June, that PHILOSOPHY, as the official organ of the Institute, should pay a small tribute to one who has served its interests so devotedly, and whose claims on its (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  44.  28
    A clearing in the forest: law, life, and mind.Steven L. Winter - 2001 - Chicago: University of Chicago Press.
    Cognitive science is transforming our understanding of the mind. New discoveries are changing how we comprehend not just language, but thought itself. Yet, surprisingly little of the new learning has penetrated discussions and analysis of the most important social institution affecting our lives-the law. Drawing on work in philosophy, psychology, anthropology, linguistics, and literary theory, Steven L. Winter has created nothing less than a tour de force of interdisciplinary analysis. A Clearing in the Forest rests on the simple notion that (...)
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  45.  12
    L'expérience américaine du P.P.B.S. et ses leçons.M. L. Morissens - 1970 - Res Publica 12 (2):125-158.
    Résumé : Le PPBS a été conçu comme un instrument destiné à ceux qui décident de l'allocation des ressources publiques : il doit leur permettre de prendre de meilleures décisions. S'il est très difficile de repérer et de juger les choix que le développement du système a inspirés aux Etats-Unis, il n'en est pas mains certain que ses résultats tangibles sant maigres car la masse des anciens programmes, principale source potentielle de moyens nouveaux, n'a guère été remise en question.La valeur (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46. Act Utilitarianism and Decision Procedures: Robert L. Frazier.Robert L. Frazier - 1994 - Utilitas 6 (1):43-53.
    A standard objection to act utilitarian theories is that they are not helpful in deciding what it is morally permissible for us to do when we actually have to make a choice between alternatives. That is, such theories are worthless as decision procedures. A standard reply to this objection is that act utilitarian theories can be evaluated solely as theories about right-making characteristics and, when so evaluated, their inadequacy as decision procedures is irrelevant. Even if somewhat unappealing, this is an (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  47.  80
    Should quantum mechanical description of physical reality be considered complete?L. C. B. Ryff - 1990 - Foundations of Physics 20 (9):1061-1078.
    A brief and critical survey of wave-particle duality and nonlocality aspects of light is presented. A recent attempt to establish a reasonable framework for nonlocal realistic theories based on physically sound arguments and a proposed experiment to decide between such theories and the usual interpretation of quantum mechanical formalism are reviewed. It is shown that a nonlocal realistic approach may raise some new questions which could be answered by means of a program based on a sequence of experiments.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  21
    An approach to deciding the observational equivalence of Algol-like languages.C. -H. L. Ong - 2004 - Annals of Pure and Applied Logic 130 (1-3):125-171.
    We prove that the observational equivalence of third-order finitary Idealized Algol is decidable using Game Semantics. By modelling the state explicitly in our games, we show that the denotation of a term M of this fragment of IA is a compactly innocent strategy-with-state, i.e. the strategy is generated by a finite view function fM. Given any such fM, we construct a real-time deterministic pushdown automaton that recognizes the complete plays of the knowing-strategy denotation of M. Since such plays characterize observational (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  49.  9
    Decidability of the theory of modules over Prüfer domains with dense value groups.Lorna Gregory, Sonia L'Innocente & Carlo Toffalori - 2019 - Annals of Pure and Applied Logic 170 (12):102719.
    We provide algebraic conditions ensuring the decidability of the theory of modules over effectively given Prüfer (in particular Bézout) domains whose localizations at maximal ideals have dense value groups. For Bézout domains, these conditions are also necessary.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  11
    The tao of strategy: how seven ancient philosophies help solve twenty-first-century business challenges.L. J. Bourgeois - 2021 - Charlottesville: University of Virginia Press. Edited by Serge Eygenson & Kanokrat Namasondhi.
    The Tao of Strategy presents an alternative way to stimulate strategic thinking, looking to ancient times and Eastern philosophies to unlock new ways of solving complex problems. It examines Sun Tzu's Art of War, the Baghavad Gita, and the strategic board game Go; studies leaders' obligations and responsibilities via the Gita and the Tao Te Ching; and explores paths to releasing the ego and achieving a state of serenity with Buddha, Ki-Aikido, and mindfulness. The book also offers guidance on cultivating (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 981