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

Increasingly complex and autonomous systems require machine ethics to maximize the benefits and minimize the risks to society arising from the new technology. It is challenging to decide which type of ethical theory to employ and how to implement it effectively. This survey provides a threefold contribution. First, it introduces a trimorphic taxonomy to analyze machine ethics implementations with respect to their object (ethical theories), as well as their nontechnical and technical aspects. Second, an exhaustive selection and description of relevant (...) works is presented. Third, applying the new taxonomy to the selected works, dominant research patterns, and lessons for the field are identified, and future directions for research are suggested. (shrink)

In this chapter, I offer an overview of current scholarly debates on Plato's Lysis. I also argue for my own interpretation of the dialogue. In the Lysis, Socrates argues that all love is motivated by the desire for one’s own good. This conclusion has struck many interpreters as unattractive, so much so that some attempt to reinterpret the dialogue, such that it either does not offer an account of interpersonal love, or that it offers an account on which love is, (...) in fact, an other-regarding state. Others, notably Vlastos, criticize Socrates’ theory as implausibly and repellently egoistic. I maintain, against the first group, that Socrates is indeed offering an egoistic theory of love. I argue, against the second, that, while Socrates’ theory may be repellent, it possesses considerable explanatory power and avoids certain weaknesses which infect contemporary approaches to love. (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)

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 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 presents affirmation as the central normative category of Nietzsche’s positive ethics. The paper argues in particular for two interpretive claims: first, that from Beyond Good and Evil onwards, we find a new variety of Nietzschean affirmation (‘natural affirmation’), which is crucial to the strategy of his later works; and second, for reasons internal to his own philosophical aims, Nietzsche’s new variety of affirmation is seriously flawed. The author argues for the second claim on the basis that Nietzsche himself (...) requires that affirmation not perform exactly the role he requires that it perform. The author contends that we are thus faced with a major challenge to Nietzsche’s late philosophical project—that (late) Nietzschean affirmation fails by Nietzsche’s own standards. (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)

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)

While artificial intelligence (AI) is increasingly applied for decision-making processes, ethical decisions pose challenges for AI applications. Given that humans cannot always agree on the right thing to do, how would ethical decision-making by AI systems be perceived and how would responsibility be ascribed in human-AI collaboration? In this study, we investigate how the expert type (human vs. AI) and level of expert autonomy (adviser vs. decider) influence trust, perceived responsibility, and reliance. We find that participants consider humans to be (...) more morally trustworthy but less capable than their AI equivalent. This shows in participants’ reliance on AI: AI recommendations and decisions are accepted more often than the human expert’s. However, AI team experts are perceived to be less responsible than humans, while programmers and sellers of AI systems are deemed partially responsible instead. (shrink)

I argue that in the Phaedo, Plato maintains that the soul is located in space and is capable of locomotion and of interacting with the body through contact. Numerous interpreters have dismissed these claims as merely metaphorical, since they assume that as an incorporeal substance, the soul cannot possess spatial attributes. But careful examination of how Plato conceives of the body throughout his corpus reveals that he does not distinguish it from the soul in terms of spatiality. Furthermore, assigning spatial (...) attributes to the soul plays an important role in Plato’s account of the relation of body and soul. (shrink)

Introduction to a volume on Hegel, asking why his thought continues to be relevant today.

Wittgenstein’s writings and lectures during the first half of the 1930s play a crucial role in any interpretation of the relationship between the Tractatus and the Philosophical Investigations . G. E. Moore’s notes of Wittgenstein’s Cambridge lectures, 1930-1933, offer us a remarkably careful and conscientious record of what Wittgenstein said at the time, and are much more detailed and reliable than previously published notes from those lectures. The co-authors are currently editing these notes of Wittgenstein’s lectures for a book to (...) be published by Cambridge University Press. We describe the materials that make up Moore’s notes, explain their unique value, review the principal editorial challenges that these materials present, and provide a brief outline of our editorial project. (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)

The paper proposes a strategy for understanding metaphysical grounding in deflationary terms and, more generally, proposes a form of methodological deflationism with respect to the notions of ground. The idea is to define a deflationary is grounded in-predicate by appeal to the two-place non-causal connective ‘because’ and a deflationary truth predicate. To this end, we discuss the explanatory role of the truth-predicate in non-causal explanations and develop a theory of truth for the language of the ‘because’-connective. We argue that at (...) least from a logical perspective our deflationary notion of ground is up to the task. (shrink)

We show how the Full Bayesian Significance Test (FBST) can be used as a model selection criterion. The FBST was presented by Pereira and Stern as a coherent Bayesian significance test. Key Words: Bayesian test; Evidence; Global optimization; Information; Model selection; Numerical integration; Posterior density; Precise hypothesis; Regularization. AMS: 62A15; 62F15; 62H15.

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.

This paper analyzes the apraxia argument in Cicero’s Academica. It proposes that the argument assumes two modes: the evidential mode maintains that skepticism is false, while the pragmatic claims that it is disadvantageous. The paper then develops a tension between the two modes, and concludes by exploring some differences between ancient and contemporary skepticism.

This paper defends an intellectualist interpretation of Diotima’s speech in Plato’s Symposium. I argue that Diotima’s purpose, in discussing the lower lovers, is to critique their erōs as aimed at a goal it can never secure, immortality, and as focused on an inferior object, themselves. By contrast, in loving the form of beauty, the philosopher gains a mortal sort of completion; in turning outside of himself, he also ceases to be preoccupied by his own incompleteness.

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)

In this chapter, I offer an overview of current scholarly debates on Plato's Lysis. I also argue for my own interpretation of the dialogue. In the Lysis, Socrates argues that all love is motivated by the desire for one’s own good. This conclusion has struck many interpreters as unattractive, so much so that some attempt to reinterpret the dialogue, such that it either does not offer an account of interpersonal love, or that it offers an account on which love is, (...) in fact, an other-regarding state. Others, notably Vlastos, criticize Socrates’ theory as implausibly and repellently egoistic. I maintain, against the first group, that Socrates is indeed offering an egoistic theory of love. I argue, against the second, that, while Socrates’ theory may be repellent, it possesses considerable explanatory power and avoids certain weaknesses which infect contemporary approaches to love. (shrink)

Sometimes neuroscientists discover distinct realizations for a single psychological property. In considering such cases, some philosophers have maintained that scientists will abandon the single multiply realized psychological property in favor of one or more uniquely realized psychological properties. In this paper, we build on the Dimensioned theory of realization and a companion theory of multiple realization to argue that this is not the case. Whether scientists postulate unique realizations or multiple realizations is not determined by the neuroscience alone, but by (...) the psychological theory under examination. Thus, one might say that, in the splitting or non-splitting of properties, psychology enjoys a kind of autonomy from neuroscience. (shrink)

The central question in this paper is the following: how does Nietzsche use history in his critique of morality? The answer, in sum: interestingly, not how you (i.e. most Nietzsche scholars) think, and not well enough. My focus is on The Antichrist, not his Genealogy of Morality, which is more commonly used to answer this question. And I look, in particular, at Nietzsche’s use of good, contemporary scholarship on the origins of Judaism. The chapter also examines the so-called 'genetic fallacy', (...) arguing that Nietzsche has a provisional response to it, but that this response leads to further complications. (shrink)

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)

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)

Much forensic inference based upon DNA evidence is made assuming Hardy-Weinberg Equilibrium (HWE) for the genetic loci being used. Several statistical tests to detect and measure deviation from HWE have been devised, and their limitations become more obvious when testing for deviation within multiallelic DNA loci. The most popular methods-Chi-square and Likelihood-ratio tests-are based on asymptotic results and cannot guarantee a good performance in the presence of low frequency genotypes. Since the parameter space dimension increases at a quadratic rate on (...) the number of alleles, some authors suggest applying sequential methods, where the multiallelic case is reformulated as a sequence of “biallelic” tests. However, in this approach it is not obvious how to assess the general evidence of the original hypothesis; nor is it clear how to establish the significance level for its acceptance/rejection. In this work, we introduce a straightforward method for the multiallelic HWE test, which overcomes the aforementioned issues of sequential methods. The core theory for the proposed method is given by the Full Bayesian Significance Test (FBST), an intuitive Bayesian approach which does not assign positive probabilities to zero measure sets when testing sharp hypotheses. We compare FBST performance to Chi-square, Likelihood-ratio and Markov chain tests, in three numerical experiments. The results suggest that FBST is a robust and high performance method for the HWE test, even in the presence of several alleles and small sample sizes. (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.

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.

Conditional independence tests have received special attention lately in machine learning and computational intelligence related literature as an important indicator of the relationship among the variables used by their models. In the field of probabilistic graphical models, which includes Bayesian network models, conditional independence tests are especially important for the task of learning the probabilistic graphical model structure from data. In this paper, we propose the full Bayesian significance test for tests of conditional independence for discrete datasets. The full Bayesian (...) significance test is a powerful Bayesian test for precise hypothesis, as an alternative to the frequentist’s significance tests (characterized by the calculation of the p-value). (shrink)

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

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)

The concept of non-arbitrage plays an essential role in finance theory. Under certain regularity conditions, the Fundamental Theorem of Asset Pricing states that, in non-arbitrage markets, prices of financial instruments are martingale processes. In this theoretical framework, the analysis of the statistical distributions of financial assets can assist in understanding how participants behave in the markets, and may or may not engender arbitrage conditions. Assuming an underlying Variance Gamma statistical model, this study aims to test, using the FBST - Full (...) Bayesian Significance Test, if there is a relevant price difference between essentially the same financial asset traded at two distinct locations. Specifically, we investigate and compare the behavior of call options on the BOVESPA Index traded at (a) the Equities Segment and (b) the Derivatives Segment of BM&FBovespa. Our results seem to point out significant statistical differences. To what extent this evidence is actually the expression of perennial arbitrage opportunities is still an open question. (shrink)

The unit root problem plays a central role in empirical applications in the time series econometric literature. However, significance tests developed under the frequentist tradition present various conceptual problems that jeopardize the power of these tests, especially for small samples. Bayesian alternatives, although having interesting interpretations and being precisely defined, experience problems due to the fact that that the hypothesis of interest in this case is sharp or precise. The Bayesian significance test used in this article, for the unit root (...) hypothesis, is based solely on the posterior density function, without the need of imposing positive probabilities to sets of zero Lebesgue measure. Furthermore, it is conducted under strict observance of the likelihood principle. It was designed mainly for testing sharp null hypotheses and it is called FBST for Full Bayesian Significance Test. (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)

One of the ways in which Plato has captured the popular imagination is with the claim that the philosopher can feel erôs, passionate love, for the objects of knowledge. Why should Plato make this claim? In this chapter, I explore Plato’s treatment of philosophical erôs along three dimensions. First, I consider the source of philosophical erôs. I argue that it is grounded in our mortality and imperfection, which give rise to a desire for immortality and the immortal. Second, I turn (...) to the object of philosophical erôs. I suggest that it is an arresting response to beauty, through which we come to value the ideal properties of the forms. Finally, I address the nature of erôs. I claim that it is a focusing desire, that overrides other concerns and causes us to overwhelmingly focus on its object. I conclude the chapter by considering the problem Vlastos famously raises for Plato’s account of erôs: can it do justice to disinterested, interpersonal love? In agreement with Vlastos, I claim that one who comes to grasp the forms will cease to feel interpersonal love; however, I also suggest that erôs can give rise to philia, beneficent concern with the wellbeing of others. (shrink)

Gene clustering is a useful exploratory technique to group together genes with similar expression levels under distinct cell cycle phases or distinct conditions. It helps the biologist to identify potentially meaningful relationships between genes. In this study, we propose a clustering method based on multivariate normal mixture models, where the number of clusters is predicted via sequential hypothesis tests: at each step, the method considers a mixture model of m components (m = 2 in the first step) and tests if (...) in fact it should be m - 1. If the hypothesis is rejected, m is increased and a new test is carried out. The method continues (increasing m) until the hypothesis is accepted. The theoretical core of the method is the full Bayesian significance test, an intuitive Bayesian approach, which needs no model complexity penalization nor positive probabilities for sharp hypotheses. Numerical experiments were based on a cDNA microarray dataset consisting of expression levels of 205 genes belonging to four functional categories, for 10 distinct strains of Saccharomyces cerevisiae. To analyze the method’s sensitivity to data dimension, we performed principal components analysis on the original dataset and predicted the number of classes using 2 to 10 principal components. Compared to Mclust (model-based clustering), our method shows more consistent results. (shrink)

In dialogues ranging from the Symposium to the Timaeus, Plato appears to propose that the philosopher’s grasp of the forms may confer immortality upon him. Whatever can Plato mean in making such a claim? What does he take immortality to consist in, such that it could constitute a reward for philosophical enlightenment? And how is this proposal compatible with Plato’s insistence throughout his corpus that all soul, not just philosophical soul, is immortal? In this chapter, I pursue these questions by (...) applying the distinction between general and earned immortality to the Phaedo and the Symposium. I argue that, while Plato attributes general immortality to all soul in the Phaedo, in the Affinity Argument, he proposes that the philosopher’s soul can achieve earned immortality through contemplating forms. It is this form of immortality that Plato claims is unavailable to humankind in the flux passage of the Symposium. At the same time, in the ascent passage, he holds out the possibility – albeit with significant reservations – that the philosopher’s soul may transcend its humanity and achieve earned immortality through its communion with the form. (shrink)

We study active set methods for optimization problems in Block Angular Form (BAF). We begin by reviewing some standard basis factorizations, including Saunders' orthogonal factorization and updates for the simplex method that do not impose any restriction on the pivot sequence and maintain the basis factorization structured in BAF throughout the algorithm. We then suggest orthogonal factorization and updating procedures that allow coarse grain parallelization, pivot updates local to the affected blocks, and independent block reinversion. A simple parallel environment appropriate (...) to the description and complexity analysis of test procedures is defined in Section 5. The factorization and updating procedures are presented in Sections 6 and 7. Our update procedure outperforms conventional Updating procedures even in a purely sequential environment. (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)

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, I offer a new interpretation of Aristophanes’ speech in Plato’s Symposium. Though Plato deliberately draws attention to the significance of Aristophanes’ speech in relation to Diotima’s (205d-206a, 211d), it has received relatively little philosophical attention. Critics who discuss it typically treat it as a comic fable, of little philosophical merit (e.g. Guthrie 1975, Rowe 1998), or uncover in it an appealing and even romantic treatment of love that emphasizes the significance of human individuals as love-objects to be (...) valued for their own sakes (e.g. Dover 1966, Nussbaum 1986). Against the first set of interpreters, I maintain that Aristophanes’ speech is of the utmost philosophical significance to the dialogue; in it, he sets forth a view of eros as a state of lack and a corresponding desire for completion, which is the starting-point for Diotima’s subsequent analysis. Against the second, I argue that Aristophanes’ speech contains a profoundly pessimistic account of eros. Far from being an appreciative response to the individuality of the beloved, eros, for Aristophanes, is an irrational urge, incapable of satisfaction. It is this irrationality that precludes Aristophanes’ lovers from achieving the partial satisfaction of erotic desire that is open to their Socratic counterparts through their relationship to the forms. (shrink)

We formulate the problem of permuting a matrix to block angular form as the combinatorial minimization of an objective function. We motivate the use of simulated annealing (SA) as an optimization tool. We then introduce a heuristic temperature dependent penalty function in the simulated annealing cost function, to be used instead of the real objective function being minimized. Finally we show that this temperature dependent penalty function version of simulated annealing consistently outperforms the standard simulated annealing approach, producing, with smaller (...) running times, better solutions. We believe that the use of a temperature dependent penalty function may be useful in developing SA algorithms for other combinatorial problems. -/- . (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.

In the Protagoras, Socrates argues that what appears to be akrasia is, in fact, the result of a hedonic illusion: proximate pleasures appear greater than distant ones. On the face of it, his account is puzzling: why should proximate pleasures appear greater than distant ones? Certain interpreters argue that Socrates must be assuming the existence of non-rational desires that cause proximate pleasures to appear inflated. In this paper, I argue that positing non-rational desires fails to explain the hedonic error. However, (...) careful consideration of Socrates’ treatment of appearances reveals that he is not without resources to explain the illusion. I argue that in the Protagoras, appearances are imagistic mental representations that appear true but tend to be false. I suggest that proximate pleasures produce inflated hedonic predictions because we represent them more vividly than distant ones, yielding greater anticipatory pleasure which causes us to overestimate their magnitude. (shrink)

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