This comprehensive volume features the proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI and Law, held in Hangzhou, China on September 8-9 and 11-12, 2023. The collection offers a diverse range of papers that explore the intersection of logic, artificial intelligence, and law. With contributions from some of the leading experts in the field, this volume provides insights into the latest research and developments in the applications of logic in (...) these areas. It is an essential resource for researchers, practitioners, and students interested in the latest advancements in logic and its applications to artificial intelligence and law. (shrink)

In this paper, I summarize Hume's moral theory as it is developed in the Treatise on Human Nature and pay particular attention to the question how evil is possible in Hume's theory.

Despite a large and multifaceted effort to understand the vast landscape of phenotypic data, their current form inhibits productive data analysis. The lack of a community-wide, consensus-based, human- and machine-interpretable language for describing phenotypes and their genomic and environmental contexts is perhaps the most pressing scientific bottleneck to integration across many key fields in biology, including genomics, systems biology, development, medicine, evolution, ecology, and systematics. Here we survey the current phenomics landscape, including data resources and handling, and the progress that (...) has been made to accurately capture relevant data descriptions for phenotypes. We present an example of the kind of integration across domains that computable phenotypes would enable, and we call upon the broader biology community, publishers, and relevant funding agencies to support efforts to surmount today's data barriers and facilitate analytical reproducibility. (shrink)

Metaphysically possible worlds have many uses. Epistemically possible worlds promise to be similarly useful, especially in connection with propositions and propositional attitudes. However, I argue that there is a serious threat to the natural accounts of epistemically possible worlds, from a version of Russell’s paradox. I contrast this threat with David Kaplan’s problem for metaphysical possible world semantics: Kaplan’s problem can be straightforwardly rebutted, the problems I raise cannot. I argue that although there may be coherent accounts of epistemically possible (...) worlds with fruitful applications, any such an account must fundamentally compromise the basic idea behind epistemic possibility. (shrink)

This paper will be concerned with the role acquaintance plays in contemporary theories of introspection. Traditionally, the relation of acquaintance has been conceived in analytic epistemology and philosophy of mind as being only epistemically relevant inasmuch as it causes, or enables, or justifies a peculiar kind of propositional knowledge, i.e., knowledge by acquaintance. However, in recent years a novel account of the role of acquaintance in our introspective knowledge has been offered. According to this novel constitutive approach, acquaintance is, in (...) itself, a sui generis—i.e., non-propositional—kind of knowledge. As we will suggest, a stalemate between David Chalmers’ account of direct phenomenal concepts—as a prototypical example of a causal view—and Anna Giustina’s account of primitive introspection—as a prototypical example of a constitutive view—is looming in the current controversy between the two families of theories. Towards the end of the essay, we will point to some possible ways for a constitutive theorist to break the stalemate. (shrink)

This is a review (in French) of the French translation and edition of D.M. Armstrong's Universals: An Opiniated Introduction.

David Milner and Melvyn Goodale’s dissociation hypothesis is commonly taken to state that there are two functionally specialized cortical streams of visual processing originating in striate (V1) cortex: a dorsal, action-related “unconscious” stream and a ventral, perception-related “conscious” stream. As Milner and Goodale acknowledge, findings from blindsight studies suggest a more sophisticated picture that replaces the distinction between unconscious vision for action and conscious vision for perception with a tripartite division between unconscious vision for action, conscious vision for perception, and (...) unconscious vision for perception. The combination excluded by the tripartite division is the possibility of conscious vision for action. But are there good grounds for concluding that there is no conscious vision for action? There is now overwhelming evidence that illusions and perceived size can have a significant effect on action (Bruno & Franz, 2009; Dassonville & Bala, 2004; Franz & Gegenfurtner, 2008; McIntosh & Lashley, 2008). There is also suggestive evidence that any sophisticated visual behavior requires collaboration between the two visual streams at every stage of the process (Schenk & McIntosh, 2010). I nonetheless want to make a case for the tripartite division between unconscious vision for action, conscious vision for perception, and unconscious vision for perception. My aim here is not to refute the evidence showing that conscious vision can affect action but rather to argue (a) that we cannot gain cognitive access to action-guiding dorsal stream representations, and (b) that these representations do not correlate with phenomenal consciousness. This vindicates the semi-conservative view that the dissociation hypothesis is best understood as a tripartite division. (shrink)

According to intentionalism, the phenomenal character of experience is one and the same as the intentional content of experience. This view has a problem with moods (anxiety, depression, elation, irritation, gloominess, grumpiness, etc.). Mood experiences certainly have phenomenal character, but do not exhibit directedness, i.e., do not appear intentional. Standardly, intentionalists have re-described moods’ undirectedness in terms of directedness towards everything or the whole world (e.g., Crane, 1998; Seager, 1999). This move offers the intentionalist a way out, but is quite (...) unsatisfying. More recently, Angela Mendelovici (2013a, b) has suggested something that looks more interesting and promising: instead of re-describing moods’ phenomenology, she accepts its undirectedness at face value and tries to explain it in intentionalist terms. In this paper, I focus on and criticize Mendelovici’s proposal. As I will show, despite its prima facie virtues, the view is poorly motivated. For, contrary to what Mendelovici argues, introspection does not support her proposal—arguably, it provides some evidence against it. So, the problem that intentionalism has with moods is not solved, but is still there. (shrink)

In this paper, we investigate the expressiveness of the variety of propositional interval neighborhood logics , we establish their decidability on linearly ordered domains and some important subclasses, and we prove the undecidability of a number of extensions of PNL with additional modalities over interval relations. All together, we show that PNL form a quite expressive and nearly maximal decidable fragment of Halpern–Shoham’s interval logic HS.

While environmental claims are increasingly used by companies to appeal consumers, they also attract greater scrutiny from independent parties interested in consumer protection. Consumers are now able to compare corporate environmental claims against external, often disconfirming, information to form their brand attitudes and purchase intentions. What remains unclear is how the level of information specificity of both the environmental claims and external disconfirming information interact to influence consumer reactions. Two experiments address this gap in the CSR communication literature. When specific (...) claims are countered by specific external information, consumers report more negative brand attitudes and lower purchase intentions. The effect is serially mediated by skepticism toward the claims and lack of corporate credibility. We conclude by discussing strategies that firms can utilize to avoid information dilution and ensure that external disconfirming information percolates to consumers as specific. (shrink)

The article tries to reconstruct the Wirkungsgeschichte of the De pace fidei and it focuses on some fundamental moments of its fate. Nicholas of Cusa was one of the first not just to recognize other religions' value, but also to individuate a source of richness in religious pluralism. His work had fortune since the years after its draft, the 1453, known and quoted by Eimerico da Campo, Giovanni of Segovia, Juan de Torquemada and Pope Pius II. The debate, alive and (...) still open, around the possible influence of the work to Italian humanistic context is reconstructed, in particular about Pico and Ficino. Trusted traces of reception of the work can be individuated in France, in authors like Bodin and Postel. Finally the article is focused on modern fate of the work in Germany: beyond the cultural contest into reception and translation had done, the work analyze the reception by the German philosopher Lessing and on his comparison with Cusanian ideas about the vision of tolerance elaborated by the last one. (shrink)

The so-called transparency of experience (TE) is the intuition that, in introspecting one’s own experience, one is only aware of certain properties (like colors, shapes, etc.) as features of (apparently) mind-independent objects. TE is quite popular among philosophers of mind and has traditionally been used to motivate Representationalism, i.e., the view that phenomenal character is in some strong way dependent on intentionality. However, more recently, others have appealed to TE to go the opposite way and support the phenomenal intentionality view (...) (PIV), according to which intentionality is in some strong way dependent on phenomenal character. If this line of argument succeeds, then not only TE does not speak in favor of Representationalism, but it actually speaks against it, contrary to the philosophical common-sense of the last two decades. Moreover, the representationalist project of naturalizing phenomenal character turns out to be seriously undermined on the same intuitive grounds that were supposed to make it plausible. In this paper, I reconstruct and discuss the line of argument from TE to PIV and argue that our introspective intuitions (TE) do not push us in the direction of PIV. On the contrary, the line of argument from TE to PIV is (at best) simply too weak to force us to conclude that intentionality depends on phenomenal character in the sense required for PIV to be true. (shrink)

Bohmian mechanics is a realistic interpretation of quantum theory. It shares the same ontology of classical mechanics: particles following continuous trajectories in space through time. For this ontological continuity, it seems to be a good candidate for recovering the classical limit of quantum theory. Indeed, in a Bohmian framework, the issue of the classical limit reduces to showing how classical trajectories can emerge from Bohmian ones, under specific classicality assumptions. In this paper, we shall focus on a technical problem that (...) arises from the dynamics of a Bohmian system in bounded regions; and we suggest that a possible solution is supplied by the action of environmental decoherence. However, we shall show that, in order to implement decoherence in a Bohmian framework, a stronger condition is required rather than the usual one. (shrink)

In this paper, we discuss the inherent temporal orientation of fear, a matter on which philosophers seem to have contrasting opinions. According to some, fear is inherently present-oriented; others instead maintain that it is inherently future-oriented or that it has no inherent temporal orientation at all. Despite the differences, however, all these views seem to understand fear’s temporal orientation as one-dimensional—that is, as uniquely determined by the represented temporal location of the intentional object of fear. By contrast, we present a (...) view that introduces a two-dimensional account of fear’s temporal orientation. On such a view, we can say that fear is inherently future-oriented, independently of its being about something in the present or in the future. (shrink)

Although brain size and the concept of intelligence have been extensively used in comparative neuroscience to study cognition and its evolution, such coarse-grained traits may not be informative enough about important aspects of neurocognitive systems. By taking into account the different evolutionary trajectories and the selection pressures on neurophysiology across species, Logan and colleagues suggest that the cognitive abilities of an organism should be investigated by considering the fine-grained and species-specific phenotypic traits that characterize it. In such a way, we (...) would avoid adopting human-oriented, coarse-grained traits, typical of the standard approach in cognitive neuroscience. We argue that this standard approach can fail in some cases, but can, however, work in others, by discussing two major topics in contemporary neuroscience as examples: general intelligence and brain asymmetries. (shrink)

Some philosophers have recently argued that whether a true belief amounts to knowledge in a specific circumstance depends on features of the subject’s practical situation that are unrelated to the truth of the subject’s belief, such as the costs for the subject of being wrong about whether the believed proposition is true. One of the best-known arguments used to support this view is that it best explains a number of paradigmatic cases, such as the well-known Bank Case, in which a (...) difference in knowledge occurs in subjects differing exclusively with respect to their practical situation. I suggest an alternative explanation of such cases. My explanation has a disjunctive character: on the one hand, it accounts for cases in which the subject is aware of the costs of being wrong in a given situation in terms of the influence of psychological factors on her mechanisms of belief-formation and revision. On the other hand, it accounts for cases in which the subject is ignorant of the costs of being wrong in her situation by imposing a new condition on knowledge. This condition is that one knows that p only if one does not underestimate the importance of being right about whether p. I argue that my explanation has a number of advantages over other invariantist explanations: it accounts for all the relevant cases preserving the semantic significance of our ordinary intuitions, it is compatible with an intellectualist account of knowledge and it escapes several problems affecting competing views. (shrink)

It is generally argued that if the wave-function in the de Broglie–Bohm theory is a physical field, it must be a field in configuration space. Nevertheless, it is possible to interpret the wave-function as a multi-field in three-dimensional space. This approach hasn’t received the attention yet it really deserves. The aim of this paper is threefold: first, we show that the wave-function is naturally and straightforwardly construed as a multi-field; second, we show why this interpretation is superior to other interpretations (...) discussed in the literature; third, we clarify common misconceptions. (shrink)

The paper explains why the de Broglie–Bohm theory reduces to Newtonian mechanics in the macroscopic classical limit. The quantum-to-classical transition is based on three steps: (i) interaction with the environment produces effectively factorized states, leading to the formation of _effective wave functions_ and hence _decoherence_; (ii) the effective wave functions selected by the environment—the pointer states of decoherence theory—will be well-localized wave packets, typically Gaussian states; (iii) the quantum potential of a Gaussian state becomes negligible under standard classicality conditions; therefore, (...) the effective wave function will move according to Newtonian mechanics in the correct classical limit. As a result, a Bohmian system in interaction with the environment will be described by an effective Gaussian state and—when the system is macroscopic—it will move according to Newtonian mechanics. (shrink)

Throughout his work, John Dewey seeks to emancipate philosophical reflection from the influence of the classical tradition he traces back to Plato and Aristotle. For Dewey, this tradition rests upon a conception of knowledge based on the separation between theory and practice, which is incompatible with the structure of scientific inquiry. Philosophical work can make progress only if it is freed from its traditional heritage, i.e. only if it undergoes reconstruction. In this study I show that implicit appeals to the (...) classical tradition shape prominent debates in philosophy of mathematics, and I initiate a project of reconstruction within this field. (shrink)

In this article, we discuss epistemological limitations relating to the use of ethnoracial categories in biomedical research as devised by the Office of Management and Budget’s institutional guidelines. We argue that the obligation to use ethnoracial categories in genomics research should be abandoned. First, we outline how conceptual imprecision in the definition of ethnoracial categories can generate epistemic uncertainty in medical research and practice. Second, we focus on the use of ethnoracial categories in medical genetics, particularly genomics-based precision medicine, where (...) ethnoracial identity is understood as a proxy for medically relevant differences among individuals. Notably, extensive criticisms have been made already against the genetic interpretation of races, but, nonetheless, the concept of race remains a key element of contemporary genomics. This motivates us to explore possible reasons why such criticisms may have been ineffective in redirecting attention to other (non-race-based) ways of controlling for human variability. We contend that popular arguments against the idea that human races have a genetic basis, though convincing in many respects, are not sufficient to exclude the pragmatic use of race and ethnicity as proxies for genetic variability related to complex phenotypes. Finally, we provide two further arguments to support the idea that ethnoracial categories are unlikely to provide meaningful insights into medical genetics, which implies that even the interpretation of race as a useful tool to stratify disease risk is unwarranted. (shrink)

In this paper, we propose a methodology to maximize the benefits of interdisciplinary cooperation in AI research groups. Firstly, we build the case for the importance of interdisciplinarity in research groups as the best means to tackle the social implications brought about by AI systems, against the backdrop of the EU Commission proposal for an Artificial Intelligence Act. As we are an interdisciplinary group, we address the multi-faceted implications of the mass-scale diffusion of AI-driven technologies. The result of our exercise (...) lead us to postulate the necessity of a behavioural theory that standardizes the interaction process of interdisciplinary groups. In light of this, we conduct a review of the existing approaches to interdisciplinary research on AI appliances, leading to the development of methodologies like ethics-by-design and value-sensitive design, evaluating their strengths and weaknesses. We then put forth an iterative process theory hinging on a narrative approach consisting of four phases: definition of the hypothesis space, building-up of a common lexicon, scenario-building, interdisciplinary self-assessment. Finally, we identify the most relevant fields of application for such a methodology and discuss possible case studies. (shrink)

The homeostatic property cluster theory is widely influential for its ability to account for many natural-kind terms in the life sciences. However, the notion of homeostatic mechanism has never been fully explicated. In 2009, Carl Craver interpreted the notion in the sense articulated in discussions on mechanistic explanation and pointed out that the HPC account equipped with such notion invites interest-relativity. In this paper, we analyze two recent refinements on HPC: one that avoids any reference to the causes of the (...) clustering of properties and one that replaces homeostatic mechanisms with causal networks represented by causal graphs. We argue that the former is too slender to account for some inductive inference in science and the latter, thicker account invites interest-relativity, as the original HPC does. This suggests that human interest will be an un-eliminative part of a satisfactory account of natural kindness. We conclude by discussing the implication of interest-relativity to the naturalness, reality, or objectivity of kinds and indicating an overlooked aspect of natural kinds that requires further studies. (shrink)

The paper investigates the type of realism that best suits the framework of decoherence taken at face value without postulating a plurality of worlds, or additional hidden variables, or non-unitary dynamical mechanisms. It is argued that this reading of decoherence leads to an extremely radical type of perspectival realism, especially when cosmological decoherence is considered.

Knowledge brokers are among the main channels of communication between scientists and the public and a key element to establishing a relation of trust between the two. But translating knowledge from the scientific community to a wider audience presents several difficulties, which can be accentuated in times of crisis. In this paper we study some of the problems that knowledge brokers face when communicating in times of crisis. During the first wave of the COVID-19 pandemic, we collected interviews with Italian (...) experts that played a major role as knowledge brokers in the local media. We asked them questions about five main topics: the features and role of science communicators; the use of language in communicating science; the importance of the relation of trust with the public; the peculiarity of communicating in a context of emergency; the problem of disagreement among experts, and its public perception and communication. The goal of this paper is to understand, through the words of knowledge brokers themselves, what they consider as best practices (and obstacles) to create trust between scientists and the public. Our empirical work can inform normative accounts of what knowledge brokering should be about. (shrink)

O presente artigo busca caracterizar a querela interna do Movimento Jovem-Hegeliano através da descrição e caracterização do conceito de massa/massificação dentro do pensamento de seus membros primeiros, a saber: Ludwig Feuerbach, David Strauss e Bruno Bauer.

What is philosophy of science? Numerous manuals, anthologies or essays provide carefully reconstructed vantage points on the discipline that have been gained through expert and piecemeal historical analyses. In this paper, we address the question from a complementary perspective: we target the content of one major journal of the field—Philosophy of Science—and apply unsupervised text-mining methods to its complete corpus, from its start in 1934 until 2015. By running topic-modeling algorithms over the full-text corpus, we identified 126 key research topics (...) that span across 82 years. We also tracked their evolution and fluctuating significance over time in the journal articles. Our results concur with and document known and lesser-known episodes of the philosophy of science, including the rise and fall of logic and language-related topics, the relative stability of a metaphysical and ontological questioning (space and time, causation, natural kinds, realism), the significance of epistemological issues about the nature of scientific knowledge as well as the rise of a recent philosophy of biology and other trends. These analyses exemplify how computational text-mining methods can be used to provide an empirical large-scale and data-driven perspective on the history of philosophy of science that is complementary to other current historical approaches. (shrink)

The latest edition of the Diagnostic and Statistical Manual of Mental Disorders included the Social Communication Disorder as a new mental disorder characterized by deficits in pragmatic abilities. Although the introduction of SPCD in the psychiatry nosography depended on a variety of reasons—including bridging a nosological gap in the macro-category of Communication Disorders—in the last few years researchers have identified major issues in such revision. For instance, the symptomatology of SPCD is notably close to that of Autism Spectrum Disorder. This (...) opens up the possibility that individuals with very similar symptoms can be diagnosed differently and receive different clinical treatments and social support. The aim of this paper is to review recent debates on SPCD, particularly as regards its independence from ASD. In the first part, we outline the major aspects of the DSM-5 nosological revision involving ASD and SPCD. In the second part, we focus on the validity and reliability of SPCD. First, we analyze literature on three potential validators of SPCD, i.e., etiology, response to treatment, and measurability. Then, we turn to reliability issues connected with the introduction of the grandfather clause and the use of the concepts of spectrum and threshold in the definition of ASD. In the conclusion, we evaluate whether SPCD could play any role in contemporary psychiatry other than that of an independent mental disorder and discuss the role that non-epistemic factors could play in the delineation of the future psychiatry nosography. (shrink)

Do laypeople think that moral responsibility is compatible with determinism? Recently, philosophers and psychologists trying to answer this question have found contradictory results: while some experiments reveal people to have compatibilist intuitions, others suggest that people could in fact be incompatibilist. To account for this contradictory answers, Nichols and Knobe (2007) have advanced a ‘performance error model’ according to which people are genuine incompatibilist that are sometimes biased to give compatibilist answers by emotional reactions. To test for this hypothesis, we (...) investigated intuitions about determinism and moral responsibility in patients suffering from behavioural frontotemporal dementia. Patients suffering from bvFTD have impoverished emotional reaction. Thus, the ‘performance error model’ should predict that bvFTD patients will give less compatibilist answers. However, we found that bvFTD patients give answers quite similar to subjects in control group and were mostly compatibilist. Thus, we conclude that the ‘performance error model’ should be abandoned in favour of other available model that best fit our data. (shrink)

Is logic normative for belief? A standard approach to answering this question has been to investigate bridge principles relating claims of logical consequence to norms for belief. Although the question is naturally an epistemic one, bridge principles have typically been investigated in isolation from epistemic debates over the correct norms for belief. In this paper we tackle the question of whether logic is normative for belief by proposing a Kripkean model theory accounting for the interaction between logical, doxastic, epistemic and (...) deontic notions and using this model theory to show which bridge principles are implied by epistemic norms that we have independent reason to accept, for example, the knowledge norm and the truth norm. We propose a preliminary theory of the interaction between logical, doxastic, epistemic and deontic notions that has among its commitments bridge principles expressing how logic is normative for belief. We also show how our framework suggests that logic is exceptionally normative. (shrink)

This paper presents a formalization of the classical proof of completeness in Henkin-style developed by Troelstra and van Dalen for intuitionistic logic with respect to Kripke models. The completeness proof incorporates their insights in a fresh and elegant manner that is better suited for mechanization. We discuss details of our implementation in the Lean theorem prover with emphasis on the prime extension lemma and construction of the canonical model. Our implementation is restricted to a system of intuitionistic propositional logic with (...) implication, conjunction, disjunction, and falsity given in terms of a Hilbert-style axiomatization. As far as we know, our implementation is the first verified Henkin-style proof of completeness for intuitionistic logic following Troelstra and van Dalen's method in the literature. (shrink)

Perception of time is susceptible to distortions; among other factors, it has been suggested that the perceived duration of a stimulus is affected by the observer’s expectations. It has been hypothesized that the duration of an oddball stimulus is overestimated because it is unexpected, whereas repeated stimuli have a shorter perceived duration because they are expected. However, recent findings suggest instead that fulfilled expectations about a stimulus elicit an increase in perceived duration, and that the oddball effect occurs because the (...) oddball is a target stimulus, not because it is unexpected. Therefore, it has been suggested that top-down attention is sometimes sufficient to explain this effect, and sometimes only necessary, with an additional contribution from saliency. However, how the expectedness of a target stimulus and its salient features affect its perceived duration is still an open question. In the present study, participants’ expectations about and the saliency of target stimuli were orthogonally manipulated with stimuli presented on a short (Experiment 1) or long (Experiment 2) temporal scale. Four repetitive standard stimuli preceded each target stimulus in a task in which participants judged whether the target was longer or shorter in duration than the standards. Engagement of top-down attention to target stimuli increased their perceived duration to the same extent irrespective of their expectedness. A small but significant additional contribution to this effect from the saliency of target stimuli was dependent on the temporal scale of stimulus presentation. In Experiment 1, saliency only significantly increased perceived duration in the case of expected target stimuli. In contrast, in Experiment 2, saliency exerted a significant effect on the overestimation elicited by unexpected target stimuli, but the contribution of this variable was eliminated in the case of expected target stimuli. These findings point to top-down attention as the primary cognitive mechanism underlying the perceptual extraction and processing of task-relevant information, which may be strongly correlated with perceived duration. Furthermore, the scalar properties of timing were observed, favoring the pacemaker-accumulator model of timing as the underlying timing mechanism. (shrink)

Different sort of people are interested in personal identity. Philosophers frequently ask what it takes to remain oneself. Caregivers imagine their patients’ experience. But both philosophers and caregivers think from the armchair: they can only make assumptions about what it would be like to wake up with massive bodily changes. Patients with a locked-in syndrome (LIS) suffer a full body paralysis without cognitive impairment. They can tell us what it is like. Forty-four chronic LIS patients and 20 age-matched healthy medical (...) professionals answered a 15-items questionnaire targeting: (A) global evaluation of identity, (B) body representation and (C) experienced meaning in life. In patients, selfreported identity was correlated with B and C. Patients differed with controls in C. These results suggest that the paralyzed body remains a strong component of patients’ experienced identity, that patients can adjust to objectives changes perceived as meaningful and that caregivers fail in predicting patients’ experience. (shrink)

The INBIOSA project brings together a group of experts across many disciplines who believe that science requires a revolutionary transformative step in order to address many of the vexing challenges presented by the world. It is INBIOSA’s purpose to enable the focused collaboration of an interdisciplinary community of original thinkers. This paper sets out the case for support for this effort. The focus of the transformative research program proposal is biology-centric. We admit that biology to date has been more fact-oriented (...) and less theoretical than physics. However, the key leverageable idea is that careful extension of the science of living systems can be more effectively applied to some of our most vexing modern problems than the prevailing scheme, derived from abstractions in physics. While these have some universal application and demonstrate computational advantages, they are not theoretically mandated for the living. A new set of mathematical abstractions derived from biology can now be similarly extended. This is made possible by leveraging new formal tools to understand abstraction and enable computability. [The latter has a much expanded meaning in our context from the one known and used in computer science and biology today, that is "by rote algorithmic means", since it is not known if a living system is computable in this sense (Mossio et al., 2009).] Two major challenges constitute the effort. The first challenge is to design an original general system of abstractions within the biological domain. The initial issue is descriptive leading to the explanatory. There has not yet been a serious formal examination of the abstractions of the biological domain. What is used today is an amalgam; much is inherited from physics (via the bridging abstractions of chemistry) and there are many new abstractions from advances in mathematics (incentivized by the need for more capable computational analyses). Interspersed are abstractions, concepts and underlying assumptions “native” to biology and distinct from the mechanical language of physics and computation as we know them. A pressing agenda should be to single out the most concrete and at the same time the most fundamental process-units in biology and to recruit them into the descriptive domain. Therefore, the first challenge is to build a coherent formal system of abstractions and operations that is truly native to living systems. Nothing will be thrown away, but many common methods will be philosophically recast, just as in physics relativity subsumed and reinterpreted Newtonian mechanics. -/- This step is required because we need a comprehensible, formal system to apply in many domains. Emphasis should be placed on the distinction between multi-perspective analysis and synthesis and on what could be the basic terms or tools needed. The second challenge is relatively simple: the actual application of this set of biology-centric ways and means to cross-disciplinary problems. In its early stages, this will seem to be a “new science”. This White Paper sets out the case of continuing support of Information and Communication Technology (ICT) for transformative research in biology and information processing centered on paradigm changes in the epistemological, ontological, mathematical and computational bases of the science of living systems. Today, curiously, living systems cannot be said to be anything more than dissipative structures organized internally by genetic information. There is not anything substantially different from abiotic systems other than the empirical nature of their robustness. We believe that there are other new and unique properties and patterns comprehensible at this bio-logical level. The report lays out a fundamental set of approaches to articulate these properties and patterns, and is composed as follows. -/- Sections 1 through 4 (preamble, introduction, motivation and major biomathematical problems) are incipient. Section 5 describes the issues affecting Integral Biomathics and Section 6 -- the aspects of the Grand Challenge we face with this project. Section 7 contemplates the effort to formalize a General Theory of Living Systems (GTLS) from what we have today. The goal is to have a formal system, equivalent to that which exists in the physics community. Here we define how to perceive the role of time in biology. Section 8 describes the initial efforts to apply this general theory of living systems in many domains, with special emphasis on crossdisciplinary problems and multiple domains spanning both “hard” and “soft” sciences. The expected result is a coherent collection of integrated mathematical techniques. Section 9 discusses the first two test cases, project proposals, of our approach. They are designed to demonstrate the ability of our approach to address “wicked problems” which span across physics, chemistry, biology, societies and societal dynamics. The solutions require integrated measurable results at multiple levels known as “grand challenges” to existing methods. Finally, Section 10 adheres to an appeal for action, advocating the necessity for further long-term support of the INBIOSA program. -/- The report is concluded with preliminary non-exclusive list of challenging research themes to address, as well as required administrative actions. The efforts described in the ten sections of this White Paper will proceed concurrently. Collectively, they describe a program that can be managed and measured as it progresses. (shrink)

Der Artikel verfolgt den Einfluss Fichtes auf das Denken der Junghegelianer als "Philssophie des Selbstbewusstseins". -/- The article traces Fichte's influence on the thinking of the Young Hegelians as a "philosophy of self-consciousness".

My first aim in this paper is to use time diagrams in the style of Brentano to analyze constructions in Brouwer's separable mathematics more precisely. I argue that constructions must involve not only pairing and projecting as basic operations guaranteed by the intuition of twoity, as sometimes assumed in the literature, but also a recalling operation. My second aim is to argue that Brouwer's views on the intuition of twoity and arithmetic lead to an ontological explosion. Redeveloping the constructions of (...) natural numbers and systems sketched in an appendix to Brouwer's Cambridge lectures, I observe that the only plausible way he can make some elementary arithmetic in his separable mathematics is by allowing for the same canonical number to be determined by multiple separable entities, resulting in an overabundant mathematical ontology. (shrink)

O que são práticas baseadas em evidências? Por que isso é importante para a Psicologia? Neste ebook Danielle de Souza Costa, Bruno Rezende de Souza, Clarice de Medeiros Chaves Ferreira e Leandro Fernandes Malloy-Diniz fazem uma breve introdução ao tema, conceituando o significado de termos chave como "evidências", "ciência" e "pseudociência", discutindo algumas das dificuldades que encontramos hoje na avaliação da confiabilidade dos estudos científicos, oferecendo dicas para os iniciantes, e destacando a importância do estudo de uma psicologia científica.

Network analysis as a tool for ecological interactions studies has been widely used since last decade. However, there are few studies on the factors that shape network patterns in communities. In this sense, we compared the topological properties of the interaction network between flower-visiting social wasps and plants in two distinct phytophysiognomies in a Brazilian savanna (Riparian Forest and Rocky Grassland). Results showed that the landscapes differed in species richness and composition, and also the interaction networks between wasps and plants (...) had different patterns. The network was more complex in the Riparian Forest, with a larger number of species and individuals and a greater amount of connections between them. The network specialization degree was more generalist in the Riparian Forest than in the Rocky Grassland. This result was corroborated by means of the nestedness index. In both networks was found asymmetry, with a large number of wasps per plant species. In general aspects, most wasps had low niche amplitude, visiting from one to three plant species. Our results suggest that differences in structural complexity of the environment directly influence the structure of the interaction network between flower-visiting social wasps and plants. (shrink)

It is a well-worn platitude that knowledge excludes luck. According to anti-luck virtue epistemology, making good on the anti-luck platitude requires an explicit anti-luck condition along the lines of safety: S knows that p only if S’s true belief that p could not have easily been mistaken. This paper offers an independent, virtue epistemological argument against the claim that safety is a necessary condition on knowledge, one that adequately captures the anti-luck platitude. The argument proceeds by way of analogy. I (...) focus on two paradigmatic kinds of normative achievements that also exclude luck: (i) – having a doxastically justified belief, and (ii) – performing a morally worthy action. I then show that while (i) and (ii) exclude luck, they are nevertheless susceptible to what I call ‘modal luck’. I then move on to show that knowledge, or at least some instance of knowledge, is a normative achievement, which I claim provides strong reasons to expect that knowledge is also susceptible to modal luck. Since safety entails that knowledge is incompatible with modal luck, the argument provides strong reasons to reject safety as a necessary condition on knowledge. (shrink)

The literature provides different methodologies for sampling social wasps, including, flight intercept trap type Malaise and Attractive trap, however, there is no consensus on its use. In this respect, the aim of this study was to evaluate the best use of Malaise traps and Attractive trap in biodiversity work of social wasps, and generate a collection protocol for the use of these traps. The study was conducted in the Parque Estadual do Rio Doce, located in the east of the state (...) of Minas Gerais, in the years 2000, 2001, 2002 and 2004 and in the Botanical Garden of the Federal University of Juiz de Fora, located in the southeastern state of Minas Gerais, in years 2011, 2012 and 2013. 15 species were collected using Malaise traps, and, 26 species of social wasps were collected using Attractive traps. Although the negative aspects of both traps, complementary methodologies surveys varying social wasps are useful and it is recommended to choose for using in accordance with the logistical field. (shrink)

It is commonly assumed that blameworthiness is epistemically constrained. If one lacks sufficient epistemic access to the fact that some action harms another, then one cannot be blamed for harming. Acceptance of an epistemic condition for blameworthiness can give rise to a worry, however: could agents ever successfully evade blameworthiness by deliberately stunting their epistemic position? I discuss a particularly worrisome version of such epistemic shirking, in which agents pre-emptively seek to avoid access to potentially morally relevant facts. As Roy (...) Sorensen and Jan Willem Wieland have argued, we seem to be faced with a potentially troubling regress when trying to explain what goes wrong in such situations. I argue that the solution to this so-called Shirker Problem is not to be found in complicated and demanding anti-shirking-principles with universal scope and potentially self-reflexive content. Instead, careful consideration of the necessary motivational make-up of genuine shirkers reveals their ignorance to lack the necessary depth to be exculpatory. Since shirkers by definition react to the possibility of the revelation of morally relevant facts with acts of epistemic self-limitation, they necessarily prove guilty of a form of culpable moral recklessness. Epistemic shirking thus does not pose a worrisome problem for ethical theory. (shrink)

Protopolybia sedula is a social swarming wasp, widely spread throughout many countries in the Americas, including most of Brazil. Despite its distribution, studies of its behavioral ecology are scarce. This study aimed to describe its foraging activity and relation to climatic variables in the city of Juiz de Fora in southeastern Brazil. Three colonies were under observation between 07:00 and 18:00 during April 2012, January 2013, and March 2013. Every 30 minutes, the number of foragers leaving and returning to the (...) colony was registered along with air temperature and relative humidity. Activity began around 07:30¸ increased between 10:30 and 14:30, and ended around 18:30. A mean of 52.7 exits and 54 returns were measured every 30 minutes. The daily mean values were 1,107 ± 510.6 exits and 1,135 ± 854.8 returns. Only one colony showed a significant correlation between forager exits and temperature (rs = 0.8055; P < 0.0001) and between exits and relative humidity (rs = -0.7441; P = 0.0001). This paper shows that climatic variables are likely to have little control on the foraging rhythm of P. sedula when compared to other species, suggesting the interaction of other external and internal factors as stimuli of species foraging behavior. (shrink)

Previously unreported nesting associations of Yellow-Olive Flycatcher (Tolmomyias sulphurescens) (Aves: Tyrannidae) with social wasps and bees.

O pensamento de Leibniz foi, sem dúvida, essencial para o desenvolvimento das linhas fundamentais da filosofia crítico-transcendental de Kant. A interlocução entre Kant e Leibniz é evidente no decorrer do pensamento kantiano, seja diretamente, nos diversos momentos em que Kant busca um enfrentamento explícito com seu predecessor, seja indiretamente, quando Kant discute com os autores da escolástica alemã que são considerados discípulos de Leibniz Pretendo observar, em particular, que uma das discussões pouco noticiadas, mas de grande relevância para o desenvolvimento (...) do pensamento kantiano, é aquela em relação ao problema da teodiceia. Com isso em foco, meu objetivo nesse capítulo é o de tentar mostrar alguns aspectos do diálogo de Kant com a teodiceia de Leibniz. Primeiro, apresentarei alguns aspectos da teodiceia de Leibniz. Depois, mostrarei o tratamento que Kant dispensa ao problema da teodiceia em alguns de seus escritos iniciais. Por fim, apresentarei o seu tratamento no período crítico, da maneira como se expõe em um artigo de 1791 intitulado Sobre o Fracasso de todas as Tentativas Filosóficas na Teodiceia. De modo complementar, ao abordar o problema no período crítico, farei algumas remissões às três Críticas, às Lições sobre a Doutrina Filosófica da Religião de 1783/84, às Lições de Ética e à Religião nos Limites da Simples Razão de 1793. (shrink)

This is the first record of nesting in the soil by the ant Camponotus sericeiventris (Guérin-Méneville, 1838), which has arboreal habit. The study was conducted in southeastern Brazil, in an ant colony located in a subterranean site. This study describes, for the first time, the ability of this arboreal species to vary its nesting site by the occupation of an unusual place in an urban environment; and this study demonstrates that this species is an interesting model for studies in urban (...) environments. (shrink)

Fichte assigns ‘intellectual intuition’ a new meaning after Kant. But in 1799, his doctrine of intellectual intuition is publicly deemed indefensible by Kant and nihilistic by Jacobi. I propose to defend Fichte’s doctrine against these charges, leaving aside whether it captures what he calls the ‘spirit’ of transcendental idealism. I do so by articulating three problems that motivate Fichte’s redirection of intellectual intuition from being to acting: (1) the regress problem, which states that reflecting on empirical facts of consciousness leads (...) only to further facts and so cannot yield a first principle; (2) the rhapsody problem, which states that the categories form a haphazard set and so lack necessity unless they derive from a first principle; and (3) the nihilism problem, which states that a first principle cannot lie outside our cognition of it, lest it be the cause of our cognition and, being first, the cause of all our actions, reducing us to machines. Crucially, Fichte’s three motivating problems are in fact aspects of a single problem. Leaving any aspect unsolved spoils putative solutions to the other two. Consequently, Fichte requires a single unified solution to all three, which his doctrine of intellectual intuition provides. (shrink)

The concept of facticity denotes conditions of experience whose necessity is not logical yet whose contingency is not empirical. Although often associated with Heidegger, Fichte coins ‘facticity’ in his Berlin period to refer to the conclusion of Kant’s metaphysical deduction of the categories, which he argues leaves it a contingent matter that we have the conditions of experience that we do. Such rhapsodic or factical conditions, he argues, must follow necessarily, independent of empirical givenness, from the I through a process (...) of ‘genesis.’ I reconstruct Fichte’s argument by tracing the origin of his neologism, presenting his Jena critique of Kant’s rhapsodic appeal to the forms of judgment, and illustrating the Jena period’s continuity with the Berlin period’s genetic method, while noting a methodological shift whereby Fichte directs his critique against his own doctrine of intellectual intuition in order to eliminate its ‘factical terms.’. (shrink)