This article describes the conceptual framework within which knowledge about Africa was legitimized in eighteenth-century French philosophy. The article traces a shift or rupture in this conceptual framework which, at the end of the eighteenth century, led to the emergence of new conditions for knowledge legitimation that altered Europe's perception of Africa. The article examines these two conceptual frameworks within the context of a discussion of the social theory of the time, which categorized Africans first as savages, and then, with (...) the advent of our modern "style of reasoning," as primitives. The argument used to demonstrate this change in categorizations is historical. The greater part of the article analyzes in detail the principal social theory of Enlightenment philosophy, the stadial theory of society, with the aim of demonstrating how it determined what could be affirmed about Africa. The shift in the perception of Africans from savages to primitives involved an epistemological change in how societies were grasped. The article provides a greater understanding of the constitution of Africa as a cognitive construct, which is not only of theoretical concern; this construct shaped Europe's intervention in Africa, and continues to influence what we believe Africa is and should become. (shrink)

This is the second article in a series of review articles addressing biosemiotic terminology. The biosemiotic glossary project is designed to integrate views of members within the biosemiotic community based on a standard survey and related publications. The methodology section describes the format of the survey conducted July–August 2014 in preparation of the current review and targeted on Jakob von Uexküll’s term ‘Umwelt’. Next, we summarize denotation, synonyms and antonyms, with special emphasis on the denotation of this term in current (...) biosemiotic usage. The survey findings include ratings of eight citations defining or making use of the term Umwelt. We provide a summary of respondents’ own definitions and suggested term usage. Further sections address etymology, relevant contexts of use, and related terms in English and other languages. A section on the notion’s Uexküllian meaning and later biosemiotic meaning is followed by attempt at synthesis and conclusion. We conclude that the Umwelt is a centerpiece phenomenon, a phenomenon that other phenomena in the living realm are organized around. To sum up Uexküll’s view, we can characterize an Umwelt as the subjective world of an organism, enveloping a perceptual world and an effector world, which is always part of the organism itself and a key component of nature, which is held together by functional cycles connecting different Umwelten. In order to pay respect to Uexküll’s work, we must move from notion to model, from mention of Uexküll’s Umwelt term to actual application of it. (shrink)

In this note we give two new simple derivations of the “good-cut” equation, the equation which governs (complex) self-dual asymptotically flat gravitational fields. One of these derivations is remarkably simple, involving only a few lines. Our main point of interest, however, is in the second derivation. Though it is slightly more complicated, this method of derivation is almost certainly generalizable to cover real asymptotically flat space-times and thus lead to a generalization of the good-cut equation.

A detailed outline is presented of several convergent points of view connecting the self-dual and anti-self-dual fields with their free data. This is done for the Maxwell and for linearized gravity as exemplifying the approaches. The Sparling equation provides one tool of great power and characterizes one approach. The twistor theory of Penrose yields another equally powerful point of view. The links between these two basic approaches given in this paper provide a unification that allows workers and others with interest (...) in this area to proceed more readily toward the goal of understanding the full nonlinear Einstein equations. (shrink)

In this review, we describe some of the central philosophical issues facing origins-of-life research and provide a targeted history of the developments that have led to the multidisciplinary field of origins-of-life studies. We outline these issues and developments to guide researchers and students from all fields. With respect to philosophy, we provide brief summaries of debates with respect to (1) definitions (or theories) of life, what life is and how research should be conducted in the absence of an accepted theory (...) of life, (2) the distinctions between synthetic, historical, and universal projects in origins-of-life studies, issues with strategies for inferring the origins of life, such as (3) the nature of the first living entities (the “bottom up” approach) and (4) how to infer the nature of the last universal common ancestor (the “top down” approach), and (5) the status of origins of life as a science. Each of these debates influences the others. Although there are clusters of researchers that agree on some answers to these issues, each of these debates is still open. With respect to history, we outline several independent paths that have led to some of the approaches now prevalent in origins-of-life studies. These include one path from early views of life through the scientific revolutions brought about by Linnaeus (von Linn.), Wöhler, Miller, and others. In this approach, new theories, tools, and evidence guide new thoughts about the nature of life and its origin.We also describe another family of paths motivated by a” circularity” approach to life, which is guided by such thinkers as Maturana & Varela, Gánti, Rosen, and others. These views echo ideas developed by Kant and Aristotle, though they do so using modern science in ways that produce exciting avenues of investigation. By exploring the history of these ideas, we can see how many of the issues that currently interest us have been guided by the contexts in which the ideas were developed. The disciplinary backgrounds of each of these scholars has influenced the questions they sought to answer, the experiments they envisioned, and the kinds of data they collected. We conclude by encouraging scientists and scholars in the humanities and social sciences to explore ways in which they can interact to provide a deeper understanding of the conceptual assumptions, structure, and history of origins-of-life research. This may be useful to help frame future research agendas and bring awareness to the multifaceted issues facing this challenging scientific question. (shrink)

In the 1970s, R.D. MacElroy coined the term ‘extremophile’ to describe microorganisms that thrive under extreme conditions (MacElroy 1974). This hybrid word transliterates to ‘love of extremes’ and has been studied as a straightforward concept for the past 40 years. In this paper, we discuss several ways the term has been understood in the scientific literature, each of which has different consequences for the distribution and importance of extremophiles. They are, briefly, Human-Centric, at the Edge of life’s habitation of Morphospace, (...) by appeal to Statistical Rarity, described by Objective Limits, and at the Limits of Impossibility for metabolic processes. Importantly, these concepts have co-existed, unacknowledged and conflated, for decades. Confusion and equivocation threaten to follow from the wildly varied inclusion or exclusion of organisms as extremophiles depending on the concept used. Under some conceptions, entire kinds of extremophiles become meaningless. Since our understanding of how life works is shaped by what we take to be its extremes, clarifying extremophily is key for many large-scale projects in biology, ecology, biotechnology and astrobiology. In what follows, we proceed as if a noncontroversial account of life is possible and that it is possible to find complex chemistry in the Universe that is similar enough to Life on Earth such that both may be considered instances of ‘life’ (but see Mariscal & Doolittle 2018). We raise, but do not address, the questions of whether the distribution of Life on Earth is representative of what we may find elsewhere in the Universe, whether the same kinds of extremophiles would exist given a replay of the tape of life. Additionally, each of these concepts assumes life based on some sort of biochemistry in this universe, effectively setting aside claims made by some artificial life proponents that their digital organisms are genuine examples of life (Langton 1989, Ray 1995). On the distinction between extremophilic and extremotolerant, we note that all accounts accept the latter as a broader category than the former, since ‘phily’ means love and tolerance is a prerequisite for love under any conception. Indeed, there will be many extremely impoverished environments where tolerance is the only option and thriving is precluded, e.g. Bacillus marismortui was extracted and grown from 250-million-year-old salt crystals in the Permian Salado Formation in an inactive yet persistent state (Vreeland et al., 2000). We also note that extremophily, as a functional category, is potentially applicable at many levels of the biological hierarchy. Extremophily at one level does not necessarily extend to higher and lower levels. For instance, a microorganism in isolation might be quite intolerant to certain environmental conditions yet flourish when subjected to the same conditions as a community or natural biofilm. Alternatively, a protein molecule might be quite stable or active under certain conditions even if the optimal environment for the organism containing it is far more mesophilic. There is an industry of artificially selecting organisms and proteins to adapt to extreme environments (see van den Burg & Eijsink 2002), providing some justification to consider ‘functioning at extremes’ as a worthwhile category of investigation. Finally, we also note certain physico-chemical ranges are rarely considered with respect to extremophily – timespan, size, nutrient availability (Hoehler & Jørgensen 2013), etc. – as well as some biological parameters – abundance, isolation, competition, etc. Perhaps scientific interest must also come into play as to the reason these criteria are not considered relevant. We return to this issue later. In the next section, we give five definitions of extremophily, show their benefits, drawbacks, and unintended yet unavoidable consequences. These arguments are summarized in Table 1 and represented visually in Figures 1 and 2. Given research on polyextremophiles, it seems Figure 2 is a more plausible representation of the state of current knowledge than Figure 1 (Harrison et al. 2013). Life is patchily distributed across various dimensions, which may reflect its contingent history, poor sampling, or (perhaps) fundamental limits. Figure 3 shows the conceptual flowchart for all of these views. In the following section, we take a step back to ask whether we should choose between these definitions and how such a judgment could be made. We argue for a limited pluralism, in which some, but not all, of the concepts are acceptable relative to certain practical and theoretical aims. (shrink)

En su artículo de 2000, Hookway pretende argumentar que el principio de justificación inferencial de Fumerton no tiene las consecuencias escépticas que Fumerton observa en él. Nosotros consideramos que Hookway está en lo cierto. Sin embargo, después de hacer algunos comentarios acerca de sus principales consideraciones a favor de esta tesis, desarrollamos una línea argumentativa independiente que refuerce esa misma conclusión.

a Mathematicians, like Proust and everyone else, are at their best when writing about their first lovea (TM) a ] They are among the very best we have; and their best is very good indeed. a ] One approaches this book with high hopes. Happily, one is not disappointed. a ]In paperback it might well have become a best seller. a ]read it. From The Mathematical Intelligencer Mathematics is shaped by the consistent concerns and styles of powerful minds a three (...) of which are represented here. Kaca (TM)s work is marked by deep commitment and breadth of inquiry. Rota is the easiest of these authors to reada ]a delight: witty and urbane, with a clear and interesting agenda and an astonishing intellectual range. To read him is to be a part of a pleasant and rewarding conversation. Jacob T. Schwartz attacks problems ina ]computer science, mathematical economics, computer and instructional a ] No matter how slippery the problem, Schwartz manages to capture a substantial chunk of it in his mathematical net. a Mathematics Magazine This is a volume of essays and reviews that delightfully explore mathematics in all its moods a from the light and the witty, and humorous to serious, rational, and cerebral. Topics include: logic, combinatorics, statistics, economics, artificial intelligence, computer science, and applications of mathematics broadly. You will also find history and philosophy covered, including discussion of the work of Ulam, Kant, Heidegger among others. (shrink)

Judith Balso desarrolla en este artículo una visión orgánica de la heteronimia de Fernando Pessoa. En ella aspira a mostrar cómo la poesía afronta con sus propios recursos los desafíos y preguntas propios de la ontología. De ese modo Pessoa se coloca más allá de la tradicional separación entre filosofía y poesía propia de la metafísica occidental. Leer a Pessoa significa encarnar en la escritura las preguntas esenciales de lo humano: la cuestión de la existencia, la pregunta por el ser (...) y la nada, la relación del hombre con la Naturaleza, la interrogación del y por el lenguaje, la relación del hombre con los otros hombres. De ese modo se integran en su campo diversidad de inquietudes que van desde la gnoseología a la estética, de la ética a la literatura, del pensamiento de Dios y los dioses. La idea de Balso es que la crisis propia de la metafísica encuentra en Pessoa no sólo una resonancia sino posibles alternativas de renovación. Su ensayo invita a establecer una relación propositiva y carente de prevenciones entre poesía y filosofía. (shrink)

The present research examines whether identity essentialism, an important component of psychological essentialism, is a fundamental feature of human cognition. Across three studies (Ntotal = 1723), we report evidence that essentialist intuitions about the identity of kinds are culturally dependent, demographically variable, and easily malleable. The first study considered essentialist intuitions in 10 different countries spread across four continents. Participants were presented with two scenarios meant to elicit essentialist intuitions. Their answers suggest that essentialist intuitions vary dramatically across cultures. Furthermore, (...) these intuitions were found to vary with gender, education, and across eliciting stimuli. The second study further examined whether essentialist intuitions are stable across different kinds of eliciting stimuli. Participants were presented with two different scenarios meant to elicit essentialist intuitions—the “discovery” and “transformation” scenarios. Their answers suggest that the nature of the eliciting stimuli influences whether or not people report essentialist intuitions. Finally, the third study demonstrates that essentialist intuitions are susceptible to framing effects. Keeping the eliciting stimulus (i.e., the scenario) constant, we show that the formulation of the question eliciting a judgment influences whether or not people have essentialist intuitions. Implications of these findings for identity essentialism and psychological essentialism, in general, are discussed. (shrink)

Mineral species are, at first glance, an excellent candidate for an ideal set of natural kinds somewhere beyond the periodic table. Mineralogists have a detailed set of rules and formal procedure for ratifying new species, and minerals are a less messy subject matter than biological species, psychological disorders, or even chemicals more broadly—all areas of taxonomy where the status of species as natural kinds has been disputed. After explaining how philosophers have tended to get mineralogy wrong in discussions of natural (...) kinds, I show how minerals species don’t behave like natural kinds. They are defined on the basis of human intentionality, not merely natural distinctions. They aren’t ideal grounds for inductive inference. And they don’t form a system that divides nature along a set of equivalent joints. While this is a regrettable outcome to those of us who like the idea of science relying on natural kinds, I contend that mineralogy is doing just fine without a natural kind-based taxonomy, and may in fact be better off without one. (shrink)

What are the limits of the use of artificial intelligence (AI) in the relational aspects of medical and nursing care? There has been a lot of recent work and applications showing the promise and efficiency of AI in clinical medicine, both at the research and treatment levels. Many of the obstacles discussed in the literature are technical in character, regarding how to improve and optimize current practices in clinical medicine and also how to develop better data bases for optimal parameter (...) adjustments and predictive algorithms. This paper argues that there are also in principle obstacles to the application of AI in clinical medicine and care where empathy is important, and that these problems cannot be solved with any of the technical and theoretical approaches that shape the current application of AI in specific areas of clinical medicine in which care for patients is fundamental. This is important, because it generates specific risks that may be overlooked otherwise, and it justifies the necessity of human monitoring and emotional intervention in clinical medicine. Consequently, difficult issues concerning moral and legal responsibility may ensue if these in principle problems are ignored. (shrink)

Biological evolution provides a creative fount of complex and subtle adaptations, often surprising the scientists who discover them. However, because evolution is an algorithmic process that transcends the substrate in which it occurs, evolution’s creativity is not limited to nature. Indeed, many researchers in the field of digital evolution have observed their evolving algorithms and organisms subverting their intentions, exposing unrecognized bugs in their code, producing unexpected adaptations, or exhibiting outcomes uncannily convergent with ones in nature. Such stories routinely reveal (...) creativity by evolution in these digital worlds, but they rarely fit into the standard scientific narrative. Instead they are often treated as mere obstacles to be overcome, rather than results that warrant study in their own right. The stories themselves are traded among researchers through oral tradition, but that mode of information transmission is inefficient and prone to error and outright loss. Moreover, the fact that these stories tend to be shared only among practitioners means that many natural scientists do not realize how interesting and lifelike digital organisms are and how natural their evolution can be. To our knowledge, no collection of such anecdotes has been published before. This paper is the crowd-sourced product of researchers in the fields of artificial life and evolutionary computation who have provided first-hand accounts of such cases. It thus serves as a written, fact-checked collection of scientifically important and even entertaining stories. In doing so we also present here substantial evidence that the existence and importance of evolutionary surprises extends beyond the natural world, and may indeed be a universal property of all complex evolving systems. (shrink)

BackgroundPreprint usage is growing rapidly in the life sciences; however, questions remain on the relative quality of preprints when compared to published articles. An objective dimension of quality that is readily measurable is completeness of reporting, as transparency can improve the reader’s ability to independently interpret data and reproduce findings.MethodsIn this observational study, we initially compared independent samples of articles published in bioRxiv and in PubMed-indexed journals in 2016 using a quality of reporting questionnaire. After that, we performed paired comparisons (...) between preprints from bioRxiv to their own peer-reviewed versions in journals.ResultsPeer-reviewed articles had, on average, higher quality of reporting than preprints, although the difference was small, with absolute differences of 5.0% [95% CI 1.4, 8.6] and 4.7% [95% CI 2.4, 7.0] of reported items in the independent samples and paired sample comparison, respectively. There were larger differences favoring peer-reviewed articles in subjective ratings of how clearly titles and abstracts presented the main findings and how easy it was to locate relevant reporting information. Changes in reporting from preprints to peer-reviewed versions did not correlate with the impact factor of the publication venue or with the time lag from bioRxiv to journal publication.ConclusionsOur results suggest that, on average, publication in a peer-reviewed journal is associated with improvement in quality of reporting. They also show that quality of reporting in preprints in the life sciences is within a similar range as that of peer-reviewed articles, albeit slightly lower on average, supporting the idea that preprints should be considered valid scientific contributions. (shrink)

A recent article by Burch-Brown and Archer provides compelling arguments that biodiversity is either a natural kind or a pragmatically-valid scientific entity. I call into question three of these arguments. The first argument contends that biodiversity is a Homeostatic Property Cluster. I respond that there is no plausible homeostatic mechanism that would make biodiversity an HPC natural kind. The second argument proposes that biodiversity is a multiply-realizable functional kind. I respond that there is no shared function to ground this account. (...) The final, and strongest, argument, is that biodiversity is an ineliminable explanans and explanandum in various subdisciplines of biology. I argue that once we look at the details of the relevant research, not only does biodiversity in a broad sense not function in explanatory roles, but we must eliminate biodiversity in favor of more specific concepts in order to make sense of the leading explanations in contemporary ecology and conservation science. (shrink)

Some metaphysicians believe that metaphysical modality is explainable by the essences of objects. In §II, I spell out the definitional view of essence, and in §III, a working notion of metaphysical explanation. Then, in §IV, I consider and reject five natural ways to explain necessity by essence: in terms of the principle that essential properties can't change, in terms of the supposed obviousness of the necessity of essential truth, in terms of the logical necessity of definitions, in terms of Fine's (...) logic of essence, and in terms of the theory of real definitions. I will conclude that the present evidence favours rejecting the hypothesis that modality is explainable by essence. (shrink)

This article argues that political realists have at least two strategies to provide distinctively political normative judgements that have nothing to do with morality. The first ground is instrumental normativity, which states that if we believe that something is a necessary means to a goal we have, we have a reason to do it. In politics, certain means are required by any ends we may intend to pursue. The second ground is epistemic normativity, stating that if something is true, this (...) gives us a reason to believe it. In politics, there are certain empirical regularities that ought to be acknowledged for what they are. Both sources are flawed. Instrumental normativity only requires coherence between attitudes and beliefs, and one can hang on to false beliefs to preserve attitudes incompatible with reality. I may desire to eschew power relations, and accordingly I may imagine politics to be like a camping trip. Epistemic normativity, on the other hand, operates critically, striking down existing normative claims. It shows us that politics is nothing like a camping trip, but it doesn’t tell us what we should do about it. We conclude by showing that if the two are taken together, they remedy each other’s flaws. (shrink)

The CRISPR system for gene editing can break, repair, and replace targeted sections of DNA. Although CRISPR gene editing has important therapeutic potential, it raises several ethical concerns. Some bioethicists worry CRISPR is a prelude to a dystopian future, while others maintain it should not be feared because it is analogous to past biotechnologies. In the scientific literature, CRISPR is often discussed as a revolutionary technology. In this paper we unpack the framing of CRISPR as a revolutionary technology and contrast (...) it with framing it as a value-threatening biotechnology or business-as-usual. By drawing on a comparison between CRISPR and the Ford Model T, we argue CRISPR is revolutionary as a product, process, and as a force for social change. This characterization of CRISPR offers important conceptual clarity to the existing debates surrounding CRISPR. In particular, conceptualizing CRISPR as a revolutionary technology structures regulatory goals with respect to this new technology. Revolutionary technologies have characteristic patterns of implementation, entrenchment, and social impact. As such, early identification of technologies as revolutionary may help construct more nuanced and effective ethical frameworks for public policy. (shrink)

The book is a comprehensive introduction to the work of the Estonian-German biologist Jakob von Uexküll. After a first introductory chapter by Morten Tønnessen and a second chapter on Uexküll's life and philosophical background, it contains four chapters devoted to the analysis of his main works; they are followed by a vast eighth chapter which deals with the influence Uexküll had on other philosophers and scientists, and by a conclusions focused on the possibility of updating Uexküll's work. The monograph combines (...) a careful reconstruction of the historical context in which the Uexküllian concepts emerged (the debate between mechanism and vitalism, contemporary scientific studies) and a thorough analysis of the philosophical contents of the Uexküllian views. As far as the key issue is concerned, Uexküll's notion of Umwelt refers to the perceptive and operative world which surrounds animal species; it is a subjective species-specific construction which provides living organisms with great security and behaviour stability. Moreover, the relationship that the animal carries out with its environment proves to be a complex system of semiotic interactions: its behaviour is not a set of mechanical reactions, but the result of a spontaneous attribution of meaning to the outside world, whose environmental elements are actively interpreted by the subject. The environment of animal species becomes a field of meaning, an exceedingly complex subjective elaboration; this can lessen the distance between animals and men, crediting both with the cognitive ability to grasp meanings and to use signs. (shrink)

O presente artigo tem como objectivo fundamental propor uma interpretação do poema de T.S. Eliot, The Waste Land, no qual a experiência do mal constitui ponto de referência central. Esta experiência, traduzida metaforicamente por "terra desolada", pode ser perspectivada tanto em termos pessoais como civilizacionais. O poema, depois de realizar o diagnóstico de uma situação de crise profunda, realiza o que poderíamos designar como um ritual catártico que permite a purificação das dimensões negativas, sedimentadas em nós, constrangedoras da nossa liberdade. (...) /// This paper proposes an interpretation of T. S. Elliot 's poem The Waste Land whose core is the experience of evil. Such experience, expressed by the metaphor of the "waste land", can be viewed either in personal or in civilizational terms. After diagnosing a profound crisis, the poem goes on to what could be called a cathartic ritual, which enables the purification of negative elements of life that constrain our freedom. (shrink)

This article examines the current justifications of deductive inferences, and finds them wanting. It argues that this depends on the fact that all such justification take no account of the role deductive inferences play in knowledge. Alternatively, the article argues that a justification of deductive inferences may be given in terms of the fact that they are non-ampliative, in the sense that the content of the conclusion is merely a reformulation of the content of the premises. Some possible objections to (...) this view are discussed and found inadequate. (shrink)

We respond to Stephen T. Davis’ criticism of our earlier essay, “Assessing the Resurrection Hypothesis.” We argue that the Standard Model of physics is relevant and decisive in establishing the implausibility and low explanatory power of the Resurrection hypothesis. We also argue that the laws of physics have entailments regarding God and the supernatural and, against Alvin Plantinga, that these same laws lack the proviso “no agent supernaturally interferes.” Finally, we offer Bayesian arguments for the Legend hypothesis and against the (...) Resurrection hypothesis. (shrink)

Although canine identification of body odor (BO) has been widely used as forensic evidence, the concept of nosewitness identification by human observers was only recently put to the test. The results indicated that BOs associated with male characters in authentic crime videos could later be identified in BO lineup tests well above chance. To further evaluate nosewitness memory, we assessed the effects of lineup size (Experiment 1) and retention interval (Experiment 2), using a forced-choice memory test. The results showed that (...) nosewitness identification works for all lineup sizes (3, 5, and 8 BOs), but that larger lineups compromise identification performance in similarity to observations from eye- and earwitness studies. Also in line with previous eye- and earwitness studies, but in disagreement with some studies on odor memory, Experiment 2 showed significant forgetting between shorter retention intervals (15 min) and longer retention intervals (1-week) using lineups of five BOs. Altogether this study shows that identification of BO in a forensic setting is possible and has limits and characteristics in line with witness identification through other sensory modalities. (shrink)

Recent work in the philosophy of biology has attempted to clarify and defend the use of the biodiversity concept in conservation science. I argue against these views, and give reasons to think that the biodiversity concept is a poor fit for the role we want it to play in conservation biology on both empirical and conceptual grounds. Against pluralists, who hold that biodiversity consists of distinct but correlated properties of natural systems, I argue that the supposed correlations between these properties (...) are not tight enough to warrant treating and measuring them as a bundle. I additionally argue that deflationary theories of biodiversity don’t go far enough, since a large proportion of what we value in the environment falls outside bounds of what could reasonably be called “diversity”. I suggest that in current scientific practice biodiversity is generally an unnecessary placeholder for biological value of all sorts, and that we are better off eliminating it from conservation biology, or at least drastically reducing its role. (shrink)

We show that basic hybridization makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are to add nominals as expressions of type t, and to extend to arbitrary types the way we interpret \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$@_i$\end{document} in propositional and first-order hybrid logic. This means: interpret \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$@_i\alpha _a$\end{document}, where \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} (...) \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\alpha _a$\end{document} is an expression of any type \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$a$\end{document}, as an expression of type \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$a$\end{document} that rigidly returns the value that \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\alpha_a$\end{document} receives at the i-world. The axiomatization and completeness proofs are generalizations of those found in propositional and first-order hybrid logic, and we automatically obtain a wide range of completeness results for stronger logics and languages. Our approach is deliberately low-tech. We don’t, for example, make use of Montague’s intensional type s, or Fitting-style intensional models; we build, as simply as we can, hybrid logicover Henkin’s logic. (shrink)

We show that basic hybridization (adding nominals and @ operators) makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are to add nominals as expressions of type t, and to extend to arbitrary types the way we interpret $@_i$ in propositional and first-order hybrid logic. This means: interpret $@_i\alpha _a$ , where $\alpha _a$ is an expression of any type $a$ , as an expression of type $a$ that (...) rigidly returns the value that $\alpha_a$ receives at the i-world. The axiomatization and completeness proofs are generalizations of those found in propositional and first-order hybrid logic, and (as is usual inhybrid logic) we automatically obtain a wide range of completeness results for stronger logics and languages. Our approach is deliberately low-tech. We don’t, for example, make use of Montague’s intensional type s, or Fitting-style intensional models; we build, as simply as we can, hybrid logicover Henkin’s logic. (shrink)

t. 1. La época de Carlos Vaz Ferreira -- t. 2. Después de la época de Carlos Vaz Ferreira ; La época actual : A. Ardao y J.L. Segundo.

Let G be a finite group, T denote the theory of Z[G]-lattices . It is shown that T is undecidable when there are a prime p and a p-subgroup S of G such that S is cyclic of order p4, or p is odd and S is non-cyclic of order p2, or p = 2 and S is a non-cyclic abelian group of order 8 . More precisely, first we prove that T is undecidable because it interprets the word problem (...) for finite groups; then we lift undecidability from T to T. (shrink)

What the present work aimed to achieve is an assessment of the origin an d unity of Husserl s Logical Investigations. My approach was to take the history of its development as fundamental for the determination of its basic structure. Therefore, I proceeded to analyse Husserl s development between the Philosophy of Arithmetic and Logical Investigations with re spect to the fundamental issues in the justification of knowledge in mathematics and logic. In Husserl s own words, one of the concerns (...) that set him on the road to phenomenology was the clarification and analysis of the relation b etween the subjectivity of knowing and the objectivity of knowledge. Fro m my investigations it has, I hope, become apparent how this problem ori ginated in his earliest works and, through various influences and exchanges, led to his theory of intentionality in the first editio n of the Logical Investigations. The Logical Investigations is located between his Brentanist phase and t he ultimate development of transcendental phenomenology. It is the sedim ent of Husserl s logical investigations during the 1890s, which is the m ain period I analysed in the present work. Husserl himself often remarke s on the early origin of some of the issues he tried to deal with in the Logical Investigations. Still in his sketches for a new preface to the second edition of 1913, he took pains to point out the developmental his tory of the work from the Philosophy of Arithmetic onward. Regarding the Philosophy of Arithmetic, more often than not, Husserl remarks that it was just and elaboration of his Habilitationsschrift. Hence, following h is lead, we tried to embrace the whole period of his psychological and l ogical analyses from 1886/7 to 1900/01. Of course, I was certainly not the first, nor will I be the last, to be intrigued by Husserl s development in these years. Numerous books and articles have been written long before mine on precisely these issue s, often dealing with specific topics, such as the uneasy relation of psychology and psychologism in Husserl s work or fundamental inʂ 58;uences such as Bolzano s, which I therefore chose to leave aside. Not simply to duplicate or summarise such pre-existing scholarship, I tried to concentrate on the issues to which I felt I could contribute an orig inal insight, advancing the field. I would like to indicate ᤙ 7;ve points here, where I think I attained this goal: 1. The enduring relevance of Husserl s mathematical ba ckground. 2. Support for an early development of a theory of hig her order objects 3. A better evaluation of Frege s influence 4. A contextualisation of Schuhmann s thesis regarding the relevance of Twardowski for Husserl s notion of intentionality 5. The dependence of the unity of the Logical Investig ations on its historical development. Without understanding its developmental history we would misunderstand i ts internal coherence. In the first part we saw Husserl s early struggle to integrate the mathematical and psychological points of view on the philosophy of math ematics, a struggle that lasted from the Habilitationsschrift at least u p to and including his Doppelvortrag. The basic problem is the justi@ 257;cation of knowledge, in the case of mathematics, the justifica tion of knowledge in formal sciences, obtained with symbolic methods. Su ch problems regarding the subjectivity of knowing and the objectivity of knowledge guided the development of his position from Philosophy of Ari thmetic to Logical Investigations. In articulating his solution Husserl analysed the various relations betw een founding and founded layers of knowledge and whether and how one cou ld pass from on to the other. Already at the time of the Philosophy of A rithmetic he tried to account for higher order acts, relations and objec ts, the mature account of which would have to wait until the Logical Inv estigations and later. Among various influences on his progression towards phenomenology, Frege has been often considered to have provided the conversion to an ti-psychologism with his review of the Philosophy of Arithmetic. I think I have demonstrated that the review is almost entirely irrelevant in th is sense and that we should rather look at a much earlier influenc e on the Philosophy of Arithmetic. By showing that Brentano s conception of intentionality was already more sophisticated than until recently assumed, thanks to some recent public ations of unpublished material from Brentano s and Husserl s Nachlass, I think Schuhmann s thesis is right, but should be reinterpreted as being less radical than it would appear. Both Husserl and Twardowski were in& #64258;uenced by Brentano as his students. Following his and Meinong s l ead, they both elaborated a theory on intentionality, in connection with the other theories of intentionality in his school and the Brentano-Bol zano paradox. Furthermore, by providing a more continuous reading of Hus serl s development through the transcendental turn, I hope to have made clear that his later theory of the noema is not a return to a neo-Twardo wskian triadic position, but a reaffirmation, now in transcendental key, of his 1894 take on the matter. The Logical Investigations are uniquely determined by their historical c ontext in the middle of Husserl s development, falling almost exactly be tween the Habilitationsschrift and the Ideas. Due to their troubled hist ory, including changes in Husserl s earliest position around 1890, the f ailure of the second volume of the Philosophy of Arithmetic, various in& #64258;uences around 1894, and the subsequent reorientation and broadeni ng of his theories to a non-psychologistic logic and mathesis universali s, the Logical Investigations might at first seem to fall apart in two fundamentally disconnected books, the second one of which containin g six heterogeneous studies. It is my contention that it is exactly its troubled history that ties the Logical Investigations together, as Husse rl developed his logical investigations in the 1890s on the basis of a h andful thorny problems, including intentionality as centerpiece. From th e Habilitationsschrift to the Ideas it is the relation between subject a nd object, in all respects, ontological as well as epistemological, that guides his research. The Logical Investigations is a intermediate sedim ent of his struggles, containing an elaboration and improvement of his p osition in his early works and also pointing ahead towards the later pos ition of transcendental phenomenology as an implication and continuation of the solutions he proposes. Furthermore, I tried to address the problem that, while Husserl regarded his Logical Investigations as the breakthrough to phenomenology, many f undamental notions of the later transcendental phenomenology seem to be missing in the first edition of the Logical Investigations. The me thod of the reduction, the notion of a pure ego and a full account of th e noema are at most sketched or implied. Hence, I also looked ahead to t he further development of phenomenology after the Logical Investigations. As Husserl s influence has extended beyond the movement he found ed, I felt I could not bypass his significance for the currently d ominant analytical philosophy. Especially with respect to some of the co re topics of the Logical Investigations, but also earlier themes such as Husserl s semiotics, there is an interest in phenomenology from the ana lytic side. Nevertheless, precisely with regard to the unifying theme of intentionality, analytical philosophy often seems to miss the mark, and spectacularly so. I discussed Searle s influential, but in my opi nion, misguided and flawed approach, and I hope it is clear that I have chosen my method and approach in complete antithesis to his. The central contributions I was able to give, were only possible thanks to solid historical groundwork as necessary prerequisite for systematic analyses. Wherever possible, a reference to the original primary sources was provided, allowing the texts to speak for themselves and providing the reader with the critical instruments to evaluate my interpretations. As Husserl stood in a fruitful exchange with many other scholars, as st udent, colleague, friend and teacher, the intellectual context of his th oughts is essential to a correct understanding of his theories and aims. I hope to have found the right balance in the historical and the system atical aspects of my work to suit the interests of the reader and the re quirements of scholarship. (shrink)

‘I don’t believe that we can change moral intuitions except as educators – that is, not as theoreticians and not as writers’. (Jürgen Habermas 1992, 202) ‘The thinker as lifestyle, as vision, as ex...

O pintor tem espaço nos retábulos maneiristas, diminuindo o seu desempenho a favor do entalhador, à medida que o programa do Barroco Nacional se impõe na arte da talha. Em Portugal, nos séculos XVII e XVIII, definem-se os ofícios com fronteiras frágeis. Entalhador pode significar escultor, imaginário ou ensamblador – assim como o dourador é mencionado, muitas vezes, como pintor e estofador, numa polivalência artística notável. Cabe ao imaginário, na gramática barroca, apropriar-se dos espaços intercolúnios, entre outros, para cumprir as (...) encomendas dos santos em concordância com as determinações do Concílio de Trento.Os inventários, as Memórias Ressuscitadas de Entre-Douro-e-Minho (Francisco Craesbeeck, 1726), as Memórias Paroquiais de 1758 (A.N.T.T.) e um levantamento fotográfico privilegiam o percurso escultórico dos oragos e das invocações retabulares de templos no Baixo Tâmega e no Vale do Sousa. Neste sentido, pretende-se desenhar uma matriz dos espécimes mais recorrentes, estabelecendo assim a mancha das devoções nacionais nos concelhos de Amarante, Marco de Canaveses, Felgueiras e Penafiel. (shrink)

En este trabajo, el autor analiza las contradicciones que el multiculturalismo plantea en las sociedades actuales, resaltando la importante mediación que el sistema político democrático lleva a cabo en la resolución de las mismas. A partir de los artículos de tres autores ('The Politics ofRecognition" de CH Taylor: "Struggles for Recognition in Constitutional States" de J. Habermas y "Legitimacy and Diversity: Dialectical Reflections on Analytical Distinctions" de T. McCarthy) y de la referencia final al trabajo de Rawls 'The Law of (...) the People", expone una serie de momentos teóricos que representan diferentes estadios en la discusión entre el pensamiento liberal y el comunitarismo, y que componen un proceso explicativo en el que cada uno de esos momentos supondría una superación teórica del anterior. En concreto, el autor trata de situar la discusión sobre el reconocimiento del derecho a la diferencia, en el terreno en el que del análista del modelo teórico del liberalismo más acorde con el reconocimiento de derechos a las colectividades-el republicanismo comunitarista al que se refiere Taylor-, se pase al análisis del tipo de sistema político dentro del cual se reconozca la diferencia y la existencia de otras culturas como algo que ya estaba implícito en la teoría de los derechos. Este sistema político sería la democracia deliberativa y su procedimiento discursivo para tomar decisiciones y llegar a acuerdos, propuesto por J. Habermas. El trabajo de McCarthy tratarla de resolver algunas fisuras en la democracia deliberativa que afectarían a su legitimidad por cuanto suponen un menoscabo a la idea misma de las diferencias. Finalmente, la alusión a Rawls permite al autor erigir el sistema de los derechos humanos en el estándar mínimo necesario para llegar a un acuerdo global lo suficientemente amplio y abstracto como para garantizar el máximo respeto a las diferencias. Un acuerdo que, insiste el autor, sólo puede enmarcarse en un proyecto democrático con dimensión internacional, al que llama "horizonte cosmopolitamente democrático". (shrink)

In what follows I consider the apparent contrast between two kinds of theories of context: a theory of objective context - exemplified in the works of Kaplan and Lewis - and a theory of subjective context -exemplified in the works of McCarthy and Giunchiglia. I consider then some difficulties for the objective theory. I don't give any formalization; instead I give some theoretical points about the problem. A possible result could be the abandon of the double indexing for a development (...) a multi-context theory (I give an example of a case). However other results could be possible and a challenge is posed to solve problems using the best results from each tradition of research. (shrink)

t. 1. Livres I à IV -- t. 2. Livres V à VII et Notes marginales de Nicolas de Cues.

This work presents an overview of four different approaches to the problem of future contingency and determinism in temporal logics. All of them are bivalent, viz. they share the assumption that propositions concerning future contingent facts have a determinate truth-value. We introduce Ockhamism, Peirceanism, Actualism and T x W semantics, the four most relevant bivalent alternatives in this area, and compare them from the point of view of their expressiveness and their underlying metaphysics of time.

We consider R-torsionfree modules over group rings RG, where R is a Dedekind domain and G is a finite group. In the first part of the paper [4] we compared the theory T of all R-torsionfree RG-modules and the theory T0 of RG-lattices , and we realized that they are almost always different. Now we compare their behaviour with respect to decidability, when RG-lattices are of finite, or wild representation type.

Human beings are getting fatter and sicker. As we question what we eat and why we eat it, this book argues that living well involves consuming a raw vegan diet. With eating healthfully and eating ethically being simpler said than done, this book argues that the best solution to health, environmental, and ethical problems concerning animals is raw veganism―the human diet. The human diet is what humans are naturally designed to eat, and that is, a raw vegan diet of fruit, (...) tender leafy greens, and occasionally nuts and seeds. While veganism raises challenging questions over the ethics of consuming animal products, while also considering the environmental impact of the agriculture industry, raw veganism goes a step further and argues that consuming cooked food is also detrimental to our health and the environment. Cooking foods allows us to eat food that is not otherwise fit for human consumption and in an age that promotes eating foods in ‘moderation’ and having ‘balanced’ diets, this raises the question of why we are eating foods that should only be consumed in moderation at all, as moderation clearly implies they aren’t good for us. In addition, from an environmental perspective, the use of stoves, ovens and microwaves for cooking contributes significantly to energy consumption and cooking in general generates excessive waste of food and resources. Thus, this book maintains that living well and living a noble life, that is, good physical and moral health, requires consuming a raw vegan diet. Exploring the scientific and philosophical aspects of raw veganism, this novel book is essential reading for all interested in promoting ethical, healthful, and sustainable diets. (shrink)

El corpuscularismo sirvió a los físicos del XVII para matematizar la naturaleza al considerarla un conjunto de sistemas mecánicos. Pero la discontinuidad del atomismo chocaba con la continuidad de las magnitudes básicas, espacio y el tiempo, y derivadas. En su madurez, Galileo fundió física y matemáticas propo-niendo componer tanto los cuerpos como las magnitudes continuas a base de átomos inextensos (indivisibles). En el proceso inició el análisis de las propiedades de los conjuntos infinitos, pero no logró elaborar un cálculo que (...) le permitiese computar diferentes movimientos acelerados, mientras que en física no resolvió en problema fundamental de la condensación y la rarefacción.Seventeenth century atomism envisioned Nature as a set of mechanical systems to be treated mathematically. But the basic discontinuity of atomic theory of matter appeared inconsistent with the essential continuous character of geometrical magnitudes. In his old age Galileo devised a way to unify mathematics and physics via composing matter and continuous magnitudes out of an infinity of indivisible (atomic) units. Even though he forwarded the analysis of infinite sets, he couldn’t establish a calculus to compute and compare different accelerated motions. In physics he never solved the basic problem of condensation and rarefaction of substances. But the side results were interesting and even fascinating. (shrink)