Kim’s causal exclusion argument purports to demonstrate that the non-reductive physicalist must treat mental properties (and macro-level properties in general) as causally inert. A number of authors have attempted to resist Kim’s conclusion by utilizing the conceptual resources of Woodward’s interventionist conception of causation. The viability of these responses has been challenged by Gebharter, who argues that the causal exclusion argument is vindicated by the theory of causal Bayesian networks (CBNs). Since the interventionist conception of causation relies crucially on CBNs (...) for its foundations, Gebharter’s argument appears to cast significant doubt on interventionism’s anti-reductionist credentials. In the present article, we both (1) demonstrate that Gebharter’s CBN-theoretic formulation of the exclusion argument relies on some unmotivated and philosophically significant assumptions (especially regarding the relationship between CBNs and the metaphysics of causal relevance), and (2) use Bayesian networks to develop a general theory of causal inference for multi-level systems that can serve as the foundation for an anti-reductionist interventionist account of causation.1. (shrink)

In this paper, I use interventionist causal models to identify some novel Newcomb problems, and subsequently use these problems to refine existing interventionist treatments of causal decision theory. The new Newcomb problems that make trouble for existing interventionist treatments involve so-called ‘exotic choice’—that is, decision-making contexts where the agent has evidence about the outcome of her choice. I argue that when choice is exotic, the interventionist can adequately capture causal decision-theoretic reasoning by introducing a new interventionist approach to updating on (...) exotic evidence. But I also argue that this new updating procedure is principled only if the interventionist trades in the typical interventionist conception of choice for an alternative Ramseyan conception. I end by arguing that the guide to exotic choice developed here may, despite its name, be useful in some everyday contexts. (shrink)

It is a consequence of the theory of imprecise credences that there exist situations in which rational agents inevitably become less opinionated toward some propositions as they gather more evidence. The fact that an agent's imprecise credal state can dilate in this way is often treated as a strike against the imprecise approach to inductive inference. Here, we show that dilation is not a mere artifact of this approach by demonstrating that opinion loss is countenanced as rational by a substantially (...) broader class of normative theories than has been previously recognised. Specifically, we show that dilation-like phenomena arise even when one abandons the basic assumption that agents have (precise or imprecise) credences of any kind, and follows directly from bedrock norms for rational comparative confidence judgements of the form `I am at least as confident in p as I am in q'. We then use the comparative confidence framework to develop a novel understanding of what exactly gives rise to dilation-like phenomena. By considering opinion loss in this more general setting, we are able to provide a novel assessment of the prospects for an account of inductive inference that is not saddled with the inevitability of rational opinion loss. (shrink)

Bayesians standardly claim that there is rational pressure for agents’ credences to cohere across time because they face bad (epistemic or practical) consequences if they fail to diachronically cohere. But as David Christensen has pointed out, groups of individual agents also face bad consequences if they fail to interpersonally cohere, and there is no general rational pressure for one agent's credences to cohere with another’s. So it seems that standard Bayesian arguments may prove too much. Here, we agree with Christensen (...) that there is no general rational pressure to diachronically cohere, but we argue that there are particular cases in which there is rational pressure to diachronically cohere, as well as particular cases in which interpersonal probabilistic coherence is rationally required. More generally, we suggest that Bayesian arguments for coherence apply whenever a collection (of agents or time slices) has a shared dimension of value and an ability to coordinate their actions in a range of cases relevant to that value. Typically, this shared value and ability to coordinate is very strong across the time slices of one human being, and very weak across different human beings, but there are special cases where these can switch—i.e., some groups of humans will have as much reason for their beliefs to cohere across a particular range of cases as the time slices of one human usually do, but some time slices of a human will have as much freedom to differ in their beliefs from the others as the members of a group usually do. (shrink)

There are simple mechanical systems that elude causal representation. We describe one that cannot be represented in a single directed acyclic graph. Our case suggests limitations on the use of causal graphs for causal inference and makes salient the point that causal relations among variables depend upon details of causal setups, including values of variables.

In their 2010 book, Biology’s First Law, D. McShea and R. Brandon present a principle that they call ‘‘ZFEL,’’ the zero force evolutionary law. ZFEL says (roughly) that when there are no evolutionary forces acting on a population, the population’s complexity (i.e., how diverse its member organisms are) will increase. Here we develop criticisms of ZFEL and describe a different law of evolution; it says that diversity and complexity do not change when there are no evolutionary causes.

There is a theorem that shows that it is impossible for an algorithm to jointly satisfy the statistical fairness criteria of Calibration and Equalised Odds non-trivially. But what about the recently advocated alternative to Calibration, Base Rate Tracking? Here, we show that Base Rate Tracking is strictly weaker than Calibration, and then take up the question of whether it is possible to jointly satisfy Base Rate Tracking and Equalised Odds in non-trivial scenarios. We show that it is not, thereby establishing (...) an even more general impossibility theorem. (shrink)

This paper investigates some classical oppositional categories, like synthetic vs. analytic, posterior vs. prior, imagination vs. grammar, metaphor vs. hermeneutics, metaphysics vs. observation, innovation vs. routine, and image vs. sound, and the role they play in epistemology and philosophy of science. The epistemological framework of objective cognitive constructivism is of special interest in these investigations. Oppositional relations are formally represented using algebraic lattice structures like the cube and the hexagon of opposition, with applications in the contexts of modern color theory, (...) Kantian philosophy, Jungian psychology, and linguistics. (shrink)

Inauguration speech at chair number 18 of the Brasilian Academy of Philosophy.

Brentano is often considered the originator of the fitting-attitudes analysis of value, on which to be valuable is to be that which it’s fitting to value. But there has been comparatively little attention paid to Brentano’s argument for this analysis. That argument advances the stronger claim that fittingness is part of the analysis of normativity. Since the argument rests on an analogy between truth and fittingness, its impact may seem limited by the idiosyncratic features of Brentano’s later notion of truth. (...) I argue, however, that the Brentanian argument is defensible even if fittingness is analogized to a more typical realist account of truth. The result is what I call the worldly Brentanian account of normativity. I defend this account as a form of naturalistic realism. I then show how the account can fare better than prominent alternatives against two kinds of error-theoretic arguments. (shrink)

Now that she is old enough to be taken to boring, so-called “cultural” events by her aging, academic relatives, we have just taken Anya to see a performance of Julius Caesar. When it’s over, we discuss the acting, the poetry, the famous lines. At some point, Anya asks: “I wonder if it happened like that?” Anya has not radically misunderstood what we just watched; she did not, for example, rush down and yell at Caesar that he’d better read that scroll. (...) Her question is not uncommon as a response to a history play, from audience members both young and old. It is perfectly intelligible; I would like to give her an answer. Before I sketch some possible answers, it is worth saying something more about Anya’s. (shrink)

G.A. Cohen’s value conservatism entails that we ought to preserve some existing sources of value in lieu of more valuable replacements, thereby repudiating maximizing consequentialism. Cohen motivates value conservatism through illustrative cases. The consequentialist, however, can explain many Cohen-style cases by taking extrinsic properties, such as historical significance, to be sources of final value. Nevertheless, it may be intuitive that there’s stronger reason to preserve than to promote certain sources of value, especially historically significant things. This motivates an argument that (...) the weights of our reasons to preserve such things are especially strong relative to the amounts of value they bear. The value conservative can then explain these intuitions in non-consequentialist terms. There may be reason to preserve historically significant things as a matter of recognition respect for a cultural and historical heritage, or because it is virtuous to cultivate the right kind of connection with such a heritage. (shrink)

This paper defends an ontology of weak entity realism for homeostatic property cluster (HPC) theories of natural kinds, adapted from Bird’s (Synthese 195(4):1397–1426, 2018) taxonomy of such theories. Weak entity realism about HPC kinds accepts the existence of natural kinds. Weak entity realism denies two theses: that (1) HPC kinds have mind-independent essences, and that (2) HPC kinds reduce to entities, such as complex universals, posited only by metaphysical theories. Strong entity realism accepts (1) and (2), whereas moderate entity realism (...) accepts only (1). Given its commitment to (2), strong entity realism is more theoretically complex than weak entity realism, with little explanatory payoff. Given their commitment to (1), moderate and strong entity realisms cannot explain how the identity conditions of HPC kinds are to be straightforwardly knowable. I argue that weak entity realism avoids such epistemic difficulties. I further rebut two plausible criticisms of weak entity realism, namely that weak entity realism cannot account for quantification over kinds, and that weak entity realism cannot provide identity conditions for HPC kinds which are both scientifically useful and objective. Given the theoretical costs of strong and moderate entity realism, and weak entity realism’s adequate response to its most plausible challenges, weak entity realism about HPCs is to be preferred, especially for biological and chemical kinds. (shrink)

Some revisionary ontologies are highly parsimonious: they posit far fewer entities than what we quantify over in ordinary discourse. The most radical examples are minimal ontologies, on which physical simples are the only things that exist. Highly parsimonious ontologies, and especially minimal ones, face the challenge of either accounting for the truth of our ordinary quantificational discourse, or paraphrasing such discourse away. Common strategies for addressing this challenge include classical reduction, paraphrase nihilism, and a distinction between ontological and existence commitments. (...) I argue, however, that these strategies are either implausible or fail to provide truth conditions consistent with minimal or parsimonious ontologies. I then discuss, defend, and suggest ways to strengthen an alternative framework for reduction, on which the sentences of reducing theories ground those of reducible theories. Relative to the other options for defending minimal ontology, a strengthened grounding-reductive approach can provide more defensible truth conditions for minimal ontology, better preserve scientific realist intuitions, set a more attainable standard for reduction, and allow our existence commitments to be more responsive to empirical evidence and scientific expertise. As a result, I argue that minimal ontology becomes more defensible—though not certain—on a grounding-reductive framework. But even if minimal ontology were wrong, the grounding-reductive framework makes other parsimonious but non-minimal ontologies more plausible. (shrink)

Commas can splice our sentences, and shift their connotations. Our mixed modes for hyphens compound our words as well as confuse them—even dash them to pieces. In written language, how can we know we are asking a question unless we use the proper punctuation? Punctuation is vital to how we communicate. Whether in speech or prose, we punctuate our thoughts. In this sense, we may classify punctuation among what John Wesley calls “God’s many providences” in the sermon “The One Thing (...) Needful” (1733): “designed either to wean us from what is not, or to unite us to what is worthy of our affection. Are they pleasing? Then they are designed to lift up our hearts to the Parent of all good. Are they painful?” Wesley again answers rhetorically, “Then they are means of rooting out those passions that forcibly withhold us from [God]” (§II.4). Indeed, punctuation espouses varied ‘pleasing’ and/or ‘pleasant’ responses. Rather than merely forcing the point that our punctuation carries meaning—either in addition to or against that which we otherwise intend—I want to suggest that the poetry, prose, and other linguistic media/mediums within our liturgies innately possess meaning(s) which we have the opportunity to punctuate (i.e., ‘consecrate’ or ‘sanctify’) as faith communities or else surrender to the individualisms of our so-called (post)modern preferential interpretations: our proverbial run-on sentence protracting philosophical discussions amid this (in)definite period of change we acutely sense but struggle to describe. We are not God’s grammar police. For our part, however, faith communities and their leaders can and must more dutifully approach the task of shaping the nature, meaning, and purpose of our liturgies as truly corporate worship, not as mere collections of thoughts, words, and actions expressed by individuals more or less simultaneously. (shrink)

In this paper, the relationship between the e-value of a complex hypothesis, H, and those of its constituent elementary hypotheses, Hj, j = 1… k, is analyzed, in the independent setup. The e-value of a hypothesis H, ev, is a Bayesian epistemic, credibility or truth value defined under the Full Bayesian Significance Testing mathematical apparatus. The questions addressed concern the important issue of how the truth value of H, and the truth function of the corresponding FBST structure M, relate to (...) the truth values of its elementary constituents, Hj, and to the truth functions of their corresponding FBST structures Mj, respectively. (shrink)

We determine the modal logic of fixed-point models of truth and their axiomatizations by Solomon Feferman via Solovay-style completeness results.

At the heart of Levinas’s work is the apparently simple idea that through the encounter with another person, we are forced to give up our self-concern and take heed of the ethical relation between us. But, while simple on the surface, when one tries to characterize it in more detail, it can be hard to fit together the various ways in which Levinas talks about this relation and to identify precisely what he took its normative structure to be, as this (...) is described in a number of apparently different ways, that are not obviously compatible or equivalent, such as “command,” “call,” “summons,” “demand,” and so on. In this chapter, we intend to focus on these different characterizations and show what makes them different while also endeavoring to find a way in which Levinas’s conception may nonetheless be fitted together into a coherent account of the face-to-face encounter that is at the heart of his ethics. We will begin by considering the different normative terms used to characterize the encounter in that text and show how they are conceptually distinct from one another; we will then offer a way to read Levinas’s position to nonetheless show how these different normative relations can be fitted together into a stable position. (shrink)

This article considers distinct ways of understanding the world, referred to in psychology as Functions of Consciousness or as Cognitive Modes, having as the scope of interest epistemology and natural sciences. Inspired by C.G. Jung's Simile of the Spectrum, we consider three basic cognitive modes associated to: (R) embodied instinct, experience, and action; (G) reality perception and learning; and (B) concept abstraction, rational thinking, and language. RGB stand for the primary colors: red, green, and blue. Accordingly, a conceptual map between (...) cognitive modes and primary and secondary colors is built based on the physics and physiology of color perception and epistemological characteristics of the aforementioned cognitive modes, leading to logical relations structured as an Hexagon of Opposition. Finally, this model of cognitive modes is applied to the analysis and interpretation of some important episodes in the historical development of physics and technology. (shrink)

This paper has three main objectives: (a) Discuss the formal analogy between some important symmetry-invariance arguments used in physics, probability and statistics. Specifically, we will focus on Noether’s theorem in physics, the maximum entropy principle in probability theory, and de Finetti-type theorems in Bayesian statistics; (b) Discuss the epistemological and ontological implications of these theorems, as they are interpreted in physics and statistics. Specifically, we will focus on the positivist (in physics) or subjective (in statistics) interpretations vs. objective interpretations that (...) are suggested by symmetry and invariance arguments; (c) Introduce the cognitive constructivism epistemological framework as a solution that overcomes the realism-subjectivism dilemma and its pitfalls. The work of the physicist and philosopher Max Born will be particularly important in our discussion. (shrink)

Comments presented at the 35th International Seminar on the -- New Institutional Economics -- Empirical Methods for the Law; Syracuse, 2018.

Although logical consistency is desirable in scientific research, standard statistical hypothesis tests are typically logically inconsistent. To address this issue, previous work introduced agnostic hypothesis tests and proved that they can be logically consistent while retaining statistical optimality properties. This article characterizes the credal modalities in agnostic hypothesis tests and uses the hexagon of oppositions to explain the logical relations between these modalities. Geometric solids that are composed of hexagons of oppositions illustrate the conditions for these modalities to be logically (...) consistent. Prisms composed of hexagons of oppositions show how the credal modalities obtained from two agnostic tests vary according to their threshold values. Nested hexagons of oppositions summarize logical relations between the credal modalities in these tests and prove new relations. (shrink)

The main goal of this article is to use the epistemological framework of a specific version of Cognitive Constructivism to address Piaget’s central problem of knowledge construction, namely, the re-equilibration of cognitive structures. The distinctive objective character of this constructivist framework is supported by formal inference methods of Bayesian statistics, and is based on Heinz von Foerster’s fundamental metaphor of objects as tokens for eigen-solutions. This epistemological perspective is illustrated using some episodes in the history of chemistry concerning the definition (...) or identification of chemical elements. Some of von Foerster’s epistemological imperatives provide general guidelines of development and argumentation. (shrink)

This article discusses some continuous limit cases of Susan Haack’s crossword puzzle metaphor for the coherent development and foundation of science. The main objective of this discussion is to build a bridge between Haack’s foundherentism and the epistemological framework of objective cognitive constructivism, including its key metaphor of objects as tokens for eigen-solutions. The historical development of chemical affinity tables is used to illustrate our arguments.

In this paper epistemological, ontological and sociological questions concerning the statistical significance of sharp hypotheses in scientific research are investigated within the framework provided by Cognitive Constructivism and the FBST (Full Bayesian Significance Test). The constructivist framework is contrasted with the traditional epistemological settings for orthodox Bayesian and frequentist statistics provided by Decision Theory and Falsificationism.

This article explores the metaphor of Science as provider of sharp images of our environment, using the epistemological framework of Objective Cognitive Constructivism. These sharp images are conveyed by precise scientific hypotheses that, in turn, are encoded by mathematical equations. Furthermore, this article describes how such knowledge is pro-duced by a cyclic and recursive development, perfection and reinforcement process, leading to the emergence of eigen-solutions characterized by the four essential properties of precision, stability, separability and composability. Finally, this article discusses (...) the role played by ontology and metaphysics in the scientific production process, and in which sense the resulting knowledge can be considered objective. (shrink)

In this article, we discuss some issues concerning magical thinking—forms of thought and association mechanisms characteristic of early stages of mental development. We also examine good reasons for having an ambivalent attitude concerning the later permanence in life of these archaic forms of association, and the coexistence of such intuitive but informal thinking with logical and rigorous reasoning. At the one hand, magical thinking seems to serve the creative mind, working as a natural vehicle for new ideas and innovative insights, (...) and giving form to heuristic arguments. At the other hand, it is inherently difficult to control, lacking effective mechanisms needed for rigorous manipulation. Our discussion is illustrated with many examples from the Hebrew Bible, and some final examples from modern science. (shrink)

This article explores some open questions related to the problem of verification of theories in the context of empirical sciences by contrasting three epistemological frameworks. Each of these epistemological frameworks is based on a corresponding central metaphor, namely: (a) Neo-empiricism and the gambling metaphor; (b) Popperian falsificationism and the scientific tribunal metaphor; (c) Cognitive constructivism and the object as eigen-solution metaphor. Each of one of these epistemological frameworks has also historically co-evolved with a certain statistical theory and method for testing (...) scientific hypotheses, respectively: (a) Decision theoretic Bayesian statistics and Bayes factors; (b) Frequentist statistics and p-values; (c) Constructive Bayesian statistics and e-values. This article examines with special care the Zero Probability Paradox (ZPP), related to the verification of sharp or precise hypotheses. Finally, this article makes some remarks on Lakatos’ view of mathematics as a quasi-empirical science. (shrink)

Simultaneous hypothesis tests can fail to provide results that meet logical requirements. For example, if A and B are two statements such that A implies B, there exist tests that, based on the same data, reject B but not A. Such outcomes are generally inconvenient to statisticians (who want to communicate the results to practitioners in a simple fashion) and non-statisticians (confused by conflicting pieces of information). Based on this inconvenience, one might want to use tests that satisfy logical requirements. (...) However, Izbicki and Esteves shows that the only tests that are in accordance with three logical requirements (monotonicity, invertibility and consonance) are trivial tests based on point estimation, which generally lack statistical optimality. As a possible solution to this dilemma, this paper adapts the above logical requirements to agnostic tests, in which one can accept, reject or remain agnostic with respect to a given hypothesis. Each of the logical requirements is characterized in terms of a Bayesian decision theoretic perspective. Contrary to the results obtained for regular hypothesis tests, there exist agnostic tests that satisfy all logical requirements and also perform well statistically. In particular, agnostic tests that fulfill all logical requirements are characterized as region estimator-based tests. Examples of such tests are provided. (shrink)

The full Bayesian signi/cance test (FBST) for precise hypotheses is presented, with some illustrative applications. In the FBST we compute the evidence against the precise hypothesis. We discuss some of the theoretical properties of the FBST, and provide an invariant formulation for coordinate transformations, provided a reference density has been established. This evidence is the probability of the highest relative surprise set, “tangential” to the sub-manifold (of the parameter space) that defines the null hypothesis.

Heinz Von Forester characterizes the objects “known” by an autopoietic system as eigen-solutions, that is, as discrete, separable, stable and composable states of the interaction of the system with its environment. Previous articles have presented the FBST, Full Bayesian Significance Test, as a mathematical formalism specifically designed to access the support for sharp statistical hypotheses, and have shown that these hypotheses correspond, from a constructivist perspective, to systemic eigen-solutions in the practice of science. In this article several issues related to (...) the role played by language in the emergence of eigen-solutions are analyzed. The last sections also explore possible connections with the semiotic theory of Charles Sanders Peirce. (shrink)

This article considers distinct ways of understanding the world, referred to in psychology as functions of consciousness or as cognitive modes, having as the scope of interest epistemology and natural sciences. Inspired by C.G. Jung’s simile of the spectrum, we consider three basic cognitive modes associated to: (R) embodied instinct, experience, and action; (G) reality perception and learning; and (B) concept abstraction, rational thinking, and language. RGB stand for the primary colors: red, green, and blue. Accordingly, a conceptual map between (...) cognitive modes and primary and secondary colors is built based on the physics and physiology of color perception and epistemological characteristics of the aforementioned cognitive modes, leading to logical relations structured as an hexagon of opposition. Finally, this model of cognitive modes is applied to the analysis and interpretation of some important episodes in the historical development of physics and technology. (shrink)

The aim of this paper is to begin a conversation about how we read and write about Nietzsche and, related to this, other figures in the history of philosophy. The principle of charity can appear to be a way to bridge two dif-ferent interpretative goals: getting the meaning of the text right and offering the best philosophy. I argue that the principle of charity is multiply ambiguous along three different dimensions, which I call “unit,” “mode,” and “strength”: consequently, it is (...) not a single, neutral or independent principle to which we can helpfully appeal and it cannot, in itself, perform this bridging function. Nietzsche, I suggest, is particularly ill suited to some forms of charitable reading. I compare charity to what I call “misreporting” a philosopher’s words, in order to highlight some problematic structural similarities. Finally, I assess what charity might be doing instead, if it is not intended to bridge meaning and best philosophy. (shrink)

In this article, we discuss some issues concerning magical thinking—forms of thought and association mechanisms characteristic of early stages of mental development. We also examine good reasons for having an ambivalent attitude concerning the later permanence in life of these archaic forms of association, and the coexistence of such intuitive but informal thinking with logical and rigorous reasoning. At the one hand, magical thinking seems to serve the creative mind, working as a natural vehicle for new ideas and innovative insights, (...) and giving form to heuristic arguments. At the other hand, it is inherently difficult to control, lacking effective mechanisms needed for rigorous manipulation. Our discussion is illustrated with many examples from the Hebrew Bible, and some final examples from modern science. (shrink)

Decoupling is a general principle that allows us to separate simple components in a complex system. In statistics, decoupling is often expressed as independence, no association, or zero covariance relations. These relations are sharp statistical hypotheses, that can be tested using the FBST - Full Bayesian Significance Test. Decoupling relations can also be introduced by some techniques of Design of Statistical Experiments, DSEs, like randomization. This article discusses the concepts of decoupling, randomization and sparsely connected statistical models in the epistemological (...) framework of cognitive constructivism. (shrink)

ABSTRACT ABSTRACT: Nietzsche, we are often told, had an account of 'self' or 'mind' or a 'philosophical psychology', in which what he calls our 'drives' play a highly significant role. This underpins not merely his understanding of mind, in particular, of consciousness and action. but also his positive ethics, be they understood as authenticity, freedom, knowledge, autonomy, self-creation, or power. But Nietzsche did not have anything like a coherent account of 'the drives' according to which the self, the relationship between (...) thought and action, or consciousness could be explained; consequently, he did not have a stable account of drives on which his positive ethics could rest. By this, I do not mean that his account is incomplete or that it is philosophically indefensible: both would leave open, misleadingly, the possibility of a rational reconstruction of Nietzsche’s views; both would already assume more unity and coherence than we find in his texts. Specifically, as I show through detailed analysis, Nietzsche provides varied and inconsistent accounts of what a 'drive' is, how much we can know about drives, and the relationship between drives and conscious deliberations about action. I conclude by questioning the hunt for a Nietzschean theory: is this the best way to be reading him? (shrink)

This paper introduces pragmatic hypotheses and relates this concept to the spiral of scientific evolution. Previous works determined a characterization of logically consistent statistical hypothesis tests and showed that the modal operators obtained from this test can be represented in the hexagon of oppositions. However, despite the importance of precise hypothesis in science, they cannot be accepted by logically consistent tests. Here, we show that this dilemma can be overcome by the use of pragmatic versions of precise hypotheses. These pragmatic (...) versions allow a level of imprecision in the hypothesis that is small relative to other experimental conditions. The introduction of pragmatic hypotheses allows the evolution of scientific theories based on statistical hypothesis testing to be interpreted using the narratological structure of hexagonal spirals, as defined by Pierre Gallais. (shrink)

In this paper, the notion of degree of inconsistency is introduced as a tool to evaluate the sensitivity of the Full Bayesian Significance Test (FBST) value of evidence with respect to changes in the prior or reference density. For that, both the definition of the FBST, a possibilistic approach to hypothesis testing based on Bayesian probability procedures, and the use of bilattice structures, as introduced by Ginsberg and Fitting, in paraconsistent logics, are reviewed. The computational and theoretical advantages of using (...) the proposed degree of inconsistency based sensitivity evaluation as an alternative to traditional statistical power analysis is also discussed. (shrink)

A new Evidence Test is applied to the problem of testing whether two Poisson random variables are dependent. The dependence structure is that of Holgate’s bivariate distribution. These bivariate distribution depends on three parameters, 0 < theta_1, theta_2 < infty, and 0 < theta_3 < min(theta_1, theta_2). The Evidence Test was originally developed as a Bayesian test, but in the present paper it is compared to the best known test of the hypothesis of independence in a frequentist framework. It is (...) shown that the Evidence Test is considerably more powerful when the correlation is not too close to zero, even for small samples. (shrink)

This article presents a simple derivation of optimization models for reaction networks leading to a generalized form of the mass-action law, and compares the formal structure of Minimum Information Divergence, Quadratic Programming and Kirchhoff type network models. These optimization models are used in related articles to develop and illustrate the operation of ontology alignment algorithms and to discuss closely connected issues concerning the epistemological and statistical significance of sharp or precise hypotheses in empirical science.

Sortition, i.e. random appointment for public duty, has been employed by societies throughout the years as a firewall designated to prevent illegitimate interference between parties in a legal case and agents of the legal system. In judicial systems of modern western countries, random procedures are mainly employed to select the jury, the court and/or the judge in charge of judging a legal case. Therefore, these random procedures play an important role in the course of a case, and should comply with (...) some principles, such as transparency and complete auditability. Nevertheless, these principles are neglected by random procedures in some judicial systems, which are performed in secrecy and are not auditable by the involved parties. The assignment of cases in the Brazilian Supreme Court is an example of such a procedure, for it is performed using procedures unknown to the parties involved in the judicial cases. This article presents a review of how sortition has been historically employed by societies and discusses how Mathematical Statistics may be applied to random procedures of the judicial system, as it has been applied for almost a century on clinical trials, for example. A statistical model for assessing randomness in case assignment is proposed and applied to the Brazilian Supreme Court. As final remarks, guidelines for the development of good randomization procedures are outlined. (shrink)

We review the definition of the Full Bayesian Significance Test (FBST), and summarize its main statistical and epistemological characteristics. We review also the Abstract Belief Calculus (ABC) of Darwiche and Ginsberg, and use it to analyze the FBST’s value of evidence. This analysis helps us understand the FBST properties and interpretation. The definition of value of evidence against a sharp hypothesis, in the FBST setup, was motivated by applications of Bayesian statistical reasoning to legal matters where the sharp hypotheses were (...) defendants statements, to be judged according to the Onus Probandi juridical principle. (shrink)

A critical comment on methods in Nietzsche scholarship, and some suggestions about how to improve things.

Optimization and Stochastic Processes Applied to Economy and Finance. Textbook for the BM&F-USP (Brazilian Mercantile and Futures Exchange - University of Sao Paulo) Master's degree program in Finance.

Nietzsche writes a great deal about freedom throughout his work, but never more explicitly than in Twiling of the Idols, a book he described as 'my philosophy in a nutshell'. This paper offers an analysis of Nietzsche's conception freedom and the role it plays within Twilight.

ABSTRACTAmor fati—the love of fate—is one of many Nietzschean terms which seem to point towards a positive ethics, but which appear infrequently and are seldom defined. On a traditional understanding, Nietzsche is asking us to love whatever it is that happens to have happened to us—including all sorts of horrible things. My paper analyses amor fati by looking closely at Nietzsche's most sustained discussion of the concept—in book four of The Gay Science—and at closely related passages in that book. I (...) argue that by ignoring the context in which Nietzsche writes about amor fati in The Gay Science, we are liable to ignore several exegetical and philosophical problems with the traditional understanding of the term. I'll argue for a different interpretation which locates Nietzsche's amor fati within the philosophical project of The Gay Science and which copes better with the objections that plague the traditional view. (shrink)

This Element explains Nietzsche's ethics in his late works, from 1886 onwards. The first three sections explain the basics of his ethical theory – its context and presuppositions, its scope and its central tension. The next three sections explore Nietzsche's goals in writing a history of Christian morality, the content of that history, and whether he achieves his goals. The last two sections take a broader look, respectively, at Nietzsche's wider philosophy in light of his ethics and at the prospects (...) for a Nietzschean ethics after Nietzsche. (shrink)

Randomization is an integral part of well-designed statistical trials, and is also a required procedure in legal systems. Implementation of honest, unbiased, understandable, secure, traceable, auditable and collusion resistant randomization procedures is a mater of great legal, social and political importance. Given the juridical and social importance of randomization, it is important to develop procedures in full compliance with the following desiderata: (a) Statistical soundness and computational efficiency; (b) Procedural, cryptographical and computational security; (c) Complete auditability and traceability; (d) Any (...) attempt by participating parties or coalitions to spuriously influence the procedure should be either unsuccessful or be detected; (e) Open-source programming; (f) Multiple hardware platform and operating system implementation; (g) User friendliness and transparency; (h) Flexibility and adaptability for the needs and requirements of multiple application areas (like, for example, clinical trials, selection of jury or judges in legal proceedings, and draft lotteries). This paper presents a simple and easy to implement randomization protocol that assures, in a formal mathematical setting, full compliance to the aforementioned desiderata for randomization procedures. (shrink)