This article begins at a crossroads; it straddles the difficult ground between the recent public outcry against sexual violence and concerns about the coloniality of voice made visible by the recent decolonial turn within feminist theory. Wary of concepts such as “visibility” or “transparency”—principles that continue to inform the call to “break the silence” by “speaking up” central to Western liberatory movements—in this article, I return to silence, laying the groundwork for the exploration of what a revised concept of silence (...) could mean for the development of practices of cross-cultural communication that do not play into coloniality. (shrink)
This review addresses the current and future potential of nanomedicine, and its ethical considerations within the comprehensive framework of the four dimensions of medical ethics: Beneficence, Non-Maleficence, Respect, and Justice. From this perspective, the ethical considerations for nanomedicine are not novel, but have been addressed by precedents throughout the history of medicine. While these ethical challenges are not unique to nanomedicine, some require additional consideration, given the envisioned pervasive impact of nanomedicine on society.
While the definitions employed by different governmental agencies and scientific societies differ somewhat, the term “nanotechnology” is generally understood to refer to the manufacturing, characterization, and use of man-made devices with dimensions on the order of 1-100 nanometers. Devices that comprise a fundamental functional element that is nanotechnological are also frequently comprised within nanotechnology, as are manufactured objects with dimensions less than one micrometer. The differences in definition lead to occasional paradoxes, such as the fact that the most widely used (...) nanodrug is labeled a “nanopharmaceutical” by governments of European countries, Canada, and Australia, but it is not a nanotechnology for the U.S. Food and Drug Administration. It is also common in scientific domains to restrict the term “nanotechnology” to objects that possess special, “emerging” properties that only arise because of their nanoscale dimension. (shrink)
Educational neuroscience promises to incorporate emerging insights from neuroscience into education, and is an exiting renovation of cognitive science in education. But unlike cognitive neuroscience—which aims to explain how the mind is embodied—educational neuroscience necessarily incorporates values that reflect the kind of citizen and the kind of society we aspire to create. Neuroscience can help fulfill the mandate of public education, but only as a tool that is part of a broader conversation about what schools should strive to achieve for (...) the millions of students who attend them. I propose that educational neuroscience must advance our understanding of how knowledge is embodied in light of efforts to promote personal learning and development. (shrink)
A proof is given that the set of maximal intermediate propositional logics with the disjunction property and the set of maximal intermediate predicate logics with the disjunction property and the explicit definability property have the power of continuum. To prove our results, we introduce various notions which might be interesting by themselves. In particular, we illustrate a method to generate wide sets of pairwise "constructively incompatible constructive logics". We use a notion of "semiconstructive" logic and define wide sets of "constructive" (...) logics by representing the "constructive" logics as "limits" of decreasing sequences of "semiconstructive" logics. Also, we introduce some generalizations of the usual filtration techniques for propositional logics. For instance, "filtrations over rank formulas" are used to show that any two different logics belonging to a suitable uncountable set of "constructive" logics are "constructively incompatible". (shrink)
In this paper, I attend to the ontological shift in Merleau-Ponty’s later writing and suggest that this conceptual turn opens the space for questions of the latent sense of the sensible foreclosed by dualist accounts and propositional theories of meaning. By attending to the Nature Lectures, I claim that there is a sens [meaning and orientation] of nature whose regulatory principle ought to be found in nature itself. This is to say that there is a normativity of nature that, albeit (...) not exclusive of sociocultural-linguistic norms, is irreducible to them. As I argue, this normativity is a “transspatializing and transtemporalizing”: it transverses its carnal manifestations, thereby inaugurating and becoming traceable within their materialization while remaining invisible in its excess or poietic renewing. I conclude by attending to the question of the “latent sense” of nature, suggesting that this sense is not conceptual or propositional, but intuitive as in the sense of right and left, a sense that is distributed across spatio-temporal individuals and emerges via the play of yet-to-be-determined incarnate manifestations.Dans cet article, j’aborde le tournant ontologique du dernier Merleau-Ponty et je suggère qu’il implique une interrogation sur le sens latent du sensible, exclu par les approches dualistes ainsi que par les théories propositionnelles de la signification. En analysant les cours sur la Nature, je vise à montrer qu’il y a un sens [signification et direction] de la nature, dont le principe régulateur est à chercher dans la nature elle-même. Cela revient à dire qu’il y a une normativité de la nature qui, bien qu’elle n’exclue pas les normes socio-culturelles-linguistiques, ne leur est pas pour autant réductible. Une telle normativité est « trans-spatiale et trans-temporelle » : elle traverse ses manifestations charnelles, en inaugurant ainsi et en devenant traçable dans ses matérialisations, tout en demeurant invisible dans son excès et dans son renouvellement poïétique. Je termine en abordant la question du « sens latent » de la nature, en suggérant que ce sens n’est ni conceptuel ni propositionnel, mais intuitif, tout comme l’est le sens de la droite et de la gauche, c’est-à-dire un sens qui est distribué à travers les individus spatio-temporels et qui émerge dans le jeu des manifestations incarnées encore-à-déterminer.In questo articolo intendo esaminare la svolta ontologica degli ultimi scritti di Merleau-Ponty per suggerire come questa apra ad un’interrogazione sul senso latente del sensibile, che rimane escluso dagli approcci dualistici e dalle teorie proposizionali del significato. Analizzando i corsi sulla Natura, vorrei mostrare come vi sia un senso [significato e orientamento] della natura il cui principio regolatore deve essere rintracciato nella natura stessa. Ciò significa che vi è una normatività della natura che, benché non esclusiva delle norme socioculturali-linguistiche, è irriducibile ad esse. Questa normatività è “trans-spaziale e trans-temporale”: essa attraversa le sue manifestazioni carnali, inaugurando e divenendo tracciabile nelle sue materializzazioni, pur rimanendo invisibile nella sua eccedenza o rinnovamento poietico. Concludo soffermandomi sulla questione del “senso latente” della natura, suggerendo che questo senso non è concettuale o proposizionale, ma intuitivo al modo del senso della destra e della sinistra, un senso che è distribuito attraverso gli individui spazio-temporali e che emerge nel gioco delle manifestazioni incarnate ancora-da-determinare. (shrink)
We get cut-free sequent calculi for the interpolable propositional intermediate logics by translating suitable duplication-free tableau calculi developed within a semantical framework. From this point of view, the paper also provides semantical proofs of the admissibility of the cut-rule for appropriate cut-free sequent calculi.
This is the first part of a paper concerning intermediate propositional logics with the disjunction property which cannot be properly extended into logics of the same kind, and are therefore called maximal. To deal with these logics, we use a method based on the search of suitable nonstandard logics, which has an heuristic content and has allowed us to discover a wide family of logics, as well as to get their maximality proofs in a uniform way. The present part illustrates (...) infinitely many maximal logics with the disjunction property extending the well-known logic of Scott, and aims to provide a first picture of the method, sufficient for the reader who wish to achieve an overall understanding of it without entering into the further aspects developed in the second part. From this point of view, the latter will not be self-standing, but will be seen as a prosecution and a complement of the former, with the aim that the material presented in the whole paper can be used as a starting point for a classification of the subject. (shrink)
This article looks at three historical efforts to coordinate the scientific study of biological and cultural aspects of human consciousness into a single comprehensive theory of human development that includes the evolution of the human body, cultural evolution and personal development: specifically, the research programs of Wilhelm Wundt, Lev Vygotsky and Albert Bandura. The lack of historical relations between these similar efforts is striking, and suggests that the effort to promote cultural and personal sources of consciousness arises as a natural (...) foil to an overemphasis on the biological basis of consciousness, sometimes associated with biological determinism. (shrink)
I agree with Thomas & Karmiloff- Smith in their critique of Residual Normality. However, first-person data must be integrated into their account of neurobiological development of disabilities. Furthermore, psychological development itself is not only about an individual’ brain and how it interacts with the world; rather, development depends crucially on the sociocultural context in which children develop.
The Latin conscius does not translate anything like mind or consciousness. Only in the mid-nineteenth century do we find the first attempts to study consciousness as its own discipline. Wundt, James, and Freud disagreed about how to approach the science of consciousness, although agreeing that psychology was a 'science of consciousness' that takes lived biological experience as its object. The behaviorists vetoed this idea. By the 1950s, for cognitive science, mind (conscious and unconscious) was considered analogous to computer software. Recently, (...) the science of consciousness has returned as Consciousness Studies, a new interdisciplinary synthesis of neuroscience, psychology, philosophy, and cultural anthropology. But what is new in this renaissance of the science of consciousness? New first, second and third person approaches all propose to take consciousness itself as a variable. This approach is as controversial as the nineteenth-century science of consciousness--controversy perhaps inherent to any science of consciousness. (shrink)
This is the second part of a paper devoted to the study of the maximal intermediate propositional logics with the disjunction property , whose first part has appeared in this journal with the title “A method to single out maximal propositional logics with the disjunction property I”. In the first part we have explained the general results upon which a method to single out maximal constructive logics is based and have illustrated such a method by exhibiting the Kripke semantics of (...) maximal constructive logics extending the logic ST of Scott, for which, in turn, a semantical characterization in terms of Kripke frames has been given. In the present part we complete the illustration of the method of the first part, having in mind some aspects which might be interesting for a classification of the maximal constructive logics, and an application of the heuristic content of the method to detect the nonmaximality of apparently maximal constructive logics. Thus, on the one hand we introduce the logic AST , which is compared with ST and is seen as a logic “alternative” to it, in a sense which will be precisely explained. We provide a Kripke semantics for AST and show that there are maximal constructive logics which neither are extensions of ST nor are extensions of AST. Finally, we give a further application of the results of the first part by exhibiting the Kripke semantics of a maximal constructive logic extending AST. On the other hand, we compare the maximal constructive logics presented in both parts of the paper with a constructive logic introduced by Maksimova , which has been conjectured to be maximal by Chagrov and Zacharyashchev ; from this comparison a disproof of the conjecture arises. (shrink)
In this paper we provide cut-free tableau calculi for the intuitionistic modal logics IK, ID, IT, i.e. the intuitionistic analogues of the classical modal systems K, D and T. Further, we analyse the necessity of duplicating formulas to which rules are applied. In order to develop these calculi we extend to the modal case some ideas presented by Miglioli, Moscato and Ornaghi for intuitionistic logic. Specifically, we enlarge the language with the new signs Fc and CR near to the usual (...) signs T and F. In this work we establish the soundness and completeness theorems for these calculi with respect to the Kripke semantics proposed by Fischer Servi. (shrink)
All natural goods perish. Riches take wings; fame is a breath; love is a cheat; youth and health and pleasure vanish. Can things whose end is always dust and disappointment be the real goods which our souls require? Back of everything is the great spectre of universal death, the all-encompassing blackness.
Introduction: Many individuals and families are currently experiencing a high level of COVID-19-related stress and are struggling to find helpful coping mechanisms. Mindfulness-based interventions are becoming an increasingly popular treatment for individuals experiencing depression and chronic levels of stress. The app draws from scholarly evidence on the efficacy of mindfulness meditations and builds on the pre-existing apps by incorporating techniques that are used in some therapies such as cognitive behavioral therapy and mindfulness-based cognitive therapy.Methods: Participants were randomly assigned to a (...) 4-week mindfulness and self-compassion-based cognitive smartphone intervention or a wait-list control group. They were instructed to engage in self-compassion and mindfulness practices and a cognitive restructuring task. They also completed measures that evaluated their levels of depression, stress, anxiety, self-compassion, wisdom, psychological well-being, and subjective well-being. The intervention group was also instructed to track their weekly engagement with the app. Standardized effect sizes for between-group differences were calculated using Cohen's d for complete case analyses.Results: Complete case analyses from baseline to the end of this randomized controlled trial demonstrated significant moderate between-group differences for depressive symptoms and decisiveness. Moderate between-group differences were also found for self-compassion such that significant improvements in self-kindness, common humanity, mindfulness and decreases in self-judgement, isolation, and overidentification were observed. A small between-group difference was found for emotional regulation. Moreover, a significant moderate within-group decrease in stress and anxiety symptoms was also observed in the intervention group.Conclusions: Serene is an effective intervention that promotes increased levels of self-compassion and emotional regulation. Engaging with Serene may help reduce depressive symptoms through mindfulness, self-compassion, and cognitive restructuring which help reduce overidentification with one's negative emotions. As individuals rebalance their thinking through cognitive restructuring, they can identify the varying stressors in their life, develop action plans and engage in adaptive coping strategies to address them. Serene may promote greater self-understanding which may provide one with a more balanced perspective on their current upsetting situations to positively transform their challenges during the pandemic. (shrink)
ABSTRACTHow do different forms of education contribute to value preferences? Clearly, informal education through personal experiences that shape one’s sense of identity and frame cultural expectations and opportunities, non-formal education through religious traditions and formal state-mandated education all contribute to value preferences in culturally-specific ways. However, wisdom should allow people to coordinate culturally-specific education in ways that promote prosocial values. Our study considered the relative strength of four value-orientations from Schwartz’s Personal Values Questionnaire and of 15 core virtues among 189 (...) participants from Canada and South Korea; half were older and half younger adults. 101 were emerging adults and 88 were retired older adults. Multivariate regression analyses show that, although all three forms of education influenced value orientation in culture-specific ways in both Canada and South Korea, formal education was critical to cultivating the wisdom needed to coordinate and adjudicate between different values so as to live well. (shrink)
Thanks to the revival in Bergson’s scholarship prompted by Gilles Deleuze’s Bergsonism, it is widely recognized that Bergsonism challenges the metaphysics of presence. Less attention, however, has been devoted to the status of negation or negativity in Bergson’s thought. Differently from Deleuze, I argue that Bergson’s claim that memory and perception, past and present, differ in kind does not call for the erasure of the negative but rather for the radical reconceptualization of negation in temporal terms. Thinking negation temporally allows (...) Bergson to open the space for conceptualizing existence beyond presence, for developing an account of the paradoxical nature of the past. With an insight that anticipates Derrida’s thinking, Bergson tells us that the past is neither “there” nor “not-there,” neither a presence nor an absence. Grâce au regain d’intérêt pour Bergson qu’a suscité le livre de Gilles Deleuze, Le bergsonisme, il est maintenant largement reconnu que le bergsonisme met la métaphysique de la présence à l’épreuve. On a cependant moins porté attention au statut de la négation ou de la négativité dans la pensée de Bergson. Au contraire de Deleuze, je soutiens que l’affirmation de Bergson selon laquelle la mémoire et la perception, le passé et le présent, diffèrent en espèce n’amène pas un effacement du négatif mais plutôt une reconceptualisation radicale de la négation en termes temporels. En pensant la négation temporellement, Bergson peut ouvrir un espace pour conceptualiser l’existence au-delà de la présence et développer une explication de la nature paradoxale du passé. Anticipant la pensée de Derrida, Bergson nous montre que le passé est ni « présent » ni « non-présent », ni une présence ni une absence. (shrink)
In the 80's Pierangelo Miglioli, starting from motivations in the framework of Abstract Data Types and Program Synthesis, introduced semiconstructive theories, a family of large subsystems of classical theories that guarantee the computability of functions and predicates represented by suitable formulas. In general, the above computability results are guaranteed by algorithms based on a recursive enumeration of the theorems of the whole system. In this paper we present a family of semiconstructive systems, we call uniformly semiconstructive, that provide computational procedures (...) only involving formulas with bounded complexity. We present several examples of uniformly semiconstructive systems containing Harrop theories, induction principles and some well-known predicate intermediate principles. Among these, we give an account of semiconstructive and uniformly semiconstructive systems which lie between Intuitionistic and Classical Arithmetic and we discuss their constructive incompatibility. (shrink)
In this paper we propose a Kripke-style semantics for second order intuitionistic propositional logic and we provide a semantical proof of the disjunction and the explicit definability property. Moreover, we provide a tableau calculus which is sound and complete with respect to such a semantics.
Since 1993, when Hudelmaier developed an O-space decision procedure for propositional Intuitionistic Logic, a lot of work has been done to improve the efficiency of the related proof-search algorithms. In this paper a tableau calculus using the signs T, F and F c with a new set of rules to treat signed formulas of the kind T → C) is provided. The main feature of the calculus is the reduction of both the non-determinism in proof-search and the width of proofs (...) with respect to Hudelmaier's one. These improvements have a significant influence on the performances of the implementation. (shrink)
For Bering, appreciating that people are objects is a developmental accomplishment. Baldwin and Piaget agree. However, for Piaget, an immanent conception of the divine is more developed than a separate transcendent God. Culture also matters. In Plato's Phaedo, Socrates' belief in immortality was a reasoned conclusion – not “built in” – for reasons similar to those still held by modern scientists.