The model of self-referential truth presented in this paper, named Revision-theoretic supervaluation, aims to incorporate the philosophical insights of Gupta and Belnap’s Revision Theory of Truth into the formal framework of Kripkean fixed-point semantics. In Kripke-style theories the final set of grounded true sentences can be reached from below along a strictly increasing sequence of sets of grounded true sentences: in this sense, each stage of the construction can be viewed as an improvement on the previous ones. (...) I want to do something similar replacing the Kripkean sets of grounded true sentences with revision-theoretic sets of stable true sentences. This can be done by defining a monotone operator through a variant of van Fraassen’s supervaluation scheme which is simply based on ω-length iterations of the Tarskian operator. Clearly, all virtues of Kripke-style theories are preserved, and we can also prove that the resulting set of “grounded” true sentences shares some nice features with the sets of stable true sentences which are provided by the usual ways of formalising revision. What is expected is that a clearer philosophical content could be associated to this way of doing revision; hopefully, a content directly linked with the insights underlying finite revision processes. (shrink)

After a number of decades of research into the dynamics of rational belief, the belief revision theory community remains split on the appropriate handling of sequences of changes in view, the issue of so-called iterated revision. It has long been suggested that the matter is at least partly settled by facts pertaining to the results of various single revisions of one’s initial state of belief. Recent work has pushed this thesis further, offering various strong principles that ultimately result (...) in a wholesale reduction of iterated to one-shot revision. The present paper offers grounds to hold that these principles should be significantly weakened and that the reductionist thesis should ultimately be rejected. Furthermore, the considerations provided suggest a close connection between the logic of iterated belief change and the logic of evidential relevance. (shrink)

I have read many recent discussions of the limits of computation and the universe as computer, hoping to find some comments on the amazing work of polymath physicist and decision theorist David Wolpert but have not found a single citation and so I present this very brief summary. Wolpert proved some stunning impossibility or incompleteness theorems (1992 to 2008-see arxiv dot org) on the limits to inference (computation) that are so general they are independent of the device doing the computation, (...) and even independent of the laws of physics, so they apply across computers, physics, and human behavior. They make use of Cantor's diagonalization, the liar paradox and worldlines to provide what may be the ultimate theorem in Turing Machine Theory, and seemingly provide insights into impossibility, incompleteness, the limits of computation, and the universe as computer, in all possible universes and all beings or mechanisms, generating, among other things, a non- quantum mechanical uncertainty principle and a proof of monotheism. There are obvious connections to the classic work of Chaitin, Solomonoff, Komolgarov and Wittgenstein and to the notion that no program (and thus no device) can generate a sequence (or device) with greater complexity than it possesses. One might say this body of work implies atheism since there cannot be any entity more complex than the physical universe and from the Wittgensteinian viewpoint, ‘more complex’ is meaningless (has no conditions of satisfaction, i.e., truth-maker or test). Even a ‘God’ (i.e., a ‘device’with limitless time/space and energy) cannot determine whether a given ‘number’ is ‘random’, nor find a certain way to show that a given ‘formula’, ‘theorem’ or ‘sentence’ or ‘device’ (all these being complex language games) is part of a particular ‘system’. -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle’ 2nd ed (2019). Those interested in more of my writings may see ‘Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 2nd ed (2019) and Suicidal Utopian Delusions in the 21st Century 4th ed (2019) . (shrink)

J’ai lu de nombreuses discussions récentes sur les limites du calcul et de l’univers en tant qu’ordinateur, dans l’espoir de trouver quelques commentaires sur le travail étonnant du physicien polymathe et théoricien de la décision David Wolpert, mais n’ont pas trouvé une seule citation et je présente donc ce résumé très bref. Wolpert s’est avéré quelques théoricaux d’impossibilité ou d’incomplétude renversants (1992 à 2008-voir arxiv dot org) sur les limites de l’inférence (computation) qui sont si généraux qu’ils sont indépendants de (...) l’appareil faisant le calcul, et même indépendamment des lois de la physique, ainsi ils s’appliquent à travers les ordinateurs, la physique, et le comportement humain. Ils utilisent la diagonalisation de Cantor, le paradoxe menteur et les worldlines (lignes du monde) pour fournir ce qui peut être le théorème ultime dans Turing Machine Theory, et apparemment fournir des aperçus de l’impossibilité, l’incomplétude, les limites du calcul, et l’univers comme ordinateur, dans tous les univers possibles et tous les êtres ou mécanismes possibles, générant, entre autres, un principe d’incertitude mécanique non quantique et une preuve de monothéisme. Il existe des connexions évidentes à l’œuvre classique de Chaitin, Solomonoff, Komolgarov et Wittgenstein et à l’idée qu’aucun programme (et donc aucun dispositif) ne peut générer une séquence (ou un dispositif) avec une plus grande complexité qu’il ne possède. On pourrait dire que cet ensemble de travaux implique l’athéisme puisqu’il ne peut y avoir d’entité plus complexe que l’univers physique et du point de vue wittgensteinien, « plus complexe » n’a aucun sens (n’a pas de conditions de satisfaction, c’est-à-dire véridique ou test). Même un « Dieu » (c’est-à-dire un « dispositif » avec un temps/ espace et une énergie illimité) ne peut pas déterminer si un « nombre » donné est « aléatoire», ni trouver un certain moyen de montrer qu’une « formule » donnée, un « théorème » ou une « phrase » ou un « dispositif » (tous ces jeux de langage complexes) fait partie d’un « système » particulier. Ceux qui souhaitent un cadre complet à jour pour le comportement humain de la vue moderne de deux systemes peuvent consulter mon livre 'The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle' 2nd ed (2019). Ceux qui s’intéressent à plus de mes écrits peuvent voir 'Talking Monkeys --Philosophie, Psychologie, Science, Religion et Politique sur une planète condamnée --Articles et revues 2006-2019 2ème ed (2019) et Suicidal Utopian Delusions in the 21st Century 4th ed (2019) et autres. (shrink)

We can classify the (truth-theoretic) paradoxes according to their degrees of paradoxicality. Roughly speaking, two paradoxes have the same degrees of paradoxicality, if they lead to a contradiction under the same conditions, and one paradox has a (non-strictly) lower degree of paradoxicality than another, if whenever the former leads to a contradiction under a condition, the latter does so under the same condition. In this paper, we outline some results and questions around the degrees of paradoxicality and summarize recent progress.

A uniform theory of conditionals is one which compositionally captures the behavior of both indicative and subjunctive conditionals without positing ambiguities. This paper raises new problems for the closest thing to a uniform analysis in the literature (Stalnaker, Philosophia, 5, 269–286 (1975)) and develops a new theory which solves them. I also show that this new analysis provides an improved treatment of three phenomena (the import-export equivalence, reverse Sobel-sequences and disjunctive antecedents). While these results concern central issues in the study (...) of conditionals, broader themes in the philosophy of language and formal semantics are also engaged here. This new analysis exploits a dynamic conception of meaning where the meaning of a symbol is its potential to change an agent’s mental state (or the state of a conversation) rather than being the symbol’s content (e.g. the proposition it expresses). The analysis of conditionals is also built on the idea that the contrast between subjunctive and indicative conditionals parallels a contrast between revising and consistently extending some body of information. (shrink)

The paper is Part III of the large research, dedicated to both the revision of the system of basic logical categories and the generalization of modern predicate logic to functional logic. We determinate and contrapose modern Fregean logistics and proposed by the author ultra-Fregean logistics, next we describe values and arguments of functions, arguments of relations, relations themselves, sets (classes), and subsets (subclasses) as derivative categories (concepts) of ultrafregean logistics. Logistics is a part of metalogic, independent of semantics. Fregean (...) logictics is a metalogical theory, based on the quadruple <particular (individual), predicate, equality, sequence>; it generates predicate logic. Ultrafregean logictics is based on the quadruple <particular, function, representation, sequence>, where the notion of a function is a generalization of the notion of a predicate and the notion of representation is a generalization of the notion of equality; this logictics generates functional logic. For the completely correct denotation of the functional values, we need the Churchian symbolics with parenthesis. Predicates are usually identified with relations. A relation is the derived and even definable category of ultra-Fregean logictics. Namely, relations are representations by functions (of one of their arguments). We show that Frege could really establish this definition and the notion (category) of representation but, unfortunately, rejected this course of thought. Next, we show that every n-ary relation can be resolved for some of its arguments via some (n-1)-ary function. A set, or class, is a derived and not definable category of ultra-Fregean logistics. The universal way to introduce the sets is Frege’s abstraction principle. We formulate this principle for functional logic and show that the notion of a set is quantified, so there is the dual existential notion of a nonempty subset, involved by the same abstraction principle. (shrink)

In a series of recent papers, Justin Capes and Philip Swenson and Michael Robinson have proposed new versions of the flickers of freedom reply to Frankfurt-style cases. Both proposals claim, first, that what agents in FSCs are morally responsible for is performing a certain action on their own, and, second, that agents in FSCs retain robust alternative possibilities—alternatives in which the agent freely omits to perform the pertinent action on their own. In this paper, I argue that, by attending to (...) the details of the omissions in question, it becomes clear that agents in FSCs lack robust alternatives of this sort, for in the alternative sequences such agents do not freely omit. Since the problem for these recent proposals arises from their attempt to show that agents in FSCs retain robust alternatives, I go on to consider whether the flicker theorist might be better off either revising or rejecting the robustness requirement on alternative possibilities. I argue that neither alternative is available to the flicker theorist, and yet I also point out that the reasons why these alternatives are unavailable serve to highlight what exactly is at issue in the debate between leeway and sourcehood theorists, namely the grounds of our freedom. (shrink)

A part of Stalnaker (1968)’s influential theory of conditionals has been neglected, namely the role for an accessibility relation between worlds. I argue that the accessibility relation does not play the role intended for it in the theory as stated, and propose a minimal revision which solves the problem, and brings the theory in line with the formulation in Stalnaker & Thomason 1970.

I have read many recent discussions of the limits of computation and the universe as computer, hoping to find some comments on the amazing work of polymath physicist and decision theorist David Wolpert but have not found a single citation and so I present this very brief summary. Wolpert proved some stunning impossibility or incompleteness theorems (1992 to 2008-see arxiv.org) on the limits to inference (computation) that are so general they are independent of the device doing the computation, and even (...) independent of the laws of physics, so they apply across computers, physics, and human behavior. They make use of Cantor's diagonalization, the liar paradox and worldlines to provide what may be the ultimate theorem in Turing Machine Theory, and seemingly provide insights into impossibility, incompleteness, the limits of computation,and the universe as computer, in all possible universes and all beings or mechanisms, generating, among other things,a non- quantum mechanical uncertainty principle and a proof of monotheism. There are obvious connections to the classic work of Chaitin, Solomonoff, Komolgarov and Wittgenstein and to the notion that no program (and thus no device) can generate a sequence (or device) with greater complexity than it possesses. One might say this body of work implies atheism since there cannot be any entity more complex than the physical universe and from the Wittgensteinian viewpoint, ‘more complex’ is meaningless (has no conditions of satisfaction, i.e., truth-maker or test). Even a ‘God’ (i.e., a ‘device’ with limitless time/space and energy) cannot determine whether a given ‘number’ is ‘random’ nor can find a certain way to show that a given ‘formula’, ‘theorem’ or ‘sentence’ or ‘device’ (all these being complex language games) is part of a particular ‘system’. -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my article The Logical Structure of Philosophy, Psychology, Mind and Language as Revealed in Wittgenstein and Searle 59p(2016). For all my articles on Wittgenstein and Searle see my e-book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Wittgenstein and Searle 367p (2016). Those interested in all my writings in their most recent versions may consult my e-book Philosophy, Human Nature and the Collapse of Civilization - Articles and Reviews 2006-2016’ 662p (2016). -/- All of my papers and books have now been published in revised versions both in ebooks and in printed books. -/- Talking Monkeys: Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet - Articles and Reviews 2006-2017 (2017) https://www.amazon.com/dp/B071HVC7YP. -/- The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle--Articles and Reviews 2006-2016 (2017) https://www.amazon.com/dp/B071P1RP1B. -/- Suicidal Utopian Delusions in the 21st century: Philosophy, Human Nature and the Collapse of Civilization - Articles and Reviews 2006-2017 (2017) https://www.amazon.com/dp/B0711R5LGX . (shrink)

Un fait Mooréen, selon l'expression de David Lewis, est « l'une des choses que nous savons mieux que toute prémisse d'une argumentation philosophique visant à é tablir le contraire. » Le sujet des faits Mooréens soulève des questions profondes, à la fois de méthode philosophique et d'épistémologie de premier ordre. Comment devrions-nous répondre aux arguments qui remettent en question des croyances dont nous sommes extrêmement confiants ? Dans quelle mesure ces arguments – ou plutôt ceux qui les avancent – peuvent-ils (...) espérer avoir une emprise ou une traction rationnelle sur nous ? Dans quelle mesure, si même c'est le cas, notre point de départ limite-t-il les types de révisions de nos croyances que la philosophie pourrait légitimement inspirer ? Quand sommes-nous justifiés (si jamais nous le sommes) à refuser de se laisser influencer par un argument qui, pour autant qu'on puisse en juger, est sans faille, et quand un tel refus relève-t-il simplement du dogmatisme ? Ce sont là de vastes questions, auxquelles je ne tenterai pas ici de répondre complétement. Mon ambition, plus modeste, est de tenter de progresser sur ces questions, et d'autres questions connexes, en examinant la notion de fait Mooré que je trouve chez Lewis et chez d'autres. (shrink)

Belief revision theory studies how an ideal doxastic agent should revise her beliefs when she receives new information. In part I, I have first presented the AGM theory of belief revision. Then I have focused on the problem of iterated belief revisions. In part II, I will first present ranking theory (Spohn 1988). Then I will show how it solves the problem of iterated belief revisions. I will conclude by sketching two areas of future research.

ABSTRACT The apparent consistency of Sobel sequences famously motivated David Lewis to defend a variably strict conditional semantics for counterfactuals. If Sophie had gone to the parade, she would have seen Pedro. If Sophie had gone to the parade and had been stuck behind someone tall, she would not have seen Pedro. But if the order of the counterfactuals in a Sobel sequence is reversed—in the example, if is asserted prior to —the second counterfactual asserted no longer rings true. (...) This is the Heim sequence problem. That the order of assertion makes this difference is surprising on the variably strict account. Some argue that this is reason to reject the Lewis-Stalnaker semantics outright. Others argue that the problem motivates a contextualist rendering of counterfactuals. Still others maintain that the explanation for the phenomenon is merely pragmatic. I argue that none of these is right, and I defend a novel way to understand the phenomenon. My proposal avoids the problems faced by the alternative analyses and enjoys independent support. There is, however, a difficulty for my view: it entails that many ordinarily accepted counterfactuals are not true. I argue that this cost is acceptable. (shrink)

We present a general framework for representing belief-revision rules and use it to characterize Bayes's rule as a classical example and Jeffrey's rule as a non-classical one. In Jeffrey's rule, the input to a belief revision is not simply the information that some event has occurred, as in Bayes's rule, but a new assignment of probabilities to some events. Despite their differences, Bayes's and Jeffrey's rules can be characterized in terms of the same axioms: "responsiveness", which requires that (...) revised beliefs incorporate what has been learnt, and "conservativeness", which requires that beliefs on which the learnt input is "silent" do not change. To illustrate the use of non-Bayesian belief revision in economic theory, we sketch a simple decision-theoretic application. (shrink)

According to the cognitive model of psychopathology, maladaptive beliefs about oneself, others, and the world are the main factors contributing to the development and persistence of various forms of mental suffering. Therefore, the key therapeutic process of Cognitive Behavioral Therapy (CBT)—a therapeutic approach rooted in the cognitive model—is cognitive restructuring, i.e., a process of revision of such maladaptive beliefs. In this paper, I examine the philosophical assumptions underlying CBT and offer theoretical reasons to think that the effectiveness of belief (...) revision in psychotherapy is very limited. This is the case, I argue, because the cognitive model wrongly assumes that our body of beliefs is unified, while it is in fact fragmented. (shrink)

The Bayesian maxim for rational learning could be described as conservative change from one probabilistic belief or credence function to another in response to newinformation. Roughly: ‘Hold fixed any credences that are not directly affected by the learning experience.’ This is precisely articulated for the case when we learn that some proposition that we had previously entertained is indeed true (the rule of conditionalisation). But can this conservative-change maxim be extended to revising one’s credences in response to entertaining propositions or (...) concepts of which one was previously unaware? The economists Karni and Vierø (2013, 2015) make a proposal in this spirit. Philosophers have adopted effectively the same rule: revision in response to growing awareness should not affect the relative probabilities of propositions in one’s ‘old’ epistemic state. The rule is compelling, but only under the assumptions that its advocates introduce. It is not a general requirement of rationality, or so we argue. We provide informal counterexamples. And we show that, when awareness grows, the boundary between one’s ‘old’ and ‘new’ epistemic commitments is blurred. Accordingly, there is no general notion of conservative change in this setting. (shrink)

Conceptual engineering is the practice of revising concepts to improve how people talk and think. Its ability to improve talk and thought ultimately hinges on the successful dissemination of desired conceptual changes. Unfortunately, the field has been slow to develop methods to directly test what barriers stand in the way of propagation and what methods will most effectively propagate desired conceptual change. In order to test such questions, this paper introduces the masked time-lagged method. The masked time-lagged method tests people's (...) conceptual understanding at two different points in time without their knowledge of being tested, allowing us to measure conceptual revision in action. Using a masked time-lagged design on a content internalist framework, we attempted to revise PLANET and DINOSAUR in online participants to match experts' concepts. We successfully revised PLANET but not DINOSAUR, demonstrating some of the difficulties conceptual engineers face. Nonetheless, this paper provides conceptual engineers, regardless of framework, with the tools to tackle questions related to implementation empirically and head-on. (shrink)

Belief revision theory studies how an ideal doxastic agent should revise her beliefs when she receives new information. In part I I will first present the AGM theory of belief revision (Alchourrón & Gärdenfors & Makinson 1985). Then I will focus on the problem of iterated belief revisions.

I propose and articulate a novel theory of desire, called the Revised Reward Theory. As the name suggests, the theory is based—and expands—on Arpaly and Schroeder’s (2014) Reward Theory of Desire. The initial Reward Theory identifies desires with states of the reward learning system such that for an organism to desire some P is for its reward system to treat P as a reward upon receipt. The Revised Reward Theory identifies desires with a different state of the same system, such (...) that for an organism to desire some P is for its reward system to expect or predict that P will be rewarding (roughly) prior to receipt. The difference amounts to equating desires with what we ultimately find rewarding or satisfying versus those that underlie our motivations to obtain that which we take ourselves to desire. I argue that the structure of the reward system is incompatible with the original Reward Theory but compatible with the Revised Reward Theory. I demonstrate that this difference has important philosophical implications. I focus on moral responsibility and demonstrate Arpaly and Schroeder’s argument, that addiction can mitigate moral responsibility, turns on this precise difference. Arpaly, Schroeder, and I all ascribe to a meta-theory called ‘natural kindism’ which identifies mental kinds with neurocognitive kinds. This discussion, in addition to defending a theory of desire, is intended to act as a proof of concept for natural kindism as offering a powerful framework for relating empirical results to philosophical issues. (shrink)

We propose a dynamic hyperintensional logic of belief revision for non-omniscient agents, reducing the logical omniscience phenomena affecting standard doxastic/epistemic logic as well as AGM belief revision theory. Our agents don’t know all a priori truths; their belief states are not closed under classical logical consequence; and their belief update policies are such that logically or necessarily equivalent contents can lead to different revisions. We model both plain and conditional belief, then focus on dynamic belief revision. The (...) key idea we exploit to achieve non-omniscience focuses on topic- or subject matter-sensitivity: a feature of belief states which is gaining growing attention in the recent literature. (shrink)

I present a possible worlds semantics for a hyperintensional belief revision operator, which reduces the logical idealization of cognitive agents affecting similar operators in doxastic and epistemic logics, as well as in standard AGM belief revision theory. (Revised) belief states are not closed under classical logical consequence; revising by inconsistent information does not perforce lead to trivialization; and revision can be subject to ‘framing effects’: logically or necessarily equivalent contents can lead to different revisions. Such results are (...) obtained without resorting to non-classical logics, or to non-normal or impossible worlds semantics. The framework combines, instead, a standard semantics for propositional S5 with a simple mereology of contents. (shrink)

Significant associations have been found between specific human leukocyte antigen (HLA) alleles and organ transplant rejection, autoimmune disease development, and the response to infection. Traditional searches for disease associations have conventionally measured risk associated with the presence of individual HLA alleles. However, given the high level of HLA polymorphism, the pattern of amino acid variability, and the fact that most of the HLA variation occurs at functionally important sites, it may be that a combination of variable amino acid sites shared (...) by several alleles (shared epitopes) are better descriptors of the actual causative genetic variants. Here we describe a novel approach to genetic association analysis in which genes/proteins are broken down into smaller sequence features and then variant types defined for each feature, allowing for independent analysis of disease association with each sequence feature variant type. We have used this approach to analyze a cohort of systemic sclerosis patients and show that a sequence feature composed of specific amino acid residues in peptide binding pockets 4 and 7 of HLA-DRB1 explains much of the molecular determinant of risk for systemic sclerosis. (shrink)

This book addresses how our revisionary practices account for relations between texts and how they are read. It offers an overarching philosophy of revision concerning works of fiction, fact, and faith, revealing unexpected insights about the philosophy of language, the metaphysics of fact and fiction, and the history and philosophy of science and religion. It will be of interest to a wide range of scholars and advanced students working in philosophy of language, metaphysics, philosophy of literature, literary theory and (...) criticism, and history and philosophy of science and religion. (shrink)

Sometimes someone does something morally wrong in clear-eyed awareness that what she is doing is wrong. More commonly, a wrongdoer fails to see that her conduct is wrong. Call the latter behavior unwitting wrongful conduct. It is generally agreed that an agent can be blameworthy for such conduct, but there is considerable disagreement about how one’s blameworthiness in such cases is to be explained, or what conditions must be satisfied for the agent to be blameworthy for her conduct. Many theorists (...) hold that an agent’s blameworthiness for unwitting wrongful conduct must stem from—or trace back to—her blameworthiness for something else. And appeals to tracing in these cases lead some writers to a highly revisionist view, on which people are blameworthy for wrongdoing much less often than we ordinarily think (and our mistake, unfortunately, isn’t about how much wrongdoing there is). In this chapter, I set out the main claims of an argument for such a view and respond to it. I offer grounds for retaining a good many of the judgments that the revisionist would have us reject. The defense rests to a significant extent on commonsense views about the psychological capacities and abilities to act that people ordinarily possess, views that, as far as I can tell, revisionists have not shown to be mistaken. (shrink)

In the present paper, our objective is to examine the application of belief revision models to scientific rationality. We begin by considering the standard model AGM, and along the way a number of problems surface that make it seem inadequate for this specific application. After considering three different heuristics of informational economy that seem fit for science, we consider some possible adaptations for it and argue informally that, overall, some paraconsistent models seem to better satisfy these principles, following Testa (...) (2015). These models have been worked out in formal detail by Testa, Cogniglio, & Ribeiro (2015, 2017). (shrink)

We investigate the properties of Yablo sentences and for- mulas in theories of truth. Questions concerning provability of Yablo sentences in various truth systems, their provable equivalence, and their equivalence to the statements of their own untruth are discussed and answered.

I investigate the implication of the truth-relativist’s alleged ‘ faultless disagreements’ for issues in the epistemology of disagreement. A conclusion I draw is that the type of disagreement the truth-relativist claims to preserve fails in principle to be epistemically significant in the way we should expect disagreements to be in social-epistemic practice. In particular, the fact of faultless disagreement fails to ever play the epistemically significant role of making doxastic revision rationally required for either party in a disagreement. That (...) the truth-relativists’ disagreements over centred content fail to play this epistemically significant role that disagreements characteristically play in social epistemology should leave us sceptical that disagreement is what the truth-relativist has actually preserved. (shrink)

We have good reason to believe that Nicomachean Ethics VI. 2 is a Nicomachean revision of an originally Eudemian text. Aristotle seems to have inserted lines 1139a31-b11 by means of a marginal note, which the first editor then mistakenly added in the wrong place, and I propose that we move these lines so that they follow the word κοινωνεῖν at 1139a20. The suggested note appears to be Nicomachean for several reasons but most importantly because it contains a desire-based account (...) of the practical intellect as teleologically oriented to action. The NE articulates consequences of this account regarding practical philosophy’s methodology and teleological orientation to action. The EE does not articulate such consequences, and instead seems to assume an object-based account of the practical intellect. Consequently, it would seem that, between the EE and the NE, Aristotle revised his conception of the practical intellect and consequently his conception of practical philosophy. (shrink)

To the normal reasons that we think can justify one in preferring something, x (namely, that x has objectively preferable properties, or has properties that one prefers things to have, or that x's obtaining would advance one's preferences), I argue that it can be a justifying reason to prefer x that one's very preferring of x would advance one's preferences. Here, one prefers x not because of the properties of x, but because of the properties of one's having the preference (...) for x. So-revising one's preferences is rational in paradoxical choice situations like Kavka's Deterrence Paradox. I then try to meet the following objections: that this is stoicist, incoherent, bad faith; that it conflates instrumental and intrinsic value, gives wrong solutions to the problems presented by paradoxical choice situations, entails vicious regresses of value justification, falsifies value realism, makes valuing x unresponsive to x's properties, causes value conflict, conflicts with other standards of rationality, violates decision theory, counsels immorality, makes moral paradox, treats value change as voluntary, conflates first- and second-order values, is psychologically unrealistic, and wrongly presumes that paradoxical choice situations can even occur. (shrink)

In this paper two systems of AGM-like Paraconsistent Belief Revision are overviewed, both defined over Logics of Formal Inconsistency (LFIs) due to the possibility of defining a formal consistency operator within these logics. The AGM° system is strongly based on this operator and internalize the notion of formal consistency in the explicit constructions and postulates. Alternatively, the AGMp system uses the AGM-compliance of LFIs and thus assumes a wider notion of paraconsistency - not necessarily related to the notion of (...) formal consistency. (shrink)

Over the decades, the claim that everything is revisable (defended by Quine and others) has played an important role in Epistemology and Philosophy of Science. Some time ago, Katz (1988) argued that this claim is paradoxical. This paper does not discuss this objection but rather argues that the claim of universal revisability allows for two different readings but in each case leads to a contradiction and is false.

The integration of standardized biomedical terminologies into a single, unified knowledge representation system has formed a key area of applied informatics research in recent years. The Unified Medical Language System (UMLS) is the most advanced and most prominent effort in this direction, bringing together within its Metathesaurus a large number of distinct source-terminologies. The UMLS Semantic Network, which is designed to support the integration of these source-terminologies, has proved to be a highly successful combination of formal coherence and broad scope. (...) We argue here, however, that its organization manifests certain structural problems, and we describe revisions which we believe are needed if the network is to be maximally successful in realizing its goals of supporting terminology integration. (shrink)

A powerful argument against the resurrection of the body is based on the premise that all resurrection theories violate natural laws. We counter this argument by developing a fully naturalistic resurrection theory. We refer to it as the revision theory of resurrection (the RTR). Since Hick’s replica theory is already highly naturalistic, we use Hick’s theory as the basis for the RTR. According to Hick, resurrection is the recreation of an earthly body in another universe. The recreation is a (...) resurrection counterpart. We show that the New Testament supports the idea of resurrection counterparts. The RTR asserts that you are a node in a branching tree of increasingly perfect resurrection counterparts. These ever better counterparts live in increasingly perfect resurrection universes. We give both theological arguments and an empirical argument for the RTR. (shrink)

An important question for proponents of non-contractive approaches to paradox is why contraction fails. Zardini offers an answer, namely that paradoxical sentences exhibit a kind of instability. I elaborate this idea using revision theory, and I argue that while instability does motivate failures of contraction, it equally motivates failure of many principles that non-contractive theorists want to maintain.

In this contribution we explore revisionists and anti-revisionists conceptions of the historical imagination. The focus will be on how these conceptions of the historical imagination determine how one ought to answer the question of whether or not it is in principle possible to know the past in its own terms rather than from the perspective of the present. The contrast that we are seeking to draw is that between a conception of the historical imagination which is revisionist in the sense (...) that it is committed to the claim that knowledge of the past is in principle impossible, and one which is anti-revisionist in the sense that it regards knowledge of the past in its own terms to be in principle possible. Revisionism, as we understand it here, is not the contingent claim that in some cases (where, for example, new evidence which was previously unavailable comes to light) the historical understanding of the past may be revised; rather, it represents an a priori claim about the impossibility of knowing the past in its own terms in all cases, and not just in some. Likewise, anti-revisionism, as we understand it here, is the view that historical knowledge is in principle possible; it is not the claim that it is always achieved as a matter of fact. The debate between revisionist and anti-revisionist conceptions of the historical imagination is therefore a second-order debate about the nature of historical knowing, about whether it is possible, and if so, about what its conditions of possibility are. It is not a first order debate about whether or not such knowledge has been achieved in any given case. (shrink)

Starting with the results of Li et al. in 1992 there is valuable interest in finding long range correlations in DNA sequences since it raises questions about the role of introns and intron-containing genes. In the present paper we studied two sequences that are the human T-cell receptor alpha/delta locus, Gen-Bank name HUMTCRADCV, a noncoding chromosomal fragment of M = 97630 bases (composed of less than 10% of coding regions), and the Escherichia Coli K12, Gen-Bank name ECO110K, a genomic fragment (...) with M = 111401 bases consisting of mostly coding regions and containing more that 80% of coding regions. We attributed the value (+1) to the purines and the value (-1) to the pirimidines and to such reconstructed random walk we applied the method of the Recurrence Quantification Analysis(RQA) that was introduced by Zbilut and Webber in 1994. By using dimension D=1 and Embedded Dimensions D=3 and D=5, we obtain some indicative results. Also by a simple eye examination of the reconstructed maps, the differences between coding and non coding regions are evident and impressive and consist in the presence in noncoding regions of long patches of the same colour that are absent in the coding sequence. At first sight this suggests a simple explanation to the concept of „long-range‟ correlation. On the quantitative plane, we used the %Rec., the %Det., the Ratio, the Entropy, the %Lam., and the Lmax that, as explained in detail in the text, represent the basic variables of RQA. The significant result that we have here is that both Lmax and Laminarity exhibit very large values in HUMTCRADCV and actually different in values respect to ECO110K where such variables assume more modest values. Therefore we suggest that there is the observed difference between HUMTCRADCV and ECO110K. The claimed higher long-range correlations of introns respect to exons from many authors may be explained here in reasonof such found higher values of Lmax and of Laminarity in HUMTCRADCV respect to ECO110K. (shrink)

This paper examines the position in moral philosophy that Harry Frankfurt calls the Principle of Alternate Possibilities (PAP). The paper first describes the principle as articulated by A.J. Ayer. Subsequently, the paper examines Frankfurt’s critique and proposed revision of the principle and argues that Frankfurt’s proposal relies on an excessively simplistic account of practical reasoning, which fails to account for the possibility of moral dilemmas. In response, the paper offers a further revision of PAP, which accounts for Frankfurt’s (...) critique, moral dilemmas, and the challenge of causal determinism. (shrink)

A biologically unavoidable sequence is an infinite gender sequence which occurs in every gendered, infinite genealogical network satisfying certain tame conditions. We show that every eventually periodic sequence is biologically unavoidable (this generalizes König's Lemma), and we exhibit some biologically avoidable sequences. Finally we give an application of unavoidable sequences to cellular automata.

Typically, existentialist analyses of “America” have been limited to North America (more specifically, the United States). I argue that developing an adequate framework for existentially analyzing America requires a turn to Mexican existentialism. In Emilio Uranga’s and Jorge Portilla’s writings, we discover new conceptual tools for understanding Americanness as such. These thinkers help us imagine an account of American being that does not restrict itself to the United States by using the concepts of existentialism to describe the crises their neighbors (...) to the north as well as they themselves face. American existence has been historically characterized by a convergence (oftentimes clash) of disparate races, ethnicities, languages, cultures, religions, and identities. As history unfolded, this convergence led to various existential crises across the Americas. Whereas the US American way of life is marred by a blustering, naïve, and purposeless misuse of freedom that disregards the other, the existential crisis the Mexican lives is characterized by “accidentality” and “zozobra.” Despite these important differences, all existentialists, and the Mexican existentialists of the Hyperion Group especially, remind us that there is a common way to overcome the various existential crises plaguing the Americas, and that is to exercise freedom in a purposeful, communally conscious manner. (shrink)

Aunque este volumen es un poco anticuado, hay pocos libros populares recientes que tratan específicamente con la psicología del asesinato y es una visión general rápida disponible por unos pocos dólares, por lo que aún así vale la pena el esfuerzo. No hace ningún intento de ser exhaustiva y es algo superficial en los lugares, con el lector se espera que llene los espacios en blanco de sus muchos otros libros y la vasta literatura sobre la violencia. Para una actualización, (...) véase, por ejemplo, Buss, El Manual de Psicología Evolutiva 2a Ed. v1 (2016) p 265, 266, 270 – 282, 388 – 389, 545 – 546, 547, 566 y Buss, Psicología Evolutiva 5º Ed. (2015) p 26, 96 – 97223, 293-4, 300, 309 – 312, 410 y Shackelford y Hansen , La evolución de la violencia (2014). Ha estado entre los mejores psicólogos evolutivos durante varias décadas y cubre una amplia gama de comportamientos en sus obras, pero aquí se concentra casi enteramente en los mecanismos psicológicos que causan que las personas individuales asesinen y sus posibles función evolutiva en el EEE (medio ambiente de adaptación evolutiva — i. e., las llanuras de África durante los últimos millones de años). -/- Los Buss comienzan señalando que como con otros comportamientos, las explicaciones ' alternativas ' como la psicopatología, los celos, el entorno social, las presiones grupales, las drogas y el alcohol, etc. no explican realmente, ya que la pregunta sigue siendo en cuanto a por qué estos producen impulsos homicidas, es decir, son las causas próximas y no las últimas evolutivas (genéticas). Como siempre, inevitablemente se reduce a la aptitud inclusiva (selección de parientes), y por lo tanto a la lucha por el acceso a los compañeros y recursos, que es la máxima explicación para todos los comportamientos en todos los organismos. Los datos sociológicos (y el sentido común) aclaran que los machos más pobres son los más propensos a matar. Él presenta sus propios y otros datos de homicidios de las naciones industrializadas, y las culturas tribales, la matanza conespecífica en animales, la arqueología, los datos del FBI y su propia investigación sobre las fantasías homicidas de las personas normales. Mucha evidencia arqueológica continúa acumulando asesinatos, incluyendo el de grupos enteros, o de grupos menos mujeres jóvenes, en tiempos prehistóricos. -/- Después de examinar los comentarios de Buss, presento un breve resumen de la psicología intencional (la estructura lógica de la racionalidad), que se cubre extensamente en mis muchos otros artículos y libros. -/- Aquellos con mucho tiempo que quieran una historia detallada de violencia homicida desde una perspectiva evolutiva pueden consultar a Steven Pinker ' los mejores ángeles de nuestra naturaleza por qué la violencia ha disminuido ' (2012), y mi revisión de ella, fácilmente disponible en la red y en dos de mis libros recientes. Brevemente, Pinker señala que el asesinato ha disminuido de manera constante y dramática por un factor de alrededor de 30 desde nuestros días como forrajeras. Por lo tanto, a pesar de que las armas ahora hacen que sea extremadamente fácil matar a alguien, el homicidio es mucho menos común. Pinker piensa que esto se debe a varios mecanismos sociales que traen a cabo nuestros "mejores ángeles", pero creo que se debe principalmente a la abundancia temporal de recursos de la violación despiadada de nuestro planeta, junto con una mayor presencia policial, con la comunicación y sistemas de vigilancia y jurídicos que hacen que sea mucho más probable que sea castigado. Esto se hace claro cada vez que hay incluso una ausencia breve y local de la policía. -/- Aquellos que deseen un marco completo hasta la fecha para el comportamiento humano de la moderna dos sistemas punto de vista puede consultar mi libros Talking Monkeys 3ª ed (2019), Estructura Logica de Filosofia, Psicología, Mente y Lenguaje en Ludwig Wittgenstein y John Searle 2a ed (2019), Suicidio pela Democracia 4ª ed (2019), La Estructura Logica del Comportamiento Humano (2019), The Logical Structure de la Conciencia (2019, Entender las Conexiones entre Ciencia, Filosofía, Psicología, Religión, Política y Economía y Delirios Utópicos Suicidas en el siglo 21 5ª ed (2019), Observaciones sobre Imposibilidad, Incompletitud, Paraconsistencia, Indecidibilidad, Aleatoriedad, Computabilidad, Paradoja e Incertidumbre en Chaitin, Wittgenstein, Hofstadter, Wolpert, Doria, da Costa, Godel, Searle, Rodych Berto, Floyd, Moyal-Sharrock y Yanofsky y otras. (shrink)

This paper calls into question the view typically attributed to Kant that aesthetic judgements are particularist, resisting all conceptual determination. Instead, it claims that Kant conceives of aesthetic judgements, particularly of art, as playing an important role in therevisionof concepts: one sense in which aesthetic judgements, as Kant defines them, ‘find a universal’ for a given particular. To understand the relation between artistic judgements and concepts requires that we consider what I call Kant’s diachronic account of aesthetic ideas, or how (...) such judgements unfold in the course of communication and reflection. My reading draws Kant much closer to debates in the philosophy of art on the semantic dimension of artworks. Here, illuminating the way in which aesthetic judgements about art can play a role in conceptual revision allows us to make sense of the way in which modern artworks contest concepts rather than merely presenting or expressing them. (shrink)

Quine's holistic empiricist account of scientific inquiry can be characterized by three constitutive principles: *noncontradiction*, *universal revisability* and *pragmatic ordering*. We show that these constitutive principles cannot be regarded as statements within a holistic empiricist's scientific theory of the world. This claim is a corollary of our refutation of Katz's [1998, 2002] argument that holistic empiricism suffers from what he calls the Revisability Paradox. According to Katz, Quine's empiricism is incoherent because its constitutive principles cannot themselves be rationally revised. Using (...) Gärdenfors and Makinson's logic of belief revision based on epistemic entrenchment, we argue that Katz wrongly assumes that the constitutive principles are *statements* within a holistic empiricist's theory of the world. Instead, we show that constitutive principles are best seen as *properties* of a holistic empiricist's theory of scientific inquiry and we submit that, without Katz's mistaken assumption, the paradox cannot be formulated. We argue that our perspective on the status of constitutive principles is perfectly in line with Quinean orthodoxy. In conclusion, we compare our findings with van Fraassen's [2002] argument that we should think of empiricism as a stance, rather than as a doctrine. (shrink)

According to the received view, Marxian (ideology) critique and Foucaultian (genealogical) critique constitute two divergent approaches of critical theory that have remarkably different goals and little in common. In this article, however, we identify a guiding thread that connects the Marxian and Foucaultian traditions and motivates a distinctive approach within critical theory we call the ‘critique of constitution’. The problem of restricted consciousness, we show, is the core problem in common between Michel Foucault's critical history of thought and Georg Lukács's (...) theory of reification which underlies the tradition of Western Marxism and Frankfurt School critical theory. The problem concerns the limits of intelligibility and, by the same token, the apparent inevitability of the given social ontology. Our sense of what is possible depends on what we are able to think. But we know from the history of sciences that the limits of intelligibility change, thereby also altering our sense of what is possible. This becomes a political problem in connection with the intelligibility of social reality, because our restricted consciousness limits the alternatives we can so much as consider and seek to bring about. The critique of constitution, then, aims to expand the scope of possibility by revealing the contingent formation of the given limits of intelligibility. We argue that this is the paramount political task for Foucault and Lukács alike, other important differences notwithstanding. (shrink)

The anti-exceptionalist debate brought into play the problem of what are the relevant data for logical theories and how such data affects the validities accepted by a logical theory. In the present paper, I depart from Laudan's reticulated model of science to analyze one aspect of this problem, namely of the role of logical data within the process of revision of logical theories. For this, I argue that the ubiquitous nature of logical data is responsible for the proliferation of (...) several distinct methodologies for logical theories. The resulting picture is coherent with the Laudanean view that agreement and disagreement between scientific theories take place at different levels. From this perspective, one is able to articulate other kinds of divergence that considers not only the inferential aspects of a given logical theory, but also the epistemic aims and the methodological choices that drive its development. (shrink)

We present a theory of truth in fiction that improves on Lewis's [1978] ‘Analysis 2’ in two ways. First, we expand Lewis's possible worlds apparatus by adding non-normal or impossible worlds. Second, we model truth in fiction as belief revision via ideas from dynamic epistemic logic. We explain the major objections raised against Lewis's original view and show that our theory overcomes them.

A set D subset of V(G) is a dominating set of a graph G if for all x ϵ V(G)\D, for some y ϵ D such that xy ϵ E(G). A dominating set D subset of V(G) is called a connected dominating set of a graph G if the subgraph <D> induced by D is connected. A connected domination number of G, denoted by γ_c(G), is the minimum cardinality of a connected dominating set D. The triple repetition sequence denoted (...) by {S_n:n ϵ Z+} is a sequence of positive integers which is repeated thrice, i.e., {S_n}={1,1,1,2,2,2,3,3,3, ...}. In this paper, we construct a combinatorial explicit formula for the triple repetition sequence of connected domination numbers of a triangular grid graph. (shrink)