This paper makes an important contribution to the ongoing debate over the validity of the psychological construct, ADHD. While not ruling out the possibility that something of value may lie at the core of this diagnosis, the authors articulate a clear set of problems with the research logic that forms the foundation of the disorder itself, reaching the conclusion that there appears to be insuffi cient, valid scientifi c evidence for the demarcation of a coherent and independent disease entity.

Significant associations have been found between specific human leukocyte antigen (HLA) alleles and organ transplant rejection, autoimmune disease development, and the response to infection. Traditional searches for disease associations have conventionally measured risk associated with the presence of individual HLA alleles. However, given the high level of HLA polymorphism, the pattern of amino acid variability, and the fact that most of the HLA variation occurs at functionally important sites, it may be that a combination of variable amino acid sites shared (...) by several alleles (shared epitopes) are better descriptors of the actual causative genetic variants. Here we describe a novel approach to genetic association analysis in which genes/proteins are broken down into smaller sequence features and then variant types defined for each feature, allowing for independent analysis of disease association with each sequence feature variant type. We have used this approach to analyze a cohort of systemic sclerosis patients and show that a sequence feature composed of specific amino acid residues in peptide binding pockets 4 and 7 of HLA-DRB1 explains much of the molecular determinant of risk for systemic sclerosis. (shrink)

The precarious rights of senior citizens, especially those who are highly educated and who are expected to counsel and guide the younger generations, has stimulated the creation internationally of advocacy associations and opinion leader groups. The strength of these groups, however, varies from country to country. In some countries, they are supported and are the focus of intense interest; in others, they are practically ignored. For this is reason we believe that the creation of a network of all these associations (...) is essential. The proposed network would act as a support for the already-existing policies of the United Nations’ High Commission for Human Rights, of independent experts, and of the Global Alliance for the Rights of Older People. All three have long ago recommended the creation of a recognized instrument for uniting presently scattered efforts. The proposed network, therefore, will seek to promote the international exchange of relevant expertise, and it will reinforce the commitments and actions that single countries are currently taking to meet these objectives. For example, informative public events can be organised to promote particular support initiatives and to provide an opportunity for new members of the network to be presented. The network will promote health for senior citizens, disease prevention, senior mobility, safe free time for seniors, alimentary education, protection against new risks and dangers, as well as equity in the services necessary for seniors to adopt new information and communication technologies. In the case of retired academic members, the network will promote equality with respect to continuing use of digital technologies (particularly email), continuing access to research libraries, and the guaranteed ability for seniors to fund their own research programs and to deliver free seminars. (shrink)

In 1866 J.C. Maxwell thought he had discovered a Maxwellian demon—though not under that description, of course [1]. He thought that the temperature of a gas under gravity would vary inversely with the height of the column. From this he saw that it would then be possible to obtain energy for work from a cooling gas, a clear violation of Thompson’s statement of the second law of thermodynamics. This upsetting conclusion made him worry that “there remains as far as I (...) can see a collision between Dynamics and thermodynamics.” Later, he derived the Maxwell-Boltzmann distribution law that made the temperature the same throughout the column. However, he continued to think about the relationship between dynamics and thermodynamics, and in 1867, he sent Tait a note with a puzzle for him to ponder. The puzzle was his famous “neat-fingered being” who could make a hot system hotter and a cold system colder without any work being done. Thompson in 1874 christened this being a “demon”; Maxwell unsuccessfully tried to rename it “valve.” However named, the demon’s point was to “show that the second law of thermodynamics has only a statistical validity.” Since that time a large physics literature has arisen that asks a question similar to that asked in theology, namely, does the devil exist? Beginning with Popper, philosophers examining the literature on Maxwell’s demon are typically surprised—even horrified [2,3,4,5,6,7]. As a philosopher speaking at a physics conference exactly 100 yrs after Popper’s birth, I want to explain why this is so. The organizers of this conference instructed me to offend everyone, believers and non-believers in demons. Thus my talk, apart from an agnostic middle section, contains a section offending those who believe they have exorcized the demon and a section offending those who summon demons. Throughout the central idea will be to clearly distinguish the various second laws and the various demons.. (shrink)

Par risques majeurs, on entend ceux qui s’attachent à des événements dont les conséquences défavorables, pour l’humanité ou pour l’environnement, sont d’une gravité exceptionnelle. On n’ajoutera ni que ces événements sont d’une intensité physique extrême, ni qu’ils surviennent rarement, car ce n’est pas toujours le cas. Seuls des risques majeurs de nature civile seront considérés dans cet ouvrage, et il s'agira, plus limitativement, de risques naturels, comme ceux d’inondation et de submersion marine, illustrés par la tempête Xynthia en 2010, de (...) risques technologiques industriels, comme celui d’une explosion d'usine, illustré par la catastrophe AZF en 2001, et de risques nucléaires, pour autant qu’ils mettent en jeu les dangers de la radioactivité, et qu’illustrent, hors de France, les catastrophes de Three Miles Island (1979), Tchernobyl (1986) et Fukushima (2011), -/- Conçu comme un rapport destiné au Conseil d'analyse économique (CAE) du Premier Ministre français, l'ouvrage comporte une introduction traitant du risque majeur pris en général (section 1). Dans sa partie principale, il aborde les trois risques majeurs qu'il a sélectionnés à travers les prismes successifs de la géographie et de la technologie (section 2), de l’histoire institutionnelle et juridique (section 3), enfin d’un bilan normatif accompagné de recommandations pour l'action publique (section 4). -/- Neuf compléments spécialisés, dus à d'autres auteurs, complètent l'ouvrage. Ils portent sur des aspects technologiques (F. Ménage; A. Quantin et D. Moucoulon; P. Saint-Raymond), juridiques (V. Sanseverino-Godfrin), économiques généraux (C. Grislain-Letrémy et B. Villeneuve; R. Lahidji; J. Percebois; A. Schmitt et S. Spaeter) et financiers (M. Pappalardo) et ils concernent principalement le risque nucléaire. -/- Dans cet ensemble de vaste format, on espère avoir su proposer, non seulement des évaluations et des préconisations destinées aux pouvoirs publics, comme il convenait au projet initial de rapport, mais aussi une synthèse qui soit utilisable par tous ceux - décideurs, scientifiques ou simples observateurs - que préoccupent les questions de risques majeurs. (shrink)

HISTÓRIA DA SOCIOLOGIA: O DESENVOLVIMENTO DA SOCIOLOGIA I -/- A SOCIOLOGIA CONTEMPORÂNEA -/- HISTORY OF SOCIOLOGY: THE DEVELOPMENT OF SOCIOLOGY I THE SOCIOLOGY CONTEMPORANY -/- Emanuel Isaque Cordeiro da Silva – IFPE-BJ, CAP-UFPE e UFRPE. E-mails: [email protected] e [email protected] WhatsApp: (82)98143-8399. -/- PREMISSA -/- Se até a década de 1960 podia-se falar em uma Sociologia dividida por países, após essa época, tendo em vista um processo significativo de circulação de informações pelos mais variados meios de comunicação, pode-se dizer que os (...) principais cientistas sociais se tornaram globalizados, assim como a literatura sociológica. As questões sociais, que até então podiam estar localizadas em países ou em blocos de países, também se tornaram mundializadas, e vários pensadores passaram a refletir sobre temas chamados de pós-modernos, hipermodernos ou simplesmente contemporâneos, e que afetam um país, uma região ou todo o mundo. A Sociologia contemporânea, porém, mantém uma relação significativa com as grandes vertentes da Sociologia anterior: • a marxista ou histórico-estrutural, com suas variações; • a durkheimiana ou funcionalista, com o desenvolvimento de um neofuncionalismo; • a weberiana ou compreensiva, com o desenvolvimento da fenomenologia e da hermenêutica; • a teórica e pragmática estadunidense, com variadas linhas. Além dessas vertentes, pensadores como Jean-Gabriel de Tarde e Georg Simmel, que estavam um tanto esquecidos, pelo menos no Brasil, em razão da ênfase em Émile Durkheim, num caso, e em Max Weber, em outro, retomaram seus lugares de destaque. Essas vertentes inspiraram outros tantos pensadores, que – refletindo sobre a realidade em que vivem, mesclando ou não contribuições de diferentes linhas teóricas e formulando uma série de conceitos – demonstram as possibilidades e a diversidade do pensamento sociológico e fazem a Sociologia avançar muito no processo de compreensão da realidade contemporânea. A combinação de diversas vertentes teóricas torna difícil fazer qualquer enquadramento ou mesmo tentar classificar determinados autores. Muitos analistas veem nisso uma crise de paradigmas na Sociologia contemporânea. Essa “crise” poderia ser entendida do ponto de vista epistemológico; entretanto, sempre houve diversidade de epistemologias na Sociologia. Acreditamos que essa diversidade epistemológica, de teorias, de objetos e de métodos, concorrentes ou não, na explicação de fenômenos sociais deve ser vista como indicativo de vigor, e não de decadência. Por fim, indico a seguir, em ordem alfabética, alguns dos pensadores e sociólogos contemporâneos cujo trabalho tem dado especial contribuição à Sociologia desenvolvida no Brasil: Alain Touraine (1925-), Anthony Giddens (1938-), Axel Honneth (1949-), Boaventura de Sousa Santos (1940-), David Harvey (1935-), Edgard Morin (1921-), François Dubet (1946), Gilles Lipovetsky (1944-), Howard S. Becker (1928-), Immanuel Wallerstein (1930-), István Mészáros (1930-2017), Jean Baudrillard (1929-2007), Jürgen Habermas (1929-), Manuel Castells (1942-), Marshall Bermann (1940-2013), Michael Löwy (1938-), Michel Maffesoli (1944-), Néstor García Canclini (1939-), Niklas Luhmann (1927-1998), Norbert Elias (1897-1990), Peter Ludwig Berger (1929-2017), Ralph Dahrendorf (1929-2009), Raymond Boudon (1934-2013), Richard Sennett (1943-), Serge Moscovici (1928 -2014), Thomas Luckmann (1927-2016), Ulrich Beck (1944-2015) e Zygmunt Bauman (1925-2017). -/- REFERENCIAL TEÓRICO -/- CUIN, C. H.; GRESLE, F. História da Sociologia. Trad. Roberto Leal Ferreira. São Paulo: Ensaio, 1994. -/- NERY, M. C. R. Sociologia contemporânea. 1ª ed. Curitiba: IESDE, 2007. -/- NOVA, S. V. Introdução a Sociologia. 6ª ed. São Paulo: Atlas, 2004. -/- SILVA, A. et al. Sociologia em movimento. 2ª ed. São Paulo: Moderna, 2016. -/- SBS - Sociedade Brasileira de Sociologia PUCRS - PPG em Ciências Sociais Avenida Ipiranga, 6681 - Partenon CEP: 90619-900 - Porto Alegre, RS [email protected] Emanuel Isaque Cordeiro da Silva © 2019 -/- Estimule a criatividade, respeite o direito autoral. (shrink)

Functional decomposition is an important goal in the life sciences, and is central to mechanistic explanation and explanatory reduction. A growing literature in philosophy of science, however, has challenged decomposition-based notions of explanation. ‘Holists’ posit that complex systems exhibit context-sensitivity, dynamic interaction, and network dependence, and that these properties undermine decomposition. They then infer from the failure of decomposition to the failure of mechanistic explanation and reduction. I argue that complexity, so construed, is only incompatible with one notion of decomposition, (...) which I call ‘atomism’, and not with decomposition writ large. Atomism posits that function ascriptions must be made to parts with minimal reference to the surrounding system. Complexity does indeed falsify atomism, but I contend that there is a weaker, ‘contextualist’ notion of decomposition that is fully compatible with the properties that holists cite. Contextualism suggests that the function of parts can shift with external context, and that interactions with other parts might help determine their context-appropriate functions. This still admits of functional decomposition within a given context. I will give examples based on the notion of oscillatory multiplexing in systems neuroscience. If contextualism is feasible, then holist inferences are faulty—one cannot infer from the presence of complexity to the failure of decomposition, mechanism, and reductionism. (shrink)

The standard assumption for what perception must do in order to represent a “higher level” content—say, tiger—is that it must represent the kind as such. I argue that this “as such condition” is not constitutive of what it means for a content to be “higher‐level”, and that embracing it produces a range of unfortunate dialectical consequences. After offering this critique, I give an alternative construal, the “extended perceptual space” view of higher‐level contents. This view captures the phenomena targeted by the (...) “higher‐level content” thesis, is empirically supported, and avoids the negative dialectical consequences of the as such condition. (shrink)

Due to Gӧdel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their quantifiers are non-categorical. In this paper I examine two recent arguments –Warren (2020), Murzi and Topey (2021)– for the idea that the natural deduction rules for (...) the first-order universal quantifier are categorical, i.e., they uniquely determine its semantic intended meaning. Both of them make use of McGee’s open-endedness requirement and the second one uses in addition Garson’s (2013) local models for defining the validity of these rules. I argue that the success of both these arguments is relative to their semantic or infinitary assumptions, which could be easily discharged if the introduction rule for the universal quantifier is taken to be an infinitary rule, i.e. non-compact. Consequently, I reconsider the use of the ω-rule and I show that the addition of the ω-rule to the standard formalizations of first-order logic is categorical. In addition, I argue that the open-endedness requirement does not make the first-order Peano Arithmetic categorical and I advance an argument for its categoricity based on the inferential conservativity requirement. (shrink)

Various prominent theories of pain assume that it is pain’s biological function to inform organisms about damage to their bodies. I argue that this is a mistake. First, there is no biological evidence to support the notion that pain was originally selected for its informative capacities, nor that it currently contributes to the fitness of organisms in this specific capacity. Second, neurological evidence indicates that modulating mechanisms in the nociceptive system systematically prevent pain from serving a primarily informative role. These (...) considerations threaten to undermine standard perceptual and representational accounts of pain. (shrink)

The use of the symbol ∨for disjunction in formal logic is ubiquitous. Where did it come from? The paper details the evolution of the symbol ∨ in its historical and logical context. Some sources say that disjunction in its use as connecting propositions or formulas was introduced by Peano; others suggest that it originated as an abbreviation of the Latin word for “or,” vel. We show that the origin of the symbol ∨ for disjunction can be traced to Whitehead and (...) Russell’s pre-Principia work in formal logic. Because of Principia’s influence, its notation was widely adopted by philosophers working in logic (the logical empiricists in the 1920s and 1930s, especially Carnap and early Quine). Hilbert’s adoption of ∨ in his Grundzüge der theoretischen Logik guaranteed its widespread use by mathematical logicians. The origins of other logical symbols are also discussed. (shrink)

The principle of energy conservation is widely taken to be a se- rious difficulty for interactionist dualism (whether property or sub- stance). Interactionists often have therefore tried to make it satisfy energy conservation. This paper examines several such attempts, especially including E. J. Lowe’s varying constants proposal, show- ing how they all miss their goal due to lack of engagement with the physico-mathematical roots of energy conservation physics: the first Noether theorem (that symmetries imply conservation laws), its converse (that conservation (...) laws imply symmetries), and the locality of continuum/field physics. Thus the “conditionality re- sponse”, which sees conservation as (bi)conditional upon symme- tries and simply accepts energy non-conservation as an aspect of interactionist dualism, is seen to be, perhaps surprisingly, the one most in accord with contemporary physics (apart from quantum mechanics) by not conflicting with mathematical theorems basic to physics. A decent objection to interactionism should be a posteri- ori, based on empirically studying the brain. (shrink)

Epistemic paternalism is the thesis that a paternalistic interference with an individual's inquiry is justified when it is likely to bring about an epistemic improvement in her. In this article I claim that in order to motivate epistemic paternalism we must first account for the value of epistemic improvements. I propose that the epistemic paternalist has two options: either epistemic improvements are valuable because they contribute to wellbeing, or they are epistemically valuable. I will argue that these options constitute the (...) foundations of a dilemma: either epistemic paternalism collapses into general paternalism, or a distinctive project of justified epistemic paternalism is implausible. (shrink)

This paper defends the Intention Account of Inquiry. On this account, inquiry is best understood by appeal to a ‘question-directed intention’ (QDI), an intention to answer a question broadly construed. This account’s core commitments help meet recent challenges plaguing extant approaches to characterizing inquiry. First, QDIs are the type of mental state central to inquiry, not attitudes like curiosity or wonder. Second, holding a QDI towards a question and acting in service of it constitutes the start of inquiry. Third, controversial (...) norms which mandate a rational inquirer's ignorance towards the answer to her question can be reformulated and defended by appeal to rational constraints on intention. Fourth, instrumental pressures inquirers face are the standard pressures of plan-rationality. In defending these theses, I show that the Intention Account provides compelling explanations to standing challenges, in ways competitors cannot. It does so by advancing understanding of how our epistemic and practical agency are intertwined. (shrink)

Achieving space situational awareness requires, at a minimum, the identification, characterization, and tracking of space objects. Leveraging the resultant space object data for purposes such as hostile threat assessment, object identification, and conjunction assessment presents major challenges. This is in part because in characterizing space objects we reference a variety of identifiers, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, operational processes, operational statuses, and so forth, which tend to be defined in highly heterogeneous and sometimes inconsistent (...) ways. The Space Domain Ontologies are designed to provide a consensus-based realist framework for formulating such characterizations in a way that is both consistent and computable. Space object data are aligned with classes and relations in a suite of ontologies built around the existing Space Object Ontology. They are stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space situational awareness and the needs of spacecraft operators and analysts. This paper provides an overview of the Space Domain Ontologies and their development and use. It presents the motivation for and advantages of the Space Domain Ontologies, including the benefits they provide for enhancing and maintaining long-term space situational awareness. (shrink)

This response addresses the excellent responses to my book provided by Heather Douglas, Janet Kourany, and Matt Brown. First, I provide some comments and clarifications concerning a few of the highlights from their essays. Second, in response to the worries of my critics, I provide more detail than I was able to provide in my book regarding my three conditions for incorporating values in science. Third, I identify some of the most promising avenues for further research that flow out of (...) this interchange. (shrink)

Despite their popularity, relatively scant attention has been paid to the upshot of Bayesian and predictive processing models of cognition for views of overall cognitive architecture. Many of these models are hierarchical ; they posit generative models at multiple distinct "levels," whose job is to predict the consequences of sensory input at lower levels. I articulate one possible position that could be implied by these models, namely, that there is a continuous hierarchy of perception, cognition, and action control comprising levels (...) of generative models. I argue that this view is not entailed by a general Bayesian/predictive processing outlook. Bayesian approaches are compatible with distinct formats of mental representation. Focusing on Bayesian approaches to motor control, I argue that the junctures between different types of mental representation are places where the transitivity of hierarchical prediction may be broken, and I consider the upshot of this conclusion for broader discussions of cognitive architecture. (shrink)

Vann McGee has recently argued that Belnap’s criteria constrain the formal rules of classical natural deduction to uniquely determine the semantic values of the propositional logical connectives and quantifiers if the rules are taken to be open-ended, i.e., if they are truth-preserving within any mathematically possible extension of the original language. The main assumption of his argument is that for any class of models there is a mathematically possible language in which there is a sentence true in just those models. (...) I show that this assumption does not hold for the class of models of classical propositional logic. In particular, I show that the existence of non-normal models for negation undermines McGee’s argument. (shrink)

We should not be creating conscious, humanoid agents but an entirely new sort of entity, rather like oracles, with no conscience, no fear of death, no distracting loves and hates.

The notion of representation in neuroscience has largely been predicated on localizing the components of computational processes that explain cognitive function. On this view, which I call “algorithmic homuncularism,” individual, spatially and temporally distinct parts of the brain serve as vehicles for distinct contents, and the causal relationships between them implement the transformations specified by an algorithm. This view has a widespread influence in philosophy and cognitive neuroscience, and has recently been ably articulated and defended by Shea. Still, I am (...) skeptical about algorithmic homuncularism, and I argue against it by focusing on recent methods for complex data analysis in systems neuroscience. I claim that analyses such as principle components analysis and linear discriminant analysis prevent individuating vehicles as algorithmic homuncularism recommends. Rather, each individual part contributes to a global state space, trajectories of which vary with important task parameters. I argue that, while homuncularism is false, this view still supports a kind of “vehicle realism,” and I apply this view to debates about the explanatory role of representation. (shrink)

Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational logic, the categoricity (...) problem is generated by the finite nature of the standard calculi and one direction in which it can be solved is to strengthen the deductive systems by adding infinitary rules (such as the ω-rule), i.e., to construct a full formalization. Another main direction is to provide a natural semantics for the standard rules of inference, i.e., a semantics for which these rules are categorical. My aim in this paper is to analyze some recent approaches for solving the categoricity problem and to argue that a logical inferentialist should accept the infinitary rules of inference for the first order quantifiers, since our use of the expressions “all” and “there is” leads us beyond the concrete and finite reasoning, and human beings do sometimes employ infinitary rules of inference in their reasoning. (shrink)

In this paper we argue that Socrates is a cognitivist about emotions, but then ask how the beliefs that constitute emotions can come into being, and why those beliefs seem more resistant to change through rational persuasion than other beliefs.

Interactive theorem provers might seem particularly impractical in the history of philosophy. Journal articles in this discipline are generally not formalized. Interactive theorem provers involve a learning curve for which the payoffs might seem minimal. In this article I argue that interactive theorem provers have already demonstrated their potential as a useful tool for historians of philosophy; I do this by highlighting examples of work where this has already been done. Further, I argue that interactive theorem provers can continue to (...) be useful tools for historians of philosophy in the future; this claim is defended through a more conceptual analysis of what historians of philosophy do that identifies argument reconstruction as a core activity of such practitioners. It is then shown that interactive theorem provers can assist in this core practice by a description of what interactive theorem provers are and can do. If this is right, then computer verification for historians of philosophy is in the offing. (shrink)

Many countries are experiencing increasing levels of demand for access to assisted reproductive technologies. Policies regarding who can access ART and with what support from a collective purse are highly contested, raising questions about what state responses are justified. Whilst much of this debate has focused on the status of infertility as a disease, we argue that this is something of a distraction, since disease framing does not provide the far-reaching, robust justification for state support that proponents of ART seem (...) to suppose. Instead, we propose that debates about appropriate state responses should consider the various implications for health and broader well-being that may be associated with difficulties starting a family. We argue that the harms and disruption to valued life projects of subfertility-related suffering may provide a stronger basis for justifying state support in this context. Further, we suggest that, whilst ART may alleviate some of the harm resulting from subfertility, population-level considerations can indicate a broader range of interventions aimed at tackling different sources of subfertility-related harm, consistent with broader public health aims. (shrink)

Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational logic, the categoricity (...) problem is generated by the finite nature of the standard calculi and one direction in which it can be solved is to strengthen the deductive systems by adding infinitary rules (such as the ω-rule), i.e., to construct a full formalization. Another main direction is to provide a natural semantics for the standard rules of inference, i.e., a semantics for which these rules are categorical. My aim in this paper is to analyze some recent approaches for solving the categoricity problem and to argue that a logical inferentialist should accept the infinitary rules of inference for the first order quantifiers, since our use of the expressions “all” and “there is” leads us beyond the concrete and finite reasoning, and human beings do sometimes employ infinitary rules of inference in their reasoning. (shrink)

Ideen om at lovbrytere fortjener straff, må legges til grunn dersom vi skal kunne forstå og begrunne strafferetten i Norge og i andre rettsstater. Av noen teoretikere har dette kravet til fortjent straff blitt forstått som et negativt krav, som setter en begrensning på oppnåelsen av straffens formål. Straffen må da være «ikke ufortjent». I denne artikkelen argumenterer jeg for at en slik forståelse av fortjenesteideen er utilstrekkelig. Straff som fortjent må ansees som et positivt, selvstendig formål for strafferetten. Artikkelen (...) ser på norsk rettspraksis og lovforarbeider, og drøfter hvorfor det i norsk strafferett må legges til grunn at det er verdifullt å oppfylle lovbryterens fortjeneste. (shrink)

Physicalists typically believe that neurophysiology has refuted the thesis that non-physical minds can interact with the brain. In this paper, I argue that it is precisely a closer look at the neurophysiology of volitional actions that suggests otherwise. I start with a clarification of how the present inquiry relates to the main argument for physicalism, and how the most common alternative views relate to the findings of my study. I then give a brief overview of the neurophysiological research about volitional (...) actions, finding that there is no research specifically directed at the pertinent question. I proceed by pointing out what it would take for a complete physical explanation of volitional actions to be true: namely a complete physical explanation of the increase in the firing rate of the neurons with which the sequence leading up to volitional actions starts. Since no dedicated research about this question is available, I offer a study of the known mechanisms of neuronal excitation as a substitute, finding that there is no plausible biochemical or physical mechanism that could explain the causal initiation of volitional actions – at least none that upholds energy conservation. But non-conservation is precisely what interactive dualism, in its most plausible version, predicts. Thus, rather than buttressing physicalism, our empirical knowledge of volitional actions points toward interactive dualism. (shrink)

My goal in this paper is to show that naturalists cannot reasonably endorse moral realism. My argument will come in two parts. The first part aims to show that any plausible and naturalistically acceptable argument in favor of belief in objective moral properties will appeal in part to simplicity considerations (broadly construed)—and this regardless of whether moral properties are reducible to non-moral properties. The second part argues for the conclusion that appeals to simplicity justify belief in moral properties only if (...) either those properties are not objective or something like theism is true. Thus, if my argument is sound, naturalists can reasonably accept moral realism only if they are prepared to accept something like theism. But, as will become clear, naturalists can reasonably accept theism or something like it only if belief in some such doctrine is justified by the methods of science. For present purposes, I’ll assume (what I think virtually every naturalist will grant) that belief in theism and relevantly similar doctrines is not justified by the methods of science. Thus, I will conclude that naturalists cannot reasonably accept moral realism. (shrink)

K. R. Popper distinguished between two main uses of logic, the demonstrational one, in mathematical proofs, and the derivational one, in the empirical sciences. These two uses are governed by the following methodological constraints: in mathematical proofs one ought to use minimal logical means (logical minimalism), while in the empirical sciences one ought to use the strongest available logic (logical maximalism). In this paper I discuss whether Popper’s critical rationalism is compatible with a revision of logic in the empirical sciences, (...) given the condition of logical maximalism. Apparently, if one ought to use the strongest logic in the empirical sciences, logic would remain immune to criticism and, thus, non-revisable. I will show that critical rationalism is theoretically compatible with a revision of logic in the empirical sciences. However, a question that remains to be clarified by the critical rationalists is what kind of evidence would lead them to revise the system of logic that underlies a physical theory, such as quantum mechanics? Popper’s falsificationist methodology will be compared with the recently advocated extension of the abductive methodology from the empirical sciences to logic by T. Williamson, since both of them arrive at the same conclusion concerning the status of classical logic. (shrink)

In the present article, he explains why divine silence poses a serious intellectual obstacle to belief in God, and then goes on to consider ways of overcoming that obstacle. After considering several ways in which divine silence might actually be beneficial to human beings, he argues that perhaps silence is nothing more or less than God’s preferred mode of interaction with creatures like us. Perhaps God simply desires communion rather than overt communication with human beings, and perhaps God has provided (...) ways for us to experience God’s presence richly even amidst the silence. (shrink)

The following argument is widely assumed to be invalid: there is a pain in my finger; my finger is in my mouth; therefore, there is a pain in my mouth. The apparent invalidity of this argument has recently been used to motivate the conclusion that pains are not spatial entities. We argue that this is a mistake. We do so by drawing attention to the metaphysics of pains and holes and provide a framework for their location which both vindicates the (...) argument's validity and explains why it appears invalid. To this end, we show that previously proposed explanations for the apparent invalidity of the argument fail. Moreover, we show that our account accommodates and explains seemingly opposing linguistic data. We conclude that the ‘pain-in-mouth argument’ does not undermine the view that pains are spatial entities. (shrink)

The concern of deductive logic is generally viewed as the systematic recognition of logical principles, i.e., of logical truths. This paper presents and analyzes different instantiations of the three main interpretations of logical principles, viz. as ontological principles, as empirical hypotheses, and as true propositions in virtue of meanings. I argue in this paper that logical principles are true propositions in virtue of the meanings of the logical terms within a certain linguistic framework. Since these principles also regulate and control (...) the process of deduction in inquiry, i.e., they are prescriptive for the use of language and thought in inquiry, I argue that logic may, and should, be seen as an instrument or as a way of proceeding (modus procedendi) in inquiry. (shrink)

In his 1918 logical atomism lectures, Russell argued that there are no molecular facts. But he posed a problem for anyone wanting to avoid molecular facts: we need truth-makers for generalizations of molecular formulas, but such truth-makers seem to be both unavoidable and to have an abominably molecular character. Call this the problem of generalized molecular formulas. I clarify the problem here by distinguishing two kinds of generalized molecular formula: incompletely generalized molecular formulas and completely generalized molecular formulas. I next (...) argue that, if empty worlds are logically possible, then the model-theoretic and truth-functional considerations that are usually given address the problem posed by the first kind of formula, but not the problem posed by the second kind. I then show that Russell’s commitments in 1918 provide an answer to the problem of completely generalized molecular formulas: some truth-makers will be non-atomic facts that have no constituents. This shows that the neo-logical atomist goal of defending the principle of atomicity—the principle that only atomic facts are truth-makers—is not realizable. (shrink)

Warning: includes two somewhat graphic images. This paper is an effort to lay out a taxomony of conceptual relations between the domains of the sublime and the religious. -/- .

The categoricity problem for a system of logic reveals an asymmetry between the model-theoretic and the proof-theoretic resources of that logic. In particular, it reveals prima facie that the proof-theoretic instruments are insufficient for matching the envisaged model-theory, when the latter is already available. Among the proposed solutions for solving this problem, some make use of new proof-theoretic instruments, some others introduce new model-theoretic constrains on the proof-systems, while others try to use instruments from both sides. On the proof-theoretical side, (...) two main approaches for solving the categoricity problem for propositional classical logic consist in the enforcement of the formal systems of this logic by introducing rules of inference of a new kind. A multiple-conclusions logic allows rules of inference with more than one conclusion, while a bilateralist system contains rules of inference formulated in terms of assertion and rejection. Both these approaches reveal interesting formal features of logical reasoning. This paper analyses some of the advantages and limitations of these two approaches as solutions for a full formalization of logic, i.e., for a categorical formalization. (shrink)

The question raised by this volume is “How successful is naturalism?” The question presupposes that we already know what naturalism is and what counts as success. But, as anyone familiar with the literature on naturalism knows, both suppositions are suspect. To answer the question, then, we must first say what we mean in this context by both ‘naturalism’ and ‘success’. I’ll start with ‘success’. I will then argue that, by the standard of measurement that I shall identify here, naturalism is (...) an utter failure. (shrink)

A review of the volume that brings together K.R. Popper's writings on deductive logic and its foundations. I emphasize Popper's inferentialist position in his earlier articles and Carnap's influence on many of his logical ideas (an interesting letter from Carnap to Popper is also summarised in the review).

We argue that, if taken seriously, Kripke's view that a language for science can dispense with a negation operator is to be rejected. Part of the argument is a proof that positive logic, i.e., classical propositional logic without negation, is not categorical.

Starting from certain metalogical results, I argue that first-order logical truths of classical logic are a priori and necessary. Afterwards, I formulate two arguments for the idea that first-order logical truths are also analytic, namely, I first argue that there is a conceptual connection between aprioricity, necessity, and analyticity, such that aprioricity together with necessity entails analyticity; then, I argue that the structure of natural deduction systems for FOL displays the analyticity of its truths. Consequently, each philosophical approach to these (...) truths should account for this evidence, i.e., that first-order logical truths are a priori, necessary, and analytic, and it is my contention that the semantic account is a better candidate. (shrink)

This paper is a short introduction to Carnap’s writings on semantics with an emphasis on the transition from the syntactic period to the semantic one. I claim that one of Carnap’s main aims was to investigate the possibility of the symmetry between the syntactic and the semantic methods of approaching philosophical problems, both in logic and in the philosophy of science. This ideal of methodological symmetry could be described as an attempt to obtain categorical logical systems, i.e., systems that allow (...) only the intended semantical interpretation. (shrink)

This is a supplement to our book "Le tribolazioni del filosofare. Comedia metaphysica ne la quale si tratta de li errori & de le pene de l’Infero". It features an entirely new canto of the poem (originally thought to be lost) along with an extensive commentary. The canto covers the first ring of the circle of the Sullen, which hosts the Adverse to the Possible, and deals with several philosophical questions concerning the metaphysics of modality.

Ang layunin ng artikulong ito ay tuklasin ang konsepto ng pag-asa ng mga Pilipino sa suwerte sa pamamagitan ng pagtaya sa lotto. Tatalakayin ditto ang kahulugan ng mga paniniwala at saloobin ng mga Pilipino tungkol sa kapalaran at kayamanan, lalo na sa konteksto ng pagtaya sa lottery. Tinalakay din sa artikulo ang kahalagahan ng sikolohiyang Pilipino sa pagsusuri ng pag-asa ng mga Pilipino sa suwerte at lottery. Layunin ng artikulong ito na: (1) Malaman ang epekto ng paniniwala sa suwerte at (...) malas sa pagtaya sa lotto sa pangarap at pagkilos ng mga Pilipino sa iba't ibang aspeto ng buhay, (2) Paano nakakaapekto ang popularidad ng lotto sa mga mahihirap na sektor ng lipunan, at ano ang potensyal na mga banta at pinsala nito (3) Mga sikolohiyang Pilipinong masasalamin sa paniniwala ng mga Pilipino ukol sa lotto bilang isang instrumento ng pag-asang pangkabuhayan, at ano ang mga implikasyon nito sa lipunang Pilipino. Ang mga natuklasan at ang kanilang mga implikasyon ay maaaring mag-ambag sa ating pag-unawa sa mga pangunahing sanhi at epekto ng pag-asa ng mga Pilipino sa suwerte na may kaugnayan sa lotto, at maaaring humantong sa mga reporma at solusyon upang matugunan ang mga kaugnay na isyu. Sa huli, ang artikulong ito ay naglalayong magbigay ng mas malalim na kaalaman at pag-unawa sa kulturang Pilipino ng pag-asa at paniniwala na may kaugnayan sa suwerte at kapalaran. (shrink)

The problem analysed in this paper is whether we can gain knowledge by using valid inferences, and how we can explain this process from a model-theoretic perspective. According to the paradox of inference (Cohen & Nagel 1936/1998, 173), it is logically impossible for an inference to be both valid and its conclusion to possess novelty with respect to the premises. I argue in this paper that valid inference has an epistemic significance, i.e., it can be used by an agent to (...) enlarge his knowledge, and this significance can be accounted in model-theoretic terms. I will argue first that the paradox is based on an equivocation, namely, it arises because logical containment, i.e., logical implication, is identified with epistemological containment, i.e., the knowledge of the premises entails the knowledge of the conclusion. Second, I will argue that a truth-conditional theory of meaning has the necessary resources to explain the epistemic significance of valid inferences. I will explain this epistemic significance starting from Carnap’s semantic theory of meaning and Tarski’s notion of satisfaction. In this way I will counter (Prawitz 2012b)’s claim that a truth-conditional theory of meaning is not able to account the legitimacy of valid inferences, i.e., their epistemic significance. (shrink)

Tradução do artigo "Mill between Aristotle and Bentham".

The primary aim of this discussion is to present a detailed case study of Descartes’ use of émotion in Les passions de l’ame and in his early writings leading up to that work. A secondary aim is to argue that while Descartes was innovative in suggesting that émotion might be a better keyword for the affective sciences than passion, he did not consistently follow his own advice. His innovation therefore failed in that regard, even though it did inspire later thinkers (...) to explore the distinction between “passion” and “emotion” in their own manner. (shrink)

In this essay, I argue that the Incarnation of the Son of God, understood in a traditionally orthodox way, is incompatible with an atemporalist concept of God. First, I explain what I mean by atemporalism, namely the idea that God exists outside time. I also show the main corollaries of that doctrine, most notably that all of God’s life occurs eternally simultaneously. Second, based on New Testament teaching and widely accepted creeds, I spell out philosophically what I mean by the (...) Incarnation. In short, I take it to be the doctrine that the Second Person of the Trinity at some point in time took on a human body as part of a fully human nature. I then proceed to my central argument, which derives a contradiction from the definitions of the Incarnation and of atemporalism, respectively. In the last section, I shall treat some possible objections to my argument and show that they do not solve the problem satisfactorily. (shrink)

The project of “public reason” claims to offer an epistemological resolution to the civic dilemma created by the clash of incompatible options for the rational exercise of freedom adopted by citizens in a diverse community. The present Article proposes, via consideration of a contrast between two classical accounts of dialectical reasoning, that the employment of “public reason,” in substantive due process analysis, is unworkable in theory and contrary to more reflective Supreme Court precedent. Although logical commonalities might be available to (...) pick out from the multitude of particularized accounts of what constitutes “civic order,” no “public reason” so derived could adequately capture - and thus be able to secure in a practical sense - any single determinate civic order, much less one that would be consistent with all citizens' conceptions of public order. Part I of this Article raises a number of issues for consideration relating to the epistemology of law and focuses especially on the concept of public reason and its critique. Part II addresses alternative approaches to legal reasoning suggested by classical accounts of practical reasoning and virtue theory and considers the operation of such legal analysis outside the area of substantive due process; Part III analyzes post-Lawrence case law confirming the dilemma created by the Supreme Court's ambiguous approaches to substantive due process and concludes that only one interpretation - that articulated fully in Washington v. Glucksberg and given lip service in Lawrence v. Texas - provides a method for resolving novel substantive due process challenges that is philosophically sound as well as historically coherent. Rather than perpetuating a fiction that denies the propriety of lawmaking unless based on principles that all citizens can rationally agree upon, an appropriate model of substantive due process analysis recognizes that law must inevitably be based upon principles that cannot be agreed upon by all citizens in virtue of rationality alone. -/- Abstract Footnotes (291) Beta -/- Revise My Submission -/- -/- One-Click Download | Share | Email | Add to Briefcase -/- Facebook | Twitter | Digg | Del.icio.us | CiteULike | Permalink Using the URL or DOI link below will ensure access to this page indefinitely -/- Based on your IP address, your paper is being delivered by: New York, USA Processing request. [Processing request.] Illinois, USA Processing request. [Processing request.] Brussels, Belgium Processing request. [Processing request.] Seoul, Korea Processing request. [Processing request.] California, USA Processing request. [Processing request.] -/- If you have any problems downloading this paper, please click on another Download Location above, or view our FAQ File name: SSRN-id1004757. ; Size: 424K -/- Sample Cover You will receive a black and white printed and perfect bound version of this document in 8 1/2 x 11 inch format, with glossy color front and back covers. Currently shipping to the US addresses only. Your order will be shipped within three business days. Quantity: Total Price = $0.50 plus shipping (U.S. Only) -/- If you have any problems with this purchase, please email [email protected] or call 1-585-442-8170. Reason's Freedom and the Dialectic of Ordered Liberty -/- Edward C. Lyons University of Notre Dame Law School -/- Cleveland State Law Review, Vol. 55, p. 157, 2007 -/- Abstract: The project of "public reason" claims to offer an epistemological resolution to the civic dilemma created by the clash of incompatible options for the rational exercise of freedom adopted by citizens in a diverse community. The present Article proposes, via consideration of a contrast between two classical accounts of dialectical reasoning, that the employment of "public reason," in substantive due process analysis, is unworkable in theory and contrary to more reflective Supreme Court precedent. Although logical commonalities might be available to pick out from the multitude of particularized accounts of what constitutes "civic order," no "public reason" so derived could adequately capture - and thus be able to secure in a practical sense - any single determinate civic order, much less one that would be consistent with all citizens' conceptions of public order. -/- Part I of this Article raises a number of issues for consideration relating to the epistemology of law and focuses especially on the concept of public reason and its critique. Part II addresses alternative approaches to legal reasoning suggested by classical accounts of practical reasoning and virtue theory and considers the operation of such legal analysis outside the area of substantive due process; Part III analyzes post-Lawrence case law confirming the dilemma created by the Supreme Court's ambiguous approaches to substantive due process and concludes that only one interpretation - that articulated fully in Washington v. Glucksberg and given lip service in Lawrence v. Texas - provides a method for resolving novel substantive due process challenges that is philosophically sound as well as historically coherent. -/- Rather than perpetuating a fiction that denies the propriety of lawmaking unless based on principles that all citizens can rationally agree upon, an appropriate model of substantive due process analysis recognizes that law must inevitably be based upon principles that cannot be agreed upon by all citizens in virtue of rationality alone. -/- Keywords: substantive due process, practical reason, public reason, Rawls, Casey, Lawrence, Glucksberg, Plato, Aristotle, Kant, Hegel, dialectic, autonomy, freedom -/- . (shrink)