This paper focuses on three theories of personal identity that incorporate the idea that personal identity is the result of a person’s adopting certain attitudes towards certain mental states and actions. I call these theories subjective theories of personal identity. I argue that it is not clear what the proponents of these theories mean by “personal identity”. On standard theories, such as animalism or psychological theories, the term “personal identity” refers to the numerical identity of persons and its analysis provides (...) the persistence conditions for persons. I argue that if the subjective theories purport to provide a criterion of numerical personal identity, they fail. A different interpretation may suggest that they purport to provide a non-numerical type of identity for the purpose of providing plausible analyses of certain identity-related practical concerns. I argue that the criteria the subjective theories provide fail to capture several of the identity-related concerns. As a result, this interpretation must be rejected as well. (shrink)

Amartya Sen argues that for the advancement of justice identification of ‘perfect’ justice is neither necessary nor sufficient. He replaces ‘perfect’ justice with comparative justice. Comparative justice limits itself to comparing social states with respect to degrees of justice. Sen’s central thesis is that identifying ‘perfect’ justice and comparing imperfect social states are ‘analytically disjoined’. This essay refutes Sen’s thesis by demonstrating that to be able to make adequate comparisons we need to identify and integrate criteria of comparison. This (...) is precisely the aim of a theory of justice (such as John Rawls’s theory): identifying, integrating and ordering relevant principles of justice. The same integrated criteria that determine ‘perfect’ justice are needed to be able to adequately compare imperfect social states. Sen’s alternative approach, which is based on social choice theory, is incapable of avoiding contrary, indeterminate or incoherent directives where plural principles of justice conflict. (shrink)

This paper assesses the first-person authority account (FPA) of gender, according to which X's self-identification of what X's gender is, is the final say on what X's gender is, such that if others disagree, they are mistaken. One main reason in support of FPA is respecting X's autonomy—that is, overriding X's self-identification amounts to denying X's autonomy. Ozturk criticizes this view using analogies of religious and patriotic self-identifications, such that there are cases in which someone can permissibly claim (...) that another is not, say, a true Muslim or a true patriot. This implies that there might also be cases of permissible rejections of gender self-identification. Ozturk offers instead the negotiative theory of identity, according to which it is permissible to reject a self identification as long as three constraints are satisfied: no harm is done to the self-identifier, and their privacy and dignity are not violated. (This essay is a slightly revised version of that found in the 7th edition of The Philosophy of Sex.). (shrink)

Contemporary theories of self-consciousness typically begin by dividing experiences of the self into types, each requiring separate explanation. The stereotypical case of an out of body experience may be seen to suggest a distinction between the sense of oneself as an experiencing subject, a mental entity, and a sense of oneself as an embodied person, a bodily entity. Point of view, in the sense of the place from which the subject seems to experience the world, in this case is tied (...) to the sense of oneself as a mental entity and seems to be the ‘real’ self. Closer reading of reports, however, suggests a substantially more complicated picture. For example, the ‘real’ self that is experienced as separate from the body in an OBE is not necessarily experienced as disembodied. Subjects may experience themselves as having two bodies. In cases classed as heautoscopy there is considerable confusion regarding the apparent location of the experiencing subject; is it the ‘real mind’ in the body I seem to be looking out from, or is it in the body that I see? This suggests that visual point of view can dissociate from the experience of one’s own “real mind” or experience of self-identification. I provide a tripartite distinction between the sense of ownership, the sense of embodiment and the sense of subjectivity to better describe these experiences. The phenomenology of OBEs suggests that there are three distinct forms of self-consciousness which need to be explained. (shrink)

It has become a common-place to read the ‘no-self’ theory of the Buddhist philosophers as a reductionist account of persons. In Reasons and Persons, Derek Parfit himself seemed to endorse the association, having learned of the Buddhist theory from his colleague at All Souls College, Bimal Krishna Matilal. The Buddha’s denial that there are real selves metaphysically distinct from continuous streams of psycho-physical constituents lends itself, to be sure, to a reductionist interpretation. I believe, nevertheless, that there are (...) good grounds for scepticism, and I think it is time for scholars of Buddhism to be more cautious about the identification than they have been up until now. Different Buddhist schools, not to mention different thinkers within particular schools, have given widely varying philosophical construals of the Buddha’s claim about ‘no-self’, and, while some thinkers and some schools might favor a reductionist reading of the claim, others, I would argue, do not. In this paper, I will examine the theory of persons of one such, the Mādhyamika Buddhist Candrakīrti. Candrakīrti’s interpretation of the “no self” slogan is, I believe, anti-reductionist but irrealist: persons are not reducible to psycho-physical streams, nor are they real existents distinct from the stream. How is it possible for him to say both these things? Let us see. (shrink)

We investigate the semantics of historical counterfactuals in indeterministic contexts. We claim that "plain" and "necessitated" counterfactuals differ in meaning. To substantiate this claim, we propose a new semantic treatment of historical counterfactuals in the Branching Time framework. We supplement our semantics with supervaluationist postsemantics, thanks to which we can explain away the intuitions which seem to talk in favor of the identification of "would" with "would necessarily".

In this thesis I argue that the psychological study of concepts and categorisation, and the philosophical study of reference are deeply intertwined. I propose that semantic intuitions are a variety of categorisation judgements, determined by concepts, and that because of this, concepts determine reference. I defend a dual theory of natural kind concepts, according to which natural kind concepts have distinct semantic cores and non-semantic identification procedures. Drawing on psychological essentialism, I suggest that the cores consist of externalistic (...) placeholder essence beliefs. The identification procedures, in turn, consist of prototypes, sets of exemplars, or possibly also theory-structured beliefs. I argue that the dual theory is motivated both by experimental data and theoretical considerations. The thesis consists of three interrelated articles. Article I examines philosophical causal and description theories of natural kind term reference, and argues that they involve, or need to involve, certain psychological elements. I propose a unified theory of natural kind term reference, built on the psychology of concepts. Article II presents two semantic adaptations of psychological essentialism, one of which is a strict externalistic Kripkean-Putnamian theory, while the other is a hybrid account, according to which natural kind terms are ambiguous between internalistic and externalistic senses. We present two experiments, the results of which support the strict externalistic theory. Article III examines Fodor’s influential atomistic theory of concepts, according to which no psychological capacities associated with concepts constitute them, or are necessary for reference. I argue, contra Fodor, that the psychological mechanisms are necessary for reference. (shrink)

L’identité et la datation de Nicolas le Péripatéticien, l’auteur d’un sommaire de la philosophie d’Aristote, ont fait l’objet d’un article récent de Silvia Fazzo paru dans la Revue des Études Grecques. Contre la datation courante, fondée sur l’identification de Nicolas à l’historien de grand renom Nicolas Damascène , Fazzo a montré que Nicolas avait probablement vécu au cours de la période couvrant les IIIe au Ve siècles ap. J.-C., et plus problablement à l’époque de l’empereur Julien l’Apostat . Cette (...) hypothèse trouve un appui dans un nouveau fragment en traduction hébraïque découvert par Mauro Zonta, dans lequel Nicolas cherche à expliquer la Trinité de Dieu au moyen de la doctrine aristotélicienne des causes: Dieu est un, en tant que sa substance est une, mais Dieu est également trois, puisqu’il est à la fois causes motrice, formelle et finale du monde. Dans la mesure, évidemment réduite, où un fragment si court est susceptible de datation, l’époque de Julien paraît la plus probable. (shrink)

The aims of this paper are twofold: firstly, to give the reader a comprehensive- but not exhaustive- understanding of Schopenhauer’s theory of will, and, secondly, to elucidate certain problems inherent in this theory. Schopenhauer’s epistemology, dual aspect ontology, aesthetics, ethics, and pessimism are explored. Additionally, a cursory exposition of Kant’s metaphysics is presented, along with Schopenhauer’s critique of this. Possible solutions to problems in his theory are expounded and subsequently critiqued. Most salient of these problems is his (...) identification of the will with the Kantian thing-in-itself. I argue that Schopenhauer’s theory of will contradicts the Kantian confines on metaphysical knowledge. Consequently, and in light of his own epistemology, there are serious, if not intractable, problems with his contentions that the will is the thing-in-itself, and is knowable. (shrink)

In this paper I argue that there are problems with the foundations of the current version of physicalism about color. In some sources laying the foundations of physicalism, types of surface reflectance corresponding to (veridical) color perceptions are characterized by making reference to properties of the observer. This means that these surface attributes are not objective (i.e. observer-independent). This problem casts doubt on the possibility of identifying colors with types of surface reflectance. If this identification cannot be maintained, that (...) in turn threatens representationalist theories of phenomenal consciousness: there remains no objective, observer-independent property that color experiences represent - hence no representational content, in terms of semantic externalism, can be attributed to color experiences. I offer an alternative account of color and conclude that further empirical study is required to do justice to the basic claims of color physicalism. (shrink)

It has been noticed that self-referential, ambiguous definitional formulas are accompanied by complementary self-referential antinomy formulas, which gives rise to contradictions. This made it possible to re-examine ancient antinomies and Cantor’s Diagonal Argument (CDA), as well as the method of nested intervals, which is the basis for evaluating the existence of uncountable sets. Using Georg Cantor’s remark that every real number can be represented as an infinite digital expansion (usually decimal or binary), a simplified system for verifying the definitions of (...) real numbers, subsets, and strings was created - the Cantor Criterion, which allows faulty definitions to be pointed out. For the CDA, the connection of formulas defining objects (real numbers, subsets, strings) from outside the list with supplementary formulas was demonstrated - their indirect and indispensable nature testifies to the lack of unambiguity and gives rise to contradictions for Cantor’s antinomic formulas. Thus, Cantor’s theorem about the higher power of the set of all subsets, using the reductio ad absurdum proof, lost its power and it was indicated that it is necessary to correct the scheme of the Axiom of Specification, which was introduced precisely to exclude antinomies from set theory by excluding from the use of self-referential antinomies and ambiguous supplementary formulas coupled with them identified by the H hypothesis. The method of nested intervals was investigated and it was shown that every real number can be defined by the limit of nested intervals and a countable list of real numbers obtained from a countable pool of all Jules Richard’s texts. (shrink)

The previous Part I of the paper discusses the option of the Gödel incompleteness statement (1931: whether “Satz VI” or “Satz X”) to be an axiom due to the pair of the axiom of induction in arithmetic and the axiom of infinity in set theory after interpreting them as logical negations to each other. The present Part II considers the previous Gödel’s paper (1930) (and more precisely, the negation of “Satz VII”, or “the completeness theorem”) as a necessary condition (...) for granting the Gödel incompleteness statement to be a theorem just as the statement itself, to be an axiom. Then, the “completeness paper” can be interpreted as relevant to Hilbert mathematics, according to which mathematics and reality as well as arithmetic and set theory are rather entangled or complementary rather than mathematics to obey reality able only to create models of the latter. According to that, both papers (1930; 1931) can be seen as advocating Russell’s logicism or the intensional propositional logic versus both extensional arithmetic and set theory. Reconstructing history of philosophy, Aristotle’s logic and doctrine can be opposed to those of Plato or the pre-Socratic schools as establishing ontology or intensionality versus extensionality. Husserl’s phenomenology can be analogically realized including and particularly as philosophy of mathematics. One can identify propositional logic and set theory by virtue of Gödel’s completeness theorem (1930: “Satz VII”) and even both and arithmetic in the sense of the “compactness theorem” (1930: “Satz X”) therefore opposing the latter to the “incompleteness paper” (1931). An approach identifying homomorphically propositional logic and set theory as the same structure of Boolean algebra, and arithmetic as the “half” of it in a rigorous construction involving information and its unit of a bit. Propositional logic and set theory are correspondingly identified as the shared zero-order logic of the class of all first-order logics and the class at issue correspondingly. Then, quantum mechanics does not need any quantum logics, but only the relation of propositional logic, set theory, arithmetic, and information: rather a change of the attitude into more mathematical, philosophical, and speculative than physical, empirical and experimental. Hilbert’s epsilon calculus can be situated in the same framework of the relation of propositional logic and the class of all mathematical theories. The horizon of Part III investigating Hilbert mathematics (i.e. according to the Pythagorean viewpoint about the world as mathematical) versus Gödel mathematics (i.e. the usual understanding of mathematics as all mathematical models of the world external to it) is outlined. (shrink)

ABSTRACT Theories of sets such as Zermelo Fraenkel set theory are usually presented as the combination of two distinct kinds of principles: logical and set-theoretic principles. The set-theoretic principles are imposed ‘on top’ of first-order logic. This is in agreement with a traditional view of logic as universally applicable and topic neutral. Such a view of logic has been rejected by the intuitionists, on the ground that quantification over infinite domains requires the use of intuitionistic rather than classical logic. (...) In the following, I consider constructive set theories, which use intuitionistic rather than classical logic, and argue that they manifest a distinctive interdependence or an entanglement between sets and logic. In fact, Martin-Löf type theory identifies fundamental logical and set-theoretic notions. Remarkably, one of the motivations for this identification is the thought that classical quantification over infinite domains is problematic, while intuitionistic quantification is not. The approach to quantification adopted in Martin-Löf’s type theory is subtly interconnected with its predicativity. I conclude by recalling key aspects of an approach to predicativity inspired by Poincaré, which focuses on the issue of correct quantification over infinite domains and relate it back to Martin-Löf type theory. (shrink)

The goal of this paper is to see how mental and language representations are unique from a video-game perspective, using two main criteria. First, I will posit that the level of being both an interactive work of fiction and a self-involving interactive fiction belongs to a fuzzy interval and that some works – and, therefore, some video games – are more immersive than others. Second, I will observe how propositions tie the player’s representations of the real world and the game (...) world. Starting from psychological theories of pretense in children’s make-believe games, I will then expand Nichols and Stich’s cognitive theory of pretense to include an extra layer related to the game world, i.e., player-specific representations that govern player-specific propositions. The representations dealing with the work world are the socially shared ones, while the possible-world representations, dealing with most of the game world, are player-specific and tied to unique language use. (shrink)

This paper reveals errors within Norwich et al.’s Entropy Theory of Perception, errors that have broad implications for our understanding of perception. What Norwich and coauthors dubbed their “informational theory of neural coding” is based on cybernetics, that is, control and communication in man and machine. The Entropy Theory uses information theory to interpret human performance in absolute judgments. There, the continuum of the intensity of a sensory stimulus is cut into categories and the subject is (...) shown exemplar stimuli of each category. The subject must then identify individual exemplars by category. The identifications are recorded in the Garner-Hake version of the Shannon “confusion matrix”. The matrix yields “H”, the entropy (degree of uncertainty) about what stimulus was presented. Hypothetically, uncertainty drops as a stimulus lengthens, i.e. a plot of H vs. stimulus duration should fall monotonically. Such “adaptation” is known for both sensation and firing rate. Hence, because “the physiological adaptation curve has the same general shape as the psychophysical adaptation curve”, Norwich et al. assumed that both have the same time course; sensation and firing rate were thus both declared proportional to H. However, a closer look reveals insurmountable contradictions. First, the peripheral neuron hypothetically cannot fire in response to a stimulus of a given intensity until after somehow computing H from its responses to stimuli of various intensities. Thus no sensation occurs until firing rate adapts, i.e. attains its spontaneous rate. But hypothetically, once adaptation is complete, certainty is reached and perception ends. Altogether, then, perception cannot occur until perception is over. Secondly, sensations, firing rates, and H’s are empirically not synchronous, contrary to assumption. In sum, the core concept of the cybernetics-based Entropy Theory of Perception, that is, that uncertainty reduction is the basis for perception, is irrational. (shrink)

The predictive coding (PC) theory of attention identifies attention with the optimization of the precision weighting of prediction error. Here we provide some challenges for this identification. On the one hand, the precision weighting of prediction error is too broad a phenomenon to be identified with attention because such weighting plays a central role in multimodal integration. Cases of crossmodal illusions such as the rubber hand illusion and the McGurk effect involve the differential precision weighting of prediction error, (...) yet attention does not shift as one would predict. On the other hand, the precision weighting of prediction error is too narrow a phenomenon to be identified with attention, because it cannot accommodate the full range of attentional phenomena. We review criticisms that PC cannot account for volitional attention and affect-biased attention, and we propose that it may not be able to account for feature-based and intellectual attention. (shrink)

PLEASE NOTE: This is the corrected 2nd eBook edition, 2021. ●●●●● _Critique of Impure Reason_ has now also been published in a printed edition. To reduce the otherwise high price of this scholarly, technical book of nearly 900 pages and make it more widely available beyond university libraries to individual readers, the non-profit publisher and the author have agreed to issue the printed edition at cost. ●●●●● The printed edition was released on September 1, 2021 and is now available through (...) all booksellers, including Barnes & Noble, Amazon, and brick-and-mortar bookstores under ISBN 978-0-578-88646-6. ●●●●● In light of the length of this book, readers who would like to have a more detailed description of the book's objectives and method may find it helpful to read the detailed and clearly written Wikipedia entry about this work: From the Wikipedia search page, use the search phrase "Critique of Impure Reason". At least at the time of this writing (11/29/2021), the Wikipedia entry is well-researched and accurate. ●●●●● In addition, a "Primer on Bartlett's CRITIQUE OF IMPURE REASON" has been made available by the author. It is available under its title through PhilPapers and other philosophy online archives. ●●●●● COMMENDATIONS OF THIS WORK, from the back cover of the published edition: ●●●●● “I admire its range of philosophical vision.” – Nicholas Rescher, Distinguished University Professor of Philosophy, University of Pittsburgh, author of more than 100 books. ●●●●● “Bartlett’s _Critique of Impure Reason_ is an impressive, bold, and ambitious work. Careful scholarship is balanced by original analyses that lead the reader to recognize the limits of meaning, knowledge, and conceptual possibility. The work addresses a host of traditional philosophical problems, among them the nature of space, time, causality, consciousness, the self, other minds, ontology, free will and determinism, and others. The book culminates in a fascinating and profound new understanding of relativity physics and quantum theory.” – Gerhard Preyer, Professor of Philosophy, Goethe-University, Frankfurt am Main, Germany, author of many books including _Concepts of Meaning_, _Beyond Semantics and Pragmatics_, _Intention and Practical Thought_, and _Contextualism in Philosophy_. ●●●●● “[This work’s] goal is of a unique and difficult species: Dr. Bartlett seeks to develop a formal logical calculus on the basis of transcendental philosophical arguments; in fact, he hopes that this calculus will be the formal expression of the transcendental foundation of knowledge.... I consider Dr. Bartlett’s work soundly conceived and executed with great skill.” – C. F. von Weizsäcker, philosopher and physicist, former Director, Max-Planck-Institute, Starnberg, Germany. ●●●●● “Bartlett has written an American “Prolegomena to All Future Metaphysics.” He aims rigorously to eliminate meaningless assertions, reach bedrock, and place philosophy on a firm foundation that will enable it, like science and mathematics, to produce lasting results that generations to come can build on. This is a great book, the fruit of a lifetime of research and reflection, and it deserves serious attention.” — Martin X. Moleski, former Professor, Canisius College, Buffalo, NY, studies of scientific method, the presuppositions of thought, and the self-referential nature of epistemology. ●●●●● “Bartlett has written a book on what might be called the underpinnings of philosophy. It has fascinating depth and breadth, and is all the more striking due to its unifying perspective based on the concepts of reference and self-reference.” – Don Perlis, Professor of Computer Science, University of Maryland, author of numerous publications on self-adjusting autonomous systems and philosophical issues concerning self-reference, mind, and consciousness. ●●●●● ●●●●● The _Critique of Impure Reason: Horizons of Possibility and Meaning_ comprises a major and important contribution to philosophy. Thanks to the generosity of its publisher, this massive 885-page volume has been published as a free open access eBook (3.75MB) as well as an open access printed edition. It inaugurates a revolutionary paradigm shift in philosophical thought by providing compelling and long-sought-for solutions to a wide range of philosophical problems. In the process, the work fundamentally transforms the way in which the concepts of reference, meaning, and possibility are understood. The book includes a Foreword by the celebrated German philosopher and physicist Carl Friedrich von Weizsäcker. ●●●●● In Kant’s _Critique of Pure Reason_ we find an analysis of the preconditions of experience and of knowledge. In contrast, but yet in parallel, the new _Critique_ focuses upon the ways—unfortunately very widespread and often unselfconsciously habitual—in which many of the concepts that we employ _conflict_ with the very preconditions of meaning and of knowledge. ●●●●● This is a book about the boundaries of frameworks and about the unrecognized conceptual confusions in which we become entangled when we attempt to transgress beyond the limits of the possible and meaningful. We tend either not to recognize or not to accept that we all-too-often attempt to trespass beyond the boundaries of the frameworks that make knowledge possible and the world meaningful. ●●●●● The _Critique of Impure Reason_ proposes a bold, ground-breaking, and startling thesis: that a great many of the major philosophical problems of the past can be solved through the recognition of a viciously deceptive form of thinking to which philosophers as well as non-philosophers commonly fall victim. For the first time, the book advances and justifies the criticism that a substantial number of the questions that have occupied philosophers fall into the category of “impure reason,” violating the very conditions of their possible meaningfulness. ●●●●● The purpose of the study is twofold: first, to enable us to recognize the boundaries of what is referentially forbidden—the limits beyond which reference becomes meaningless—and second, to avoid falling victims to a certain broad class of conceptual confusions that lie at the heart of many major philosophical problems. As a consequence, the boundaries of _possible meaning_ are determined. ●●●●● Bartlett, the author or editor of more than 20 books, is responsible for identifying this widespread and delusion-inducing variety of error, _metalogical projection_. It is a previously unrecognized and insidious form of erroneous thinking that undermines its own possibility of meaning. It comes about as a result of the pervasive human compulsion to seek to transcend the limits of possible reference and meaning. ●●●●● Based on original research and rigorous analysis combined with extensive scholarship, the _Critique of Impure Reason_ develops a self-validating method that makes it possible to recognize, correct, and eliminate this major and pervasive form of fallacious thinking. In so doing, the book provides at last provable and constructive solutions to a wide range of major philosophical problems. ●●●●● CONTENTS AT A GLANCE ▪▪▪▪▪ Preface ▪▪▪▪▪ Foreword by Carl Friedrich von Weizsäcker ▪▪▪▪▪ Acknowledgments ▪▪▪▪▪ Avant-propos: A philosopher’s rallying call ▪▪▪▪▪ Introduction ▪▪▪▪▪ A note to the reader ▪▪▪▪▪ A note on conventions ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART I ▪▪▪▪▪ ▪▪▪▪▪ WHY PHILOSOPHY HAS MADE NO PROGRESS AND HOW IT CAN ▪▪▪▪▪ 1 Philosophical-psychological prelude ▪▪▪▪▪ 2 Putting belief in its place: Its psychology and a needed polemic ▪▪▪▪▪ 3 Turning away from the linguistic turn: From theory of reference to metalogic of reference ▪▪▪▪▪ 4 The stepladder to maximum theoretical generality ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART II ▪▪▪▪▪ THE METALOGIC OF REFERENCE ▪▪▪▪▪ A New Approach to Deductive, Transcendental Philosophy ▪▪▪▪▪ 5 Reference, identity, and identification ▪▪▪▪▪ 6 Self-referential argument and the metalogic of reference ▪▪▪▪▪ 7 Possibility theory ▪▪▪▪▪ 8 Presupposition logic, reference, and identification ▪▪▪▪▪ 9 Transcendental argumentation and the metalogic of reference ▪▪▪▪▪ 10 Framework relativity ▪▪▪▪▪ 11 The metalogic of meaning ▪▪▪▪▪ 12 The problem of putative meaning and the logic of meaninglessness ▪▪▪▪▪ 13 Projection ▪▪▪▪▪ 14 Horizons ▪▪▪▪▪ 15 De-projection ▪▪▪▪▪ 16 Self-validation ▪▪▪▪▪ 17 Rationality: Rules of admissibility ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART III ▪▪▪▪▪ PHILOSOPHICAL APPLICATIONS OF THE METALOGIC OF REFERENCE ▪▪▪▪▪ Major Problems and Questions of Philosophy and the Philosophy of Science ▪▪▪▪▪ 18 Ontology and the metalogic of reference ▪▪▪▪▪ 19 Discovery or invention in general problem-solving, mathematics, and physics ▪▪▪▪▪ 20 The conceptually unreachable: “The far side” ▪▪▪▪▪ 21 The projections of the external world, things-in-themselves, other minds, realism, and idealism ▪▪▪▪▪ 22 The projections of time, space, and space-time ▪▪▪▪▪ 23 The projections of causality, determinism, and free will ▪▪▪▪▪ 24 Projections of the self and of solipsism ▪▪▪▪▪ 25 Non-relational, agentless reference and referential fields ▪▪▪▪▪ 26 Relativity physics as seen through the lens of the metalogic of reference ▪▪▪▪▪ 27 Quantum theory as seen through the lens of the metalogic of reference ▪▪▪▪▪ 28 Epistemological lessons learned from and applicable to relativity physics and quantum theory ▪▪▪▪▪ ▪▪▪▪▪ PART IV ▪▪▪▪▪ HORIZONS ▪▪▪▪▪ 29 Beyond belief ▪▪▪▪▪ 30 _Critique of Impure Reason_: Its results in retrospect ▪▪▪▪▪ ▪▪▪▪▪ SUPPLEMENT ▪▪▪▪▪ The Formal Structure of the Metalogic of Reference ▪▪▪▪▪ APPENDIX I ▪▪▪▪▪ The Concept of Horizon in the Work of Other Philosophers ▪▪▪▪▪ APPENDIX II ▪▪▪▪▪ Epistemological Intelligence ▪▪▪▪▪ References ▪▪▪▪▪ Index ▪▪▪▪▪ About the author. (shrink)

This thesis examines the prospects for mechanical procedures that can identify true, complete, universal, first-order logical theories on the basis of a complete enumeration of true atomic sentences. A sense of identification is defined that is more general than those which are usually studied in the learning theoretic and inductive inference literature. Some identification algorithms based on confirmation relations familiar in the philosophy of science are presented. Each of these algorithms is shown to identify all purely universal theories (...) without function symbols. It is demonstrated that no procedure can solve this universal theory inference problem in the more usual senses of identification. The question of efficiency for theory inference systems is addressed, and some definitions of limiting complexity are examined. It is shown that several aspects of obvious strategies for solving the universal theory inference problem are NP-hard. Finally, some non-worst case heuristic search strategies are examined in light of these NP-completeness results. These strategies are based upon an isomorphism between clausal entailments of a certain class and partition lattices, and are applicable to the improvement of earlier work on language acquisition and logical inductive inference. (shrink)

This article explores a form of ethics and spirituality based on the nearly universal but often undeveloped human capacity for identifying self with others and with non-personal values. It begins with commonplace non-moral identification experiences, then describes identification with others in ethical and spiritual unions. Freud’s psychological emphasis on identification is linked with ethics and spirituality, though Freud would have objected. Robert S. Hartman’s three kinds of goodness—systemic, extrinsic, and intrinsic—are applied to abundant ethical and spiritual living (...) through identification. Intrinsic identification with intrinsic values is the highest moral ideal; intrinsic identification with ultimate reality and with goodness in all its forms is the highest spiritual ideal. (shrink)

In a previous Philo article, it was shown how properties could be ontologically dispensed with via a representational analysis: to be an X is to comprehensively represent all the properties of an X. The current paper extends that representationalist (RT) theory by explaining representation itself in parallel epistemic rather than ontological terms. On this extended RT (ERT) theory, representations of X, as well as the real X, both may be identified as providing information about X, whether partial or (...) comprehensive. But that information does not match ontological, property-based analyses of X, so it is epistemically fundamental–hence supporting a broadly conceptualist rather than nominalist metaphysics. (shrink)

The article deals with the problem of the divine light in the mystical works of St Symeon the New Theologian in the context of the Eastern Christian ascetical tradition. The author focuses on the passages referring to the divine light in the works of Evagrios Pontikos, St Isaac the Syrian, St Maximus the Confessor, and in the Makarian corpus. As is shown in the present contribution, none of these authors created a fully-developed theory of the vision of the divine (...) light. Being close to these writers in many ideas, St Symeon was generally independent of any of them in his treatment of the theme of vision of light, always basing himself primarily upon his own experience. (shrink)

This thesis explores the possibility of theoretically conceiving consciousness as an activity of the brain. Objections, based on the concept of qualia, to the identification of consciousness with a brain activity are refuted. Phenomenal consciousness is identified with access-consciousness. Consciousness is conceived as a higher order processing of informational states of the brain. The state of consciousness represents an integration of prior nonconscious states. Libet’s research on the timing of conscious experience is reviewed and analyzed. His hypothesis of backward (...) referral is rejected. Since specific brain activity (the readiness potential) precedes the conscious intention, the implications of this fact on the concepts of volition and free will are discussed. Non-deliberate voluntary acts are performed without a prior consciousness of the intention to perform them. Conversely, the decision to perform a deliberate act is influenced by consciousness of the intention. Free will is viewed as compatible with the causal determination of mental processes. The theory is successfully applied to the different contents of consciousness: consciousness of perceptions, of bodily sensations, of actions, of memories, of ideas, of thoughts, of language, of affective states, of beliefs, of desires, of oneself and consciousness of being conscious. The relation between the theory of consciousness and psychoanalysis is also explored. Psychoanalysis is seen as compatible with the proposed theory, which is able to enlighten some aspects of the process of becoming conscious in psychoanalytic treatment. The general approach is interdisciplinary : the theory must take into account constraints derived from philosophy, neurophysiology, psychology, neuropsychology, etc. Consciousness is conceived, not as a property of some mental states, but as a specific higher-order activity, based on lower-order nonconscious activities. (shrink)

This article develops a criticism of Alain Badiou’s assertion that “mathematics is ontology.” I argue that despite appearances to the contrary, Badiou’s case for bringing set theory and ontology together is problematic. To arrive at this judgment, I explore how a case for the identification of mathematics and ontology could work. In short, ontology would have to be characterised to make it evident that set theory can contribute to it fundamentally. This is indeed how Badiou proceeds in (...) Being and Event. I review his descriptions of the ontological problematic at some length here, only to argue that set theory is a poor fit. Although philosophers working on questions of being were certainly occupied with matters of oneness and the part-whole relationship, I argue that Badiou’s discussion of philosophical sources points towards a mereological treatment, not a set-theoretic one. Finally, I suggest that Badiou’s philosophical interpretations of key set-theoretic results are better understood as some sort of analogising between mathematics, ontology, and philosophical anthropology. (shrink)

Entanglement is one of the most striking features of quantum mechanics, and yet it is not specifically quantum. More specific to quantum mechanics is the connection between entanglement and thermodynamics, which leads to an identification between entropies and measures of pure state entanglement. Here we search for the roots of this connection, investigating the relation between entanglement and thermodynamics in the framework of general probabilistic theories. We first address the question whether an entangled state can be transformed into another (...) by means of local operations and classical communication. Under two operational requirements, we prove a general version of the Lo-Popescu theorem, which lies at the foundations of the theory of pure-state entanglement. We then consider a resource theory of purity where free operations are random reversible transformations, modelling the scenario where an agent has limited control over the dynamics of a closed system. Our key result is a duality between the resource theory of entanglement and the resource theory of purity, valid for every physical theory where all processes arise from pure states and reversible interactions at the fundamental level. As an application of the main result, we establish a one-to-one correspondence between entropies and measures of pure bipartite entanglement and exploit it to define entanglement measures in the general probabilistic framework. In addition, we show a duality between the task of information erasure and the task of entanglement generation, whereby the existence of entropy sinks (systems that can absorb arbitrary amounts of information) becomes equivalent to the existence of entanglement sources (correlated systems from which arbitrary amounts of entanglement can be extracted). (shrink)

I argue that despite it being said often that the concept of personal autonomy is important for grounding moral responsibility and in applied ethics, a certain type of theories of autonomy and identification, descended from the work of Harry Frankfurt starting 1971, are not relevant in an obvious way to either moral responsibility or applied ethics.

There is a tendency among scholars to identify Alfarabi’s political philosophy in general and his theory of the state in particular with that of Plato’s The Republic. Undoubtedly Alfarabi was well versed in the philosophy of Plato and was greatly influenced by it. He borrows the Platonic concept of the philosopher king and uses it in his theory of the state. However, we argue that the identification of Alfarabi’s virtuous city with that of Plato’s The Republic is (...) an inaccurate assessment as it involves overlooking Alfarabi’s unique religiopolitical context. Alfarabi was a Muslim political philosopher, and the present article intends to understand Alfarabi’s theory of the state in light of his historical context. The article shows that, viewed through the prism of Islamic religion and political history, Alfarabi’s virtuous city seems distinct from that of Plato’s The Republic. (shrink)

The classical theory of computation does not represent an adequate model of reality for simulation in the social sciences. The aim of this paper is to construct a methodological perspective that is able to conciliate the formal and empirical logic of program verification in computer science, with the interpretative and multiparadigmatic logic of the social sciences. We attempt to evaluate whether social simulation implies an additional perspective about the way one can understand the concepts of program and computation. We (...) demonstrate that the logic of social simulation implies at least two distinct types of program verifications that reflect an epistemological distinction in the kind of knowledge one can have about programs. Computer programs seem to possess a causal capability (Fetzer, 1999) and an intentional capability that scientific theories seem not to possess. This distinction is associated with two types of program verification, which we call empirical and intentional verification. We demonstrate, by this means, that computational phenomena are also intentional phenomena, and that such is particularly manifest in agent-based social simulation. Ascertaining the credibility of results in social simulation requires a focus on the identification of a new category of knowledge we can have about computer programs. This knowledge should be considered an outcome of an experimental exercise, albeit not empirical, acquired within a context of limited consensus. The perspective of intentional computation seems to be the only one possible to reflect the multiparadigmatic character of social science in terms of agent-based computational social science. We contribute, additionally, to the clarification of several questions that are found in the methodological perspectives of the discipline, such as the computational nature, the logic of program scalability, and the multiparadigmatic character of agent-based simulation in the social sciences. (shrink)

The natural evolution of consciousness in different animal species mandates that conscious experiences are causally potent in order to confer any advantage in the struggle for survival. Any endeavor to construct a physical theory of consciousness based on emergence within the framework of classical physics, however, leads to causally impotent conscious experiences in direct contradiction to evolutionary theory since epiphenomenal consciousness cannot evolve through natural selection. Here, we review recent theoretical advances in describing sentience and free will as (...) fundamental aspects of reality granted by quantum physical laws. Modern quantum information theory considers quantum states as a physical resource that endows quantum systems with the capacity to perform physical tasks that are classically impossible. Reductive identification of conscious experiences with the quantum information comprised in quantum brain states allows for causally potent consciousness that is capable of performing genuine choices for future courses of physical action. The consequent evolution of brain cortical networks contributes to increased computational power, memory capacity, and cognitive intelligence of the living organisms. (shrink)

In this paper, I present an informational approach to the nature of personal identity. In “Plato and the problem of the chariot”, I use Plato’s famous metaphor of the chariot to introduce a specific problem regarding the nature of the self as an informational multiagent system: what keeps the self together as a whole and coherent unity? In “Egology and its two branches” and “Egology as synchronic individualisation”, I outline two branches of the theory of the self: one concerning (...) the individualisation of the self as an entity, the other concerning the identification of such entity. I argue that both presuppose an informational approach, defend the view that the individualisation of the self is logically prior to its identification , and suggest that such individualisation can be provided in informational terms. Hence, in “A reconciling hypothesis: the three membranes model”, I offer an informational individualisation of the self, based on a tripartite model, which can help to solve the problem of the chariot. Once this model of the self is outlined, in “ICTs as technologies of the self” I use it to show how ICTs may be interpreted as technologies of the self. In “The logic of realisation”, I introduce the concept of “realization” (Aristotle’s anagnorisis ) and support the rather Spinozian view according to which, from the perspective of informational structural realism, selves are the final stage in the development of informational structures. The final “Conclusion: from the egology to the ecology of the self” briefly concludes the article with a reference to the purposeful shaping of the self, in a shift from egology to ecology. (shrink)

In 1948, Claude Shannon introduced his version of a concept that was core to Norbert Wiener's cybernetics, namely, information theory. Shannon's formalisms include a physical framework, namely a general communication system having six unique elements. Under this framework, Shannon information theory offers two particularly useful statistics, channel capacity and information transmitted. Remarkably, hundreds of neuroscience laboratories subsequently reported such numbers. But how (and why) did neuroscientists adapt a communications-engineering framework? Surprisingly, the literature offers no clear answers. To therefore (...) first answer "how", 115 authoritative peer-reviewed papers, proceedings, books and book chapters were scrutinized for neuroscientists' characterizations of the elements of Shannon's general communication system. Evidently, many neuroscientists attempted no identification of the system's elements. Others identified only a few of Shannon's system's elements. Indeed, the available neuroscience interpretations show a stunning incoherence, both within and across studies. The interpretational gamut implies hundreds, perhaps thousands, of different possible neuronal versions of Shannon's general communication system. The obvious lack of a definitive, credible interpretation makes neuroscience calculations of channel capacity and information transmitted meaningless. To now answer why Shannon's system was ever adapted for neuroscience, three common features of the neuroscience literature were examined: ignorance of the role of the observer, the presumption of "decoding" of neuronal voltage-spike trains, and the pursuit of ingrained analogies such as information, computation, and machine. Each of these factors facilitated a plethora of interpretations of Shannon's system elements. Finally, let us not ignore the impact of these "informational misadventures" on society at large. It is the same impact as scientific fraud. (shrink)

The paper considers the symmetries of a bit of information corresponding to one, two or three qubits of quantum information and identifiable as the three basic symmetries of the Standard model, U(1), SU(2), and SU(3) accordingly. They refer to “empty qubits” (or the free variable of quantum information), i.e. those in which no point is chosen (recorded). The choice of a certain point violates those symmetries. It can be represented furthermore as the choice of a privileged reference frame (e.g. that (...) of the Big Bang), which can be described exhaustively by means of 16 numbers (4 for position, 4 for velocity, and 8 for acceleration) independently of time, but in space-time continuum, and still one, 17th number is necessary for the mass of rest of the observer in it. The same 17 numbers describing exhaustively a privileged reference frame thus granted to be “zero”, respectively a certain violation of all the three symmetries of the Standard model or the “record” in a qubit in general, can be represented as 17 elementary wave functions (or classes of wave functions) after the bijection of natural and transfinite natural (ordinal) numbers in Hilbert arithmetic and further identified as those corresponding to the 17 elementary of particles of the Standard model. Two generalizations of the relevant concepts of general relativity are introduced: (1) “discrete reference frame” to the class of all arbitrarily accelerated reference frame constituting a smooth manifold; (2) a still more general principle of relativity to the general principle of relativity, and meaning the conservation of quantum information as to all discrete reference frames as to the smooth manifold of all reference frames of general relativity. Then, the bijective transition from an accelerated reference frame to the 17 elementary wave functions of the Standard model can be interpreted by the still more general principle of relativity as the equivalent redescription of a privileged reference frame: smooth into a discrete one. The conservation of quantum information related to the generalization of the concept of reference frame can be interpreted as restoring the concept of the ether, an absolutely immovable medium and reference frame in Newtonian mechanics, to which the relative motion can be interpreted as an absolute one, or logically: the relations, as properties. The new ether is to consist of qubits (or quantum information). One can track the conceptual pathway of the “ether” from Newtonian mechanics via special relativity, via general relativity, via quantum mechanics to the theory of quantum information (or “quantum mechanics and information”). The identification of entanglement and gravity can be considered also as a ‘byproduct” implied by the transition from the smooth “ether of special and general relativity’ to the “flat” ether of quantum mechanics and information. The qubit ether is out of the “temporal screen” in general and is depicted on it as both matter and energy, both dark and visible. (shrink)

Information flow in a system is a core cybernetics concept. It has been used frequently in Sensory Psychology since 1951. There, Shannon Information Theory was used to calculate "information transmitted" in "absolute identification" experiments involving human subjects. Originally, in Shannon's "system", any symbol received ("outcome") is among the symbols sent ("events"). Not all symbols are received as transmitted, hence an indirect noise measure is calculated, "information transmitted", which requires knowing the confusion matrix, its columns labeled by "event" and (...) its rows labeled by "outcome". Each matrix entry is dependent upon the frequency with which a particular outcome corresponds to a particular event. However, for the sensory psychologist, stimulus intensities are "events"; the experimenter partitions the intensity continuum into ranges called "stimulus categories" and "response categories", such that each confusion-matrix entry represents the frequency with which a stimulus from a stimulus category falls within a particular response category. Of course, a stimulus evokes a sensation, and the subject's immediate memory of it is compared to the memories of sensations learned during practice, to make a categorization. Categorizing thus introduces "false noise", which is only removed if categorizations can be converted back to their hypothetical evoking stimuli. But sensations and categorizations are both statistically distributed, and the stimulus that corresponds to a given mean categorization cannot be known from only the latter; the relation of intensity to mean sensation, and of mean sensation to mean categorization, are needed. Neither, however, are presently knowable. This is a quandary, which arose because sensory psychologists ignored an ubiquitous component of Shannon's "system", the uninvolved observer, who calculates "information transmitted". Human sensory systems, however, are within de facto observers, making "false noise" inevitable. (shrink)

Visual phenomenology is highly elusive. One attempt to operationalize or to measure it is to use ‘cognitive accessibility’ to track its degrees. However, if Ned Block is right about the overflow phenomenon, then this way of operationalizing visual phenomenology is bound to fail. This thesis does not directly challenge Block’s view; rather it motivates a notion of cognitive accessibility different from Block’s one, and argues that given this notion, degrees of visual phenomenology can be tracked by degrees of cognitive accessibility. (...) Block points out that in the psychology literature, ‘cognitive accessibility’ is often regarded as either all or nothing. However, the notion motivated in the thesis captures the important fact that accessibility comes in degrees (consider the visual field from fovea the periphery). Different legitimate notions of accessibility might be adopted for different purposes. The notion of accessibility motivated here is weaker than Block’s ‘identification’ (2007) but is stronger than Tye’s ‘demonstration’ (2007). The moral drawn from the discussion of Block can be applied to the debate between Dretske and Tye on the speckled-hen style examples. Dretske’s view is even stronger than Block’s, but his arguments from various figures he provides do not support his conclusion since he does not have right ideas about fixation and attention. Tye’s picture is more plausible but his notion of accessibility is so weak that he reaches the excessive conclusion that accessibility overflows phenomenology. Three ramifications might be considered in the final part of the thesis. The first is the relation between this debate and the one concerning higher-order/same-order theories of consciousness. The second is about John McDowell’s early proposal about demonstrative concepts in visual experiences. The third is the relation between the interpretation of the Sperling case proposed here and McDowell new view of experiential contents, i.e., his story about how we carve out conceptual contents out of intuitional contents without falling pray to the Myth of the Given. (shrink)

This paper applies homotopy type theory to formal semantics of natural languages and proposes a new model for the linguistic phenomenon of copredication. Copredication refers to sentences where two predicates which assume different requirements for their arguments are asserted for one single entity, e.g., "the lunch was delicious but took forever". This paper is particularly concerned with copredication sentences with quantification, i.e., cases where the two predicates impose distinct criteria of quantification and individuation, e.g., "Fred picked up and mastered (...) three books." In our solution developed in homotopy type theory and using the rule of existential closure following Heim analysis of indefinites, common nouns are modeled as identifications of their aspects using HoTT identity types, e.g., the common noun book is modeled as identifications of its physical and informational aspects. The previous treatments of copredication in systems of semantics which are based on simple type theory and dependent type theories make the correct predictions but at the expense of ad hoc extensions (e.g., partial functions, dot types and coercive subtyping). The model proposed here, also predicts the correct results but using a conceptually simpler foundation and no ad hoc extensions. (shrink)

Purpose – A key cybernetics concept, information transmitted in a system, was quantified by Shannon. It quickly gained prominence, inspiring a version by Harvard psychologists Garner and Hake for “absolute identification” experiments. There, human subjects “categorize” sensory stimuli, affording “information transmitted” in perception. The Garner-Hake formulation has been in continuous use for 62 years, exerting enormous influence. But some experienced theorists and reviewers have criticized it as uninformative. They could not explain why, and were ignored. Here, the “why” is (...) answered. The paper aims to discuss these issues. Design/methodology/approach – A key Shannon data-organizing tool is the confusion matrix. Its columns and rows are, respectively, labeled by “symbol sent” (event) and “symbol received” (outcome), such that matrix entries represent how often outcomes actually corresponded to events. Garner and Hake made their own version of the matrix, which deserves scrutiny, and is minutely examined here. Findings – The Garner-Hake confusion-matrix columns represent “stimulus categories”, ranges of some physical stimulus attribute (usually intensity), and its rows represent “response categories” of the subject’s identification of the attribute. The matrix entries thus show how often an identification empirically corresponds to an intensity, such that “outcomes” and “events” differ in kind (unlike Shannon’s). Obtaining a true “information transmitted” therefore requires stimulus categorizations to be converted to hypothetical evoking stimuli, achievable (in principle) by relating categorization to sensation to intensity. But those relations are actually unknown, perhaps unknowable. Originality/value – The author achieves an important understanding: why “absolute identification” experiments do not illuminate sensory processes. (shrink)

In this article, I link Lisa Feldman Barrett's theory of constructed emotion1 to decolonial perspectives that also challenge this universality of affect in cross-cultural facial expressions. After first outlining some of the present-day political stakes of these questions, I turn to Sylvia Wynter on the "ethnoclass of Man" in Western modernity, where she asks: how were concepts of not only being, truth, power, and freedom but also affect—the intelligibility of one's feelings toward others—framed by histories of colonial violence and (...) refusals of imaginative identification?2 Wynter argues that the overrepresentation of the Western ethnoclass results in the naturalization of a limited and contingent mode of being as... (shrink)

This paper further elucidates our understanding of social identities. Some theorists have argued that we identify with our social statuses when we self-consciously adopt them as our own. This paper argues against this view and instead suggests that we identify with our social statuses when we care about them. Moreover, it theorizes care as a kind of emotional attunement to our social statuses that sometimes operates below the surface of self-reflective awareness.

A classification of the global catastrophic risks of AI is presented, along with a comprehensive list of previously identified risks. This classification allows the identification of several new risks. We show that at each level of AI’s intelligence power, separate types of possible catastrophes dominate. Our classification demonstrates that the field of AI risks is diverse, and includes many scenarios beyond the commonly discussed cases of a paperclip maximizer or robot-caused unemployment. Global catastrophic failure could happen at various levels (...) of AI development, namely, before it starts self-improvement, during its takeoff, when it uses various instruments to escape its initial confinement, or after it successfully takes over the world and starts to implement its goal system, which could be plainly unaligned, or feature-flawed friendliness. AI could also halt at later stages of its development either due to technical glitches or ontological problems. Overall, we identified around several dozen scenarios of AI-driven global catastrophe. The extent of this list illustrates that there is no one simple solution to the problem of AI safety, and that AI safety theory is complex and must be customized for each AI development level. (shrink)

A dominant strand of philosophical thought holds that natural kinds are clusters of objects with shared properties. Cluster theories of natural kinds are often taken to be a late twentieth-century development, prompted by dissatisfaction with essentialism in philosophy of biology. I will argue here, however, that a cluster theory of kinds had actually been formulated by William Whewell (1794-1866) more than a century earlier. Cluster theories of kinds can be characterized in terms of three central commitments, all of which (...) are present in Whewell’s work on classification. Like contemporary cluster theorists, Whewell claims that kinds are united by similarity, that many kinds do not have essences, and that there are “gaps” between kinds. Moreover, Whewell advises taxonomists to look for consilience (roughly, convergence) between different classificatory schemes, a recommendation that reinforces the identification of natural classes with property clusters. Thus Whewell was not only an early cluster theorist, but one with important insights into what a cluster theory of kinds means for the practice of classification. (shrink)

The topic of a priori knowledge is approached through the theory of evidence. A shortcoming in traditional formulations of moderate rationalism and moderate empiricism is that they fail to explain why rational intuition and phenomenal experience count as basic sources of evidence. This explanatory gap is filled by modal reliabilism -- the theory that there is a qualified modal tie between basic sources of evidence and the truth. This tie to the truth is then explained by the (...) class='Hi'>theory of concept possession: this tie is a consequence of what, by definition, it is to possess (i.e., to understand) one’s concepts. A corollary of the overall account is that the a priori disciplines (logic, mathematics, philosophy) can be largely autonomous from the empirical sciences. (shrink)

In this paper, I explore a range of existent and possible ameliorative semantic theories of gender terms: invariantism, according to which gender terms are not context-sensitive, contextualism, according to which the meaning of gender terms is established in the context of use, and relativism, according to which the meaning of gender terms is established in the context of assessment. I show that none of these views is adequate with respect to the plight of trans people to use their term of (...) choice to self-identify and be referred to accordingly. I then consider an invariantist view based on self-identification and explore some of its challenges. (shrink)

This article contributes to the debate concerning the identification of politically relevant cases of corruption in a democracy by sketching the basic traits of an original liberal theory of institutional corruption. We define this form of corruption as a deviation with respect to the role entrusted to people occupying certain institutional positions, which are crucial for the implementation of public rules, for private gain. In order to illustrate the damages that corrupt behaviour makes to liberal democratic institutions, we (...) discuss the case of health care professionals’ abuse of their right to conscientious objection to abortion services. We show that the conscience clause can be instrumentally abused to sabotage democratically established public rules and thus exert undue private influence on their implementation. In this sense, from a liberal democratic perspective, institutional corruption is problematic because it is disruptive of such fundamental liberal ideals as the impartiality of public institutions and citizens’ political equality. (shrink)

This paper argues that the theory of structured propositions is not undermined by the Russell-Myhill paradox. I develop a theory of structured propositions in which the Russell-Myhill paradox doesn't arise: the theory does not involve ramification or compromises to the underlying logic, but rather rejects common assumptions, encoded in the notation of the $\lambda$-calculus, about what properties and relations can be built. I argue that the structuralist had independent reasons to reject these underlying assumptions. The theory (...) is given both a diagrammatic representation, and a logical representation in a novel language. In the latter half of the paper I turn to some technical questions concerning the treatment of quantification, and demonstrate various equivalences between the diagrammatic and logical representations, and a fragment of the $\lambda$-calculus. (shrink)

The elimination of ambiguity and redundancy are unquestioned goals in the exact sciences, and yet, as this paper shows, there are inescapable lower bounds that constrain our wish to eliminate them. The author discusses contributions by Richard Hamming (inventor of the Hamming code) and Satosi Watanabe (originator of the Theorems of the Ugly Duckling). Utilizing certain of their results, the author leads readers to recognize the unavoidable, central roles in effective communication, of redundancy, and of ambiguity of meaning, reference, and (...) identification. (shrink)

In the Remark to the final paragraph of the Chapter on “existence” (Dasein) in the Logic of the Encyclopedia of the Philosophical Sciences in Basic Outline (1830) Hegel states that the “ideality of the finite is the chief proposition of philosophy” and that “every true philosophy is for that reason idealism” (Enz § 95A). In turn, at the end of the Chapter on “existence” in the Science of Logic (1832) Hegel claims, further, that “every philosophy is essentially idealism or at (...) least has idealism for its principle, and the question then is only how far this principle is carried out” (GW 21.142). Along this line, Hegel conceives of absolute idealism not only as the result of the history of philosophy, but also as the philosophical system that reveals the essence of the philosophical systems before idealism, that is to say, as the philosophy that reveals, by developing it and formulating it adequately, what the precedent philosophies, mostly unknowingly, tried to develop and formulate, namely a general theory about reality based on the principle of the unity of being and thought. According to Hegel, every particular philosophy throughout history exposed in a successive, partial and complementary way the process of identification of being and thought; inasmuch as the system of absolute idealism assumes the latently idealist theses present in former philosophies, it makes those theses explicit and exposes the process of the identification of being and thought as its own internal development. Thus, absolute idealism is for Hegel the philosophy that exposes and shows what philosophy is actually about. The purpose of this essay is to render explicit the metaphilosophical implications of Hegel´s conception of absolute idealism as the “true philosophy” (wahre Philosophie, wahrhafte Philosophie). (shrink)

In “Harmful Choices, the Case of C, and Decision-Making Competence,” Pickering and colleagues advance an argument in favor of externalism, a view in which the competence of a decision maker is judged relative to factors external to their cognition. In advancing this argument, Pickering and colleagues focus on the external factor of harm: In their view, it is the harmfulness of a considered or chosen action that provides evidence against the competence of the decision maker. However, the proper identification (...) of harmful choices and outcomes remains a demanding task, largely because our understanding of what harm is remains deeply incomplete. Despite 50 years of tempestuous debate, the metaphysics of harm remains an unsettled question. The existence of such a debate does not, in and of itself, provide evidence against the externalist position; rather, it is the theories of harm themselves that pose meaningful challenges for the externalist. Our purpose, here, is to illuminate these challenges. (shrink)

It is agreed by most people that self-consciousness is the result of an evolutionary process, and that representations may have played an important role in that process. We would like to propose here that some evolutionary stages can highlight links existing between representations and the notion of self, opening a possible path to the nature of self-consciousness. Our starting point is to focus on representations as usage oriented items for the subject that carries them. These representations are about elements of (...) the environment including conspecifics, and can also represent parts of the subject without refering to a notion of self (we introduce the notion of "auto-representation" that does not carry the notion of self-representation). Next step uses the performance of intersubjectivity (mirror neurons level in evolution) where a subject has the capability to mentally simulate the observed action of a conspecific (Gallese 2001). We propose that this intersubjectivity allows the subject to identify his auto-representation with the representations of his conspecifics, and so to consider his auto-representation as existing in the environment. We show how this evolutionary stage can introduce a notion of self-representation for a subject, opening a road to self-conciousness and to self. This evolutionary approach to the self via self- representation is close to the current theory of the self linked to representations and simulations (Metzinger 2003). We use a scenario about how evolution has brought the performance of self-representation to self-consciousness. We develop a process describing how the anxiety increase resulting from identification with endangered or suffering conspecifics may have called for the development of tools to limit this anxiety (empathy, imitation, language), and how these tools have accelerated the evolutionary process through a positive feedback on intersubjectivity (Menant 2004, 2005). We finish by summarizing the points addressed, and propose some possible continuations. (shrink)

According to Millianism, the meaning of a name is exhausted by its referent. According to anti-realism about fictional entities, there are no such entities. If there are no fictional entities, how can we explain the apparent meaningfulness of fictional names? Our best theory of fiction, Walton’s theory of make-believe, makes the same assumptions but lacks the theoretical resources to answer the question. In this paper, I propose a pragmatic solution in terms of two main dimensions of meaning, a (...) subjective, psychological dimension and an intersubjective, public dimension. The psychological dimension builds on the notion of mental files; the public dimension builds on Stalnaker’s notion of common ground. The account is coherent with two main theoretical principles, parsimony and uniformity. Furthermore, it satisfies three explanatory conditions posed by the intentionality of our thought and discourse about fiction, object-directedness, counterfictional imagining and intersubjective identification. (shrink)

The article analyses the history of the Einfühlung concept. Theories of ‘feeling into’ Nature, works of art or feelings and behaviours of other persons by German philosophers of the second half of the nineteenth century Robert and Friedrich Vischer and Theodor Lipps are evoked, as well as similar theory of understanding (Verstehen) by Wilhelm Dilthey and Friedrich Schleiermacher, to which Dilthey refers. The meaning of the term Einfühlung within Edith Stein’s thought is also analysed. Both Einfühlung and Verstehen were (...) criticized as non-objective and naive methods consisting only in the identification of the subject with the object or the projection of feelings onto the object. The article refers to criticism by Georg Gadamer and Bertolt Brecht and proposes ways to restitute the concept of Einfühlung after this criticism, recalling the theory of empathy by Dominick Lacapra, in terms of its advantages for the historical enquiry, or the myth of Narcissus analyzed in the spirit of psychoanalysis by Julia Kristeva. The article proposes a reformulation of the concept of mimesis, connected to the Einfühlung, understood as the identification, analogy, imitation of feelings (as it was described by Lipss and Vischer). Mimesis does not necessarily mean a passive repetition and reconstruction of the feelings of the object, but serves only as a starting point for the interest of the subject for the outside world or for experiences of historical protagonists. Then there is no identification or projection of feelings, but the creative, active and critical reformulation of knowledge. It is stated that empathy is not a passive, uncritical process, but that it deals with the critical choice of the object of empathy and with an active approach to the perceived feelings and appearances. In addition to this cognitive aspect, empathy may also contribute to the analytical and valuable introspection. Furthermore empathy allows us to connect the analysis of the facts with a personal narrative and understanding of individual identity in historical knowledge. (shrink)

We develop a theory of necessity operators within a version of higher-order logic that is neutral about how fine-grained reality is. The theory is axiomatized in terms of the primitive of *being a necessity*, and we show how the central notions in the philosophy of modality can be recovered from it. Various questions are formulated and settled within the framework, including questions about the ordering of necessities under strength, the existence of broadest necessities satisfying various logical conditions, and (...) questions about their logical behaviour. We also wield the framework to probe the conditions under which a logicist account of necessities is possible, in which the theory is completely reducible to logic. (shrink)