Results for 'Jacky Visser'

12 found
Order:
  1. Energy Non-conservation in Quantum Mechanics.Sean M. Carroll & Jackie Lodman - 2021 - Foundations of Physics 51 (4):1-15.
    We study the conservation of energy, or lack thereof, when measurements are performed in quantum mechanics. The expectation value of the Hamiltonian of a system changes when wave functions collapse in accordance with the standard textbook treatment of quantum measurement, but one might imagine that the change in energy is compensated by the measuring apparatus or environment. We show that this is not true; the change in the energy of a state after measurement can be arbitrarily large, independent of the (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  2. Intermediate Logics and the de Jongh property.Dick Jongh, Rineke Verbrugge & Albert Visser - 2011 - Archive for Mathematical Logic 50 (1-2):197-213.
    We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  3. Disability Rights as a Necessary Framework for Crisis Standards of Care and the Future of Health Care.Laura Guidry-Grimes, Katie Savin, Joseph A. Stramondo, Joel Michael Reynolds, Marina Tsaplina, Teresa Blankmeyer Burke, Angela Ballantyne, Eva Feder Kittay, Devan Stahl, Jackie Leach Scully, Rosemarie Garland-Thomson, Anita Tarzian, Doron Dorfman & Joseph J. Fins - 2020 - Hastings Center Report 50 (3):28-32.
    In this essay, we suggest practical ways to shift the framing of crisis standards of care toward disability justice. We elaborate on the vision statement provided in the 2010 Institute of Medicine (National Academy of Medicine) “Summary of Guidance for Establishing Crisis Standards of Care for Use in Disaster Situations,” which emphasizes fairness; equitable processes; community and provider engagement, education, and communication; and the rule of law. We argue that interpreting these elements through disability justice entails a commitment to both (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  4. Intermediate Logics and the de Jongh property.Dick de Jongh, Rineke Verbrugge & Albert Visser - 2011 - Archive for Mathematical Logic 50 (1-2):197-213.
    We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  5. A small reflection principle for bounded arithmetic.Rineke Verbrugge & Albert Visser - 1994 - Journal of Symbolic Logic 59 (3):785-812.
    We investigate the theory IΔ 0 + Ω 1 and strengthen [Bu86. Theorem 8.6] to the following: if NP ≠ co-NP. then Σ-completeness for witness comparison formulas is not provable in bounded arithmetic. i.e. $I\delta_0 + \Omega_1 + \nvdash \forall b \forall c (\exists a(\operatorname{Prf}(a.c) \wedge \forall = \leq a \neg \operatorname{Prf} (z.b))\\ \rightarrow \operatorname{Prov} (\ulcorner \exists a(\operatorname{Prf}(a. \bar{c}) \wedge \forall z \leq a \neg \operatorname{Prf}(z.\bar{b})) \urcorner)).$ Next we study a "small reflection principle" in bounded arithmetic. We prove that for (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  6. Contradictions at the borders.David Ripley - 2011 - In Rick Nouwen, Robert van Rooij, Uli Sauerland & Hans-Christian Schmitz (eds.), Vagueness in Communication. Springer. pp. 169--188.
    The purpose of this essay is to shed some light on a certain type of sentence, which I call a borderline contradiction. A borderline contradiction is a sentence of the form F a ∧ ¬F a, for some vague predicate F and some borderline case a of F , or a sentence equivalent to such a sentence. For example, if Jackie is a borderline case of ‘rich’, then ‘Jackie is rich and Jackie isn’t rich’ is a borderline contradiction. Many theories (...)
    Download  
     
    Export citation  
     
    Bookmark   50 citations  
  7. Online Deliberation: Design, Research, and Practice.Todd Davies & Seeta Peña Gangadharan (eds.) - 2009 - CSLI Publications/University of Chicago Press.
    Can new technology enhance purpose-driven, democratic dialogue in groups, governments, and societies? Online Deliberation: Design, Research, and Practice is the first book that attempts to sample the full range of work on online deliberation, forging new connections between academic research, technology designers, and practitioners. Since some of the most exciting innovations have occurred outside of traditional institutions, and those involved have often worked in relative isolation from each other, work in this growing field has often failed to reflect the full (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  8. Kripke Semantics for Fuzzy Logics.Saeed Salehi - 2018 - Soft Computing 22 (3):839–844.
    Kripke frames (and models) provide a suitable semantics for sub-classical logics; for example, intuitionistic logic (of Brouwer and Heyting) axiomatizes the reflexive and transitive Kripke frames (with persistent satisfaction relations), and the basic logic (of Visser) axiomatizes transitive Kripke frames (with persistent satisfaction relations). Here, we investigate whether Kripke frames/models could provide a semantics for fuzzy logics. For each axiom of the basic fuzzy logic, necessary and sufficient conditions are sought for Kripke frames/models which satisfy them. It turns out (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  9. Fixed-Point Posets in Theories of Truth.Stephen Mackereth - 2019 - Journal of Philosophical Logic (1).
    We show that any coherent complete partial order is obtainable as the fixed-point poset of the strong Kleene jump of a suitably chosen first-order ground model. This is a strengthening of Visser’s result that any finite ccpo is obtainable in this way. The same is true for the van Fraassen supervaluation jump, but not for the weak Kleene jump.
    Download  
     
    Export citation  
     
    Bookmark  
  10. ℋ-theories, fragments of HA and PA -normality.Morteza Moniri - 2002 - Archive for Mathematical Logic 41 (1):101-105.
    For a classical theory T, ℋ(T) denotes the intuitionistic theory of T-normal (i.e. locally T) Kripke structures. S. Buss has asked for a characterization of the theories in the range of ℋ and raised the particular question of whether HA is an ℋ-theory. We show that Ti∈ range(ℋ) iff Ti = ℋ(T). As a corollary, no fragment of HA extending iΠ1 belongs to the range of ℋ. A. Visser has already proved that HA is not in the range of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. Ivan Illich’s Medical Nemesis and the ‘age of the show’: On the Expropriation of Death.Babette Babich - 2018 - Nursing Philosophy 19 (1):e12187.
    What Ivan Illich regarded in his Medical Nemesis as the ‘expropriation of health’ takes place on the surfaces and in the spaces of the screens all around us, including our cell phones but also the patient monitors and (increasingly) the iPads that intervene between nurse and patient. To explore what Illich called the ‘age of the show’, this essay uses film examples, like Creed and the controversial documentary Vaxxed, and the television series Nurse Jackie. Rocky’s cancer in his last film (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  12. Philosophical Investigation Series: Selected Texts on Political Philosophy / Série Investigação Filosófica: Textos Selecionados de Filosofia Política.Everton Maciel (ed.) - 2021 - Pelotas: Editora da UFPel / NEPFIL Online.
    Nossa seleção de verbetes parte do interesse de cada pesquisador e os dispomos de maneira histórico-cronológica e, ao mesmo tempo, temática. O verbete de Melissa Lane, “Filosofia Política Antiga” vai da abrangência da política entre os gregos até a república e o império, às portas da cristianização. A “Filosofia Política Medieval”, de John Kilcullen e Jonathan Robinson, é o tópico que mais demanda espaço na nossa seleção em virtude das disputas intrínsecas ao período, da recepção de Aristóteles pelo medievo e (...)
    Download  
     
    Export citation  
     
    Bookmark