Condensed detachment is usually regarded as a notation, and defined by example. In this paper it is regarded as a rule of inference, and rigorously defined with the help of the Unification Theorem of J. A. Robinson. Historically, however, the invention of condensed detachment by C. A. Meredith preceded Robinson's studies of unification. It is argued that Meredith's ideas deserve recognition in the history of unification, and the possibility that Meredith was influenced, through ukasiewicz, by ideas (...) of Tarski going back at least to 1939, and possibly to 1930 or earlier, is discussed. It is proved that a term is derivable by substitution and ordinary detachment from given axioms if and only if it is a substitution instance of a term which is derivable from these axioms by condensed detachment, and it is shown how this theorem enables the ideas of ukasiewicz and Tarski mentioned above to be formalized and extended. Finally, it is shown how condensed detachment may be subsumed within the resolution principle of J. A. Robinson, and several computer studies of particular Hilbert-type propositional calculi using programs based on condensed detachment or on resolution are briefly discussed. (shrink)

This paper gives a simple, elegant statement of the condensed detachment rule that is independent of most general unifiers and proves that this is equivalent to the longer, more usual, formulation.

In the first part of this paper we indicate how Meredith's condensed detachment may be used to give a new proof of Belnap's theorem that if every axiom x of a calculus S has the two-property that every variable which occurs in x occurs exactly twice in x, then every theorem of S is a substitution instance of a theorem of S which has the two-property. In the remainder of the paper we discuss the use of mechanical theorem-provers, (...) based either on condensed detachment or on the resolution rule of J. A. Robinson, to investigate various calculi whose axioms all have the two-property. Particular attention is given to D-groupoids, i.e. sets of formulae which are closed under condensed detachment. (shrink)

Ulrich showed that most of the known axiomatisations of the classical equivalence calculus (EC) are D-incomplete, that is, they are not complete with the condensed detachment rule (D) as the primary rule of the proof procedure. He proved that the axiomatisation EEpEqrErEqp, EEEpppp by Wajsberg is D-complete and pointed out a number of D-complete single axioms, including one organic single axiom. In this paper we present new single axioms for EC with the condensed detachment and the (...) reversed condensed detachment rules that form D-complete bases and are organic. (shrink)

With the inclusion of an e ective methodology, this article answers in detail a question that, for a quarter of a century, remained open despite intense study by various researchers. Is the formula XCB = e(x e(e(e(x y) e(z y)) z)) a single axiom for the classical equivalential calculus when the rules of inference consist of detachment (modus ponens) and substitution? Where the function e represents equivalence, this calculus can be axiomatized quite naturally with the formulas (x x), e(e(x (...) y) e(y x)), and e(e(x y) e(e(y z) e(x z))), which correspond to reexivity, symmetry, and transitivity, respectively. (We note that e(x x) is dependent on the other two axioms.) Heretofore, thirteen shortest single axioms for classical equivalence of length eleven had been discovered, and XCB was the only remaining formula of that length whose status was undetermined. To show that XCB is indeed such a single axiom, we focus on the rule of condensed detachment, a rule that captures detachment together with an appropriately general, but restricted, form of substitution. The proof we present in this paper consists of twenty- ve applications of condensed detachment, completing with the deduction of transitivity followed by a deduction of symmetry. We also discuss some factors that may explain in part why XCB resisted relinquishing its treasure for so long. Our approach relied on diverse strategies applied by the automated reasoning program OTTER. Thus ends the search for shortest single axioms for the equivalential calculus. (shrink)

This article answers two questions (posed in the literature), each concerning the guaranteed existence of proofs free of double negation. A proof is free of double negation if none of its deduced steps contains a term of the formn(n(t)) for some term t, where n denotes negation. The first question asks for conditions on the hypotheses that, if satisfied, guarantee the existence of a double-negation-free proof when the conclusion is free of double negation. The second question asks about the existence (...) of an axiom system for classical propositional calculus whose use, for theorems with a conclusion free of double negation, guarantees the existence of a double-negation-free proof. After giving conditions that answer the first question, we answer the second question by focusing on the Lukasiewicz three-axiom system. We then extend our studies to infinite-valued sentential calculus and to intuitionistic logic and generalize the notion of being double-negation free. The double-negation proofs of interest rely exclusively on the inference rule condensed detachment, a rule that combines modus ponens with an appropriately general rule of substitution. The automated reasoning program Otter played an indispensable role in this study. (shrink)

A Hilbert-style version of an implicational logic can be represented by a set of axiom schemes and modus ponens or by the corresponding axioms, modus ponens and substitution. Certain logics, for example the intuitionistic implicational logic, can also be represented by axioms and the rule of condensed detachment, which combines modus ponens with a minimal form of substitution. Such logics, for example intuitionistic implicational logic, are said to be D-complete. For certain weaker logics, the version based on (...) class='Hi'>condensed detachment and axioms (the condensed version of the logic) is weaker than the original. In this paper we prove that the relevant logic T→, and any logic of which this is a sublogic, is D-complete. (shrink)

We present a formalization of first-order predicate calculus with equality which, unlike traditional systems with axiom schemata or substitution rules, is finitely axiomatized in the sense that each step in a formal proof admits only finitely many choices. This formalization is primarily based on the inference rule of condensed detachment of Meredith. The usual primitive notions of free variable and proper substitution are absent, making it easy to verify proofs in a machine-oriented application. Completeness results are presented. The (...) example of Zermelo-Fraenkel set theory is shown to be finitely axiomatized under the formalization. The relationship with resolution-based theorem provers is briefly discussed. A closely related axiomatization of traditional predicate calculus is shown to be complete in a strong metamathematical sense. (shrink)

With regard to current debates on the ethical implementation of AI, especially two demands are linked: the call for explainability and for ultimate human responsibility. In the medical field, both are condensed into the role of one person: It is the physician to whom AI output should be explainable and who should thus bear ultimate responsibility for diagnostic or treatment decisions that are based on such AI output. In this article, we argue that a black box AI indeed creates (...) a rationally irresolvable epistemic situation for the physician involved. Specifically, strange errors that are occasionally made by AI sometimes detach its output from human reasoning. Within this article it is further argued that such an epistemic situation is problematic in the context of ultimate human responsibility. Since said strange errors limit the promises of explainability and the concept of explainability frequently appears irrelevant or insignificant when applied to a diverse set of medical applications, we deem it worthwhile to reconsider the call for ultimate human responsibility. (shrink)

Resumen: En la fórmula Campo + [Capital + Habitus] = Prácticas sociales, se condensan las aportaciones de un autor como Pierre Bourdieu a nivel teórico, y de ahí es posible desprender el método de abordaje para la investigación social al recuperar lo objetivo y lo subjetivo de las prácticas sociales. A partir de los conceptos así formulados, se proponen dos lecciones que se desprenden del trabajo intelectual del sociólogo bearnés: lecciones teóricas y algunas lecciones metodológicas derivadas de las primeras, con (...) el fin de contribuir a una sistematización explícita de su modus operandi para la investigación social, toda vez que el autor nunca lo hizo para evitar que sus aportaciones quedasen atrapadas con la rigidez de los esquemas escolásticos. En este sentido, el autor es tanto objeto como instrumento de la reflexión propuesta que mira a la noción de capital como la metodológicamente más importante para la práctica de la investigación social.: In the formula Field + [Capital + Habitus] = Social practices, the contributions of an author such as Pierre Bourdieu are condensed on a theoretical level, and from there it is possible to detach the approached method for social research by recovering the objective and subjective aspects of social practices based on the concepts thus formulated, two lessons are proposed that are derived from the intellectual work of the béarnese sociologist: theoretical lessons and some methodological lessons derived from the former, in order to contribute to an explicit systematization of their modus operandi for social research, since the author never did it to avoid that his contributions were trapped with the rigidity of the scholastic schemes. In this sense, the author is both an object and an instrument of the proposed reflection that looks at the notion of capital as the most important methodologically for the practice of social research. (shrink)

Hoping to overcome the deficiencies of Bailey and Dewitt, and taking into account the insights of Diano, Kleve, and Merlan, Rist presents this book as an accurate and complete doxology of Epicurus’ philosophy. The book is written in a condensed style where doctrines treated early in the book are not fully explained until the completion of later parts. In trying to pin down Epicurus, distinct from the Epicureans, he depends heavily upon Lucretius and the few extant writings of Epicurus (...) himself, but he does range over the works of all the later students and commentators. Even so, much is left either vaguely outlined or problematic, and what is accepted from the more distant or biased sources is judiciously measured against the more accepted teachings. There are seven major chapters dealing with the canonic, physics, man and the cosmos, soul and mind and body, pleasure, friendship, and gods and religion. Certain of the teachings presented have a bearing, one upon the other, throughout the book and do much toward showing some consistency and richness to Epicurus’ philosophy: In the canonic, three types of criteria for judging as to the existence of a thing or the truth of a proposition are explained, viz., sensation, general concepts, and feeling. In the physics, a crucial topic is the role of the swerve with its logical priority. In the cosmos, there is the developmental, evolutionary character of the universe. In the soul and body of man, the animus/anima distinction is worked out. The interrelation of all these is brought to bear on the central theme of pleasure and the gods. Pleasure, as the stable condition of the flesh and confident expectation of the future on this score, with complete absence of pain and anxiety, involves the physics, friendship, the soul of man, and the canonic. Also important to his teaching on pleasure is the interplay of those pleasures based upon want and that pleasure which is a state of untroubledness. Rist makes good use of the teachings of the canonic to establish the existence of the gods. In describing their structure, he shows how the gods, as detached exemplars, fit in with the physics and canonic, and with the teaching on pleasure and friendship. He assiduously refrains from interpreting the role of the gods in Epicurus’ philosophy, but with their existence so presented future interpretations should be much enriched. This book is a superb piece of scholarship and an invaluable aid to the study of Greek philosophy.—W. A. F. (shrink)

Detachment, Involvement, and Rationality: are we Essentially Rational Animals? Philosophers have long thought that what differentiates humans from mere animals is that humans are essentially rational. The rational nature of human beings lies in their ability to detach themselves from ongoing involvement and to ask for as well as give reasons for activity. According to the philosophical tradition, human action and perception generally should be understood in light of this ability. This essay examines a contemporary version of this conviction, (...) one promulgated by John McDowell. McDowell follows the tradition in suggesting that people are always able to step back and to ask as well as answer why questions about what they are doing, i.e., they always have reasons for their actions. This essay shows that people have no reasons for many of the things they do. They often, instead, simply respond to shifting situational fields of attraction and repulsion. These attractions and repulsions cannot be captured in propositional form—any attempt to describe, or even just name, them turns them into objects and robs them of their motivational force. The demands of the situation are not available as reasons, but exist only as embodied in actions. McDowell, consequently, errs in claiming that conceptual capacities are inextricably implicated in human activity. Nor is the detached, rational way of being any more essential to human life than is involved coping. (shrink)

This essay considers the prospects of modeling spacetime as a phenomenon that emerges in the low-energy limit of a quantum liquid. It evaluates three examples of spacetime analogues in condensed matter systems that have appeared in the recent physics literature, indicating the extent to which they are viable, and considers what they suggest about the nature of spacetime.

It is widely hoped that quantum gravity will shed light on the question of the origin of time in physics. The currently dominant approaches to a candidate quantum theory of gravity have naturally evolved from general relativity, on the one hand, and from particle physics, on the other hand. A third important branch of twentieth century ‘fundamental’ physics, condensed-matter physics, also offers an interesting perspective on quantum gravity, and thereby on the problem of time. The bottomline might sound disappointing: (...) to understand the origin of time, much more experimental input is needed than what is available today. Moreover it is far from obvious that we will ever find out the true origin of physical time, even if we become able to directly probe physics at the Planck scale. But we might learn some interesting lessons about time and the structure of our universe in the process. A first lesson is that there are probably several characteristic scales associated with “quantum gravity” effects, rather than the single Planck scale usually considered. These can differ by several orders of magnitude, and thereby conspire to hide certain effects expected from quantum gravity, rendering them undetectable even with Planck-scale experiments. A more tentative conclusion is that the hierarchy between general relativity, special relativity and Newtonian physics, usually taken for granted, might have to be interpreted with caution. (shrink)

Previous correlational studies have shown that both psychological detachment from work and positively thinking about work during non-work time are associated with favorable affective states. In our research we integrate these contradictory findings and add more rigor to detachment research by using an experimental design. In two experimental studies conducted in the laboratory, we manipulated two different kinds of detachment from work (thinking about a hobby; explicit detachment instruction) and three different kinds of thinking about work (...) (thinking negatively, thinking positively, thinking in an unspecific way) by short written instructions. Results show that both detachment strategies lead to a reduction in negative affect (in both studies) and to an increase in positive affect (in one study). The effect of detachment was particularly strong when it was contrasted with thinking negatively about work and when end-of-workday negative affect was high. In some of the comparisons, the affective benefits of positively thinking about work were stronger than those of psychological detachment from work. Taken together, our studies demonstrate that detachment from work as well as positive thinking improves subsequent affect, highlighting the causality underlying the association between psychological detachment from work – as a core recovery experience – and subsequent affective states. (shrink)

Corollaire à "l'homme mesure de toute chose" se place "l'homme démesure de toute chose". La démesure n'est pas dommageable en soi, ne pas prendre la mesure de cette démesure ni engager une culture préparant à digérer la démesure est par contre désastreux. Toute médiation est aussi facteur de démesure. Première des médiations humaines, le langage verbal entre dans un vertige de la démesure, à la mesure des médiations technologiques et de leur puissance inouïe. Cet essai sur la condensation se place (...) dans l'effort pour penser les fondements de la médiation symbolique et ce à partir d'une économie sensible de la représentation qui prend pour appui le langage plastique. Kim Leroy est docteur en Philosophie et lettres de l'Université libre de Bruxelles (2006). il enseigne la philosophie de l'art et la sémiologie des médias à l'académie royale des Beaux-arts de Bruxelles et à Arts2 à Mons. coopérateur à la coopérative Quatre Quarts à court-saint-Etienne, il est aussi observateur au conseil d'administration du Mundaneum à Mons et Membre de SEA (sustainable economy association). (shrink)

Jc Beall offers a novel resolution to worries about Christ’s contradictory nature by introducing an account of logical consequence that allows for true contradictions. However, to prevent his view from exploding into heresy, Beall must deny that conditionals detach. But without detachment, the language fails to capture other true entailments which must be included in a complete account of Christ. Beall faces a dilemma, then, between heresy and inadequacy.

«Se détacher des sens». Sur la fonction des sensations dans l'épistémologie cartésienne.

ABSTRACT In this article I read Freud’s theory of dream condensation alongside Blanchot and Derrida’s analysis of the literary fragment. Both these thinkers describe how an imperturbable secret provides an excess that calls out for a response. I thus analyze the structure of dream interpretation as one where the latent dream thoughts respond to a call imbedded in the condensed dream-content. Through a deconstructive reading of Freud and a quote by Nietzsche, I argue that the structure of this call (...) is the condensation of the secret, which is both a mark and occurrence of forgetting. (shrink)

The implementation of skills labs in Danish nursing education can, in itself, be viewed as a complexity. The students are expected to eventually carry out their work in a situated hospital practice, but they learn their professional skills in a different space altogether, detached and removed from the hospitals and practising on plastic dummies. Despite the apparent artificiality of the skills lab, this article will show that it is possible to analyse some of the fundamental aspects of care in nursing (...) by ethnographically following this phenomenon of simulation‐based training. These particular aspects of care are not explicated in the curriculum or textbooks; however, they surfaced once this crooked approach to studying care in a simulated practice was applied. The article start from the assertion that detached engagements are not recognized within the field of nursing education as an equal component to attachments. Yet empirical cases from the skills lab and hospitals illustrate how students sometimes felt emotionally attached to plastic dummies and how experienced nurses sometimes practised a degree of detachment in relation to human patients. Detached engagements will therefore be presented as part of care practices of nurses – rendering the ability to detach in engagement with patients a professional skill that students also need to learn. In the analysis to follow, attached and detached engagements are located on an equal plane by integrating both into the same conceptual framework, rather than imposing a priori notions about their dialectic relation. The analysis shows that it is the particular intertwinement of attachment and detachment that gives care its fundamental meaning. In conclusion, the need for a conceptual shift from a strong emphasis on attached engagement to a more balanced analytical approach to care work, as involving both attached and detached engagement within Danish nursing education, is advocated. (shrink)

Phase separation underlies the formation of biomolecular condensates. We hypothesize the cellular processes that occur within condensates shape their structural features. We use the example of transcription to discuss structure–function relationships in condensates. Various types of transcriptional condensates have been reported across the evolutionary spectrum in the cell nucleus as well as in mitochondrial and bacterial nucleoids. In vitro and in vivo observations suggest that transcriptional activity of condensates influences their supramolecular structure, which in turn affects their function. Condensate organization (...) thus becomes driven by differences in miscibility among the DNA and proteins of the transcription machinery and the RNA transcripts they generate. These considerations are in line with the notion that cellular processes shape the structural properties of condensates, leading to a dynamic, mutual interplay between structure and function in the cell. (shrink)

In the presently unfolding deepfake era, previously unrelated algorithmic superintelligence possibility claims cannot be scientifically analyzed in isolation anymore due to the connected inevitable epistemic interactions that have already commenced. For instance, deep-learning (DL) related algorithmic supremacy claims may intrinsically compete with both neuro-symbolic (NS) algorithmic and further quantum (Q) algorithmic superintelligence achievement claims. Concurrently, a variety of experimental combinations of DL, NS and Q directions are conceivable. While research on these three illustrative variants did not yet offer any clear (...) mutually applicable scientific definition of a purported supremacy level framed as goal, the currently most robust scientific evaluation frameworks would i.a. require a joint testing against pre-existing non-algorithmic supremacy baselines such as e.g. conscious supremacy and cellular supremacy. This autodidactic paper explains why, for scientific reasons, all algorithmic superintelligence achievement claims in the deepfake era can be condensed and subjected to a joint scientific evaluation framework comprising multiple successive civilization-level tasks of epistemic tunneling (ET). In light of this elusive requirement, recent claims of science automation are spurious and misleading. It is vital not to misapprehend algorithmic epistemic dark matter (EDM) mining and epistemic dark energy (EDE) generation as paradigm-shifting ET events. (shrink)

The complexity of aII 4 set of natural numbers is encoded into a linear order to show that the finite condensation of a recursive linear order can beII 2–II 1. A priority argument establishes the same result, and is extended to a complete classification of finite condensations iterated finitely many times.

Joseph Raz has introduced an interesting class of statements —detached statements— into the philosophical lexicon. In brief, such statements are normative statements, yet the speaker does not, in so uttering them, express or convey acceptance of the point of view of the hearer to whom they are addressed. I propose to offer a novel analysis of such statements. In brief, such statements will be analysed as wide-scope normative conditionals.

This research analyzed the ethical-political discussions of distributive justice in national minorities and its incorporation into the Constitutions of Latin American countries. Ethics stands out in its search to dignify the human being, finding two immeasurable positions: (a) the deontological models of justice and equality and their detached subjects, and (b) the communitarian models that rescue the identity contingencies of the subjects. The latter have allowed reflections that recognize the defense of cultural, territorial and linguistic identity as fundamental issues. Finally, (...) the discussion ventures to delimit equity and positive discrimination. (shrink)

Shun argues that the distinction between first and third person is ill-suited to explain the complexities of anger. In this commentary, I first argue that, while the distinction is not uniquely important in characterizing anger and its variations, it can be distinctively important in illuminating the nature and normative significance of different forms of anger. Indeed, Shun’s own characterizations of anger in the paper seem to presuppose this importance. Secondly, I show that there are two related but distinct ways in (...) which one’s anger is ‘personally involved’: the first concerns how the offence is registered (e.g., whether it is perceived as targeting oneself), and the second concerns one’s emotional uptake of the offence. Lastly, I propose an alternative interpretation of Zhu Xi’s distinction between anger that ‘resides in things’ and anger that ‘resides in the self’, where the emphasis is not on whether anger is an appropriate response to a situation but on whether anger is properly encapsulated. (shrink)

Some legal philosophers regard the use of deontic language to describe the law as philosophically significant. Joseph Raz argues that it gives rise to ‘the problem of normativity of law’. He develops an account of what he calls ‘detached’ legal statements to resolve the problem. Unfortunately, Raz’s account is difficult to reconcile with the orthodox semantics of deontic language. The article offers a revised account of the distinction between committed and detached legal statements. It argues that deontic statements carry a (...) Gricean generalized conversational implicature to the effect that the rules in question reflect the speaker’s own commitments. Detached legal statements are made when this implicature is either explicitly cancelled or when the conversational context is sufficient to defeat the implicature. I conclude by offering some tentative reflections on the theoretical significance of deontic language in the law. (shrink)

The purpose of the paper is to present a logical framework that allow to formalize a kind of prima facie duties, defeasible conditional duties, indefeasible conditional duties and actual (indefeasible) duties, as well as to show their logical interconnections.

We address anticipated fermion–antifermion and dimension-4 gauge-field vacuum-condensate contributions to the magnetic portion of the fermion–photon vertex function in the presence of a vacuum with nonperturbative content, such as that of QCD. We discuss how inclusion of such condensate contributions may lead to a vanishing anomalous magnetic moment, in which case vacuum condensates may account for the apparent consistency between constituent quark masses characterizing baryon magnetic moments and those characterizing baryon spectroscopy.

Artistic Detachment in Japan and the West takes up the notion of artistic detachment, or psychic distance, as an intercultural motif for East-West comparative aesthetics. The work begins with an overview of aesthetic theory in the West from the eighteenth-century empiricists to contemporary aesthetics and concludes with a survey of various critiques of psychic distance. Throughout, the author takes a highly innovative approach by juxtaposing Western aesthetic theory against Eastern aesthetic theory. Weaving between cultures and time periods, the (...) author focuses on a remarkably wide range of theories: in the West, the Kantian notion of disinterested contemplation, Heidegger's Gelassenheit, semiotics, and pragmatism; in Japan, Zeami's notion of riken no ken, the Kyoto School's intepretation of nothingness, D. T. Suzuki's analysis of the function of no-mind, and the writings of Kuki Shuzo on Buddhist detachment. "Portrait of the artist" fiction by such writers as Henry James, James Joyce, Mori Ogai, and Natsume Soseki demonstrates how the main theme of detachment is expressed in literary traditions. The role of sympathy or pragmatism in relation to disinterest is examined, suggesting conflicts within or challenges to the notion of detachment. Researchers and students in Eastern and Western areas of study, including philosophers and religionists, as well as literary and cultural critics, will deem this work an invaluable contribution to cross-cultural philosophy and literary studies. (shrink)

Inner speech has been shown to vary in form along several dimensions. Along condensation, condensed inner speech forms have been described, that are supposed to be deprived of acoustic, phonological and even syntactic qualities. Expanded forms, on the other extreme, display articulatory and auditory properties. Along dialogality, inner speech can be monologal, when we engage in internal soliloquy, or dialogal, when we recall past conversations or imagine future dialogs involving our own voice as well as that of others addressing (...) us. Along intentionality, it can be intentional (when we deliberately rehearse material in short-term memory) or it can arise unintentionally (during mind wandering). We introduce the ConDialInt model, a neurocognitive predictive control model of inner speech that accounts for its varieties along these three dimensions. ConDialInt spells out the condensation dimension by including inhibitory control at the conceptualization, formulation or articulatory planning stage. It accounts for dialogality, by assuming internal model adaptations and by speculating on neural processes underlying perspective switching. It explains the differences between intentional and spontaneous varieties in terms of monitoring. We present an fMRI study in which we probed varieties of inner speech along dialogality and intentionality, to examine the validity of the neuroanatomical correlates posited in ConDialInt. Condensation was also informally tackled. Our data support the hypothesis that expanded inner speech recruits speech production processes down to articulatory planning, resulting in a predicted signal, the inner voice, with auditory qualities. Along dialogality, covertly using an avatar’s voice resulted in the activation of right hemisphere homologs of the regions involved in internal own-voice soliloquy and in reduced cerebellar activation, consistent with internal model adaptation. Switching from first-person to third-person perspective resulted in activations in precuneus and parietal lobules. Along intentionality, compared with intentional inner speech, mind wandering with inner speech episodes was associated with greater bilateral inferior frontal activation and decreased activation in left temporal regions. This is consistent with the reported subjective evanescence and presumably reflects condensation processes. Our results provide neuroanatomical evidence compatible with predictive control and in favor of the assumptions made in the ConDialInt model. (shrink)

Both Stoic and Buddhist ethics are deeply concerned with the ethical dangers of attachments. Three dangers stand out: (1) the destructive consequences of overwhelming emotionality, brought on by attachment, both for oneself and others, (2) the dangers to one's agency posed by strongly held, but ultimately unstable, attachments, and (3) the threat to virtuous emotional engagement with others caused by one's own attachment to them. The first two kinds of moral dangers have informed Stoic models of detachment (see Wong (...) (2006). In this paper I draw on Buddhist texts to present a model of detachment that responds primarily to the third moral danger of attachment, the danger of not loving well. (shrink)

Many abiotic and other signals are transduced in eukaryotic cells by changes in the level of free calcium via pumps, channels and stores. We suggest here that ion condensation should also be taken into account. Calcium, like other counterions, is condensed onto linear polymers at a critical value of the charge density. Such condensation resembles a phase transition and has a topological basis in that it is promoted by linear as opposed to spherical assemblies of charges. Condensed counterions (...) are delocalised and can diffuse in the so‐called near region along the polymers. It is generally admitted that cytoskeletal filaments, proteins colocalised with these filaments, protein filaments distinct from cytoskeletal filaments, and filamentous assemblies of other macromolecules, constitute an intracellular macromolecular network. Here we draw attention to the fact that this network has physicochemical characteristics that enable counterion condensation. We then propose a model in which the feedback relationships between the condensation/decondensation of calcium and the activation of calcium‐dependent kinases and phosphatases control the charge density of the filaments of the intracellular macromolecular network. We show how condensation might help mediate free levels of calcium both locally and globally. In this model, calcium condensation/decondensation on the macromolecular network creates coherent patterns of protein phosphorylation that integrate signals. This leads us to hypothesize that the process of ion condensation operates in signal transduction, that it can have an integrative role and that the macromolecular network serves as an integrative receptor. BioEssays 26:549–557, 2004. © 2004 Wiley Periodicals, Inc. (shrink)

The aim of this paper is to propose a criterion of finite detachment-substitutional formalization for normal modal systems. The criterion will comprise only those normal modal systems which are finitely axiomatizable by means of the substitution, detachment for material implication and Gödel rules.

A model \ of ZF is said to be condensable if \\prec _{\mathbb {L}_{{\mathcal {M}}}} {\mathcal {M}}\) for some “ordinal” \, where \:=,\in )^{{\mathcal {M}}}\) and \ is the set of formulae of the infinitary logic \ that appear in the well-founded part of \. The work of Barwise and Schlipf in the 1970s revealed the fact that every countable recursively saturated model of ZF is cofinally condensable \prec _{\mathbb {L}_{{\mathcal {M}}}}{\mathcal {M}}\) for an unbounded collection of \). Moreover, it (...) can be readily shown that any \-nonstandard condensable model of \ is recursively saturated. These considerations provide the context for the following result that answers a question posed to the author by Paul Kindvall Gorbow.Theorem A. Assuming a modest set-theoretic hypothesis, there is a countable model \ of ZFC that is both definably well-founded is in the well-founded part of \}\) and cofinally condensable. We also provide various equivalents of the notion of condensability, including the result below.Theorem B. The following are equivalent for a countable model \ of \: \ is condensable. \ is cofinally condensable. \ is nonstandard and \\prec _{\mathbb {L}_{{\mathcal {M}}}}{\mathcal {M}}\) for an unbounded collection of \. (shrink)

In this paper I investigate deontic detachment in a new system of deontic logic called DL. DL contains standard deontic logic.

This paper investigates some aspects of the semantics of deontic should-conditionals. The main objective is to understand which actual world facts make deontic statements true. The starting point for the investigation is a famous puzzle known as Chisholm’s Paradox. It is important because making sense of the data in Chisholm-style examples involves arriving at some conclusion regarding the interaction between what we consider ideal and what is actually true. I give an account of how facts affect the evaluation of should (...) formulated in a way that does not predict that the divergence between ideals and facts leads to contradictions. The proposed semantics for should and should-conditionals allows for factual detachment without giving rise to paradoxes. The proposal has several parts: a situation-based semantics for the modal should, a view of the propositions embedded under should that allows aspect to play a crucial role in anchoring propositions to the context set, and a proposal for if-clauses that distinguishes between epistemic if-clauses and if-clauses in the scope of should, treating the latter as restrictors on the quantificational domain of the modal. (shrink)

Paraspeckles are nuclear condensates, or membranelees organelles, that are built on the long noncoding RNA, NEAT1, and have been linked to many diseases. Although originally described as constitutive structures, here, in reviewing this field, we develop the hypothesis that cells increase paraspeckle abundance as part of a general stress response, to aid pro‐survival pathways. Paraspeckles increase in many scenarios: when cells transform from one state to another, become infected with viruses and bacteria, begin to degenerate, under inflammation, in aging, and (...) in cancer. Cells increase paraspeckles by increasing transcription of NEAT1 and adjusting its RNA processing. These increases in NEAT1 are driven by numerous stress‐sensing signaling pathways, including signaling to mitochondria and stress granules, revealing crosstalk between the cytoplasm and nucleoplasm in the stress response. Thus, paraspeckles are an important piece of the puzzle in cellular homeostasis, and could be considered RNA‐scaffolded nuclear equivalents of dynamic stress‐induced structures that form in the cytoplasm. We speculate that, in general, cells rely on phase‐separated paraspeckles to transiently tweak gene regulation in times of cellular flux. (shrink)

Condensed mathematics, developed by Clausen and Scholze over the last few years, proposes a generalization of topology with better categorical properties. It replaces the concept of a topological space by that of a condensed set, which can be defined as a sheaf for the coherent topology on a certain category of compact Hausdorff spaces. In this case, the sheaf condition has a fairly simple explicit description, which arises from studying the relationship between the coherent, regular, and extensive topologies. (...) In this paper, we establish this relationship under minimal assumptions on the category, going beyond the case of compact Hausdorff spaces. Along the way, we also provide a characterization of sheaves and covering sieves for these categories. All results in this paper have been fully formalized in the Lean proof assistant. (shrink)

In this essay, I consider what condensed matter physics has to say about the nature of spacetime. In particular, I consider the extent to which spacetime can be modeled as a quantum liquid, with matter and force fields described by effective field theories of the low-energy excitations of the liquid. After a brief review of effective field theories in 2-dim highly-correlated condensed matter systems, I evaluate analogies in the recent physics literature between spacetime and superfluid Helium, and proposals (...) that suggest spacetime is an emergent phenomenon arising from the edge states of a 4-dim Quantum Hall liquid. KeyworCh: spacetime, effective field theory, condensed matter, quantum gravity.. (shrink)

This article investigates a central yet perplexing term yiming in the ‘Qiwulun’ chapter of the Zhuangzi. Yiming describes a crucial way to detach from epistemic distinctions and debates. This term is often explained as ‘using ming’ or contradictorily as ‘stopping ming’. Yet neither of the two explanations can provide a full understanding of how yiming is adopted. I take three steps to explain yiming. First, taking an etymological approach, I argue that ming can be formulated as ‘X shining on Y’. (...) Second, I use the formula of ‘X shining on Y’ to account for yiming and argue that this term refers specifically to ‘using tian to shine on everything’. Third, I unpack a cluster of tian-associated metaphors, which provides a deep understanding of yiming as an ideal way to mental tranquility. (shrink)