• An adequate conceptual framework is still needed to account for phenomena that (i) have a first-person, subjective-experiential or phenomenal character; (ii) are (usually) reportable and describable (in humans); and (iii) are neurobiologically realized.2 • The conscious subject plays an unavoidable epistemological role in characterizing the explanadum of consciousness through first-person descriptive reports. The experimentalist is then able to link first-person data and third-person data. Yet the generation of first-person data raises difficult epistemological issues about the relation of second-order awareness (...) or meta-awareness to first-order experience (e.g. (shrink)
_sciousness called ‘neurophenomenology’ (Varela 1996) and illustrates it with a_ _recent pilot study (Lutz et al., 2002). At a theoretical level, neurophenomenology_ _pursues an embodied and large-scale dynamical approach to the_ _neurophysiology of consciousness (Varela 1995; Thompson and Varela 2001;_ _Varela and Thompson 2003). At a methodological level, the neurophenomeno-_ _logical strategy is to make rigorous and extensive use of first-person data about_ _subjective experience as a heuristic to describe and quantify the large-scale_ _neurodynamics of consciousness (Lutz 2002). (...) The paper foocuses on_ _neurophenomenology in relation to three challenging methodological issues_ _about incorporating first-person data into cognitive neuroscience: (i) first-person_ _reports can be biased or inaccurate; (ii) the process of generating first-person_ _reports about an experience can modify that experience; and (iii) there is an ‘ex-_ _planatory gap’ in our understanding of how to relate first-person, phenomeno-_ _logical data to third-person, biobehavioural data._. (shrink)
This paper analyzes an explicit instantiation of the program of neurophenomenology in a neuroscientific protocol. Neurophenomenology takes seriously the importance of linking the scientific study of consciousness to the careful examination of experience with a specific first-person methodology. My first claim is that such strategy is a fruitful heuristic because it produces new data and illuminates their relation to subjective experience. My second claim is that the approach could open the door to a natural account of the structure of human (...) experience as it is mobilized in itself in such methodology. In this view, generative passages define the type of circulation which explicitly roots the active and disciplined insight the subject has about his/her experience in a biological emergent process. (shrink)
I defend the Received View on scientific theories as developed by Carnap, Hempel, and Feigl against a number of criticisms based on misconceptions. First, I dispute the claim that the Received View demands axiomatizations in first order logic, and the further claim that these axiomatizations must include axioms for the mathematics used in the scientific theories. Next, I contend that models are important according to the Received View. Finally, I argue against the claim that the Received View is intended to (...) make the concept of a theory more precise. Rather, it is meant as a generalizable framework for explicating specific theories. (shrink)
I argue that, contrary to common opinion, (i) unintended models do not pose a significant problem for syntactic approaches to scientific theories, (ii) in syntactic approaches, scientific theories can be as well connected to the world as in semantic ones, and (iii) some syntactic approaches are at least as language independent as semantic ones. Based on these results, I argue that syntactic and semantic approaches fare equally well when it comes to (iv) capturing the theory-observation relation, (v) ease of application, (...) and (vi) accommodating the use of models in the sciences. (shrink)
Meditation can be conceptualized as a family of complex tial to be speciﬁc about the type of meditation practice emotional and attentional regulatory training regimes under investigation. Failure to make such distinctions developed for various ends, including the cultivation of..
The sheer multitude of criteria of empirical significance has been taken as evidence that the pre-analytic notion being explicated is too vague to be useful. I show instead that a significant number of these criteria—by Ayer, Popper, Przełęcki, Suppes, and David Lewis, among others—not only form a coherent whole, but also connect directly to the theory of definition, the notion of empirical content as explicated by Ramsey sentences, and the theory of measurement; two criteria by Carnap and Sober are trivial, (...) but can be saved and connected to the other criteria by slight modifications. A corollary is that the ordinary language defense of Lewis, the conceptual arguments by Ayer and Popper, the theoretical considerations by Przełęcki, and the practical considerations by Suppes all apply to the same criterion or closely related criteria. Furthermore, the equivalence of some criteria allows for their individual justifications to be taken cumulatively and, together with the entailment relations between nonequivalent criteria, suggest criteria for general auxiliary assumptions, comparative criteria, and more liberal conceptions of observation. (shrink)
Abstract Artificial language philosophy (also called ‘ideal language philosophy’) is the position that philosophical problems are best solved or dissolved through a reform of language. Its underlying methodology—the development of languages for specific purposes—leads to a conventionalist view of language in general and of concepts in particular. I argue that many philosophical practices can be reinterpreted as applications of artificial language philosophy. In addition, many factually occurring interrelations between the sciences and philosophy of science are justified and clarified by the (...) assumption of an artificial language methodology. Content Type Journal Article Category Original paper in Philosophy of Science Pages 1-23 DOI 10.1007/s13194-011-0042-6 Authors Sebastian Lutz, Theoretical Philosophy Unit, Utrecht University, Postbus 80126, 3508 TC Utrecht, The Netherlands Journal European Journal for Philosophy of Science Online ISSN 1879-4920 Print ISSN 1879-4912. (shrink)
In "A Danger of Definition: Polar Predicates in Metaethics," Mark Alfano (2009) concludes that the response-dependence theory of Prinz and others and the fitting-attitudes theory first articulated by Brentano are false because they imply empirically false statements. He further concludes that these statements cannot be avoided by revising the definitions of the terms 'good' and 'bad' used in the two theories. I strengthen Alfano's first conclusion by arguing that the two theories are false even if they imply empirically true (...) but conceptually contingent statements, and show how, contrary to his second conclusion, the theories can avoid both empirically false and conceptually contingent implications. (shrink)
The current fMRI study investigated cortical processing of electrically induced painful tooth stimulation of both maxillary canines and central incisors in 21 healthy, right handed volunteers. A constant current, 150% above tooth specific pain-perception thresholds was applied and corresponding online ratings of perceived pain intensity were recorded with a computerized visual analog scale during fMRI measurements. Lateralization of cortical activations was investigated by a region of interest analysis. A wide cortical network distributed over several areas, typically described as the pain (...) or nociceptive matrix, was activated on a conservative significance level. Distinct lateralization patterns of analyzed structures allow functional classification of the dental pain processing system. Namely, certain parts are activated independent of the stimulation site, and hence are interpreted to reflect cognitive emotional aspects. Other parts represent somatotopic processing and therefore reflect discriminative perceptive analysis. Of particular interest is the observed amygdala activity depending on the stimulated tooth that might indicate a role in somatotopic encoding. (shrink)
The aim of this paper is to construct a tableau decision algorithm for the modal description logic K ALC with constant domains. More precisely, we present a tableau procedure that is capable of deciding, given an ALC-formula with extra modal operators (which are applied only to concepts and TBox axioms, but not to roles), whether is satisfiable in a model with constant domains and arbitrary accessibility relations. Tableau-based algorithms have been shown to be practical even for logics of rather high (...) complexity. This gives us grounds to believe that, although the satisfiability problem for K ALC is known to be NEXPTIME-complete, by providing a tableau decision algorithm we demonstrate that highly expressive description logics with modal operators have a chance to be implementable. The paper gives a solution to an open problem of Baader and Laux . (shrink)
We discuss various ways, which have been plainly justified in the secondhalf of the twentieth century, to introduce infinitesimals, and we considerthe new style of reasoning in mathematical analysis that they allow.
Introduction -- The Minos and the Socratic examination of law -- The rational interpretation of divine law -- The examination of laws of Sparta -- Divine law and moral education -- The problem of erotic love and practical reason under divine law -- Perfect justice and divine providence -- The savior of the law.
We discuss various ways, which have been plainly justified in the second half of the twentieth century, to introduce infinitesimals, and we consider the new style of reasoning in mathematical analysis that they allow.
In our age of globalization, we need a theory of global management consistent with our common human nature. The place to begin in developing such a theory is the philosophy of traditional cultures. The article focuses on African philosophy and its fruitfulness for contributing to a theory of management consistent with African traditional cultures. It also looks briefly at the Confucian and Platonic-Aristotelian traditions and notes points of agreement with African traditions. It concludes that the needed theory of global management (...) should regard the firm as a community, not a collection of individuals, and should understand the purpose of management as promoting the common good. (shrink)
Marian Przełęcki’s semantics for the Received View is a good explication of Carnap’s position on the subject, anticipates many discussions and results from both proponents and opponents of the Received View, and can be the basis for a thriving research program.
This review is a critical discussion of three main claims in Debs and Redhead’s thought-provoking book Objectivity, Invariance, and Convention. These claims are: (i) Social acts impinge upon formal aspects of scientific representation; (ii) symmetries introduce the need for conventional choice; (iii) perspectival symmetry is a necessary and sufficient condition for objectivity, while symmetry simpliciter fails to be necessary.
Meditation can be conceptualized as a family of complex tial to be specific about the type of meditation practice emotional and attentional regulatory training regimes under investigation. Failure to make such distinctions developed for various ends, including the cultivation of..
Based on a formalization of constructive empiricism’s core concept of empirical adequacy, I show that some previous discussions rest on misunderstandings of empirical adequacy. Using one of the inspirations for constructive empiricism, I generalize the concept of a theory to avoid implausible presumptions about the relations of theoretical concepts and observations, and generalize empirical adequacy to allow for lack of knowledge, approximations, and successive gain of knowledge and precision. As a test case, I provide an application of the concepts to (...) a simple interference phenomenon. (shrink)
Attention to internal body sensations is practiced in most meditation traditions. Many traditions state that this practice results in increased awareness of internal body sensations, but scientific studies evaluating this claim are lacking. We predicted that experienced meditators would display performance superior to that of nonmeditators on heartbeat detection, a standard noninvasive measure of resting interoceptive awareness. We compared two groups of meditators (Tibetan Buddhist and Kundalini) to an age- and body mass index-matched group of nonmeditators. Contrary to our prediction, (...) we found no evidence that meditators were superior to nonmeditators in the heartbeat detection task, across several sessions and respiratory modulation conditions. Compared to nonmeditators, however, meditators consistently rated their interoceptive performance as superior and the difficulty of the task as easier. These results provide evidence against the notion that practicing attention to internal body sensations, a core feature of meditation, enhances the ability to sense the heartbeat at rest. (shrink)
Laudan’s argument against the possibility of a demarcation criterion for scientiﬁc theories rests on establishing that any criterion must be a necessary and sufﬁcient condition. But Laudan’s argument at most establishes that any criterion must provide a necessary condition and a possibly different sufﬁcient condition. His own claims suggest that such a criterion is possible.
I show that the central notion of Constructive Empiricism, empirical adequacy, can be expressed syntactically and specifically in the Received View of the logical empiricists. The formalization shows that the Received View is superior to Constructive Empiricism in the treatment of theories involving unobservable objects or functions from observable to unobserv- able objects. It also suggests a formalization of ‘full empirical informative- ness’ in Constructive Empiricism.
I provide a compact reformulation of Carnap’s conditions of adequacy for the analytic and the synthetic component of a theory and show that, contrary to arguments by Winnie and Demopoulos, Carnap’s conditions of adequacy need not be supplemented by another condition. This has immediate implications for the analytic component of reduction sentences.
This dissertation consists of three parts. Part I is a defense of an artificial language methodology in philosophy and a historical and systematic defense of the logical empiricists' application of an artificial language methodology to scientific theories. These defenses provide a justification for the presumptions of a host of criteria of empirical significance, which I analyze, compare, and develop in part II. On the basis of this analysis, in part III I use a variety of criteria to evaluate the scientific (...) status of intelligent design, and further discuss confirmation, reduction, and concept formation. (shrink)
I show that a theory may be empirically adequate according to van Fraassen's definition even though it can be observationally determined that the theory is false. I suggest a modification of empirical adequacy that avoids this result.
Recent brain imaging studies using functional magnetic resonance imaging (fMRI) have implicated insula and anterior cingulate cortices in the empathic response to another’s pain. However, virtually nothing is known about the impact of the voluntary generation of compassion on this network. To investigate these questions we assessed brain activity using fMRI while novice and expert meditation practitioners generated a loving-kindness-compassion meditation state. To probe affective reactivity, we presented emotional and neutral sounds during the meditation and comparison periods. Our main hypothesis (...) was that the concern for others cultivated during this form of meditation enhances affective processing, in particular in response to sounds of distress, and that this response to emotional sounds is modulated by the degree of meditation training. The presentation of the emotional sounds was associated with increased pupil diameter and activation of limbic regions (insula and cingulate cortices) during meditation (versus rest). During meditation, activation in insula was greater during presentation of negative sounds than positive or neutral sounds in expert than it was in novice meditators. The strength of activation in insula was also associated with self-reported intensity of the meditation for both groups. These results support the role of the limbic circuitry in emotion sharing. The comparison between meditation vs. rest states between experts and novices also showed increased activation in amygdala, right temporo-parietal junction (TPJ), and right posterior superior temporal sulcus (pSTS) in response to all sounds, suggesting, greater detection of the emotional sounds, and enhanced mentation in response to emotional human vocalizations for experts than novices during meditation. Together these data indicate that the mental expertise to cultivate positive emotion alters the activation of circuitries previously linked to empathy and theory of mind in response to emotional stimuli.. (shrink)
The capacity to stabilize the content of attention over time varies among individuals, and its impairment is a hallmark of several mental illnesses. Impairments in sustained attention in patients with attention disorders have been associated with increased trial-to-trial variability in reaction time and event-related potential deficits during attention tasks. At present, it is unclear whether the ability to sustain attention and its underlying brain circuitry are transformable through training. Here, we show, with dichotic listening task performance and electroencephalography, that training (...) attention, as cultivated by meditation, can improve the ability to sustain atten- tion. Three months of intensive meditation training reduced variability in attentional processing of target tones, as indicated by both enhanced theta-band phase consistency of oscillatory neural responses over anterior brain areas and reduced reaction time variability. Furthermore, those individuals who showed the greatest increase in neural response consistency showed the largest decrease in behav- ioral response variability. Notably, we also observed reduced variability in neural processing, in particular in low-frequency bands, regardless of whether the deviant tone was attended or unattended. Focused attention meditation may thus affect both distracter and target processing, perhaps by enhancing entrainment of neuronal oscillations to sensory input rhythms, a mechanism important for controlling the content of attention. These novel findings highlight the mechanisms underlying focused attention meditation and support the notion that mental training can significantly affect attention and brain function. (shrink)
The overall goal of this essay is to explore the initial findings of neuroscientific research on meditation; in doing so, the essay also suggests potential avenues of further inquiry. The essay consists of three sections that, while integral to the essay as a whole, may also be read independently. The first section, “Defining Meditation,” notes the need for a more precise understanding of meditation as a scientific explanandum. Arguing for the importance of distinguishing the particularities of various traditions, the section (...) presents the theory of meditation from the paradigmatic perspective of Buddhism, and it discusses the difficulties encountered when working with such theories. The section includes an overview of three practices that have been the subject of research, and it.. (shrink)
I show how omissions lead to robustness and can justify distortions, and I give inferentially relevant explications of abstraction and idealization. Abstraction is explicated as the omission of all and only those claims that use a specific vocabulary; idealization is explicated as the distortion of only those claims that use a specific vocabulary. With these explications, abstraction can justify idealization. As examples of how abstraction justifies idealization and leads to robustness, I discuss Beauchamp and Childress's four principles of biomedical ethics (...) and the qualitative treatment of the Schrödinger equation. (shrink)
The goal of this paper is to defend Simple Modest Invariantism (SMI) about knowledge from the threat presented by pragmatic encroachment. Pragmatic encroachment is the view that practical circumstances are relevant in some way to the truth of knowledge ascriptions—and if this is true, it would entail the falsity of SMI. Drawing on Ross and Schroeder’s recent Reasoning Disposition account of belief, I argue that the Reasoning Disposition account, together with Grice’s Maxims, gives us an attractive pragmatic account of the (...) connection between knowledge ascriptions and practical circumstances. This gives us the ability to explain away the data that is supposed to support pragmatic encroachment. Finally, I address three important objections to the view offered by giving a pragmatic account of when it is conversationally appropriate to cancel a conversational implicature, and discussing when sentences with true content can end up sounding false as well as cases where sentences with false content can end up sounding true. (shrink)
-/- Due to the logical relations between theism and intelligent design (id), there are two challenges to theism that also apply to id. In the falsifiability challenge, it is charged that theism is compatible with every observation statement and thus asserts nothing. I argue that the contentious assumptions of this challenge can be avoided without loss of precision by charging theism (and thus id) directly with the lack of observational assertions. In the translatability challenge, it is charged that theism can (...) be translated into a (non-theistic) set of observation statements without loss of cognitive content. I argue that the contentious assumptions of this challenge are avoided by the related charge that the (non-theistic) evolutionary theory makes all the observational assertions of id, while the converse does not hold. Elliott Sober has argued that id meets the falsifiability challenge, but, since it makes almost no observational assertions, is not testable. I point out two problems with Sober’s argument and show that id is both deductively and probabilistically testable. Sober’s argument, I suggest, inconsistently combines the modified falsifiability challenge with the modified translatability challenge. If his claims about id’s observational assertions are true, however, id succumbs to the modified translatability challenge. (shrink)
We study satisfiability and infinite-state model checking in ICPDL, which extends Propositional Dynamic Logic (PDL) with intersection and converse operators on programs. The two main results of this paper are that (i) satisfiability is in 2EXPTIME, thus 2EXPTIME-complete by an existing lower bound, and (ii) infinite-state model checking of basic process algebras and pushdown systems is also 2EXPTIME-complete. Both upper bounds are obtained by polynomial time computable reductions to ω-regular tree satisfiability in ICPDL, a reasoning problem that we introduce specifically (...) for this purpose. This problem is then reduced to the emptiness problem for alternating two-way automata on infinite trees. Our approach to (i) also provides a shorter and more elegant proof of Danecki's difficult result that satisfiability in IPDL is in 2EXPTIME. We prove the lower bound(s) for infinite-state model checking using an encoding of alternating Turing machines. (shrink)
As a remedy for the bad computational behaviour of first-order temporal logic (FOTL), it has recently been proposed to restrict the application of temporal operators to formulas with at most one free variable thereby obtaining so-called monodic fragments of FOTL. In this paper, we are concerned with constructing tableau algorithms for monodic fragments based on decidable fragments of first-order logic like the two-variable fragment or the guarded fragment. We present a general framework that shows how existing decision procedures for first-order (...) fragments can be used for constructing a tableau algorithm for the corresponding monodic fragment of FOTL. Some example instantiations of the framework are presented. (shrink)
We give a review of recent progress on the application of the relativistic chiral SU(3) Lagrangian to meson–baryon scattering. It is shown that a combined chiral and 1/Nc expansion of the Bethe–Salpeter interaction kernel leads to a good description of the kaon–nucleon, antikaon–nucleon and pion–nucleon scattering data typically up to laboratory momenta of p lab ≃500 MeV. We solve the covariant coupled channel Bethe–Salpeter equation with the interaction kernel truncated to chiral order Q 3 where we include only those terms (...) which are leading in the large Nc limit of QCD. (shrink)
The brain’s reactions to error are manifested in several event related potentials (ERP) components, derived from electroencephalographic (EEG) signals. Although these components have been known for decades, their interpretation is still controversial. A current hypothesis (first indicator hypothesis) claims that the first indication of an action being erroneous leads to a negative deflection of the EEG signal over frontal midline areas. In some cases this requires sensory feedback in the form of knowledge of results (KR). If KR is given, then (...) the first negative deflection can be found around 250 ms after feedback presentation (feedback related negativity, FRN). When KR is not required, a negative deflection is found already around 100 ms after action onset (ERN). This deflection may be evoked when a mismatch between required and actually executed actions is detected. To detect such a mismatch, however, necessitates knowledge about which action is required. To test this assumption, the current study monitored EEG error components during acquisition of an internal model, i.e., acquisition of the knowledge of which actions are needed to reach certain goals. Actions consisted of finger presses on a piano keyboard and goals were tones of a certain pitch to be generated, thus the internal model represented audio-motor mapping. Results show that with increasing proficiency in mapping goals to appropriate actions, the amplitude of the ERN increased, whereas the amplitude of the FRN remained unchanged. Thus, when knowledge is present about which action is required, this supports generation of an ERN around 100ms, likely by detecting a mismatch between required and performed actions. This is in accordance with the first indicator hypothesis. The present study furthermore lends support to the notion that FRN mainly relies on comparison of sensory targets with sensory feedback. (shrink)
This study is a reflection about the different concepts of structure and subject historically disseminated in the main Social Sciences and Humanities schools of thought. More precisely, we distinguish three stages concerning the subject and structure definitions. These stages are characterized by ..
Propositional dynamic logic (PDL) is one of the most successful variants of modal logic. To make it even more useful for applications, many extensions of PDL have been considered in the literature. A very natural and useful such extension is with negation of programs. Unfortunately, as long-known, reasoning with the resulting logic is undecidable. In this paper, we consider the extension of PDL with negation of atomic programs, only. We argue that this logic is still useful, e.g. in the context (...) of description logics, and prove that satisfiability is decidable and EXPTIME-complete using an approach based on Büchi tree automata. (shrink)
In his paper “The Catholic Church, the American Military, and Homosexual Reorientation Therapy,” David W. Lutz ultimately concludes that it is “appropriate, and highly ethical” for the American military to offer reorientation therapy to help homosexuals overcome “the vice of sodomy.” The major thrust of his paper, however, is to call for abandonment of the “Don't Ask/Don't Tell” policy currently in place in the military. Lutz's paper covers much ground, and this review begins by examining whether such a (...) wide view is necessary for the ultimate conclusions. It goes on to ask whether Lutz has omitted to mention important considerations bearing on this issue, and whether Lutz's call for the introduction of reorientation therapy is a serious call or a symbolic response to homosexual activities. Lutz fails to address essential issues such as the actual experiences of other nations having homosexuals in the military, and issues regarding what constitutes “reorientation therapy,” the latter leading to questions about how such a therapy would actually be implemented. (shrink)