Quantum mechanics is an extraordinarily successful scientific theory. But more than 100 years after it was first introduced, the interpretation of the theory remains controversial. This Element introduces some of the most puzzling questions at the foundations of quantum mechanics and provides an up-to-date and forward-looking survey of the most prominent ways in which physicists and philosophers of physics have attempted to resolve them. Topics covered include nonlocality, contextuality, the reality of the wavefunction and the measurement problem. The discussion is (...) supplemented with descriptions of some of the most important mathematical results from recent work in quantum foundations, including Bell's theorem, the Kochen-Specker theorem and the PBR theorem. (shrink)

This book reconstructs Heidegger’s philosophy of time by reading his work with and against a series of key interlocutors that he nominates as being central to his own critical history of time. In doing so, it explains what makes time of such significance for Heidegger and argues that Heidegger can contribute to contemporary debates in the philosophy of time. Time is a central concern for Heidegger, yet his thinking on the subject is fragmented, making it difficult to grasp its depth, (...) complexity, and promise. Heidegger traces out a history that focuses on the conceptualisations of time put forward by Aristotle, Plotinus, Augustine, Kant, Hegel, Bergson, and Husserl—an “alternative history of time” that challenges how time has been defined and studied within both philosophy and the sciences. This book explores what happens when we take seriously Heidegger’s claim that these seven figures are essential to any understanding of time, setting out what this can tell us about existence, possibility, and philosophy as a historical discipline. Heidegger’s Alternative History of Time will appeal to scholars and advanced students working on Heidegger, phenomenology, the philosophy of time, and the history of philosophy. (shrink)

Recently there have emerged an assortment of theorems relating to the ‘absoluteness of emerged events,’ and these results have sometimes been used to argue that quantum mechanics may involve some kind of metaphysically radical non-absoluteness, such as relationalism or perspectivalism. However, in our view a close examination of these theorems fails to convincingly support such possibilities. In this paper we argue that the Wigner’s friend paradox, the theorem of Bong et al and the theorem of Lawrence et al are all (...) best understood as demonstrating that if quantum mechanics is universal, and if certain auxiliary assumptions hold, then the world inevitably includes various forms of ‘disaccord,’ but this need not be interpreted in a metaphysically radical way; meanwhile, the theorem of Ormrod and Barrett is best understood either as an argument for an interpretation allowing multiple outcomes per observer, such as the Everett approach, or as a proof that quantum mechanics cannot be universal in the sense relevant for this theorem. We also argue that these theorems taken together suggest interesting possibilities for a different kind of relational approach in which _interaction_ states are relativized whilst observed events are absolute, and we show that although something like ‘retrocausality’ might be needed to make such an approach work, this would be a very special kind of retrocausality which would evade a number of common objections against retrocausality. We conclude that the non-absoluteness theorems may have a significant role to play in helping converge towards an acceptable solution to the measurement problem. (shrink)

Everything is constantly changing. Our emotions are one of the primary ways we track, evaluate, organize, and motivate responsive action to those changes. Furthermore, emotions are inherently interpersonal. We learn what to feel from others, especially when we are children. We “catch” other people’s emotions just by being around them. We get caught in escalating response–counterresponse emotional sequences. This all takes place in time, generating complex patterns of interpersonal emotional dynamics. This review summarizes theory, empirical findings, and key challenges for (...) future research regarding three processes that contribute to interpersonal affective dynamics: (a) Convergence of social partners’ emotional responses to the external world, (b) emotional reactivity of social partners to each other, and (c) interpersonal emotion regulation. (shrink)

Emerging demonstrations of the malleability of distance perception in affective situations require an organizing structure. These effects can be predicted by approach and avoidance orientation. Approach reduces perceptions of distance; avoidance exaggerates perceptions of distance. Moreover, hedonic valence, motivational intensity, and perceiver arousal cannot alone serve as organizing principles. Organizing the literature based on approach and avoidance can reconcile seeming inconsistent effects in the literature, and offers these motives as psychological mechanisms by which affective situations predict perceptions of distance. Moreover, (...) this perspective complements functional models of perception claiming perceptions of distance serve adaptive responding, and in so doing suggests why perceptions of distance respond to affective situations. This review contributes to the building of a broader theory of motivated distance perception. (shrink)

The main aim of this paper is to introduce the logics of evidence and truth $$LET_{K}^+$$ and $$LET_{F}^+$$ together with sound, complete, and decidable six-valued deterministic semantics for them. These logics extend the logics $$LET_{K}$$ and $$LET_{F}^-$$ with rules of propagation of classicality, which are inferences that express how the classicality operator $${\circ }$$ is transmitted from less complex to more complex sentences, and vice-versa. The six-valued semantics here proposed extends the 4 values of Belnap-Dunn logic with 2 more values (...) that intend to represent (positive and negative) reliable information. A six-valued non-deterministic semantics for $$LET_{K}$$ is obtained by means of Nmatrices based on swap structures, and the six-valued semantics for $$LET_{K}^+$$ is then obtained by imposing restrictions on the semantics of $$LET_{K}$$. These restrictions correspond exactly to the rules of propagation of classicality that extend $$LET_{K}$$. The logic $$LET_{F}^+$$ is obtained as the implication-free fragment of $$LET_{K}^+$$. We also show that the 6 values of $$LET_{K}^+$$ and $$LET_{F}^+$$ define a lattice structure that extends the lattice L4 defined by the Belnap-Dunn four-valued logic with the 2 additional values mentioned above, intuitively interpreted as positive and negative reliable information. Finally, we also show that $$LET_{K}^+$$ is Blok-Pigozzi algebraizable and that its implication-free fragment $$LET_{F}^+$$ coincides with the degree-preserving logic of the involutive Stone algebras. (shrink)

We introduce a methodology whereby an arbitrary logic system L can be enriched with temporal features to create a new system T(L). The new system is constructed by combining L with a pure propositional temporal logic T (such as linear temporal logic with Since and Until) in a special way. We refer to this method as adding a temporal dimension to L or just temporalising L. We show that the logic system T(L) preserves several properties of the original temporal logic (...) like soundness, completeness, decidability, conservativeness and separation over linear flows of time. We then focus on the temporalisation of first-order logic, and a comparison is make with other first-order approaches to the handling of time. (shrink)

Simple idealized models seem to provide more understanding than opaque, complex, and hyper-realistic models. However, an increasing number of scientists are going in the opposite direction by utilizing opaque machine learning models to make predictions and draw inferences, suggesting that scientists are opting for models that have less potential for understanding. Are scientists trading understanding for some other epistemic or pragmatic good when they choose a machine learning model? Or are the assumptions behind why minimal models provide understanding misguided? In (...) this paper, using the case of deep neural networks, I argue that it is not the complexity or black box nature of a model that limits how much understanding the model provides. Instead, it is a lack of scientific and empirical evidence supporting the link that connects a model to the target phenomenon that primarily prohibits understanding. (shrink)

Presents spiritual reflections, thoughts, stories, and ideas intended to inspire readers to realize the immeasurable value of every moment of life, and to encourage them to conduct their lives accordingly.

The laws of nature have come a long way since the time of Newton: quantum mechanics and relativity have given us good reasons to take seriously the possibility of laws which may be non-local, atemporal, ‘all-at-once,’ retrocausal, or in some other way not well-suited to the standard dynamical time evolution paradigm. Laws of this kind can be accommodated within a Humean approach to lawhood, but many extant non-Humean approaches face significant challenges when we try to apply them to laws outside (...) the time evolution picture. Thus for proponents of non-Humean approaches to lawhood there is a clear need for a novel non-Humean account which is capable of accommodating these sorts of laws. In this paper we propose such an account, characterizing lawhood in terms of constraints, which are understood as a form of modal structure. We demonstrate that our proposed realist account can indeed accommodate a large variety of laws outside the time evolution paradigm, and describe some possible applications to important philosophical problems. (shrink)

We describe how the set of tools, practices, and social relations known as “precision agriculture” is defined, promoted, and debated. To do so, we perform a critical discourse analysis of popular and trade press websites. Promoters of precision agriculture champion how big data analytics, automated equipment, and decision-support software will optimize yields in the face of narrow margins and public concern about farming’s environmental impacts. At its core, however, the idea of farmers leveraging digital infrastructure in their operations is not (...) new, as agronomic research in this vein has existed for over 30 years. Contemporary discourse in precision ag tends to favour emerging digital technologies themselves over their embeddedness in longstanding precision management approaches. Following several strands of science and technology studies research, we explore what rhetorical emphasis on technical innovation achieves, and argue that this discourse of novelty is a reinvention of precision agriculture in the context of the growing “smart” agricultural economy. We overview six tensions that remain unresolved in this promotional rhetoric, concerning the definitions, history, goals, adoption, uses, and impacts of precision agriculture. We then synthesize these in a discussion of the extent to which digital tools are believed to displace farmer decision-making and whether digital agriculture addresses the biophysical heterogeneity of farm landscapes or land itself has become an “experimental technology”—a way to advance the general development of artificial intelligence. This discussion ultimately helps us name a larger dilemma: that the smart agricultural economy is perhaps less about supporting land and its stewards than promising future tech and profits. (shrink)

Relational quantum mechanics (RQM) is an interpretation of quantum mechanics based on the idea that quantum states do not describe an absolute property of a system but rather a relationship between systems. There have recently been some criticisms of RQM pertaining to issues around intersubjectivity. In this article, we show how RQM can address these criticisms by adding a new postulate which requires that all of the information possessed by a certain observer is stored in physical variables of that observer (...) and thus is accessible by measurement to other observers. This makes it possible for observers to reach intersubjective agreement about quantum events that have occurred in the past. We suggest a possible ontology for a version of RQM employing this postulate; this ontology upholds the principle that quantum states are always relational, but it also postulates a set of quantum events that are not strictly relational. We show that the new postulate helps address the preferred basis problem in RQM. (shrink)

No cinema brasileiro recente, o diálogo entre o documentário e a ficção tem merecido destaque, com produções de baixo orçamento e ideias originais. É o caso de Santiago (João Moreira Salles, 2007) e Viajo Porque Preciso, Volto Porque Te Amo (Marcelo Gomes, Karim Aïnouz, 2009), filmes que trabalham esse diálogo de forma sutil e diegética, ressignificando imagens de um arquivo próprio, pessoal.

Any successful interpretation of quantum mechanics must explain how our empirical evidence allows us to come to know about quantum mechanics. In this article, we argue that this vital criterion is not met by the class of ‘orthodox interpretations,’ which includes QBism, neo-Copenhagen interpretations, and some versions of relational quantum mechanics. We demonstrate that intersubjectivity fails in radical ways in these approaches, and we explain why intersubjectivity matters for empirical confirmation. We take a detailed look at the way in which (...) belief-updating might work in the kind of universe postulated by an orthodox interpretation, and argue that observers in such a universe are unable to escape their own perspective in order to learn about the structure of the set of perspectives that is supposed to make up reality according to these interpretations. We also argue that in some versions of these interpretations it is not even possible to use one’s own relative frequencies for empirical confirmation. Ultimately we conclude that it cannot be rational to believe these sorts of interpretations unless they are supplemented with some observer-independent structure which underwrites intersubjective agreement in at least certain sorts of cases. (shrink)

Experiments are commonly thought to have epistemic privilege over simulations. Two ideas underpin this belief: first, experiments generate greater inferential power than simulations, and second, simulations cannot surprise us the way experiments can. In this article I argue that neither of these claims is true of experiments versus simulations in general. We should give up the common practice of resting in-principle judgments about the epistemic value of cases of scientific inquiry on whether we classify those cases as experiments or simulations, (...) per se. To the extent that either methodology puts researchers in a privileged epistemic position, this is context sensitive. (shrink)

Physicists are increasingly beginning to take seriously the possibility of laws outside the traditional time-evolution paradigm; yet many popular definitions of determinism are still predicated on a time-evolution picture, making them manifestly unsuited to the diverse range of research programmes in modern physics. In this article, we use a constraint-based framework to set out a generalization of determinism which does not presuppose temporal evolution, distinguishing between strong, weak and delocalised holistic determinism. We discuss some interesting consequences of these generalized notions (...) of determinism, and we show that this approach sheds new light on the long-standing debate surrounding the nature of objective chance. (shrink)

Music as Agency: Diversities of Perspectives on Artistic Citizenship focuses on the concept, application, interpretation and manifestation of Artistic Citizenship in diverse contexts. The key concepts that the book tackles are: Cultural experience, artistic practice, musical identities, equity, democracy, community, activism, resistance and empathy. In giving an overview of aspects of the compound concept of artistic citizenship, Akuno and Westvall present the outcome of research and interrogation of practice by a global network of educator-researchers from Africa, the Americas, Asia and (...) Europe. The book articulates notions of artistic citizenship, coming up with the term artizenship as a derivative of the composite term. It further explains and analyses practical ways of perceiving and relating to art spaces, art practices and arts objects towards belonging, being and becoming in a global space that is disparate, polarised and often alienating, and thus responding to issues such as social justice, identity, participation and inclusion. With a focus on music, the book targets musicians, scholars, educators and enthusiasts keen on gaining a deeper understanding of how music and musicking can influence human interactions towards social integration, trust, cultural awareness and intercultural understanding. (shrink)

Our in-the-moment experience of the world can feel vivid and rich, even when we cannot describe our experience due to limitations of attention, memory or other cognitive processes. But the nature of visual awareness is quite sparse, as suggested by the phenomena of failures of awareness, such as change blindness and inattentional blindness. I will argue that once failures of memory or failures of comparison are ruled out as explanations for these phenomena, they present strong evidence against rich awareness. To (...) accommodate and explain these massive failures of awareness, any theory of phenomenal consciousness must downgrade phenomenology to a degree where it is functionless or, ironically, does not reflect what we experience. (shrink)

We provide a model in which students must choose whether or not to cheat on a course exam. By assuming that the moral cost of acting dishonestly decreases as the number of other people who behave in the same way increases, our model explains one important channel by which unethical behavior of other individuals can influence observers’ behavior. Through the use of the Global Games approach of equilibrium selection, we build a framework that provides the micro-foundations of peer effects on (...) academic dishonesty and shows how better student technology of cheating and higher disutility of effort make the cheating equilibrium more likely to be selected. By extending the model, we find that the peer effect strength is not affected by the level of homogeneity of the cohort, but decreases in the size of the class. Our approach may be seen as an important step towards reduced-form models of peer effects on dishonest behavior. (shrink)

But never let it be doubted that depression, in its extreme form, is madness. (Styron, 1990, p. 62)There is nothing wrong with our biology or our intelligence; sometimes we are just stuck. (Cvetkov...

Perhaps the most striking phenomenon of visual awareness is inattentional blindness (IB), in which a surprisingly salient event right in front of you may go completely unseen when unattended. Does IB reflect a failure of perception, or only of subsequent memory? Previous work has been unable to answer this question, due to a seemingly intractable dilemma: ruling out memory requires immediate perceptual reports, but soliciting such reports fuels an expectation that eliminates IB. Here we introduce a way of evoking repeated (...) IB in the same subjects and the same session: we show that observers fail to report seeing salient events’ not only when they have no expectation, but also when they have the wrong expectations about the events nature. This occurs when observers must immediately report seeing anything unexpected, even mid-event. Repeated IB thus demonstrates that IB is aptly named: it reflects a genuine deficit in moment-by-moment conscious perception, rather than a form of inattentional amnesia. (shrink)

The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of QmbC, (...) the simpler quantified LFI expanding classical logic, will be analyzed in detail. An axiomatic extension of QmbC called QLFI1o is also studied, which is equivalent to the quantified version of da Costa and D'Ottaviano 3-valued logic J3. The semantical structures for this logic turn out to be Tarkian structures based on twist structures. The expansion of QmbC and QLFI1o with a standard equality predicate is also considered. (shrink)

From the early to mid-1970s, Michel Foucault posited that power consists of a relation rather than a substance and that this relation is comprised of unequal forces engaged in a warlike struggle against each other, resulting invariably in the domination of some forces over others. This understanding of power, which he retrospectively dubbed `Nietzsche's hypothesis' and `the model of war', underpinned his well-known analyses of disciplinary power. Yet, Foucault in his Collège de France course from the academic year 1975-6, `Society (...) Must Be Defended', suddenly began to call into question this understanding and his doubts about it did not abate well into the late 1970s. In this article, we suggest that his militant politics in the early 1970s sustained his adherence to the war model and that his more cautious political attitude later in the decade underpinned his suspicions about this model. Key Words: biopolitics • Henri de Boulainvilliers • Michel Foucault • Thomas Hobbes • militancy • F. W. Nietzsche • politics • power • race • war. (shrink)

In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a. hyperalgebras) of a special kind, which were introduced in 2016 by W. Carnielli and M. Coniglio in order to give a non-deterministic semantical account for several paraconsistent logics known as logics of formal inconsistency, which are not algebraizable by means of the standard techniques. Each swap structure induces naturally a (...) non-deterministic matrix. The aim of this paper is to obtain a swap structures semantics for some Ivlev-like modal systems proposed in 2015 by M. Coniglio, L. Fariñas del Cerro and N. Peron. Completeness results will be stated by means of the notion of Lindenbaum–Tarski swap structures, which constitute a natural generalization to multialgebras of the concept of Lindenbaum–Tarski algebras. (shrink)

Social epistemologists should be well-equipped to explain and evaluate the growing vulnerabilities associated with filter bubbles, echo chambers, and group polarization in social media. However, almost all social epistemology has been built for social contexts that involve merely a speaker-hearer dyad. Filter bubbles, echo chambers, and group polarization all presuppose much larger and more complex network structures. In this paper, we lay the groundwork for a properly social epistemology that gives the role and structure of networks their due. In particular, (...) we formally define epistemic constructs that quantify the structural epistemic position of each node within an interconnected network. We argue for the epistemic value of a structure that we call the (m,k)-observer. We then present empirical evidence that (m,k)-observers are rare in social media discussions of controversial topics, which suggests that people suffer from serious problems of epistemic vulnerability. We conclude by arguing that social epistemologists and computer scientists should work together to develop minimal interventions that improve the structure of epistemic networks. (shrink)

In 1986, Mikenberg et al. introduced the semantic notion of quasi-truth defined by means of partial structures. In such structures, the predicates are seen as triples of pairwise disjoint sets: the set of tuples which satisfies, does not satisfy and can satisfy or not the predicate, respectively. The syntactical counterpart of the logic of partial truth is a rather complicated first-order modal logic. In the present article, the notion of predicates as triples is recursively extended, in a natural way, to (...) any complex formula of the first-order object language. From this, a new definition of quasi-truth is obtained. The proof-theoretic counterpart of the new semantics is a first-order paraconsistent logic whose propositional base is a 3-valued logic belonging to hierarchy of paraconsistent logics known as Logics of Formal Inconsistency, which was proposed by Carnielli and Marcos in 2002. (shrink)

In this article we set out to understand the significance of the process matrix formalism and the quantum causal modelling programme for ongoing disputes about the role of causation in fundamental physics. We argue that the process matrix programme has correctly identified a notion of ‘causal order’ which plays an important role in fundamental physics, but this notion is weaker than the common-sense conception of causation because it does not involve asymmetry. We argue that causal order plays an important role (...) in grounding more familiar causal phenomena. Then we apply these conclusions to the causal modelling programme within quantum foundations, arguing that since no-signalling quantum correlations cannot exhibit causal order, they should not be analysed using classical causal models. This resolves an open question about how to interpret fine-tuning in classical causal models of no-signalling correlations. Finally we observe that a quantum generalization of causal modelling can play a similar functional role to standard causal reasoning, but we emphasize that this functional characterisation does not entail that quantum causal models offer novel explanations of quantum processes. (shrink)

I argue that ML models used in science function as highly idealized toy models. If we treat ML models as a type of highly idealized toy model, then we can deploy standard representational and epistemic strategies from the toy model literature to explain why ML models can still provide epistemic success despite their lack of similarity to their targets.

In recent years the quantum foundations community has seen increasing interest in the possibility of using retrocausality as a route to rejecting the conclusions of Bell’s theorem and restoring locality to quantum physics. On the other hand, it has also been argued that accepting nonlocality leads to a form of retrocausality. In this article we seek to elucidate the relationship between retrocausality and locality. We begin by providing a brief schema of the various ways in which violations of Bell’s inequalities (...) might lead us to consider some form of retrocausality. We then consider some possible motivations for using retrocausality to rescue locality, arguing that none of these motivations is sufficient to show that local retrocausal theories should always be preferred to nonlocal retrocausal theories, and therefore there is no clear reason to focus research efforts entirely on seeking local retrocausal models. Next, we examine several different conceptions of retrocausality, concluding that ‘all-at-once’ retrocausality is more coherent than the alternative dynamical picture. We then argue that since the ‘all-at-once’ approach requires probabilities to be assigned to entire histories, locality is not playing any crucial role within this picture. Thus we conclude that using retrocausality as a way to rescue locality may not be the right route to retrocausality. Finally, we demonstrate that accepting the existence of nonlocality and insisting on the nonexistence of preferred reference frames leads naturally to the acceptance of a form of retrocausality, albeit one which is not mediated by physical systems travelling backwards in time. We argue that this is the more natural way to motivate retrocausal models of quantum mechanics. (shrink)

The application of neuroimaging technology to the study of the injured brain has transformed how neuroscientists understand disorders of consciousness, such as the vegetative and minimally conscious states, and deepened our understanding of mechanisms of recovery. This scientific progress, and its potential clinical translation, provides an opportunity for ethical reflection. It was against this scientific backdrop that we convened a conference of leading investigators in neuroimaging, disorders of consciousness and neuroethics. Our goal was to develop an ethical frame to move (...) these investigative techniques into mature clinical tools. This paper presents the recommendations and analysis of a Working Meeting on Ethics, Neuroimaging and Limited States of Consciousness held at Stanford University during June 2007. It represents an interdisciplinary approach to the challenges posed by the emerging use of neuroimaging technologies to describe and characterize disorders of consciousness. (shrink)

I argue that the Oxford school Everett interpretation is internally incoherent, because we cannot claim that in an Everettian universe the kinds of reasoning we have used to arrive at our beliefs about quantum mechanics would lead us to form true beliefs. I show that in an Everettian context, the experimental evidence that we have available could not provide empirical confirmation for quantum mechanics, and moreover that we would not even be able to establish reference to the theoretical entities of (...) quantum mechanics. I then consider a range of existing Everettian approaches to the probability problem and show that they do not succeed in overcoming this incoherence. (shrink)

Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of logics by swap structures are given. Specifically, (...) a formal study of swap structures for LFIs is developed, by adapting concepts of universal algebra to multialgebras in a suitable way. A decomposition theorem similar to Birkhoff’s representation theorem is obtained for each class of swap structures. Moreover, when applied to the 3-valued algebraizable logics J3 and Ciore, their classes of algebraic models are retrieved, and the swap structures semantics become twist structures semantics. This fact, together with the existence of a functor from the category of Boolean algebras to the category of swap structures for each LFI, suggests that swap structures can be seen as non-deterministic twist structures. This opens new avenues for dealing with non-algebraizable logics by the more general methodology of multialgebraic semantics. (shrink)

Research on the specific features of daydreaming compared with mind-wandering and night dreaming is a neglected topic in the philosophy of mind and the cognitive neuroscience of spontaneous thought. The extant research either conflates daydreaming with mind-wandering (whether understood as task-unrelated thought, unguided attention, or disunified thought), characterizes daydreaming as opposed to mind-wandering (Dorsch, 2015), or takes daydreaming to encompass any and all “imagined events” (Newby-Clark & Thavendran, 2018). These dueling definitions obstruct future research on spontaneous thought, and are insufficiently (...) precise to guide empirical studies. They also fail to illuminate the phenomenal core of daydreaming, namely, its dreamlike qualities. Although daydreaming is related to both mind-wandering and narrative imagination, it is not reducible to either. We argue that daydreams are experiences of spontaneous, immersive imagination in the waking state. The main task of our investigation is to distinguish daydreaming, conceptually and phenomenologically, from mind-wandering, on the one hand, and night dreaming, on the other. Although daydream experiences can vary widely, we distinguish prototypical experiences of daydreaming from adjacent imaginative activity, including fleeting imagery and “focused daydreaming,” or crafted visualization. We consider our phenomenological analysis as preparatory work for conceptually distinguishing different spontaneous and imaginative states so that they can be investigated accordingly with questionnaires and qualitative methods. We argue that precision about the phenomenal character of daydreaming can guide neurophenomenological investigations, help delimit studies on individual variance in daydreaming features, and identify differences among daydreaming, mind-wandering, and night dreaming conceptually and phenomenologically, and possibly eventually in terms of neural correlates. (shrink)

A ideia de uma crise do rádio consolidou-se no imaginário coletivo nas últimas décadas, a despeito de não haver ancoragem na realidade. Se muitas rádios tradicionais AM e FM saem do ar, vendidas a igrejas eletrônicas ou novos grupos empresariais, multiplica-se a oferta de conteúdos no contexto de um rádio expandido, que transborda para novas plataformas e é consumido nos mais diversos dispositivos. O rádio vai bem, obrigado, embora algumas emissoras de rádio em ondas hertzianas estejam mal das pernas, lamentando-se (...) da concorrência com serviços on-line e da erosão dos habituais índices de audiência, antes medidos em centenas de milhares de ouvintes por minuto. (shrink)

Despite being fairly powerful, finite non-deterministic matrices are unable to characterize some logics of formal inconsistency, such as those found between mbCcl and Cila. In order to overcome this limitation, we propose here restricted non-deterministic matrices (in short, RNmatrices), which are non-deterministic algebras together with a subset of the set of valuations. This allows us to characterize not only mbCcl and Cila (which is equivalent, up to language, to da Costa's logic C_1) but the whole hierarchy of da Costa's calculi (...) C_n. This produces a novel decision procedure for these logics. Moreover, we show that the RNmatrix semantics proposed here induces naturally a labelled tableau system for each C_n, which constitutes another decision procedure for these logics. This new semantics allows us to conceive da Costa's hierarchy of C-systems as a family of (non deterministically) (n+2)-valued logics, where n is the number of "inconsistently true" truth-values and 2 is the number of "classical" or "consistent" truth-values, for every C_n. (shrink)

Kant, los sábados por la tarde -- ¿Andaría en algo Sócrates? -- El álef de "El Aleph" -- La angustia ya no se lleva -- El tango de la muerte -- Los ilotas y la juventud maravillosa -- Los jóvenes en Flores -- El filósofo y la princesa.