Andrew Youpa offers an original reading of Spinoza's moral philosophy, arguing it is fundamentally an ethics of joy. Unlike approaches to moral philosophy that center on praiseworthiness or blameworthiness, Youpa maintains that Spinoza's moral philosophy is about how to live lovingly and joyously. His reading expands to examinations of the centrality of education and friendship to Spinoza's moral framework, his theory of emotions, and the metaphysical foundation of his moral philosophy.

This paper explains and defends a belief-first view of the relationship between belief and credence. On this view, credences are a species of beliefs, and the degree of credence is determined by the content of what is believed. We begin by developing what we take to be the most plausible belief-first view. Then, we offer several arguments for it. Finally, we show how it can resist objections that have been raised to belief-first views. We conclude that the belief-first view is (...) more plausible than many have previously supposed. (shrink)

I argue for an account of the vulnerability of trust, as a product of our need for secure social attachments to individuals and to a group. This account seeks to explain why it is true that, when we trust or distrust someone, we are susceptible to being betrayed by them, rather than merely disappointed or frustrated in our goals. What we are concerned about in matters of trust is, at the basic level, whether we matter, in a non-instrumental way, to (...) that individual, or to the group of which they are a member. We have this concern as a result of a drive to form secure social attachments. This makes us vulnerable in the characteristic way of being susceptible to betrayal, because how the other acts in such matters can demonstrate our lack of worth to them, or to the group, thereby threatening the security of our attachment, and eliciting the reactive attitudes characteristic of betrayal. (shrink)

Deep disagreements are characteristically resistant to rational resolution. This paper explores the contribution a virtue theoretic approach to argumentation can make towards settling the practical matter of what to do when confronted with apparent deep disagreement, with particular attention to the virtue of courage.

The traditional view of evidence in mathematics is that evidence is just proof and proof is just derivation. There are good reasons for thinking that this view should be rejected: it misrepresents both historical and current mathematical practice. Nonetheless, evidence, proof, and derivation are closely intertwined. This paper seeks to tease these concepts apart. It emphasizes the role of argumentation as a context shared by evidence, proofs, and derivations. The utility of argumentation theory, in general, and argumentation schemes, in particular, (...) as a methodology for the study of mathematical practice is thereby demonstrated. Argumentation schemes represent an almost untapped resource for mathematics education. Notably, they provide a consistent treatment of rigorous and non-rigorous argumentation, thereby working to exhibit the continuity of reasoning in mathematics with reasoning in other areas. Moreover, since argumentation schemes are a comparatively mature methodology, there is a substantial body of existing work to draw upon, including some increasingly sophisticated software tools. Such tools have significant potential for the analysis and evaluation of mathematical argumentation. The first four sections of the paper address the relationships of evidence to proof, proof to derivation, argument to proof, and argument to evidence, respectively. The final section directly addresses some of the educational implications of an argumentation scheme account of mathematical reasoning. (shrink)

This ambitious book by one of the most original and provocative thinkers in science studies offers a sophisticated new understanding of the nature of scientific, mathematical, and engineering practice and the production of scientific knowledge. Andrew Pickering offers a new approach to the unpredictable nature of change in science, taking into account the extraordinary number of factors—social, technological, conceptual, and natural—that interact to affect the creation of scientific knowledge. In his view, machines, instruments, facts, theories, conceptual and mathematical structures, (...) disciplined practices, and human beings are in constantly shifting relationships with one another—"mangled" together in unforeseeable ways that are shaped by the contingencies of culture, time, and place. Situating material as well as human agency in their larger cultural context, Pickering uses case studies to show how this picture of the open, changeable nature of science advances a richer understanding of scientific work both past and present. Pickering examines in detail the building of the bubble chamber in particle physics, the search for the quark, the construction of the quarternion system in mathematics, and the introduction of computer-controlled machine tools in industry. He uses these examples to address the most basic elements of scientific practice—the development of experimental apparatus, the production of facts, the development of theory, and the interrelation of machines and social organization. (shrink)

I intend to bring recent work applying virtue theory to the study of argument to bear on a much older problem, that of disagreements that resist rational resolution, sometimes termed "deep disagreements". Just as some virtue epistemologists have lately shifted focus onto epistemic vices, I shall argue that a renewed focus on the vices of argument can help to illuminate deep disagreements. In particular, I address the role of arrogance, both as a factor in the diagnosis of deep disagreements and (...) as an obstacle to their mutually acceptable resolution. Arrogant arguers are likely to make any disagreements to which they are party seem deeper than they really are and arrogance impedes the strategies that we might adopt to resolve deep disagreements. As a case in point, since arrogant or otherwise vicious arguers cannot be trusted not to exploit such strategies for untoward ends, any policy for deep disagreement amelioration must require particularly close attention to the vices of argument, lest they be exploited by the unscrupulous. (shrink)

In their account of theory change in logic, Aberdein and Read distinguish 'glorious' from 'inglorious' revolutions--only the former preserves all 'the key components of a theory' [1]. A widespread view, expressed in these terms, is that empirical science characteristically exhibits inglorious revolutions but that revolutions in mathematics are at most glorious [2]. Here are three possible responses: 0. Accept that empirical science and mathematics are methodologically discontinuous; 1. Argue that mathematics can exhibit inglorious revolutions; 2. Deny that inglorious revolutions are (...) characteristic of science. Where Aberdein and Read take option 1, option 2 is preferred by Mizrahi [3]. This paper seeks to resolve this disagreement through consideration of some putative mathematical revolutions. [1] Andrew Aberdein and Stephen Read, The philosophy of alternative logics, The Development of Modern Logic (Leila Haaparanta, ed.), Oxford University Press, Oxford, 2009, pp. 613-723. [2] Donald Gillies (ed.), Revolutions in Mathematics, Oxford University Press, Oxford, 1992. [3] Moti Mizrahi, Kuhn's incommensurability thesis: What's the argument?, Social Epistemology 29 (2015), no. 4, 361-378. (shrink)

Virtue theories have lately enjoyed a modest vogue in the study of argumentation, echoing the success of more far-reaching programmes in ethics and epistemology. Virtue theories of argumentation (VTA) comprise several conceptually distinct projects, including the provision of normative foundations for argument evaluation and a renewed focus on the character of good arguers. Perhaps the boldest of these is the pursuit of the fully satisfying argument, the argument that contributes to human flourishing. This project has an independently developed epistemic analogue: (...) eudaimonistic virtue epistemology. Both projects stress the importance of widening the range of cognitive goals beyond, respectively, cogency and knowledge; both projects emphasize social factors, the right sort of community being indispensable for the cultivation of the intellectual virtues necessary to each project. This paper proposes a unification of the two projects by arguing that the intellectual good life sought by eudaimonistic virtue epistemologists is best realized through the articulation of an account of argumentation that contributes to human flourishing. (shrink)

It has been a decade since the phrase virtue argumentation was introduced, and while it would be an exaggeration to say that it burst onto the scene, it would be just as much of an understatement to say that it has gone unnoticed. Trying to strike the virtuous mean between the extremes of hyperbole and litotes, then, we can fairly characterize it as a way of thinking about arguments and argumentation that has steadily attracted more and more attention from argumentation (...) theorists. We hope it is neither too late for an introduction to the field nor too soon for some retrospective assessment of where things stand. (shrink)

We argue that in implanted neurotechnology research, participants and researchers experience what Henry Richardson has called “moral entanglement.” Participants partially entrust researchers with access to their brains and thus to information that would otherwise be private, leading to created intimacies and special obligations of beneficence for researchers and research funding agencies. One of these obligations, we argue, is about continued access to beneficial technology once a trial ends. We make the case for moral entanglement in this context through exploration of (...) participants’ vulnerability, uncompensated risks and burdens, depth of relationship with the research team, and dependence on researchers in implanted neurotechnology trials. (shrink)

We explore the role of episodic imagining in explaining why people both differentially report that it seems to them in experience as though time robustly passes, and why they differentially report that they believe that time does in fact robustly pass. We empirically investigate two hypotheses, the differential vividness hypothesis, and the mental time travel hypothesis. According to each of these, the degree to which people vividly episodically imagine past/future states of affairs influences their tendency to report that it seems (...) to them as though time robustly passes and to judge that time does robustly pass. According to the former, a greater degree of vividness will tend to increase the extent to which people make such reports, while according to the latter, it will tend to decrease the extent to which people make such reports. We found weak evidence in favour of the former hypothesis. We reflect on the implications of this finding for theorising about such reports. (shrink)

What it would take to vindicate folk temporal error theory? This question is significant against a backdrop of new views in quantum gravity—so-called timeless physical theories—that claim to eliminate time by eliminating a one-dimensional substructure of ordered temporal instants. Ought we to conclude that if these views are correct, nothing satisfies the folk concept of time and hence that folk temporal error theory is true? In light of evidence we gathered, we argue that physical theories that entirely eliminate an ordered (...) substructure vindicate folk temporal error theory. (shrink)

In this chapter I argue that intellectual humility is related to argumentation in several distinct but mutually supporting ways. I begin by drawing connections between humility and two topics of long-standing importance to the evaluation of informal arguments: the ad verecundiam fallacy and the principle of charity. I then explore the more explicit role that humility plays in recent work on critical thinking dispositions, deliberative virtues, and virtue theories of argumentation.

Clinicians have good moral and professional reasons to contribute to pragmatic clinical trials (PCTs). We argue that clinicians have a defeasible duty to participate in this research that takes place in usual care settings and does not involve substantive deviation from their ordinary care practices. However, a variety of countervailing reasons may excuse clinicians from this duty in particular cases. Yet because there is a moral default in favor of participating, clinicians who wish to opt out of this research must (...) justify their refusal. Reasons to refuse include that the trial is badly designed in some way, that the trial activities will violate the clinician’s conscience, or that the trial will impose excessive burdens on the clinician. (shrink)

ABSTRACT:Psychedelic substances have great promise for the treatment of many conditions, and they are the subject of intensive research. As with other medical treatments, both research and clinical use of psychedelics depend on our ability to ensure informed consent by patients and research participants. However, some have argued that informed consent for psychedelic use may be impossible, because psychedelic experiences can be transformative in the sense articulated by L. A. Paul (2014). For Paul, transformative experiences involve either the acquisition of (...) knowledge that cannot be obtained in any other way or changes in the self. Either of these characteristics may appear to undermine informed consent. This article argues, however, that there is limited evidence that psychedelic experiences are transformative in Paul's sense, and that they may not differ in their transformative features from other common medical experiences for which informed consent is clearly possible. Further, even if psychedelic experiences can be transformative, informed consent is still possible. Because psychedelic experiences are importantly different in several respects from other medical experiences, this article closes with recommendations for how these differences should be reflected in informed consent processes. (shrink)

The use of counterfactuals for considerations of algorithmic fairness and explainability is gaining prominence within the machine learning community and industry. This paper argues for more caution with the use of counterfactuals when the facts to be considered are social categories such as race or gender. We review a broad body of papers from philosophy and social sciences on social ontology and the semantics of counterfactuals, and we conclude that the counterfactual approach in machine learning fairness and social explainability can (...) require an incoherent theory of what social categories are. Our findings suggest that most often the social categories may not admit counterfactual manipulation, and hence may not appropriately satisfy the demands for evaluating the truth or falsity of counterfactuals. This is important because the wide- spread use of counterfactuals in machine learning can lead to misleading results when applied in high-stakes domains. Accordingly, we argue that even though counterfactuals play an essential part in some causal inferences, their use for questions of algorithmic fairness and social explanations can create more problems than they resolve. Our positive result is a set of tenets about using counterfactuals for fairness and explanations in machine learning. (shrink)

Purpose A survey of the attitudes of students in eight countries towards the revelations of mass surveillance by the US’ NSA and the UK’s GCHQ has been described in an introductory paper and seven country-specific papers. This paper aims to present a comparison of the results from these countries and draws conclusions about the similarities and differences noted. Design/methodology/approach A questionnaire was deployed in Germany, Japan, Mexico, New Zealand, The People’s Republic of China, Spain, Sweden and Taiwan. The original survey (...) was in English, translated into German, Japanese and Chinese for relevant countries. The survey consists of a combination of Likert scale, Yes/no and free-text responses. The results are quantitatively analysed using appropriate statistical tools and the qualitative answers are interpreted. Findings There are significant differences between respondents in the countries surveyed with respect to their general privacy attitudes and their willingness to follow Snowden’s lead, even where they believe his actions served the public good. Research limitations/implications Owing to resource limitations, only university students were surveyed. In some countries, the relatively small number of respondents limits the ability to make meaningful statistical comparisons between respondents from those countries and from elsewhere on some issues. Practical implications Snowden’s actions are generally seen as laudable and having had positive results, among the respondents surveyed. Such results should give pause to governments seeking to expand mass surveillance by government entities. Originality/value There have been few surveys regarding attitudes to Snowden’s revelations, despite the significant press attention and political actions that have flowed from it. The context of attitudes to both the actions he revealed and the act of revelation itself is useful in constructing political and philosophical arguments about the balance between surveillance activity for state security and the privacy of individual citizens. (shrink)

Growing evidence suggests that nurses and other clinicians often feel insufficiently equipped to manage ethical issues that arise in their practice (Truog et al. 2015; Woods 2005; Darmon et al. 201...

Since Chenyang Li’s (1994) groundbreaking article there has been interest in reading early Confucian ethics through the lens of care ethics. In this paper, I examine the prospects for dialogue between the two in light of recent work in both fields. I argue that, despite some similarities, early Confucian ethics is not best understood as a form of care ethics, of the kind articulated by Nel Noddings (1984, 2002) and others. Reasons include incongruence deriving from the absence in the Chinese (...) texts of a developed account of need, and doubts about whether the parent-child relationship in Confucian thought is best characterized by ‘care’. More importantly, care is merely one value directing the Confucian commitment to family and personal bonds, with different kinds of relationship, including the five relationships presented in the Mencius, entailing different idealized modes of relating to others. (shrink)

There has been little overt discussion of the experimental philosophy of logic or mathematics. So it may be tempting to assume that application of the methods of experimental philosophy to these areas is impractical or unavailing. This assumption is undercut by three trends in recent research: a renewed interest in historical antecedents of experimental philosophy in philosophical logic; a “practice turn” in the philosophies of mathematics and logic; and philosophical interest in a substantial body of work in adjacent disciplines, such (...) as the psychology of reasoning and mathematics education. This introduction offers a snapshot of each trend and addresses how they intersect with some of the standard criticisms of experimental philosophy. It also briefly summarizes the specific contribution of the other chapters of this book. (shrink)

If good argument is virtuous, then fallacies are vicious. Yet fallacies cannot just be identified with vices, since vices are dispositional properties of agents whereas fallacies are types of argument. Rather, if the normativity of good argumentation is explicable in terms of virtues, we should expect the wrongness of fallacies to be explicable in terms of vices. This approach is defended through case studies of several fallacies, with particular emphasis on the ad hominem.

Many of the methods commonly used to research mathematical practice, such as analyses of historical episodes or individual cases, are particularly well-suited to generating causal hypotheses, but less well-suited to testing causal hypotheses. In this paper we reflect on the contribution that the so-called hypothetico-deductive method, with a particular focus on experimental studies, can make to our understanding of mathematical practice. By way of illustration, we report an experiment that investigated how mathematicians attribute aesthetic properties to mathematical proofs. We demonstrate (...) that perceptions of the aesthetic properties of mathematical proofs are, in some cases at least, subject to social influence. Specifically, we show that mathematicians’ aesthetic judgements tend to conform to the judgements made by others. Pedagogical implications are discussed. (shrink)

In this paper I argue that we can give a plausible account of how to compare pragmatic and evidential normative reasons for belief. The account I offer is given in the form of a ‘defeasing function’. This function allows for a sophisticated comparison of the two types of reasons without assigning complex features to the logical structures of either type of reason.

Concepts of space and time are widely developed in physics. However, there is a considerable lack of biologically plausible theoretical frameworks that can demonstrate how space and time dimensions are implemented in the activity of the most complex life-system – the brain with a mind. Brain activity is organized both temporally and spatially, thus representing space-time in the brain. Critical analysis of recent research on the space-time organization of the brain’s activity pointed to the existence of so-called operational space-time in (...) the brain. This space-time is limited to the execution of brain operations of differing complexity. During each such brain operation a particular short-term spatio-temporal pattern of integrated activity of different brain areas emerges within related operational space-time. At the same time, to have a fully functional human brain one needs to have a subjective mental experience. Current research on the subjective mental experience offers detailed analysis of space-time organization of the mind. According to this research, subjective mental experience (subjective virtual world) has definitive spatial and temporal properties similar to many physical phenomena. Based on systematic review of the propositions and tenets of brain and mind space-time descriptions, our aim in this review essay is to explore the relations between the two. To be precise, we would like to discuss the hypothesis that via the brain operational space-time the mind subjective space-time is connected to otherwise distant physical space-time reality. (shrink)

This chapter explores the possibility of a metaphysically deflationist, explanatorily robust version of moral realism. The view has no truck with inquiries into the naturalness, constitution, or reducibility of moral properties, and purports to dissolve, rather than solve, the “placement problem.” But it offers a general explanation from outside the ethical domain of how we can accurately represent the world in moral thought and talk; this distinguishes it from some versions of expressivism and constitutivism, and from quietism. It is often (...) claimed that defenders of non-quietist moral realism “owe us” an account of what moral properties are like, how they fit into the world described by science, how we can “reach out to them” in thought and language, and how they can exert an influence on us so we can know of them. It is not clear, this chapter argues, that the robust realist is under any such obligation. (shrink)

It is commonly assumed that we currently face a climate crisis insofar as the climatological effects of excessive carbon emissions risk destabilizing advanced civilization and jeopardize cherished modern institutions. The threat posed by climate change is treated as unprecedented, demanding urgent action to avert apocalyptic conditions that will limit or even erase the future of all humankind. In this essay, we argue that this framework—the default climate crisis motif—perpetuates a discursive infrastructure that commits its proponents, if unwittingly, to logics that (...) ultimately reinforce the dynamics driving climate change and its attending injustices. By centering Indigenous feminist environmental discourses, which privilege the role of richly interweaving networks of responsibilities composing extended more-than-human kinship arrangements, we contend that climate crisis is instead primarily a manifestation of devastating multidimensional relational disruptions of Indigenous lands and lives. More pointedly, it is a rebound effect of centuries of accumulating colonial injustices against responsible lifeways that are critical for socioecological adaptability and responsiveness. Framing climate crisis as relational crisis hereby creates discursive space for much needed transformational Indigenous feminist visions for justly and effectively addressing climate change. (shrink)

Expert skill in music performance involves an apparent paradox. On stage, expert musicians are required accurately to retrieve information that has been encoded over hours of practice. Yet they must also remain open to the demands of the ever-changing situational contingencies with which they are faced during performance. To further explore this apparent paradox and the way in which it is negotiated by expert musicians, this article profiles theories presented by Roger Chaffin, Hubert Dreyfus and Tony and Helga Noice. For (...) Chaffin, expert skill in music performance relies solely upon overarching mental representations, while, for Dreyfus, such representations are needed only by novices, while experts rely on a more embodied form of coping. Between Chaffin and Dreyfus sit the Noices, who argue that both overarching cognitive structures and embodied processes underlie expert skill. We then present the Applying Intelligence to the Reflexes (AIR) approach?a differently nuanced model of expert skill aligned with the integrative spirit of the Noices? research. The AIR approach suggests that musicians negotiate the apparent paradox of expert skill via a mindedness that allows flexibility of attention during music performance. We offer data from recent doctoral research conducted by the first author of this article to demonstrate at a practical level the usefulness of the AIR approach when attempting to understand the complexities of expert skill in music performance. (shrink)

Recently, a three-dimensional construct model for complex experiential Selfhood has been proposed (Fingelkurts et al., 2016b,c). According to this model, three specific subnets (or modules) of the brain self-referential network (SRN) are responsible for the manifestation of three aspects/features of the subjective sense of Selfhood. Follow up multiple studies established a tight relation between alterations in the functional integrity of the triad of SRN modules and related to them three aspects/features of the sense of self; however, the causality of this (...) relation is yet to be shown. In this article we approached the question of causality by exploring functional integrity within the three SRN modules that are thought to underlie the three phenomenal components of Selfhood while these components were manipulated mentally by experienced meditators in a controlled and independent manner. Participants were requested, in a block-randomised manner, to mentally induce states representing either increased (up-regulation) or decreased (down-regulation) sense of (a) witnessing agency (“Self”), or (b) body representational-emotional agency (“Me”), or (c) reflective/narrative agency (“I”), while their brain activity was recorded by an electroencephalogram (EEG). This EEG-data was complemented by first-person phenomenological reports and standardised questionnaires which focused on subjective contents of three aspects of Selfhood. The results of the study strengthen the case for a direct causative relationship between three phenomenological aspects of Selfhood and related to them three modules of the brain SRN. Furthermore, the putative integrative model of the dynamic interrelations among three modules of the SRN has been proposed. (shrink)

Cost conversations are essential to informed consent because patients have a right to information that they think is relevant, and patients overwhelmingly report that cost information is relevant to their medical decisions. Providers have an ethical responsibility to provide necessary information for informed consent, and therefore must discuss costs. The Shared Decision Making model is ideal for enabling this exchange of information, and decision aids are also helpful. Although barriers exist, many useful tools can help providers fulfill this obligation, and (...) encouraging progress is being made to improve cost transparency from insurers and facilities. (shrink)

While many scholars agree that the ‘‘separation thesis’’ (Freeman in Bus Ethics Quart 4(4):409–421, 1994)—that business issues and ethical issues can be neatly compartmentalized—is harmful to business ethics scholarship and practice, they also conclude that eliminating it is either inadvisable because of the usefulness of the positive/ normative distinction, or actually impossible. Based on an exploration of the fact/value dichotomy and the pragmatist and virtue theoretic responses to it, we develop an approach to eliminating the separation thesis that integrates ‘‘business’’ (...) with ‘‘ethics’’ while still permitting a positive/ normative distinction, which we call ‘‘ethics from observation.’’. (shrink)

This paper introduces the term "Hempel's Dilemma" to refer to the following challenge to any formulation of physicalism that appeals to the content of physics: if physical properties are those mentioned as such in current physics, then physicalism is probably false; but if they are those mentioned as such in a completed physics, then, since we have no idea what completed physics will look like, the resulting formulation of physicalism will lack content that is determinable by us now. It shows (...) how the first horn of Hempel's Dilemma can be avoided. The key is an account of what is required for the acceptance of physicalism according to which to accept physicalism does not require assigning to physicalism a high probability, merely a higher probability than is assigned to any of its relevant rivals. This account of acceptance is shown to satisfy all the intuitive demands of the scientific realist, so that to be a physicalist is simply to be a scientific realist regarding physicalism. (shrink)

: Newton's critics argued that his treatment of gravity in the Principia saddles him with a substantial dilemma. If he insists that gravity is a real force, he must invoke action at a distance because of his explicit failure to characterize the mechanism underlying gravity. To avoid distant action, however, he must admit that gravity is not a real force, and that he has therefore failed to discover the actual cause of the phenomena associated with it. A reinterpretation of Newton's (...) distinction between the "mathematical" and the "physical" treatment of force indicates how he can reject each horn of this dilemma. (shrink)

In this new collection of essays, Andrew Feenberg argues that conflicts over the design and organization of the technical systems that structure our society shape deep choices for the future. A pioneer in the philosophy of technology, Feenberg demonstrates the continuing vitality of the critical theory of the Frankfurt School. He calls into question the anti-technological stance commonly associated with its theoretical legacy and argues that technology contains potentialities that could be developed as the basis for an alternative form (...) of modern society. Feenberg's critical reflections on the ideas of Jürgen Habermas, Herbert Marcuse, Jean-François Lyotard, and Kitaro Nishida shed new light on the philosophical study of technology and modernity. He contests the prevalent conception of technology as an unstoppable force responsive only to its own internal dynamic and politicizes the discussion of its social and cultural construction. This argument is substantiated in a series of compelling and well-grounded case studies. Through his exploration of science fiction and film, AIDS research, the French experience with the "information superhighway," and the Japanese reception of Western values, he demonstrates how technology, when subjected to public pressure and debate, can incorporate ethical and aesthetic values. (shrink)

Purpose This paper aims to present the baseline English survey used in the other papers in this special issue. Design/methodology/approach The survey includes yes/no, Likert scale and free text responses, which were analysed quantitatively and qualitatively. Findings Respondents to the survey expressed divergent views of whether they would emulate Snowden, even though most in all countries believed he had helped rather than harmed society. Originality/value This is the only such broad survey on attitudes to Snowden of which the authors are (...) aware. (shrink)

We prove the following surprising property of Heyting's intuitionistic propositional calculus, IpC. Consider the collection of formulas, φ, built up from propositional variables (p,q,r,...) and falsity $(\perp)$ using conjunction $(\wedge)$ , disjunction (∨) and implication (→). Write $\vdash\phi$ to indicate that such a formula is intuitionistically valid. We show that for each variable p and formula φ there exists a formula Apφ (effectively computable from φ), containing only variables not equal to p which occur in φ, and such that for (...) all formulas ψ not involving $p, \vdash \psi \rightarrow A_p\phi$ if and only if $\vdash \psi \rightarrow \phi$ . Consequently quantification over propositional variables can be modelled in IpC, and there is an interpretation of the second order propositional calculus, IpC2, in IpC which restricts to the identity on first order propositions. An immediate corollary is the strengthening of the usual interpolation theorem for IpC to the statement that there are least and greatest interpolant formulas for any given pair of formulas. The result also has a number of interesting consequences for the algebraic counterpart of IpC, the theory of Heyting algebras. In particular we show that a model of IpC2 can be constructed whose algebra of truth-values is equal to any given Heyting algebra. (shrink)

Using theoretical analysis of self-consciousness concept and experimental evidence on the brain default mode network (DMN) that constitutes the neural signature of self-referential processes, we hypothesized that the anterior and posterior subnets comprising the DMN should show differences in their integrity as a function of meditation training. Functional connectivity within DMN and its subnets (measured by operational synchrony) has been measured in ten novice meditators using an electroencephalogram (EEG) recording in a pre-/post-meditation intervention design. We have found that while the (...) whole DMN was clearly suppressed, different subnets of DMN responded differently after 4 months of meditation training: The strength of EEG operational synchrony in the right and left posterior modules of the DMN decreased in resting post-meditation condition compared to a pre-meditation condition, whereas the frontal DMN module on the contrary exhibited an increase in the strength of EEG operational synchrony. These findings combined with published data on functional–anatomic heterogeneity within the DMN and on trait subjective experiences commonly found following meditation allow us to propose that the first-person perspective and the sense of agency (the witnessing observer) are presented by the frontal DMN module, while the posterior modules of the DMN are generally responsible for the experience of the continuity of ‘I’ as embodied and localized within bodily space. Significance of these findings is discussed. (shrink)

The understanding of the interrelationship between brain and mind remains far from clear. It is well established that the brain's capacity to integrate information from numerous sources forms the basis for cognitive abilities. However, the core unresolved question is how information about the "objective" physical entities of the external world can be integrated, and how unifiedand coherent mental states (or Gestalts) can be established in the internal entities of distributed neuronal systems. The present paper offers a unified methodological and conceptual (...) basis for a possible mechanism of how the transient synchronization of brain operations may construct the unified and relatively stable neural states, which underlie mental states. It was shown that the sequence of metastable spatial EEG mosaics does exist and probably reflects the rapid stabilization periods of the interrelation of large neuron systems. At the EEG level this is reflected in the stabilization of quasi-stationary segments on corresponding channels. Within the introduced framework, physical brain processes and psychological processes are considered as two basic aspects of a single whole informational brain state. The relations between operational process of the brain, mental states and consciousness are discussed. (shrink)

I argue that the work of art in rock music is a track constructed in the studio, that tracks usually manifest songs, which can be performed live, and that a cover version is a track (successfully) intended to manifest the same song as some other track. This ontology reflects the way informed audiences talk about rock. It recognizes not only the centrality of recorded tracks to the tradition, as discussed by Theodore Gracyk, but also the value accorded to live performance (...) skills, emphasized by Stephen Davies. (shrink)