This paper is about a topic in the semantics of interrogatives.1 In what follows a number of assumptions figure at the background which, though intuitively appealing, have not gone unchallenged, and it seems therefore only fair to draw the reader’s attention to them at the outset. The first assumption concerns a very global intuition about the kind of semantic objects that we associate with interrogatives. The intuition is that there is an intimate relationship between interrogatives and their answers: an interrogative (...) determines what counts as an answer.2 Given a certain, independently motivated, view on what constitutes the meaning of an answer, this intuition, in return, determines what constitutes the meaning of an interrogative. For example, starting from the observation that answers are true or false in situations, we may be led to the view that answers express propositions, i.e., objects which determine a truth value in a situation. Given that much, our basic intuition says that interrogatives are to be associated with objects which determine propositions. Such objects will be referred to as ‘questions’ in what follows. Notice that all this is largely framework independent: we have made no assumptions yet about what situations, propositions, and questions are, we have only related them in a certain systematic way. In fact we will use a more or less standard, but certainly not uncontroversial, specification in what follows: situations are identified with (total) possible worlds; propositions with sets of worlds; and questions with equivalence relations on the set of worlds. The second assumption that plays a role in what follows is of a more linguistic nature. Interrogatives typically occur in two ways: as independent expressions, and as complements of certain verbs. The assumption is that these two ways of occurring are systematically related, not just syntactically but also semantically.3 Notice that the exact nature of this relationship is underdeter.. (shrink)

This paper consists of an investigation of three debates concerning propositional identity: the tension between structured propositions and higher-order logic, the principle Only Logical Circles, and Kaplan’s Paradox. The literature at large has mistaken the consequences of each of these debates. Structuralists are not committed to the claim that identical properties have different extensions; rather, they are committed to existence monism. Only Logical Circles does not preclude the identification of green in terms of grue; some further (and, as of yet, (...) undisclosed) principle is required for that result. And Kaplan’s Paradox does not count against the possible-worlds conception of propositions; it applies to every account of propositions whatsoever. (shrink)

I take some initial steps toward a theory of real definition, drawing upon recent developments in higher-order logic. The resulting account allows for extremely fine- grained distinctions (i.e., it can distinguish between any relata that differ in their syntactic structure, while avoiding the Russell-Myhill problem). It is the first account that can consistently embrace three desirable logical principles that initially appear to be incompatible: the Identification Hypothesis (if F is, by definition, G then F is the same as G), Irreflexivity (...) (there are no reflexive definitions) and Leibniz’s Law. Additionally, it possesses the resources to resolve the paradox of analysis. (shrink)

This fifth volume on Advances and Applications of DSmT for Information Fusion collects theoretical and applied contributions of researchers working in different fields of applications and in mathematics, and is available in open-access. The collected contributions of this volume have either been published or presented after disseminating the fourth volume in 2015 in international conferences, seminars, workshops and journals, or they are new. The contributions of each part of this volume are chronologically ordered. First Part of this book presents some (...) theoretical advances on DSmT, dealing mainly with modified Proportional Conflict Redistribution Rules (PCR) of combination with degree of intersection, coarsening techniques, interval calculus for PCR thanks to set inversion via interval analysis (SIVIA), rough set classifiers, canonical decomposition of dichotomous belief functions, fast PCR fusion, fast inter-criteria analysis with PCR, and improved PCR5 and PCR6 rules preserving the (quasi-)neutrality of (quasi-)vacuous belief assignment in the fusion of sources of evidence with their Matlab codes. Because more applications of DSmT have emerged in the past years since the apparition of the fourth book of DSmT in 2015, the second part of this volume is about selected applications of DSmT mainly in building change detection, object recognition, quality of data association in tracking, perception in robotics, risk assessment for torrent protection and multi-criteria decision-making, multi-modal image fusion, coarsening techniques, recommender system, levee characterization and assessment, human heading perception, trust assessment, robotics, biometrics, failure detection, GPS systems, inter-criteria analysis, group decision, human activity recognition, storm prediction, data association for autonomous vehicles, identification of maritime vessels, fusion of support vector machines (SVM), Silx-Furtif RUST code library for information fusion including PCR rules, and network for ship classification. Finally, the third part presents interesting contributions related to belief functions in general published or presented along the years since 2015. These contributions are related with decision-making under uncertainty, belief approximations, probability transformations, new distances between belief functions, non-classical multi-criteria decision-making problems with belief functions, generalization of Bayes theorem, image processing, data association, entropy and cross-entropy measures, fuzzy evidence numbers, negator of belief mass, human activity recognition, information fusion for breast cancer therapy, imbalanced data classification, and hybrid techniques mixing deep learning with belief functions as well. (shrink)

the article presents Jean Paul Sartre’s idea of the human body and the bodiliness described in his book Being and nothingness (1943). In this book, Sartre argued that every human relation is based on the objecti cation of one human by another, and entering into empathic contact is basically impossible. the author of the article has con onted this thesis with contemporary psychological and neuropsychological thought (mirror neuron theory) and has investigated how the category of empathy functions in literary (...) studies. A very important part of this article is the re ection on the presence and topicality of Sartre’s beliefs in the literature. the author has conducted an interpretation of Witold gombrowicz’s story Tancerz mecenasa Kraykow‐ s ego (1926) om the collection Bakakaj (1957), and has shown that the ideas presented by Sartre are re ected there in a very interesting way. Sartre’s philosophy turns out to be abso‐ lutely up‐to‐date right now, more than many psychological theories — it not only supplies a philosophical base for the analysis of human relations (those also presented in literature), but also gives a certain tool for describing them in the form of speci c language and terminology. (shrink)

Allegations of fraud involving falsification as research misconduct may result in severe consequences for those convicted. The focus of this article is the Public Health Service’s (PHS) definition of falsification . A well-articulated revised definition is required for veritable instances of falsification as misconduct to be consistently identified and potentially offer a framework for elucidation. A philosophical critique of the explicit definition is undertaken to determine what comprises falsification at its core, which could substantially reduce the number of allegations of (...) fraud as suspected instances of misconduct. The flaw in the PHS definition of falsification is due to circular logic, which allows anything to be proven according to it. Furthermore, to be confident that falsification has occurred, one must be certain of what is true when it has not occurred, which is demonstrated not to be plausible. falsification was found to be the most common type of fraud as misconduct alleged yet the rarest to be determined to occur because the flawed definition confounds what constitutes an occurrence of it. In addition to conceptual ambiguity and ignorance, allegations of falsification are suggested to occur strategically as maneuvers by researchers who may exploit the inherent flaw in the definition to eliminate rival competitors. -/- The purpose of part two is to critique the definition of falsification as research misconduct according to the Public Health Service (PHS) in order to better understand what it entails. In support of this purpose, the approach decided upon for analysis was philosophical including framing the issue borrowing from both mereological and epistemological perspectives. Through the consideration given to parthood relations of mereology, we gained insight from a cognitive imperfection standpoint about similarities that exist between the epistemic constraints on knowledge and the nature of violations concerning research misconduct. Findings from the examination of a case study include the significance of accuracy in representation in falsification as misconduct and the core dimensions comprising an instance of falsification, which are Deliberateness, Alteration, and Inclusion. Given that either behavior or actions must occur that violate these three aspects in order to qualify as an instance of misconduct under falsification, the author proposes that, at a minimum, any revisions made to the definition of falsification stipulate what he refers to as the Violation Imperative. (shrink)

A key question in the philosophy of logic is how we have epistemic justification for claims about logical entailment (assuming we have such justification at all). Justification holism asserts that claims of logical entailment can only be justified in the context of an entire logical theory, e.g., classical, intuitionistic, paraconsistent, paracomplete etc. According to holism, claims of logical entailment cannot be atomistically justified as isolated statements, independently of theory choice. At present there is a developing interest in—and endorsement of—justification holism (...) due to the revival of an abductivist approach to the epistemology of logic. This paper presents an argument against holism by establishing a foundational entailment-sentence of deduction which is justified independently of theory choice and outside the context of a whole logical theory. (shrink)

I discuss Prawitz’s claim that a non-reliabilist answer to the question “What is a proof?” compels us to reject the standard Bolzano-Tarski account of validity, andto account for the meaning of a sentence in broadly verificationist terms. I sketch what I take to be a possible way of resisting Prawitz’s claim---one that concedes the anti-reliabilist assumption from which Prawitz’s argument proceeds.

Moral value as it was understood by Nicolai Hartmann and by Max Scheler belongs uniquely to volitions or willings, to dispositions to will and to persons as beings capable of willing. Moreover, as understood in this paper as well as by Hartmann, Scheler, and Husserl, every volition necessarily involves if not actual valuings then reference to retained valuings and potential valuings as well as to cognitive mental phenomena. As used here, the terms 'volition' and 'willing' denote mental traits, such as (...) lived experiences and habits insofar as they either do or can occur actively. A trait of a mind or "monad" can have moral value — in contrast to utility, for example — only (would belong) insofar as it is or can be or could have been engaged in and so performed by the person or ego to whose mind the trait belongs . The classification of lived experiences as voluntary or not voluntary cuts across the three-fold classification of mental processes as cognitive, affective, or conative. This seems to be the most appropriate way of distinguishing the voluntary from the involuntary. Voluntary mental phenomena are characterized by the engagement of the ego in some lived experience occurring in the flux of its lived experiences, i.e., by taking position. " within the text below by numbers. End notes are referred to within square brackets [] linked to the notes and these link back to the text loci. Text printed in sepia has been emended. The brief passage in the text that occurs in angle brackets and in the same color as this introductory note has been added to state more pointedly an important issue>. (shrink)

The paper identifies some background assumptions of compositionality in formal semantics and investigates how they shape formal semantics as a scientific discipline.

The goal of the 2010 Ontology Summit was to address the current shortage of persons with ontology expertise by developing a strategy for the education of ontologists. To achieve this goal we studied how ontologists are currently trained, the requirements identified by organizations that hire ontologists, and developments that might impact the training of ontologists in the future. We developed recommendations for the body of knowledge that should be taught and the skills that should be developed by future ontologists; these (...) recommendations are intended as guidelines for institutions and organizations that may consider establishing a program for training ontologists. Further, we recommend a number of specific actions for the community to pursue. (shrink)

Paying attention to the inner workings of mathematicians has led to a proliferation of new themes in the philosophy of mathematics. Several of these have to do with epistemology. Philosophers of mathematical practice, however, have not (yet) systematically engaged with general (analytic) epistemology. To be sure, there are some exceptions, but they are few and far between. In this chapter, I offer an explanation of why this might be the case and show how the situation could be remedied. I contend (...) that it is only by conceiving the knowing subject(s) as embodied, fallible, and embedded in a specific context (along the lines of what has been done within social and feminist epistemology) that we can pursue an epistemology of mathematics sensitive to actual mathematical practice. I further suggest that this reconception of the knowing subject(s) does not force us to abandon the traditional framework of epistemology in which knowledge requires justified true belief. It does, however, lead to a fallible conception of mathematical justification that, among other things, makes Gettier cases possible. This shows that topics considered to be far removed from the interests of philosophers of mathematical practice might reveal to be relevant to them. (shrink)

We reconsider the pragmatic interpretation of intuitionistic logic [21] regarded as a logic of assertions and their justi cations and its relations with classical logic. We recall an extension of this approach to a logic dealing with assertions and obligations, related by a notion of causal implication [14, 45]. We focus on the extension to co-intuitionistic logic, seen as a logic of hypotheses [8, 9, 13] and on polarized bi-intuitionistic logic as a logic of assertions and conjectures: looking at the (...) S4 modal translation, we give a de nition of a system AHL of bi-intuitionistic logic that correctly represents the duality between intuitionistic and co-intuitionistic logic, correcting a mistake in previous work [7, 10]. A computational interpretation of cointuitionism as a distributed calculus of coroutines is then used to give an operational interpretation of subtraction.Work on linear co-intuitionism is then recalled, a linear calculus of co-intuitionistic coroutines is de ned and a probabilistic interpretation of linear co-intuitionism is given as in [9]. Also we remark that by extending the language of intuitionistic logic we can express the notion of expectation, an assertion that in all situations the truth of p is possible and that in a logic of expectations the law of double negation holds. Similarly, extending co-intuitionistic logic, we can express the notion of conjecture that p, de ned as a hypothesis that in some situation the truth of p is epistemically necessary. (shrink)

The objective of this article is twofold. First, a methodological issue is addressed. It is pointed out that even if philosophers of mathematics have been recently more and more concerned with the practice of mathematics, there is still a need for a sharp definition of what the targets of a philosophy of mathematical practice should be. Three possible objects of inquiry are put forward: (1) the collective dimension of the practice of mathematics; (2) the cognitives capacities requested to the practitioners; (...) and (3) the specific forms of representation and notation shared and selected by the practitioners. Moreover, it is claimed that a broadening of the notion of ‘permissible action’ as introduced by Larvor (2012) with respect to mathematical arguments, allows for a consideration of all these three elements simultaneously. Second, a case from topology – the proof of Alexander’s theorem – is presented to illustrate a concrete analysis of a mathematical practice and to exemplify the proposed method. It is discussed that the attention to the three elements of the practice identified above brings to the emergence of philosophically relevant features in the practice of topology: the need for a revision in the definition of criteria of validity, the interest in tracking the operations that are performed on the notation, and the constant and fruitful back-and-forth from one representation to another in dealing with mathematical content. Finally, some suggestions for further research are given in the conclusions. (shrink)

The present paper wants to promote epistemic pluralism as an alternative view of non-classical logics. For this purpose, a bilateralist logic of acceptance and rejection is developed in order to make an important di erence between several concepts of epistemology, including information and justi cation. Moreover, the notion of disagreement corresponds to a set of epistemic oppositions between agents. The result is a non-standard theory of opposition for many-valued logics, rendering total and partial disagreement in terms of epistemic negation (...) and semi-negations. (shrink)

In “Proof-Theoretic Justification of Logic”, building on work by Dummett and Prawitz, I show how to construct use-based meaning-theories for the logical constants. The assertability-conditional meaning-theory takes the meaning of the logical constants to be given by their introduction rules; the consequence-conditional meaning-theory takes the meaning of the logical constants to be given by their elimination rules. I then consider the question: given a set of introduction rules \, what are the strongest elimination rules that are validated by an assertability (...) conditional meaning-theory based on \? I prove that the intuitionistic introduction rules are the strongest rules that are validated by the intuitionistic elimination rules. I then prove that intuitionistic logic is the strongest logic that can be given either an assertability-conditional or consequence-conditional meaning-theory. In “Grounding Grounding” I discuss the notion of grounding. My discussion revolves around the problem of iterated grounding-claims. Suppose that \ grounds \; what grounds that \ grounds that \? I argue that unless we can get a satisfactory answer to this question the notion of grounding will be useless. I discuss and reject some proposed accounts of iterated grounding claims. I then develop a new way of expressing grounding, propose an account of iterated grounding-claims and show how we can develop logics for grounding. In “Is the Vagueness Argument Valid?” I argue that the Vagueness Argument in favor of unrestricted composition isn’t valid. However, if the premisses of the argument are true and the conclusion false, mereological facts fail to supervene on non-mereological facts. I argue that this failure of supervenience is an artifact of the interplay between the necessity and determinacy operators and that it does not mean that mereological facts fail to depend on non-mereological facts. I sketch a deflationary view of ontology to establish this. (shrink)

It is clear that beliefs can be assessed both as to their justification and their rationality. What is not as clear, however, is how the rationality and justification of belief relate to one another. Stewart Cohen has stumped for the popular proposal that rationality and justification come to the same thing, that rational beliefs just are justified beliefs, supporting his view by arguing that ‘justified belief’ and ‘rational belief’ are synonymous. In this paper, I will give reason to think that (...) Cohen’s argument is spurious. I will show that ‘rational’ and ‘justified’ occupy two distinct semantic categories – ‘rational’ is an absolute gradable adjective and ‘justified’ is a relative gradable adjective – telling against the thought that ‘rational belief’ and ‘justified belief’ are synonymous. I will then argue that the burden of proof is on those who would equate rationality and justification, making the case that those who hold this prominent position face the difficulty of explaining how rationality and justification come to the same thing even though ‘rational’ and ‘justified’ are not synonymous. (shrink)

In this paper, we analyse the relation between the use of environmental data in contemporary health sciences and related conceptualisations and operationalisations of the notion of environment. We consider three case studies that exemplify a different selection of environmental data and mode of data integration in data-intensive epidemiology. We argue that the diversification of data sources, their increase in scale and scope, and the application of novel analytic tools have brought about three significant conceptual shifts. First, we discuss the EXPOsOMICS (...) project, an attempt to integrate genomic and environmental data which suggests a reframing of the boundaries between external and internal environments. Second, we explore the MEDMI platform, whose efforts to combine health, environmental and climate data instantiate a reframing and expansion of environmental exposure. Third, we illustrate how extracting epidemiological insights from extensive social data collected by the CIDACS institute yields innovative attributions of causal power to environmental factors. Identifying these shifts highlights the benefits and opportunities of new environmental data, as well as the challenges that such tools bring to understanding and fostering health. It also emphasises the constraints that data selection and accessibility pose to scientific imagination, including how researchers frame key concepts in health-related research. (shrink)

This paper assesses branching spacetime theories in light of metaphysical considerations concerning time. I present the A, B, and C series in terms of the temporal structure they impose on sets of events, and raise problems for two elements of extant branching spacetime theories—McCall’s ‘branch attrition’, and the ‘no backward branching’ feature of Belnap’s ‘branching space-time’—in terms of their respective A- and B-theoretic nature. I argue that McCall’s presentation of branch attrition can only be coherently formulated on a model with (...) at least two temporal dimensions, and that this results in severing the link between branch attrition and the flow of time. I argue that ‘no backward branching’ prohibits Belnap’s theory from capturing the modal content of indeterministic physical theories, and results in it ascribing to the world a time-asymmetric modal structure that lacks physical justification. (shrink)

Die Aufgabe der christlichen Theologie ist es, der Dolmetscher des Evangeliums in jeder Generation zu sein. Evangelium bedeutet hier nicht nur Schrift, sondern vor allem eucharistische Überlieferung als lebendige Erfahrung des Reiches Gottes, welches kommenwird. Die Geschichte sorgte dafür, dass auch der Begriff der Theologie mehrere Bedeutungen bekommt – Wort über Gott, Gespräch mit Gott, theoretische Disziplin unterstützt durch Praxis, Pra-xis unterstützt durch Theorie. Es ist ein wenig seltsam, über den Platz der Theologie in der christlichen Tradition zu sprechen, weil (...) die beiden oft miteinander identiziert werden. Wenn wir die Entwicklung des Begriffs der Theologie analysieren, sowohl in der vorchristlichen als auch in derchristlichen Zeit, werden wir sehen, dass diese Frage nicht ohne Grundlage ist. (shrink)

In response to recent work on the aggregation of individual judgments on logically connected propositions into collective judgments, it is often asked whether judgment aggregation is a special case of Arrowian preference aggregation. We argue for the converse claim. After proving two impossibility theorems on judgment aggregation (using "systematicity" and "independence" conditions, respectively), we construct an embedding of preference aggregation into judgment aggregation and prove Arrow’s theorem (stated for strict preferences) as a corollary of our second result. Although we thereby (...) provide a new proof of Arrow’s theorem, our main aim is to identify the analogue of Arrow’s theorem in judgment aggregation, to clarify the relation between judgment and preference aggregation, and to illustrate the generality of the judgment aggregation model. JEL Classi…cation: D70, D71.. (shrink)

The Hyperuniverse Programme, introduced in Arrigoni and Friedman (2013), fosters the search for new set-theoretic axioms. In this paper, we present the procedure envisaged by the programme to find new axioms and the conceptual framework behind it. The procedure comes in several steps. Intrinsically motivated axioms are those statements which are suggested by the standard concept of set, i.e. the `maximal iterative concept', and the programme identi fies higher-order statements motivated by the maximal iterative concept. The satisfaction of these (...) statements (H-axioms) in countable transitive models, the collection of which constitutes the `hyperuniverse' (H), has remarkable 1st-order consequences, some of which we review in section 5. (shrink)

To test the hypothesis of a participation of inner speech in self-referential activity we reviewed 59 studies measuring brain activity during processing of self-information in the following self-domains: agency, self-recognition, emotions, personality traits, autobiographical memory, preference judgments, and REST. The left inferior frontal gyrus (LIFG) has been shown to sustain inner speech use. We calculated the percentage of studies reporting LIFG activity for each self-dimension. 55.9% of all studies reviewed identified LIFG (and presumably inner speech) activity during self-awareness tasks. Furthermore, (...) the LIFG was more frequently recruited during conceptual tasks (e.g., emotions, traits) than during perceptual tasks (e.g., agency, self-recognition). This supports the view of a relative involvement of inner speech in self-reflective processes. Crown Copyright © 2007 Published by Elsevier Inc. All rights reserved. (shrink)

The aim of this article is to investigate specific aspects connected with visualization in the practice of a mathematical subfield: low-dimensional topology. Through a case study, it will be established that visualization can play an epistemic role. The background assumption is that the consideration of the actual practice of mathematics is relevant to address epistemological issues. It will be shown that in low-dimensional topology, justifications can be based on sequences of pictures. Three theses will be defended. First, the representations used (...) in the practice are an integral part of the mathematical reasoning. As a matter of fact, they convey in a material form the relevant transitions and thus allow experts to draw inferential connections. Second, in low-dimensional topology experts exploit a particular type of manipulative imagination which is connected to intuition of two- and three-dimensional space and motor agency. This imagination allows recognizing the transformations which connect different pictures in an argument. Third, the epistemic—and inferential—actions performed are permissible only within a specific practice: this form of reasoning is subject-matter dependent. Local criteria of validity are established to assure the soundness of representationally heterogeneous arguments in low-dimensional topology. (shrink)

Section 1 provides a brief summary of the pair-list literature singling out some points that are particularly relevant for the coming discussion. -/- Section 2 shows that the dilemma of quantifi cation versus domain restriction arises only in extensional complement interrogatives. In matrix questions and in intensional complements only universals support pairlist readings, whence the simplest domain restriction treatment suffices. Related data including conjunction, disjunction, and cumulative readings are discussed -/- Section 3 argues that in the case of extensional (...) complements the domain restriction treatment is inadequate for at least two independent reasons. One has to do with the fact that not only upward monotonic quantifi ers support pairlist readings, and the other with the derivation of apparent scope out readings. The reasoning is supplemented with some discussion of the semantic properties of layered quantifi ers.  The above will establish the need for quantifi cation, so the question arises how the objections explicitly enlisted in the literature against quantifi cation can be answered. Section 4 considers the de dicto reading of the quantifi er s restriction, quanti cational variability, and the absence of pairlist readings with whether questions, and argues that they need not militate against the quanti ficational analysis. -/- Section 5 summarizes the emergent proposal -/- Finally, section 6 discusses the signifi cance of the above findings for the behavior of weak islands. (shrink)

How do people decide which claims should be considered mere beliefs and which count as knowledge? Although little is known about how people attribute knowledge to others, philosophical debate about the nature of knowledge may provide a starting point. Traditionally, a belief that is both true and justified was thought to constitute knowledge. However, philosophers now agree that this account is inadequate, due largely to a class of counterexamples (termed ‘‘Gettier cases’’) in which a person’s justified belief is true, but (...) only due to luck. We report four experiments examining the effect of truth, justification, and ‘‘Gettiering’’ on people’s knowledge attributions. These experiments show that: (1) people attribute knowledge to others only when their beliefs are both true and justified; (2) in contrast to contemporary philosophers, people also attribute knowledge to others in Gettier situations; and (3) knowledge is not attributed in one class of Gettier cases, but only because the agent’s belief is based on ‘‘apparent’’ evidence. These findings suggest that the lay concept of knowledge is roughly consistent with the traditional account of knowledge as justified true belief, and also point to a major difference between the epistemic intuitions of laypeople and those of philosophers. (shrink)

While the epistemic significance of disagreement has been a popular topic in epistemology for at least a decade, little attention has been paid to logical disagreement. This monograph is meant as a remedy. The text starts with an extensive literature review of the epistemology of (peer) disagreement and sets the stage for an epistemological study of logical disagreement. The guiding thread for the rest of the work is then three distinct readings of the ambiguous term ‘logical disagreement’. Chapters 1 and (...) 2 focus on the Ad Hoc Reading according to which logical disagreements occur when two subjects take incompatible doxastic attitudes toward a specific proposition in or about logic. Chapter 2 presents a new counterexample to the widely discussed Uniqueness Thesis. Chapters 3 and 4 focus on the Theory Choice Reading of ‘logical disagreement’. According to this interpretation, logical disagreements occur at the level of entire logical theories rather than individual entailment-claims. Chapter 4 concerns a key question from the philosophy of logic, viz., how we have epistemic justification for claims about logical consequence. In Chapters 5 and 6 we turn to the Akrasia Reading. On this reading, logical disagreements occur when there is a mismatch between the deductive strength of one’s background logic and the logical theory one prefers (officially). Chapter 6 introduces logical akrasia by analogy to epistemic akrasia and presents a novel dilemma. Chapter 7 revisits the epistemology of peer disagreement and argues that the epistemic significance of central principles from the literature are at best deflated in the context of logical disagreement. The chapter also develops a simple formal model of deep disagreement in Default Logic, relating this to our general discussion of logical disagreement. The monograph ends in an epilogue with some reflections on the potential epistemic significance of convergence in logical theorizing. (shrink)

The text was originally a conference speech. In principle, it was prepared for teachers of philosophy and people interested in philosophy, therefore it has the character of an essay and only to a small extent refers to the literature of the subject. However, I am deeply convinced of the validity of the thesis that I propose in it, even if they may seem only to a small extent supported by references to the state of research. -/- Synthetical studies take a (...) special place in the research on the history of ancient philosophy. They demonstrate the existing perspective by performing a selection and arrangement of the material, presenting the periodisation, accentuating and determining what is “philosophically significant.” This article points out that despite the great progress made in detailed research that has taken place over the last few decades, the general framework of development of philosophy, derived from Hegel’s thought, has remained unchanged for two centuries. Hegel’s perspective has instilled a certain pattern that encompasses a whole series of debatable solutions. These include (1) development of a certain understanding of what “philosophy” is and thus separating it from a wide spectrum of literature, rhetoric, medicine, and religion; (2) introduction of a dubious periodisation (e.g. the distinction between the Presocratic period and Socrates’ breakthrough in the form of a departure from the philosophy of nature and return to ethical considerations; (3) adoption of philosophy of Plato and Aristotle as the apex of thought. The author highlights the need to change the approach to the history of ancient philosophy and modify the existing paradigm. He calls for paying greater attention to the intertextual element and to the fact that the assessment of originality and relevance of preserved works is falsified due to the disappearance of comparative material. The proposal to establish a new reconstructive paradigm is based on the belief that during further research on ancient philosophy it would be advisable (1) to expand the research perspective and enrich it with the fields of education, medicine, the great sphere of literature, the spheres of fine arts and music, (2) to focus more on the issue of transmission and reception of texts thanks to which it is possible to deepen and extend the reconstructed context of philosophical discussions, (3) to come to the realisation that the abstract character of description, connected with all the syntheses of the philosophical thought in antiquity lead to its oversimplification and impoverishment by presenting it out of the context and depriving of what is individual and specific for a particular thinker. (shrink)

In graph theory, the concept of domination is essential in a variety of domains. It has broad applications in diverse fields such as coding theory, computer net work models, and school bus routing and facility lo cation problems. If a fuzzy graph fails to obtain acceptable results, neutrosophic sets and neutrosophic graphs can be used to model uncertainty correlated with indeterminate and inconsistent information in arbitrary real-world scenario. In this study, we consider the concept of domination as it relates (...) to single-valued neutrosophic incidence graphs (SVNIGs). Given the importance of domination and its utilization in numerous fields, we propose the application of dominating sets in SVNIG with valid edges. We present some relevant definitions such as those of valid edges, cardinality, and isolated vertices in SVNIG along with some examples. Furthermore, we also show a few significant sets connected to the dominating set in an SVNIG such as independent and irredundant sets. We also investigate a relationship between the concepts of dominating sets and domination numbers as well as irredundant and independence sets in SVNIGs. Finally, a real-life deployment of domination in SVNIGsis investigated in relation to COVID-19 vaccination locations as a practical application. (shrink)

In a study drawing from both evolutionary biology and the social sciences, evidence and argument is assembled in support of the comprehensive appli- cation of selfish gene theory to the human population. With a focus on genes giving rise to characteristically-human cooperation (“cooperative genes”) in- volving language and theory of mind, one may situate a whole range of pat- terned behaviour—including celibacy and even slavery—otherwise seeming to present insuperable difficulties. Crucially, the behaviour which tends to propa- gate the cooperative (...) genes may be “at cost” to the genes of some who may be party to the cooperation itself. Explanatory insights are provided by Trivers’ parent-offspring conflict theory, Lack’s principle, and Hamilton’s kin selec- tion mechanism. A primary observation is that cooperation using language and theory of mind is itself interdependent with full human conceptualization of a world of objects and of themselves as embodied beings. Human capaci- ties inhering in, or arising out of, the ability to cooperate are also responsible for a vitally important long-term process, the domestication of animals and p- lants. The approach illuminates the difference between animal and human sexual behaviour, and the emergence of kinship systems. Again, recent pat- terns of population growth become much more explicable. It is argued that the gene is the single controlling replicator; the notion of the meme as a sec- ond independent replicator is flawed. (shrink)

In this paper, I address a range of arguments put forward by Katrin Flikschuh (2016) casting doubts on a theoretical account ofancestral persons in the work of Ifeanyi Menkiti. She argues both that their ontological status is uncertain and that they areontologically redundant. I argue that she does not succeed in convincing us to settle for a practical justification of ancestors. Ithen supplement Menkiti’s life-history account of post-mortem persistence with Searle’s account of social ontology with a viewto theoretically justify belief (...) in the existence of ancestral persons. (shrink)

Some commentators have condemned Kant’s moral project from a feminist perspective based on Kant’s apparently dim view of women as being innately morally deficient. Here I will argue that although his remarks concerning women are unsettling at first glance, a more detailed and closer examination shows that Kant’s view of women is actually far more complex and less unsettling than that attributed to him by various feminist critics. My argument, then, undercuts the justification for the severe feminist critique of Kant’s (...) moral project. (shrink)

The principle of common but differentiated responsibilities is a key principle in inter- national climate and environmental governance. This paper explores the normative impli- cations of the differentiation of responsibilities. I explain how responsibility as a four-digit relation can be used to reconstruct the complex networks of responsibilities in climate and environmental governance. I argue that depending on the area, governance level and concrete case of climate and environmental governance, other or differently specified norms become relevant for the differentiation of (...) responsibilities. However, I show that the attribution of responsibility must always consider the actors’ ability for responsibility. I argue that it is not only the fairness of the attribution of responsibilities that matters, but the capacity for responsibility of the relevant agents and their dependence on networks and institutions of responsibility. (shrink)

>e paper studies the discussion about human good in Eudemian Ethics I.7. It is particularly concerned with the existence, in the text, of two characteristics of the human good: its peculiarity, on the one hand, which consists not only in the quali- (cation ‘human’ (anthropinon), but also in the assignment of this good to the domain of action (the activity that distinguishes humans from other beings), and, on the other hand, the fact that it belongs to a spectrum containing (...) the goods of other beings, like god and the remaining living beings. Divinity works as the standard for the distinction between eudaimonic goods – belonging to beings whose nature implies participation in the divine (humans, for example) – and non-eudaimonic goods that belong to those beings deprived of such participation. Resorting to other passages from the Eudemian Ethics, as well as other texts from the corpus, the paper defends that the two characteristics of the human good presented in EE I.7 foreshadow an important di?erence between the two Aristotelian treatises on eudaimonia: whereas the Nicomachean Ethics emphasizes contemplation as the activity through which humans participate in the divine, the Eudemian Ethics stresses virtuous actions as a human activity related to the divine. (shrink)

A logic is called higher order if it allows for quantification over higher order objects, such as functions of individuals, relations between individuals, functions of functions, relations between functions, etc. Higher order logic began with Frege, was formalized in Russell [46] and Whitehead and Russell [52] early in the previous century, and received its canonical formulation in Church [14].1 While classical type theory has since long been overshadowed by set theory as a foundation of mathematics, recent decades have shown remarkable (...) comebacks in the fields of mechanized reasoning (see, e.g., Benzm¨. (shrink)

Many epistemologists treat rationality and justification as the same thing. Those who don’t lack detailed accounts of the difference, leading their opponents to suspect that the distinction is an ad hoc attempt to safeguard their theories of justification. In this paper, I offer a new and detailed account of the distinction. The account is inspired by no particular views in epistemology, but rather by insights from the literature on reasons and rationality outside of epistemology. Specifically, it turns on a version (...) of the familiar distinction in meta-ethics between possessing apparent normative reasons (which may be merely apparent) and possessing objective normative reasons. The paper proceeds as follows. In §1, I discuss the history of indifference to the distinction between rationality and justification in epistemology and the striking contrast with meta-ethics. I introduced the distinction between apparent reasons and possessed objective reasons in §2 and provide a deeper basis for it in §3. I explain how the ideas extend to epistemology in §4 and explore the upshots for some central issues in §5. (shrink)

Ontologies are being developed throughout the biomedical sciences to address standardization, integration, classification and reasoning needs against the background of an increasingly data-driven research paradigm. In particular, ontologies facilitate the translation of basic research into benefits for the patient by making research results more discoverable and by facilitating knowledge transfer across disciplinary boundaries. Addressing and adequately treating mental illness is one of our most pressing public health challenges. Primary research across multiple disciplines such as psychology, psychiatry, biology, neuroscience and pharmacology (...) needs to be integrated in order to promote a more comprehensive understanding of underlying processes and mechanisms, and this need for integration only becomes more pressing with our increase in understanding of differences among individuals and populations at the molecular level concerning susceptibility to specific illnesses. Substance addiction is a particularly relevant public health challenge in the developed world, affecting a substantial percentage of the population, often co-morbid with other illnesses such as mood disorders. Currently, however, there is no straightforward automated method to combine data of relevance to the study of substance addiction across multiple disciplines and populations. In this contribution, we describe a framework of interlinked, interoperable bio-ontologies for the annotation of primary research data relating to substance addiction, and discuss how this framework enables easy integration of results across disciplinary boundaries. We describe entities and relationships relevant for the description of addiction within the Mental Functioning Ontology, Chemical Entities of Biological Interest Ontology, Protein Ontology, Gene Ontology and the Neuroscience Information Framework ontologies. (shrink)

Plato’s Protagoras contains, among other things, three short but puzzling remarks on the media of philosophy. First, at 328e5–329b1, Plato makes Socrates worry that long speeches, just like books, are deceptive, because they operate in a discursive mode void of questions and answers. Second, at 347c3–348a2, Socrates argues that discussion of poetry is a presumptuous affair, because, the poems’ message, just like the message of any written text, cannot be properly examined if the author is not present. Third, at 360e6–361d6, (...) it becomes clear that even if the conversation between Socrates and Protagoras was conducted by means of short questions and answers, this spoken mode of discourse is problematic too, because it ended up distracting the inquiry from its proper course. As this paper 2 sets out to argue, Plato does not only make Socrates articulate these worries to exhibit the hazards of discursive commodifi cation. In line with Socrates’ warning to the young Hippocrates of the dangers of sophistic rhetoric, and the sophists’ practice of trading in teachings, they are also meant to problematize the thin line between philosophical and sophistical practice. By examining these worries in the light of how the three relevant modes of discourse are exemplifi ed in the dialogue, this paper aims to isolate and clarify the reasons behind them in terms of deceit, presumptuousness and distraction; and to argue that these reasons cast doubts on the common assumption that the dialogue’s primary aim is to show how sophistical rhetoric must succumb to Socratic dialectic. (shrink)

RELAÇÃO E EFEITOS BIOQUÍMICO-NUTRICIONAIS SOBRE OS TRANSTORNOS DO CICLO ESTRAL DE VACAS -/- Emanuel Isaque Cordeiro da Silva Departamento de Agropecuária – IFPE Campus Belo Jardim [email protected] ou [email protected] WhatsApp: (82)98143-8399 -/- •__6. Transtornos do ciclo estral -/- Qualquer alteração na frequência, duração ou intensidade do ciclo estral é considerada uma perturbação do ciclo, cujas origens variam etiologicamente. As perturbações do ciclo podem originar-se em qualquer das partes do eixo hipotálamo-hipófise-ovário (FRAZER, 2005; GORDON, 1996). Pode ou não ser do tipo (...) permanente e pode depender de sua origem, momento e intensidade cursar com outras alterações reprodutivas, por exemplo uma retenção do corpo lúteo, dá lugar a prolongamento da fase lútea, altos níveis de progesterona circulante e pode, finalmente, desencadear em um cisto luteal ou em uma metrite. Entre os fatores desencadeadores da falha do ciclo estral estão os fatores de origem nutricional, dentre eles: 6.1 Minerais 6.1.1 Relação Na:K (Sódio: Potássio) A deficiência de sódio pode causar distúrbios do ciclo estral, isto porque as células animais intracelularmente possuem uma alta concentração de K e uma baixa concentração de Na, esta relação pode chegar a 10:1 ou mais, em relação ao meio externo. Com esta relação, as concentrações intracelulares estão em equilíbrio com o meio externo. A absorção e secreção de cátions pela célula para conseguir o equilíbrio é simultânea, gerada por um sistema de transporte específico chamado "bomba Na-K". Se a nível celular não existe um balanço iônico de K:Na, a maior prioridade das células tubulares do rim é a de conseguir novamente um equilíbrio, o mecanismo destas células é o da reabsorção do íon que se encontre em excesso de água, diminuindo a quantidade deste no líquido para manter as funções em equilíbrio dinâmico. Os desequilíbrios não compensados a nível celular ou renal, levam a alterações na condutividade nervosa por alteração da bomba de transmissão elétrica. O ciclo estral é alterado por diminuir a expressividade dos sinais comportamentais de estro, que são produzidos por concentrações crescentes de estrogênio mas com alta necessidade de adequação nervosa para a exposição corporal do cio e a aceitação da monta. O potássio, em particular, desempenha um papel fundamental como coator em certas interações enzimáticas, incluindo a transferência de energia, a síntese de proteínas e o metabolismo de hidratos de carbono, em especial nos sistemas em que o ADP está envolvido, as hexoquinases e a anidrase carbônica. O sódio, por sua vez, é o principal cátion extracelular, regula o equilíbrio hídrico no organismo e a mecânica de fluidos, desta forma regula a pressão osmótica e a troca aquosa nos tecidos. Devido a esta função, um dos fatores importantes do fluxo Na:K é o rim, que é controlado pela aldosterona, a principal hormona reguladora da absorção de sódio e excreção de potássio. Qualquer desequilíbrio na relação Na:K, afetará o ciclo estral, de maneira direta e indireta, através da alteração na síntese de proteínas e da perda da regulação hídrica, fator importante pelas secreções que devem acompanhar as manifestações de cio/estro. 6.1.2 Relação Cobalto (Co) A deficiência de cobalto gera um efeito biológico determinado pela sua presença na molécula da vitamina B12, a qual regula a hematopoese (Ativa a síntese de protoporfirina) e afeta o metabolismo do nitrogênio e dos carboidratos. A vitamina B12 atua como uma coenzima da transmetilação (síntese do glutamato mutase, metilmalonil-CoA-Mutase, diol-dehidratase e redução dos ribonucleótidos a desoxirribonucleótidos, isomerização da a-lisina, etc.). Especialmente em ruminantes, a reação mutase da metilmalonina-CoA está relacionada com o metabolismo do ácido propiônico e, portanto, com a síntese de glicose e o equilíbrio energético. O cobalto também está envolvido na carboxilação da propionil-CoA à metilmalonil-CoA e na isomerização deste último para succinil-CoA. O metabolismo do ácido propiônico ocorre no fígado e é reduzido pelo fato do metilmalonil não poder ser convertido em succinil-CoA, impedindo a sua passagem para oxalacetato e glicose, gerando uma relação inversa entre os níveis de energia e proteína; causando uma diminuição de GnRH que afeta negativamente a liberação de LH que, por sua vez, cria um aumento na FSH. Isso produz uma anulação da ovulação e, consequentemente, ausência de um ciclo estral verdadeiro. Vale reforçar que, para prevenção da deficiência do cobalto, o criador pode optar pelo fornecimento de volumosos que dispõem de quantidades de cobalto que suprem as exigências dos animais, ou pela inserção de sais de cobalto à mistura da ração, sempre no intervalo sugerido de 0,07 e 0,11 mg/kg para cada animal, suprindo a necessidade do mesmo e garantindo assim a prevenção dos transtornos do ciclo estral ou outras afecções do sistema reprodutivo. 6.1.3 Relação Cobre (Cu) e Molibdênio (Mo) A deficiência de cobre gera, indiretamente, molibdênio, durante esse processo, tanto o macho como a fêmea são inférteis ou sub-férteis, mas, em geral, os transtornos surgem não por molibdeniose mas por hipocuprose condicionada por excesso de molibdênio nas pastagens e pelos sulfatos presentes na água de bebida (BREM, 2016). Isso leva à formação de tiomolibdato no rúmen, que por sua vez combina com o cobre para formar tiomolibdato de cobre, sal muito insolúvel. O tiomolibdato presente, formado em excesso e que não encontra cobre suficiente, contribuirá para produzir a diarreia, limitando ainda mais a absorção de cobre. A interferência mais importante do molibdênio ocorre no processo metabólico do cobre, interferindo sua atividade enzimática. O molibdênio atua sobre o complexo sulfeto-oxidase hepático. A enzima que está envolvida na oxidação de metabolitos sulfurados, reduz a sua atividade na presença de altos teores de molibdênio, especialmente quando a quantidade de cobre é baixa. Daqui resulta a formação de sulfureto de cobre, muito insolúvel e, portanto, pouco ou nada utilizável pelas células e/ou tecidos (QUIROZ-ROCHA & BOUDA, 2001). O excesso de molibdênio nas pastagens ou na água de bebida reduz a quantidade de cobre no fígado, mas para uma dada dose de molibdênio, esta redução é diretamente proporcional ao aumento dos sulfatos na ingestão, porque só na presença de sulfatos o molibdênio exerce sua ação limitante. O melhor modo de tratar o molibdênio e a ação dos sulfatos sobre o cobre, é aumentar a quantidade de cobre disponível pelos animais, seja por via bucal ou parenteral. Desta forma, há aumentos na cupremia e no ganho de peso. É conveniente, para o efeito, efetuar um controle dos resultados mediante a observação clínica, pesagem dos animais e análise de cobre no sangue. Isso permitirá estabelecer as doses ideais e adequadas para cada estabelecimento e efetuar um estudo econômico da suplementação (BAVERA, 2002). Como já foi tratado o requerimento do cobre para evitar os problemas reprodutivos das vacas, falemos do molibdênio (Mo). O Mo é um elemento primordial para bovinos leiteiros, uma vez que é componente de uma enzima presente no leite (xantina oxidasse). A deficiência de Mo a nível prático não foi relatada, porém casos podem acontecer. Para ovinos, que é uma espécie ruminante, a concentração exigida pelo animal em Mo presente na MS é de 5 a 10 mg/kg, porém deve levar em consideração a relação crítica entre o Mo e o Cu que deve ser no máximo 20 e nunca superior. O nível crítico de toxidade de Mo nos alimentos volumosos (forrageiras, gramíneas e leguminosas) não pode ultrapassar os 6% por kg de MS. Através de todos esses cuidados, o criador poderá obter sucesso tanto na prevenção contra os distúrbios do ciclo estral das vacas, quanto de outras complicações como toxidade, desnutrição, etc. 6.2 Relação energia:proteína Em relação ao aumento do consumo de proteína crua ou de deficiência de energia, aumenta-se a quantidade de ureia no sangue e produz-se uma toxicidade tecidular, afetando o endométrio e diminuindo a produção de prostaglandinas, que são as encarregadas de manter o corpo lúteo, caso não se mantenha acaba provocando um ciclo estral longo. A situação pode ser explicada a nível do eixo hipotálamo-hipófise, no qual os baixos níveis de glicose inibem a secreção de GnRH e resultam na diminuição da pulsatilidade da LH, seja por ação direta ou mediada através das ß-endorfinas. Outro fator que afeta o crescimento folicular é a nutrição, especificamente a perda da condição corporal, quando o animal não se alimenta direito ou quando se alimenta não tem uma condição balanceada que supra suas exigências nutricionais e que tenha um aceitável ganho de peso diário (GPD), acaba perdendo massa muscular ou de gordura, em outras palavras altera-se a condição corporal do mesmo, e se a perda for de 22 a 24 % de peso corporal (PC), os animais que perdem essa condição entram em anestro o que acaba tornando um animal inviável para a reprodução e também para o abate, uma vez que encontra-se fora do peso ideal. Tanto as proteínas quanto a energia foram tratados em trabalhos anteriores, porém nunca é tarde para salientar que ambas devem ser fornecidas em qualidade e quantidade que consiga favorecer ao desenvolvimento do animal e aos mecanismos fisiológicos do mesmo. 6.3 Fito-toxidade Finalmente, um fator adicional que induz a alteração da ciclicidade estral são os fitoestrógenos, plantas com altos teores de isoflavonas que possuem, no organismo animal, uma ação estrogênica. Os fitoestrógenos estão amplamente difundidos, nos trevos, alfafa, milho e nas pastagens de cultivo intensivo. Os fitoestrogênios são diferentes dos estrogênios produzidos pelo animal, mas a sua ação é idêntica nos receptores do trato reprodutivo; o seu metabolismo e excreção é diferente (por exemplo, desmetilização) e a sua excreção renal através dos glicoronosidos, assim mesmo a formação de ésteres sulfatos no tecido hepático é menor, acumulando-se em circulação e alterando a duração da fase estrogênica do ciclo, isso leva à ninfomania das vacas e com ela a perda da função reprodutiva. Deve-se estar atento ao pasto que se cultiva e ao solo em que se implanta o pasto, uma vez que o solo pode ter excessos de minerais prejudiciais ao animal e que o coloque em uma situação de toxidade, já que a planta absorve do solo o excesso e da planta vai para o animal por meio direto ou pela silagem. Um exemplo é o teor de molibdênio na planta que não pode ser maior que 6%, se for ocorrerá inúmeras transformações fisiológicas maléficas ao animal, que acabará sendo descartado do objetivo que seria a reprodução na fazenda. -/- Apoio -/- Realização -/- REFERÊNCIAS BIBLIOGRÁFICAS BAVERA, Guillermo Alejandro. Aguas y aguadas para el ganado. Rio Cuarto: Inter-Medica Editorial, 2009. BERCHIELLI, Telma Teresinha; PIRES, Alexandre Vaz; OLIVEIRA, SG de. Nutrição de ruminantes. Jaboticabal: funep, 2006. BINDARI, Yugal Raj et al. Effects of nutrition on reproduction-A review. Adv. Appl. Sci. Res, v. 4, n. 1, p. 421-429, 2013. BOLAND, M. P. Efectos nutricionales en la reproducción del ganado. XXXI Jornadas Uruguayas de Buiatría, 2003. BREM, J. J. et al. Alteraciones del ciclo estral provocadas por un alto ingreso de molibdeno en vaquillonas Brangus y respuesta a la suplementación con cobre. Revista Veterinaria, v. 12, n. 1 y 2, p. 28-33, 2016. DEHNING, R. Interrelaciones entre nutrición y fertilidad. In: Curso Manejo de la Fertilidad Bovina18-23 May 1987Medellín (Colombia). CICADEP, Bogotá (Colombia) Universidad de La Salle, Medellín (Colombia) Instituto Colombiano Agropecurio, Bogotá (Colombia) Sociedad Alemana de Cooperación Técnica-GTZ (Alemania), 1987. DE LUCA, Leonardo J. Nutrición y fertilidad en el ganado lechero. XXXVI Jornadas Uruguayas de Buiatría, 2008. FRAZER, Grant S. Bovine theriogenology. Veterinary Clinics: Food Animal Practice, v. 21, n. 2, p. xiii-xiv, 2005. GORDON, Ian. Controlled reproduction in farm animals series. Nova Iorque: CAB International, 1996. GRAHAM, Thomas W. Trace element deficiencies in cattle. Veterinary clinics of North America: food animal practice, v. 7, n. 1, p. 153-215, 1991. GUEDES, Luciana Freitas et al. A importância do cobre, molibdênio e enxofre na alimentação de ovinos. Nucleus Animalium, v. 10, n. 2, p. 7-22, 2018. HURLEY, W. L.; DOANE, R. M. Recent developments in the roles of vitamins and minerals in reproduction. Journal of Dairy Science, v. 72, n. 3, p. 784-804, 1989. KUMAR, Sudhir et al. Importance of micro minerals in reproductive performance of livestock. Veterinary world, v. 4, n. 5, p. 230, 2011. MAAS, John. Relationship between nutrition and reproduction in beef cattle. The Veterinary Clinics of North America. Food Animal Practice, v. 3, n. 3, p. 633-646, 1987. MILLS, C. F. Cobalt deficiency and cobalt requirements of ruminants. Recent advances in animal nutrition, p. 129-141, 1981. NICODEMO, M. L. F.; SERENO, J. R. B.; AMARAL, T. B. Minerais na eficiência reprodutiva de bovinos. Embrapa Pecuária Sudeste-Documentos (INFOTECA-E), São Carlos, 2008. PASA, Camila. Relação reprodução animal e os minerais. Biodiversidade, v. 9, n. 1, 2011. QUIROZ-ROCHA, Gerardo F.; BOUDA, Jan. Fisiopatología de las deficiencias de cobre en rumiantes y su diagnóstico. Vet. Méx, v. 32, n. 4, p. 289, 2001. SHORT, Robert E.; ADAMS, D. C. Nutritional and hormonal interrelationships in beef cattle reproduction. Canadian Journal of Animal Science, v. 68, n. 1, p. 29-39, 1988. YASOTHAI, R. Importance of minerals on reproduction in dairy cattle. International Journal of Science, Environment and Technology, v. 3, n. 6, p. 2051-2057, 2014. Emanuel Isaque Cordeiro da Silva Belo Jardim, 29 de março de 2020. (shrink)

The aspiration for volitional evolution, or human evolution directed by humans themselves,has increased in philosophical, scientific, technical, and commercial literature. The prospect of shaping the very being who is the consumer of all other innovations offers great commercial potential, one to which all other innovations would in effect be subservient. Actually an amalgam of projected technical/commercial developments, this prospective innovation has practical and ethical ramifications. However, because it is often discussed in a scientific way (specifically that of evolutionary theory), it (...) first calls for examination in terms of common scientific approaches to evolution. Yet, as evolutionary-theory controversies point up, evolution may be considered as neither a directed nor a directable process – a problem for the ontology of volitional evolution. One challenge for theories and programs aiming to implement the proposed innovation is then whether it is theoretically coherent. While I offer responses to the challenge in the form of objections, these in turn remain problematic. Two central issues of responsible innovation arise: (1) If this prospect were feasible, would it be responsible to implement it, and (2) if it is not even theoretically coherent, is it responsible for innovators, even this early-on, to keep promoting it as if it were? (shrink)

The paper deals with two central issues in the philosophy of neuroscience and psychiatry, namely those of the nature and the major kinds and types of psychopathological mechanisms. Contrary to a widespread view, I argue that mechanisms are not kinds of systems but kinds of processes unfolding in systems or between systems. More precisely, I argue that psychopathological mechanisms are sets of actions and interactions between brain-systems or circuits as well as between the latter and other systems in one's body (...) and external environment, both physical and social, involved in human psychopathology. According to the kinds of properties of the interacting systems or their component-parts, psychopathological mechanisms may be physical, chemical, biological, psychological, social, or, typically, mixed ones. Furthermore, I focus on two main kinds of psychopathological mechanisms involved in the causation of mental disorders, namely the pathogenetic and pathophysiological ones, stressing the importance of their careful distinction for the integrative understanding of otherwise disparate and apparently incommensurable psychiatric research findings. I illustrate my analysis with an example drawn from contemporary research on the mechanisms of acute psychosis. Finally, I stress the relevance of psychopathological mechanisms to a more scientifi cally-grounded classifi cation of mental disorders. (shrink)

We introduce a family of operators to combine Description Logic concepts. They aim to characterise complex concepts that apply to instances that satisfy \enough" of the concept descriptions given. For instance, an individual might not have any tusks, but still be considered an elephant. To formalise the meaning of "enough", the operators take a list of weighted concepts as arguments, and a certain threshold to be met. We commence a study of the formal properties of these operators, and study some (...) variations. The intended applications concern the representation of cognitive aspects of classi cation tasks: the interdependencies among the attributes that de ne a concept, the prototype of a concept, and the typicality of the instances. (shrink)

The present article studies the epictetean philosophical use of some passages of the Greek and Roman history. The concepts of love-friendship (philía) and personal con- venience (sumphéron) second the philosopher to explain why happiness (eudaimonía) has not been reached by the human being in all history. All historical war or strife (pólemos), such as the Trojan, the Medics and the Peloponnesian wars, is provoked by epistemological-moral mistakes derived from the ignorance of which is the correct place to put the sumphéron; (...) such correct place is only the personal “rational capacity” ( proháiresis). This causal explanation of the incorrect and vicious human actions, of which history is full and which destroy the existent philía between nations and provoke pólemos, constitutes an authentic epictetean philosophy of history. Nevertheless, those vicious actions have a justification in a superior Cosmological level because they are pre-determined and ordered by the God-Providence. This leads us to the possibility of observing that the stoic philosophy of history, particularly the epictetean, is analogous to some modern speculative systems of history like the ones developed by Vico or Hegel. (shrink)

The Riemann zeta function ζ(s) is a central object in number theory and complex analysis, defined for complex variables and intimately connected to the distribution of prime numbers through its zeros. The famous Riemann Hypothesis conjectures that all non-trivial zeros of the zeta function lie on the critical line Re(s) = 1 2 . In this paper, we explore the Riemann zeta function through the lens of set-theoretic and sweeping net methods, leveraging creative comparisons of specific sets to gain deeper (...) insight into the distribution of its zeros. By rewording and analyzing the Riemann Hypothesis using set-theoretic arguments, applying sweeping net techniques, and integrating modal logic interpretations, we aim to provide new perspectives and support for this profound conjecture. Our objectives are: • Define the zeta function and its properties relevant to the zeros. • Reword the Riemann Hypothesis using set-theoretic language and establish logical equivalence. • Introduce and compare specific sets related to the zeros of ζ(s). • Apply set-theoretic and sweeping net methods to analyze the distribution of zeros. • Provide rigorous proofs about the absence of zeros in certain regions, including mechanical justifi- cations with all steps. • Incorporate modal logic interpretations into the proof. • Discuss implications for the Riemann Hypothesis. (shrink)

This paper is about conjunctions and disjunctions in the scope of non-doxastic atti- tude verbs. These constructions generate a certain type of ignorance implicature. I argue that the best way to account for these implicatures is by appealing to a notion of contex- tual redundancy (Schlenker, 2008; Fox, 2008; Mayr and Romoli, 2016). This pragmatic approach to ignorance implicatures is contrasted with a semantic account of disjunctions under `wonder' that appeals to exhausti cation (Roelofsen and Uegaki, 2016). I argue (...) that exhausti cation-based theories cannot handle embedded conjunctions, so a pragmatic account of ignorance implicatures is superior. (shrink)

This piece continues ideas developed in my essay, Mind Matters, through responding to the critique of that essay by Peter K. Manning. Manning cannot conceive that human conduct involves full-bodied semiosis rather than disembodied conceptualism, and that the study of human signification requires a full-bodied understanding. The ancient Greek root phren, basis for the concept of phronesis, is rooted in the heart-lungs-solar plexus basis of bodily awareness, and provides a metaphor for a discussion of bio-developmental, biosemiotic capacities as crucial for (...) human culture. Manning’s use of Wittgenstein is contrasted with the outlook of Charles Peirce. The intense attunement to and reverence for animals and plants in hunter-gatherer peoples is more than some conceptual collective representations system or interaction order or psychological belief system, explainable by Durkheim or Goffman, or Jung’s universal structure of the “collective unconscious,” or by neural net theory. It exemplifies how those peoples are in real learning relationships to the instinctive intelligence of their habitats, deep learning expressed not only in trial-and-error experience but also in the sense of wonder, communicated in ritual life. Mind is found literally in those transactions, not in isolate brains or disembodied conceptualism. (shrink)

The de nition of qualia — a contribution to logical philosophy In my article, I propose an abstract de nition of a quale, which (generally speaking) identi es qualia with sets belonging to certain relational structures. I maintain that my de nition, by not taking advantage of psychological terms, makes the notion of a quale more understandable and the existence of qualia themselves less disputable than is commonly supposed. In addition, I brie y discuss the traditional concept of a (...) quale. (shrink)

This paper treats cognition as a function of consciousness and seeks to isolate neural correlates of consciousness as physical properties within the brain. We explore fundamental attributes of qualia paired with physical objects, suggesting all physical things have some relative quale. In this sense we require perception as input, a global workspace, cations, a calcium channel, awareness, attention, and a neural network. Given the hypothesized binding frequency of 40 Hz and Libet’s temporal factors, under Schrodinger’s time-dependent equation in n-dimensions and (...) potential energy given by spin attenuated under spherical properties as radial waves, we see energy levels on the quantum scale approximately equal to the energy of neuronal spikes on a classical scale separated by powers of ten. By treating the brain as a complex, compact manifold homotopic to submanifolds, under knot theory and braid groups we liken the model to quantum information processing and equilibria given by smoothness. Understanding that a model of binding is a partial solution to the hard problem of consciousness, we see consciousness emerges under the complexity of biological components as a function of neural energy. The result of the model is descriptive and explanatory, showing semantic information encoded within brain waves as brain waves signify consciousness can be encapsulated in physical properties of the brain such that binding occurs. With respect to binding and virtual particles, a partial solution to the hard problem of consciousness is proposed. (shrink)

The Emotion Ontology is an ontology covering all aspects of emotional and affective mental functioning. It is being developed following the principles of the OBO Foundry and Ontological Realism. This means that in compiling the ontology, we emphasize the importance of the nature of the entities in reality that the ontology is describing. One of the ways in which realism-based ontologies are being successfully used within biomedical science is in the annotation of scientific research results in publicly available databases. Such (...) annotation enables several objectives, including searching, browsing and cross-database data integration. A key benefit conferred by realismbased ontology is that suitably annotated research results are able to be aggregated and compared in a fashion that is based on the underlying reality that the science is studying. This has the potential of increasing the power of statistical analysis and meta-analysis in data-driven science. This aspect has been fruitfully exploited in the investigation of the functions of genes in molecular biology. Cognitive neuroscience uses functional neuroimaging to investigate the brain correlates of areas of mental functioning such as memory, planning and emotion. The use of functional neuroimaging to study affective phenomena such as the emotions is called ‘affective neuroscience’. BrainMap is the largest curated database of coordinates and metadata for studies in cognitive neuroscience, including affective neuroscience (Laird et al., 2005). BrainMap data is already classified and indexed using a terminology for classification, called the ‘Cognitive Paradigm Ontology’ (CogPO), that has been developed to facilitate searching and browsing. However, CogPO has been developed specifically for the BrainMap database, and the data are thus far not annotated to a realism-based ontology which would allow the discovery of interrelationships between research results across different databases on the basis of what the research is about. In this contribution, we describe ongoing work that aims to annotate affective neuroscience data, starting with the BrainMap database, using the Emotion Ontology. We describe our objectives and technical approach to the annotation, and mention some of the challenges. (shrink)

I argue that one in particular of CrispinWright’s attempts to capture our common or intuitive concepts of objectivity, warrant, and other associated notions, relies on an ambiguity between a given constructivist reading of the concepts and at least one other, arguablymore ‘ordinary’, version of the notions he tries to accommodate. I do this by focusing on one case in point, and concluding with a brief argument showing how this case generalises. I demonstrate why this ambiguity is unacceptable and also that (...) its resolution undermines the aim it serves: to account for and accommodate our ordinary conception of (at least) objectivity, warrant (or justication) and truth. (shrink)