The problem of value disagreement and contextualist, relativist and metalinguistic attempts of solving it are laid out. Although the metalinguistic account seems to be on the right track, it is argued that it does not sufficiently explain why and how disagreements about the meaning of evaluative terms are based on and can be decided by appeal to existing social practices. As a remedy, it is argued that original suggestions from Putnam's 'The Meaning of "Meaning"' ought to be taken seriously. The (...) resulting dual aspect theory of meaning can explain value disagreement in much the same way as it deals with disagreement about general terms. However, the account goes beyond Putnam's by not just defending a version of social externalism, but also defending the thesis that the truth conditional meaning of many evaluative terms is not fixed by experts either and instead constantly contested as part of a normal function of language. (shrink)

Corlett (2019) raises two groups of challenges against the two-factor theory of delusions: One focuses on weighing “the evidence for … the two-factor theory”; the other aims to question “the logic of the two-factor theory” (p. 166). McKay (2019) has robustly defended the two-factor theory against the first group. But the second group, which Corlett believes is in many aspects independent of the first group and Darby (2019, p. 180) takes as “[t]he most important challenge to (...) the two-factor theory raised by Dr. Corlett”, has by large remained. Here I offer my two cents in response to the second group. More specifically, I argue that Corlett’s challenges to the logic of the two-factor theory, concerning modularity, double dissociation and cognitive penetration, seem to be based on some misunderstandings of the two-factor theory. (shrink)

When examining the human being as a conscious being, we are still to arrive at an understanding of, firstly, the conditions required whereby physical processes give rise to consciousness and secondly, how consciousness is something fundamental to life as an intrinsic part of nature. Humans are complex organisms with myriad interacting systems whereby the convergence of the activities toward the support and development of the whole organism requires a high level of organisation. Though what accounts for the dynamic unity of (...) the human being? From an empirical perspective the question remains unanswered. The aim of this paper is to conceptually establish a fundamental biophysical organising principle to account for the unity and organisation of the human being. To this end I draw from David Bohm’s interpretation of quantum theory to provide an adapted and adjunct conceptual scheme in the form of a Triple-Aspect-Theory (TAT) of Being as a grounding ontology. David Bohm presented a holistic view of two interwoven orders of existence defined as the Explicate material world and the Implicate (quantum) enfolded world from which the former materialises. Consistent with David Bohm’s idea that matter at a fundamental level consists of a kind of protointelligence, the TAT facilitates a perspective based on aspect conditions of the human organism intended to furnish an explanation of the constitutive mechanism (TAT) inherent in the evolving human being. The TAT operates as an organising principle by which evolution inherently proceeds and maintains itself in an interactive relation between the Implicate and Explicate orders. The accumulated effect of natural selection is to produce adaptations, but without an organising principle: ‘Consciousness’, ‘Body-of-Experience’ and ‘Intellect-Reflective’ (the terms for the engaged coexistent aspects of being) it is argued could not occur. (shrink)

The aim of this article is to critically examine what I call Action-Centric Theories of Representation (ACToRs). I include in this category theories of representation that (1) reject construing representation in terms of a relation that holds between representation itself (the representational vehicle) and what is represented, and instead (2) try to bring the function that representations play for cognitive systems to the center stage. Roughly speaking, according to proponents of ACToRs, what makes a representation (that is, what is constitutive (...) of it being a representation) is its being functionally involved in preselecting or guiding the actions of cognitive systems. I intend to argue that while definitely valuable, ACToRs are underconstrained and thus not entirely satisfying, since there exist structures that would count as representations according to ACToRs, but which do not play functional roles that could be nontrivially or in an explanatorily valuable way classified as representing something for a cognitive system. I outline a remedy for this theoretical situation by postulating that a fully satisfying theory of representation in cognitive science should have two factors; i.e., it should combine the pragmatic, action-oriented aspect present in ACToRs with an element that emphasizes the importance of the relation holding between a representational vehicle and what is represented. (shrink)

This paper is about two requirements on wish reports whose interaction motivates a novel semantics for these ascriptions. The first requirement concerns the ambiguities that arise when determiner phrases, such as definite descriptions, interact with ‘wish’. More specifically, several theorists have recently argued that attitude ascriptions featuring counterfactual attitude verbs license interpretations on which the determiner phrase is interpreted relative to the subject’s beliefs. The second requirement involves the fact that desire reports in general require decision-theoretic notions for their analysis. (...) The current study is motivated by the fact that no existing account captures both of these aspects of wishing. I develop a semantics for wish reports that makes available belief-relative readings but also allows decision-theoretic notions to play a role in shaping the truth conditions of these ascriptions. The general idea is that we can analyze wishing in terms of a two-dimensional notion of expected utility. (shrink)

The homeostatic property cluster theory is widely influential for its ability to account for many natural-kind terms in the life sciences. However, the notion of homeostatic mechanism has never been fully explicated. In 2009, Carl Craver interpreted the notion in the sense articulated in discussions on mechanistic explanation and pointed out that the HPC account equipped with such notion invites interest-relativity. In this paper, we analyze two recent refinements on HPC: one that avoids any reference to the causes of (...) the clustering of properties and one that replaces homeostatic mechanisms with causal networks represented by causal graphs. We argue that the former is too slender to account for some inductive inference in science and the latter, thicker account invites interest-relativity, as the original HPC does. This suggests that human interest will be an un-eliminative part of a satisfactory account of natural kindness. We conclude by discussing the implication of interest-relativity to the naturalness, reality, or objectivity of kinds and indicating an overlooked aspect of natural kinds that requires further studies. (shrink)

I show that the mathematical description of opponent-colors theory is identical to the mathematical description of two-state quantum systems in a mixed state. Based on the dual-aspect theory of phenomenal consciousness, which suggests that one or more physical entities in our universe have phenomenal aspects that are dual to their physical aspects and therefore predicts an exact correspondence between a system’s phenomenal states and the objective states of its underlying physical substrate, I hypothesize that color sensations are (...) phenomenal dual aspects of two-state quantum systems in a mixed state. Since nothing in this hypothesis suggests that what brings about the phenomenal experience that is dual to two-state quantum systems is the two-dimensionality of these systems, it is natural to generalize this hypothesis and suggest that other types of phenomenal experience (e.g., taste, odor, sound) are phenomenal dual aspects of quantum systems of higher dimensionalities. Finally, I propose that the two-state quantum systems that give rise to color in the brain are two-state ion-channels. (shrink)

I show that the mathematical description of opponent-colors theory is identical to the mathematical description of two-state quantum systems in a mixed state. Following the principles of dual-aspect theory of phenomenal consciousness, which predicts an exact correspondence between a system’s phenomenal states and the objective states of its underlying physical substrate, I suggest that color sensations are phenomenal dual aspects of two-state quantum systems in a mixed state. Since nothing in this hypothesis suggests that what brings about (...) the phenomenal experience that is dual to two-state quantum systems is the two-dimensionality of these systems, it is natural to generalize this hypothesis and suggest that other types of phenomenal experience (e.g., taste, odor, sound) are phenomenal dual aspects of quantum systems of higher dimensionalities. Finally, I propose that the two-state quantum systems that give rise to color in the brain are two-state ion-channels. (shrink)

The simulation hypothesis has recently excited renewed interest, especially in the physics and philosophy communities. However, the hypothesis specifically concerns {computers} that simulate physical universes, which means that to properly investigate it we need to couple computer science theory with physics. Here I do this by exploiting the physical Church-Turing thesis. This allows me to introduce a preliminary investigation of some of the computer science theoretic aspects of the simulation hypothesis. In particular, building on Kleene's second recursion theorem, I (...) prove that it is mathematically possible for us to be in a simulation that is being run on a computer \textit{by us}. In such a case, there would be two identical instances of us; the question of which of those is ``really us'' is meaningless. I also show how Rice's theorem provides some interesting impossibility results concerning simulation and self-simulation; briefly describe the philosophical implications of fully homomorphic encryption for (self-)simulation; briefly investigate the graphical structure of universes simulating universes simulating universes, among other issues. I end by describing some of the possible avenues for future research that this preliminary investigation reveals. (shrink)

Evolutionary theory is a paradigmatic example of a well-supported scientific theory. In this chapter we consider a number of objections to evolutionary theory, and show how responding to these objections reveals aspects of the way in which scientific theories are supported by evidence. Teaching these objections can therefore serve two pedagogical aims: students can learn the right way to respond to some popular arguments against evolutionary theory, and they can learn some basic features of the structure (...) of scientific theories and evidence. (shrink)

Neither logical deduction nor empirical induction is capable of mediating the dispute between religious disciples and non-disciples. The case is particularly acute when it comes to the divine Reality (God). Within Wittgenstein’s theoretical framework, some scholars start from the perspective of language games, contending that this dispute is meaningless and should be abandoned, while others are not satisfied with such a settlement and extend Wittgenstein’s aspect theory to religious issues, arguing that God is an aspect. The extension (...) includes analogous and theoretical extensions. This article will show that even if these two extensions are successful, their interpretations with regard to the disputes between religious disciples and non-disciples are not convincing. Worse still, the extension from aspect theory to religious issues is by no means successful in proving that God is an aspect. (shrink)

This article presents some reflections on the concepts, terminology, and epistemological grounds of narrative theory. Our remarks are focused on the proposals advanced at the first RRN conference and they concern in particular two issues: the theoretical difference between classical and postclassical narratology and the paradigms of the contemporary debate. In the first part of the paper we focus on the definitional task of narrative theory; in the second part we describe the epistemology of and the theories built (...) on two opposite paradigms: the mimetic and the constructivist. Our conclusions highlight the continuity and the break points between contemporary theories, soliciting narratologists to answer to the many questions raised. (shrink)

Without directly addressing the Demarcation Problem for logic—the problem of distinguishing logical vocabulary from others—we focus on distinctive aspects of logical vocabulary in pursuit of a second goal in the philosophy of logic, namely, proposing criteria for the justification of logical rules. Our preferred approach has three components. Two of these are effectively Belnap’s, but with a twist. We agree with Belnap’s response to Prior’s challenge to inferentialist characterisations of the meanings of logical constants. Belnap argued that for a logical (...) constant to exist, its rules must be conservative over a previously given consequence relation and guarantee the uniqueness of the constant. The twist is that we require logical vocabulary to be provably conservative, not over a previously given formal consequence relation, but over a previously given meaningful vocabulary of a language. Uniqueness is also a feature defined in terms of provability: if two syntactically distinguished expressions are governed by the same rules, then formulas with them as main operators are interderivable. Belnap’s criteria are not only those for the existence of a logical constant, but more: they are what distinguishes logical vocabulary from all other expressions. It is the defining mark of a logical constant that it is provably conservative over the fragment of the language which excludes it and that its rules guarantee its uniqueness. The third component is the topic neutrality of logic. The provable conservativeness of logic over a previously given vocabulary of a language is motivated, in part, by appeal to molecularism in the theory of meaning. Molecularity is a feature endorsed by the theory of meaning as a whole, so it does not distinguish logical constants from other expressions. The same is true for conservativeness. We argue that molecularity, and hence conservativeness, are implicit presuppositions of speakers’ use of language: the addition of new vocabulary to a language is presupposed to be conservative. But this presupposition is one that we should be able reflectively to endorse (such as when attempting a rational reconstruction of the use of the vocabulary). Thus, where conservativeness is found to fail, this defect should be remedied and the use of the vocabulary corrected (as in classical negation) or excised altogether (as in pejoratives). We go on to characterise a notion of topic neutrality, which we argue applies to logical vocabulary. We then note that reflective endorsement of the conservativeness of a topic neutral vocabulary requires a proof that the vocabulary is conservative relative to any base vocabulary. Thus we require that logical vocabulary be demonstrably conservative. Allying this requirement, distinctive of logic, to a general consideration about the commitments of assertion yields a mode of justification for logical constants akin to some conceptions of Harmony, i.e., to the idea that the consequences of assertion of a logical complex need to be warranted by the grounds and ought to be the strongest consequences warranted by the grounds. Intuitionistic logic acquires a somewhat familiar justification but emanating from a new motivation. (shrink)

Causal structuralism is the view that, for each natural, non-mathematical, non-Cambridge property, there is a causal profile that exhausts its individual essence. On this view, having a property’s causal profile is both necessary and sufficient for being that property. It is generally contrasted with the Humean or quidditistic view of properties, which states that having a property’s causal profile is neither necessary nor sufficient for being that property, and with the double-aspect view, which states that causal profile is necessary (...) but not sufficient. Shoemaker’s (1998) and Hawthorne’s (2001) arguments in favor of causal structuralism primarily focus on problematic consequences of the other two views. I argue, however, that causation does not provide an appropriate framework within which to characterize all physical properties for two main reasons. First, there are physical properties that do not have causal profiles and properties whose causal profiles do not exhaust their essences. Second, there is no unified notion of causation across the sciences. After distinguishing between the causal and the nomological, I suggest that what is needed is a structuralist view of properties that is not merely causal but that incorporates a physical property’s higher-order mathematical and nomological properties into its identity conditions. Such a view retains the naturalistic motivations for causal structuralism while avoiding the problems it faces. (shrink)

The theory that all processes in the universe are computational is attractive in its promise to provide an understandable theory of everything. I want to suggest here that this pancomputationalism is not sufficiently clear on which problem it is trying to solve, and how. I propose two interpretations of pancomputationalism as a theory: I) the world is a computer and II) the world can be described as a computer. The first implies a thesis of supervenience of the (...) physical over computation and is thus reduced ad absurdum. The second is underdetermined by the world, and thus equally unsuccessful as theory. Finally, I suggest that pancomputationalism as metaphor can be useful. – At the Paderborn workshop in 2008, this paper was presented as a commentary to the relevant paper by Gordana Dodig-Crnkovic " Info-Computationalism and Philosophical Aspects of Research in Information Sciences". (shrink)

Is a social complex identical to many united people or is it a group entity in addition to the people? For specificity, I will assume that a social complex is a plural subject in Margaret Gilbert’s sense. By appeal to my theory of Aspects, according to which there can be qualitative difference without numerical difference, I give an answer that is a middle way between metaphysical individualism and metaphysical holism. This answer will enable answers to two additional metaphysical questions: (...) (i) how can two social complexes have all the same members and (ii) how can there be a social complex of social complexes? (shrink)

This paper concerns the role of the transcendental distinction between agents qua phenomena and qua noumena in Kant's theory of free will. It argues (1) that Kant's incompatibilism can be accommodated if one accepts the "ontological" interpretation of this distinction (i.e. the view that agents qua noumena are ontologically prior to agents qua phenomena), and (2) that Kant's incompatibilism cannot be accommodated by the "two-aspect" interpretation, whose defining feature is the rejection of the ontological priority of agents qua (...) noumena. The ontological interpretation allows Kant to be an incompatibilist because the ontological priority of agents qua noumena "ontologically undermines" the significance of phenomenal determinism for agents' free will. That is, since agents qua noumena are ontologically prior to agents qua phenomena, the fact that agents qua noumena are not subject to determinism is more fundamental than the fact that agents qua phenomena are subject to determinism, and it is the more fundamental fact that we should be concerned with in the metaphysical foundations of moral responsibility. Recent (independent) work by myself, Eric Watkins, and Robert Hanna is drawn on to demonstrate that the ontological interpretation can mount a better defense against some traditional objections than has often been thought. -/- According to the two-aspect interpretation, the transcendental distinction between agents qua noumena and qua phenomena is a semantic and epistemological distinction. Since it rejects the ontological priority of noumena, it has no way to assert that the non-determinism of agents qua noumena is more metaphysically fundamental than the determinism of agents qua phenomena. For the two-aspect interpretation, the truth of determinism must remain just as fundamental as the truth of any other characterization of agents. This means that, on the two-aspect interpretation, there is no better reason to call Kant an incompatibilist than there is to call him a compatibilist. Since Henry Allison has presented the most detailed two-aspect interpretation of the agential transcendental distinction, the arguments against the two-aspect distinction address his interpretation. Part of Allison's strategy is to argue that phenomenal determinism poses less of a problem for free will if we accept his accounts of the Second Analogy and empirical psychology. I point our problems in these accounts and argue that this strategy cannot be accepted. -/- . (shrink)

The problem addressed in this paper is “the main epistemic problem concerning science”, viz. “the explication of how we compare and evaluate theories [...] in the light of the available evidence” (van Fraassen, BC, 1983, Theory comparison and relevant Evidence. In J. Earman (Ed.), Testing scientific theories (pp. 27–42). Minneapolis: University of Minnesota Press). Sections 1– 3 contain the general plausibility-informativeness theory of theory assessment. In a nutshell, the message is (1) that there are two values a (...) theory should exhibit: truth and informativeness—measured respectively by a truth indicator and a strength indicator; (2) that these two values are conflicting in the sense that the former is a decreasing and the latter an increasing function of the logical strength of the theory to be assessed; and (3) that in assessing a given theory by the available data one should weigh between these two conflicting aspects in such a way that any surplus in informativeness succeeds, if the shortfall in plausibility is small enough. Particular accounts of this general theory arise by inserting particular strength indicators and truth indicators. In Section 4 the theory is spelt out for the Bayesian paradigm of subjective probabilities. It is then compared to incremental Bayesian confirmation theory. Section 4 closes by asking whether it is likely to be lovely. Section 5 discusses a few problems of confirmation theory in the light of the present approach. In particular, it is briefly indicated how the present account gives rise to a new analysis of Hempel’s conditions of adequacy for any relation of confirmation (Hempel, CG, 1945, Studies in the logic of comfirmation. Mind, 54, 1–26, 97–121.), differing from the one Carnap gave in § 87 of his Logical foundations of probability (1962, Chicago: University of Chicago Press). Section 6 adresses the question of justification any theory of theory assessment has to face: why should one stick to theories given high assessment values rather than to any other theories? The answer given by the Bayesian version of the account presented in section 4 is that one should accept theories given high assessment values, because, in the medium run, theory assessment almost surely takes one to the most informative among all true theories when presented separating data. The concluding section 7 continues the comparison between the present account and incremental Bayesian confirmation theory. (shrink)

Following the phenomenology that is revealed by the emergent structure of consciousness, the path will lead to the acknowledgement of consciousness having a self-referential aspect. By following phenomenological clues, properties of self-reference will be revealed. The two most prominent properties of self-reference will be shown to be inclusion and transcendence that will be shown to be found everywhere in the phenomenology of consciousness. Also, self-reference will turn out to be unformalizable, this imposing limits on what a theory of (...) consciousness can ever achieve. The unformalizability of self-reference would be shown to be because self-reference: is itself, includes itself, and transcendes itself, all at the same time. Nevertheless, unformalizability will be shown to be an essential feature needed to bring essences into existence. (shrink)

This study presents and develops in detail (a new version of) the argumental conception of meaning. The two basic principles of the argumental conception of meaning are: i) To know (implicitly) the sense of a word is to know (implicitly) all the argumentation rules concerning that word; ii) To know the sense of a sentence is to know the syntactic structure of that sentence and to know the senses of the words occurring in it. The sense of a sentence is (...) called immediate argumental role of that sentence. According to the argumental conception of meaning a theory of meaning for a particular language yields a systematic specification of the understanding of every sentence of the language which consists in a specification of the immediate argumental role of the sentence. The immediate argumental role is a particular aspect of the use of a sentence in arguments. But it is not the whole use in arguments, nor is the whole use in arguments reducible to the immediate argumental role. That is why, by accepting the argumental conception of meaning, we can have epistemological holism without linguistic holism. The argumental conception distinguishes between the understanding and the correctness of a language. Such a distinction makes it possible to account for our understanding of paradoxical languages. Redundancy theory of truth, realistic conceptions of truth or epistemic conceptions of truth are all compatible with an argumental conception of sense. But here it is argued that an epistemic conception of truth is preferrable. Acceptance of the argumental conception of meaning and of an epistemic conception of truth leads to a rejection of the idea of analytic truth. The argumental conception is pluralistic with respect to the understandability of different logics, and neutral with respect to their correctness. (shrink)

Bringing together two aspects of Thomas Aquinas's thought that have been studied separately: his theory of God's concurrence and his theory of instrumental causality, I show how he uses the latter (which I discuss first) to clarify the Proclusian principle that the first cause has a greater influence on an effect than the proximate causes. Thanks to this theory, Aquinas accounts for the fact that it is God who confers existence to every new being that is produced (...) by natural processes, without however negating the agency of secondary, created causes. (shrink)

In order to explain delusional beliefs, one must first consider what factors should be included in a theory of delusion. Unlike a one-factor theory, a two-factor theory of delusion argues that not only anomalous experience (the first factor) but also an impairment of the belief-evaluation system (the second factor) is required. Recently, two-factor theorists have adopted various Bayesian approaches in order to give a more accurate description of delusion formation. By reviewing the progression from a one-factor (...) class='Hi'>theory to a two-factor theory, I argue that in light of the second factor’s requirements, different proposed impairments can be unified within a consistent belief-evaluation system. Under this interpretation of the second factor, I further argue that the role of a mechanism responsible for detecting bizarreness is wrongly neglected. I conclude that the second factor is a compound system which consists of differing functional parts, one of which functions to detect bizarreness in different stages of delusion; moreover, I hold that the impairment can be one or several of these functional parts. (shrink)

This paper starts by indicating the analysis of Hempel's conditions of adequacy for any relation of confirmation (Hempel, 1945) as presented in Huber (submitted). There I argue contra Carnap (1962, Section 87) that Hempel felt the need for two concepts of confirmation: one aiming at plausible theories and another aiming at informative theories. However, he also realized that these two concepts are conflicting, and he gave up the concept of confirmation aiming at informative theories. The main part of the paper (...) consists in working out the claim that one can have Hempel's cake and eat it too - in the sense that there is a logic of theory assessment that takes into account both of the two conflicting aspects of plausibility and informativeness. According to the semantics of this logic, a is an acceptable theory for evidence β if and only if a is both sufficiently plausible given β and sufficiently informative about β. This is spelt out in terms of ranking functions (Spohn, 1988) and shown to represent the syntactically specified notion of an assessment relation. The paper then compares these acceptability relations to explanatory and confirmatory consequence relations (Flach, 2000) as well as to nonmonotonic consequence relations (Kraus et al., 1990). It concludes by relating the plausibility-informativeness approach to Carnap's positive relevance account, thereby shedding new light on Carnap's analysis as well as solving another problem of confirmation theory. (shrink)

Set-theoretic and category-theoretic foundations represent different perspectives on mathematical subject matter. In particular, category-theoretic language focusses on properties that can be determined up to isomorphism within a category, whereas set theory admits of properties determined by the internal structure of the membership relation. Various objections have been raised against this aspect of set theory in the category-theoretic literature. In this article, we advocate a methodological pluralism concerning the two foundational languages, and provide a theory that fruitfully (...) interrelates a `structural' perspective to a set-theoretic one. We present a set-theoretic system that is able to talk about structures more naturally, and argue that it provides an important perspective on plausibly structural properties such as cardinality. We conclude the language of set theory can provide useful information about the notion of mathematical structure. (shrink)

Economies are complicated systems encompassing micro behaviors, interaction patterns, and global regularities. Whether partial or general in scope, studies of economic systems must consider how to handle difficult real-world aspects such as asymmetric information, imperfect competition, strategic interaction, collective learning, and the possibility of multiple equilibria. Recent advances in analytical and computational tools are permitting new approaches to the quantitative study of these aspects. One such approach is Agent-based Computational Economics (ACE), the computational study of economic processes modeled as dynamic (...) systems of interacting agents. This chapter explores the potential advantages and disadvantages of ACE for the study of economic systems. General points are concretely illustrated using an ACE model of a two-sector decentralized market economy. Six issues are highlighted: Constructive understanding of production, pricing, and trade processes; the essential primacy of survival; strategic rivalry and market power; behavioral uncertainty and learning; the role of conventions and organizations; and the complex interactions among structural attributes, institutional arrangements, and behavioral dispositions. (shrink)

South Korean high school students are being taught Einstein’s Special Theory of Relativity. In this article, I examine the portrayal of this theory in South Korean high school physics textbooks and discuss an alternative method used to solve the analyzed problems. This examination of how these South Korean textbooks present this theory has revealed two main flaws: First, the textbooks’ contents present historically fallacious backgrounds regarding the origin of this theory because of a blind dependence on (...) popular undergraduate textbooks, which ignore the revolutionary aspects of the theory in physics. And second, the current ingredients of teaching this theory are so simply enumerated and conceptually confused that students are not provided with good opportunities to develop critical capacities for evaluating scientific theories. Reviewing textbooks used in South Korea, I will, first, claim that the history of science contributes to understand not merely the origins but also two principles of this theory. Second, in addition to this claim, I argue that we should distinguish not only hypotheses from principles but also phenomena from theoretical consequences and evidence. Finally, I suggest an alternative way in which theory testing occurs in the process of evaluation among competitive theories on the basis of data, not in the simple relation between a hypothesis and evidence. (shrink)

In this paper, I argue that Kant has a far more communitarian theory of aesthetic life than is usually acknowledged. I focus on two aspects of Kant’s theory that might otherwise be taken to support an individualist reading, namely, Kant’s emphasis on aesthetic autonomy and his characterization of judgments of taste as involving demands for agreement. I argue that the full expression of autonomy in fact requires being a member of an aesthetic community and that within such a (...) community, judgments of taste are issued as invitations to others to engage their faculties towards the goal of shared aesthetic appreciation. (shrink)

According to a widespread view, Thomas Kuhn’s model of scientific development would relegate rationality to a second plane, openly flirting with irrationalist positions. The intent of this article is to clarify this aspect of his thinking and refute this common interpretation. I begin by analysing the nature of values in Kuhn’s model and how they are connected to rationality. For Kuhn, a theory is chosen rationally when: i) the evaluation is based on values characteristic of science; ii) a (...) theory is considered better the more it manifests these values; and iii) the scientist chooses the best-evaluated theory. The second part of this article deals with the thesis of the variability of values. According to Kuhn, the examples through which epistemic values are presented vary for each person, and for this reason individuals interpret these criteria differently. Consequently, two scientists, using the same values, can come to a rational disagreement over which theory to choose. Finally, I point out the limitations of this notion of rationality for the explanation of consensus formation, and the corresponding demand for a sociological theory that reconnects individual rationality with convergence of opinions. (shrink)

In recent years, critical discourse concerning the millenarian eschatology of the early Patristic era of Christianity has called into question the common notion that millenarian concepts have been utterly rejected as heretical by the Roman Catholic Church. No Ecumenical Council has ever rejected millenarian eschatology, and papal and juridical statements on the issue have been taken out of context. This essay brings forward, as testing agents, John Henry Newman’s first two notes in Development in order to determine whether Patristic millenarianism, (...) along with a more recently explored version called Eucharistic millenarianism, is a valid example of doctrinal development of an earlier type. Eucharistic millenarianism borrows many aspects from a primitive apostolic source and has been embraced by the Catholic hierarchy, raising the question of how millenarian aspects might legitimately inform contemporary theology. Newman’s theory of the development of doctrine, particularly as seen in his first two notes, is a valuable tool for reevaluating latent concepts that have been unfairly viewed as marginal or even heretical in mainline theological discourse. (shrink)

It is important for the theory of knowledge to understand the factors involved in the generation of the capacities of knowledge. In the history of modern philosophy, knowledge is generally held to originate in either one or two sources, and the debates about these sources between philosophers have concerned their existence, or legitimacy. Furthermore, some philosophers have advocated scepticism about the human capacity to understand the origins of knowledge altogether. However, the developmental aspects of knowledge have received relatively little (...) attention both by past philosophers and in current philosophical discussions. This dissertation provides a historical approach to this developmental problem of knowledge by interpreting the developmental theories of knowledge of Maine de Biran (1766–1824) and Henri Bergson (18591941) from the perspective of a theory of the ‘generative factors of knowledge.’ It first studies the philosophies of Maine de Biran and Bergson separately and then brings together and compares the metaphilosophical aims drawn from these philosophers. The dissertation’s novel analysis, provided by its theory and structure, has far-reaching consequences. From a wide point of view, it fills in considerable scholarly gaps and provides great opportunities for future research in the study of the history of philosophy. From more specific points of view, it provides its most decisive contributions in such metaphysical and epistemological topics as the nature of causality, self-generated activity, the role of effort in knowing and learning, the complementary relationship between philosophy and science, and the non-conceptual basis of knowledge. (shrink)

In this chapter we introduce concepts for analyzing proofs, and for analyzing undergraduate and beginning graduate mathematics students’ proving abilities. We discuss how coordination of these two analyses can be used to improve students’ ability to construct proofs. -/- For this purpose, we need a richer framework for keeping track of students’ progress than the everyday one used by mathematicians. We need to know more than that a particular student can, or cannot, prove theorems by induction or contradiction or can, (...) or cannot, prove certain theorems in beginning set theory or analysis. It is more useful to describe a student’s work in terms of a finer-grained framework that includes various smaller abilities that contribute to proving and that can be learned in differing ways and at differing periods of a student’s development. (shrink)

Serial Endosymbiosis Theory, or SET, was conceived and developed by Lynn Margulis, to explain the greatest discontinuity in the history of life, the origin of eukaryotic cells. Some predictions of SET, namely the origin of mitochondria and chloroplasts, withstood the test of the most recent evidence from a variety of disciplines including phylogenetics, biochemistry, and cell biology. Even though some other predictions fared less well, SET remains a seminal theory in biology. In this paper, I focus on two (...) aspects of SET. First, using the concept of "universal symbiogenesis”, developed by Freeman Dyson to search for commonalities in astronomy and biology, I propose that SET can be extended beyond eukaryogenesis. The extension refers to the possibility that even prokaryotic organisms, themselves subject to the process of symbiogenesis in SET, could have emerged symbiotically. Second, I contrast a recent “viral eukaryogenesis” hypothesis, according to which the nucleus evolved from a complex DNA virus, with a view closer to SET, according to which the nucleus evolved through the interplay of the archaeal host, the eubacterial symbiont, and a non-LTR transposon, or telomerase. Viruses joined in later, through the process of viral endogenization, to shape eukaryotic chromosomes in the process of karyotype evolution. These two proposals based on SET are a testament to its longevity as a scientific theory. (shrink)

The purpose of this article is to examine two important issues concerning the agency theory of causality: the charge of anthropomorphism and the relation of simultaneous causation. After a brief outline of the agency theory, sections 2–4 contain the refutation of the three main forms in which the charge of anthropomorphism is to be found in the literature. It will appear that it is necessary to distinguish between the subjective and the objective aspect of the concept of (...) causation. This will lead, in section 5, to contrast two kinds of anthropomorphism, one which has been rightly rejected by modern science and one which is fully compatible with the objective reality of the causal processes. Finally, section 6 will apply the preceding considerations to simultaneous causation. On the one hand, in a basic sense, there can be no simultaneous causal relations. On the other hand, simultaneous causation arises when we consider the natural change by abstracting from the agent and from her/his projects of interven.. (shrink)

The book "Theory of Forms: The Construction of Plato and Aristotle’s Criticism" focuses on two main aspects, construction and criticism. The constriction of Forms theory is the basis on which Plato built all of his philosophy and which influenced all forms of ideas philosophy that emerged after Plato. The research topic was completed by adding Aristotle's critique of the theory of Forms in order to put a clear picture in front of the reader, which was presented by (...) Plato himself and Aristotle's criticism of this theory. -/- Therefore, the book consists four chapters, the first chapter covers the following topics; The philosophical roots of Plato's theory of Forms, The numbers in the Pythagorean school, The Heraclitus' idea of change, Anaxagoras’ idea of Mind, Sophists. Chapter two, Plato's theory of Forms. Definitions of the Forms. The importance of the Forms, The existential and logical significance, Evidence of Forms, Evidence that knowledge is remembering. Chapter Three, Forms and Levels of Knowledge, Dialectic ,Inferential knowledge, Mental knowledge The fourth chapter, The nature of the Forms existence and its being Causes. Forms as numbers and their relationship to movement. The problem of Participation. The final Evaluation of Forms. (shrink)

By giving sympathy a central role, Adam Smith’s Theory of Moral Sentiments (1759) can be regarded as one of the ‘enlightened’ moral theories of the Enlightenment, insofar as it widened the scope of moral consideration beyond the traditionally restricted boundary of human beings. This, although the author himself does not seem to have been aware of this fact. In this paper, I want to focus on two aspects which I think lead to this conclusion. First, by making sentience the (...) requisite to be taken into moral consideration, nonhuman animals in Smith’s moral theory can count as moral patients towards whom we should exercise the virtue of beneficence (if not justice). Secondly, Smith’s idea of morality as working in concentric circles –generating more stringent duties towards those closer to us– could explain and perhaps also justify our caring for some nonhuman animals, especially pets. (shrink)

I argue here that the existence of hermeneutical injustice as a pervasive feature of our collective linguistic and conceptual resources undermines the originalist task at two levels: one procedural, one substantive. First, large portions of society were (and continue to be) systematically excluded from the process of meaning creation when the Constitution and its Amendments were adopted, so originalism relies on enforcement of a meaning that was generated through an undemocratic process. Second, the original meaning of some words in those (...) texts may be substantively objectionable as a result because they fail to capture the relevant experiences of affected people at the time even if they accurately capture the conceptual understanding of reasonable people at the time, and this substantive failing may infect the text’s democratic legitimacy. To the extent that it can be overcome, overcoming this epistemic problem will require originalists to take seriously the insights of critical theory, understood in this Note as a normative inquiry into the historical context of the language and meaning of statutory text. Because originalists are already committed to a nominally descriptive inquiry into this context, and because this nominally descriptive inquiry masks the inherently normative aspects of the hermeneutical landscape, the switch to an explicitly normative inquiry may prove quite painless. (shrink)

In his political treatise, Mabadi ara ahl al-madina al-fadhila, Abu Nasr Alfarabi, the medieval Muslim philosopher, proposes a theory of virtuous city which, according to prominent scholars, is modeled on Plato’s utopia of the Republic. No doubt that Alfarabi was well-versed in the philosophy of Plato and the basic framework of his theory of city is platonic. However, his theory of city is not an exact reproduction of the Republic’s theory and, despite glaring similarities, the two (...) theories do differ in many aspects. In both, Alfarabi’s Mabadi ara ahl al-madina al-fadhila and Plato’s Republic, the theory of virtuous city is accompanied by a theory of the soul. Since the theory of soul plays a foundational role in both theories of the virtuous city, the present article intends to provide an explanation for the differences between the two theories of the city in terms of the differences between the two theories of the soul. (shrink)

F.A. Hayek essentially quit economic theory and gave up the phenomena of industrial fluctuations as an explicit object of theoretical investigation following the publication of his last work in technical economics, 1941’s The Pure Theory of Capital. Nonetheless, several of Hayek’s more methodologically-oriented writings bear important implications for economic phenomena, especially those of industrial fluctuations. Decisions (usually, for Hayek, of a political nature) taken on the basis of a “pretence” of knowledge impede the operation of the price system’s (...) belief-coordinating function and thereby contribute to episodes of economic disequilibrium. Moreover, this later account – which I call Hayek’s epistemic theory of industrial fluctuations – implies certain aspects of his earlier theory. The two accounts are connected in virtue of the role that ignorance and the limits of human knowledge play in each. Indeed, it turns out that – substantively, if not methodologically – Hayek’s early theory of the cycle is a special case of the more general epistemic account. (shrink)

Williams puts forward and develops his theory of integrity on the basis of criticizing utilitarianism and Kantian ethics as too demanding to make enough room for personal projects. Instead, his integrity theory advocates that we should act out of commitments with which we deeply identify ourselves. In doing so, we express who we really are and make our life meaningful. If not so, our integrity would be violated and we may lose ourselves. Such a description of the self (...) in moral life is criticized as solipsism for that it makes the relationship between one’s projects and himself only be regulated by himself. This paper aims to point out that such criticism is inappropriate. To show the inaccuracy of the criticism, the author will analyze the relationship between the self and others in two aspects. The first aspect is about the structure of formation of desires and others, and the second one is about the action responsibility and others. After analysis, in the first aspect of desires, the self needs others to form and stabilize desires, beliefs and motivations to cooperate with others. Others help the self to sustain the sense of reality to prevent the self from forming wishful thinking. As to action, others’ need for response is an important element in ascribing the self’s action responsibility. The self acquires self-conception, self-cognition and self-identity through the interaction with others. Thus, others play an essential role in Williams’ theory of integrity. Although there are some flaws in Williams’ integrity theory, to reexamine his theory is conducive to our understanding of moral life. (shrink)

I analyze the importance of parts in the style of biological theorizing that I call compositional biology. I do this by investigating various aspects, including partitioning frames and explanatory accounts, of the theoretical perspectives that fall under and are guided by compositional biology. I ground this general examination in a comparative analysis of three different disciplines with their associated compositional theoretical perspectives: comparative morphology, functional morphology, and developmental biology. I glean data for this analysis from canonical textbooks and defend the (...) use of such texts for the philosophy of science. I end with a discussion of the importance of recognizing formal and compositional biology as two genuinely different ways of doing biology – the differences arising more from their distinct methodologies than from scientific discipline included or natural domain studied. Ultimately, developing a translation manual between the two styles would be desirable as they currently are, at times, in conflict. (shrink)

The recent call for a conceptual and intellectual decolonization in the humanities critiques the conventional, all-white, largely male philosophical canon. Its critique is directed at the centering of the experiences of this specific group in global knowledge transmission practices. Its proponents focus on the canon’s implicit claim, namely that only one social group is able to think thoroughly and accurately about all problems of philosophical significance across varying spatiotemporal contexts. In this short article, I will use two different debates to (...) make some aspects of this call more meaningful: the US-American discourse in academic philosophy on deracializing the knowing subject and the post-Holocaust German understanding of public intellectual spaces (sections 2 and 3 respectively). (shrink)

These days the two most popular approaches to belief ascription are Millianism and Contextualism. The former approach is inconsistent with the existence of ordinary Frege cases, such as Lois believing that Superman flies while failing to believe that Clark Kent flies. The Millian holds that the only truth-conditionally relevant aspect of a proper name is its referent or extension. Contextualism, as I will define it for the purposes of this essay, includes all theories according to which ascriptions of the (...) form ‘S believes that a is F’ and ‘S believes that b is F’, where ‘a’ and ‘b’ are coreferential proper names, may, depending on the context, differ in truth-value even though in those very contexts each ascription relates the same believer to the very same proposition. What the two theories have in common is the claim that names are Millian. What separates the two theories is what they say about belief contexts. In this essay I prove that Millianism is true, Contextualism is true, or our intuitions regarding belief ascriptions are hopelessly inaccurate. As a consequence, my argument is a proof that either names and many general terms are Millian or our intuitions regarding belief ascriptions are hopelessly inaccurate. (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 term ‘identity politics’ is used to refer to a wide range of political movements. In this paper, we look at the theoretical ideas underpinning two strongly, mutually opposed forms of identity politics, and identify some crucial differences between them. We critically compare the identitarian ideology of the New Right with feminist standpoint theory, focusing on two issues: relativism and essentialism. In carrying out this critical comparison we illuminate under-theorized aspects of both new right identitarianism and standpoint theory; (...) demonstrate how the two are distinct; reveal the depth and pervasiveness of the new right ideology’s flaws; and show what a coherent left-wing identity politics could look like. (shrink)

The obscure and punctuated history of symmetry is compared with the history of the celebrated and exalting notion of infinitesimal; some considerations about them are derived. A long list of odd and hidden events concerning symmetry in theoretical physics is offered. The last event is the discovery of the nature of the same word “symmetry” which pertains to non-classical logic, and it is linked to the principle of sufficient reason. A comparison of the roles played by the two mathematical techniques (...) within a classical physical theory is performed. It leads to recognize the different roles played by the two mathematical tools as a manifestation of an incommensurability phenomenon caused by two foundational dichotomies. (shrink)

The study of reference often leads to addressing fundamental issues in semantics, metaphysics and epistemology; this suggests that reference is closely linked to the three realms. The overall purpose of this study is to elucidate the structure of some of these links, through a close examination of the “mechanism” of reference. As in many other enquiries, considering the possible (i.e., the modal,) in addition to the actual proves very helpful in clarifying and explicating insights. The reference of a term with (...) respect to possible worlds is commonly called “intension”; so this is a study of intensions. The main contribution of the study is an outline for a “calculator” of intensions. It is argued that the intension of a term is a function of three variables: (a) the way in which the term “picks out” its referent in different possible worlds (semantics); (b) criteria of identity (metaphysics); and (c) the actual state of affairs (actuality). While considering different possible values for these variables, it is demonstrated how the variables combine to generate the term’s intension. In other words, the result is a calculator that when provided with the required values, yields the reference of the term in different possible worlds. By taking into account the possible gap between what we take the values of these variables to be and what they may in fact be, we also gain important insights into the epistemic aspect of reference. In addition, since a rigid designator is a term with constant intension, the proposed thesis provides an elaborate account of rigidity. The first chapter is devoted to the development of the calculator of intensions. Each of the following three chapters elaborates on one aspect of intensions, namely, the semantic, metaphysical and epistemic aspects. In the course of these chapters, various familiar puzzles pertaining to the respective philosophical realms are addressed (many of these puzzles are discussed in Kripke’s Naming and Necessity – a work that considerably inspired this study). In the fifth and last chapter the analysis of intensions is applied to two case-studies from relatively recent philosophical literature: the Kripke-Lewis debate over the identity theory of mind, and the debate over the significance of Donnellan’s referential/attributive distinction. The novel accounts that these applications generate purport to illustrate the importance and originality of the proposed thesis. (shrink)

I explore the possibility of a structuralist interpretation of homotopy type theory (HoTT) as a foundation for mathematics. There are two main aspects to HoTT's structuralist credentials. First, it builds on categorical set theory (CST), of which the best-known variant is Lawvere's ETCS. I argue that CST has merit as a structuralist foundation, in that it ascribes only structural properties to typical mathematical objects. However, I also argue that this success depends on the adoption of a strict typing (...) system which undermines the metaphysical seriousness of this structuralism. Homotopy type theory adds to CST a distinctive theory of identity between sets, which arguably allows its objects to be seen as ante rem structures. I examine the prospects for such a view, and address many other interpretive problems as they arise. (shrink)

This paper formulates a Deweyan theory of performing arts practice that relies for its support on two main things: The unity Dewey ascribed to all intelligent practices (including artistic practice) and The observation that many aspects of the work of performing artists of Dewey’s time include features (“dramatic rehearsal,” action, interaction and habit development) that are part of Dewey’s characterization of the moral life. This does not deny the deep import that Dewey ascribed to aesthetic experience (both in art (...) and in life), but it does suggest that we might use his theory of ethical practice in conjunction with his theory of art as experience in order to create a more robust and unified Deweyan theory of what the performing artist does. (shrink)

After presenting Kripke’s criticism to Frege’s ideas on context dependence of thoughts, I present two recent attempts of considering cognitive aspects of context dependent expressions inside a truth conditional pragmatics or semantics: Recanati’s non-descriptive modes of presentation (MOPs) and Kaplan’s ways of having in mind (WHIMs). After analysing the two attempts and verifying which answers they should give to the problem discussed by Kripke, I suggest a possible interpretation of these attempts: to insert a procedural or algorithmic level in semantic (...) representations of indexicals. That a function may be computed by different procedures might suggest new possibilities of integrating contextual cognitive aspects in model theoretic semantic. (shrink)

Space-time intervals are the fundamental components of conscious experience, gravity, and a Theory of Everything. Space-time intervals are relationships that arise naturally between events. They have a general covariance (independence of coordinate systems, scale invariance), a physical constancy, that encompasses all frames of reference. There are three basic types of space-time intervals (light-like, time-like, space-like) which interact to create space-time and its properties. Human conscious experience is a four-dimensional space-time continuum created through the processing of space-time intervals by the (...) brain; space-time intervals are the source of conscious experience (observed physical reality). Human conscious experience is modeled by Einstein’s special theory of relativity, a theory designed specifically from the general covariance of space-time intervals (for inertial frames of reference). General relativity is our most accurate description of gravity. In general relativity, the general covariance of space-time intervals is extended to all frames of reference (inertial and non-inertial), including gravitational reference frames; space-time intervals are the source of gravity in general relativity. The general covariance of space-time intervals is further extended to quantum mechanics; space-time intervals are the source of quantum gravity. The general covariance of space-time intervals seamlessly merges general relativity with quantum field theory (the two grand theories of the universe). Space-time intervals consequently are the basis of a Theory of Everything (a single all-encompassing coherent theoretical framework of physics that fully explains and links together all physical aspects of the universe). This theoretical framework encompasses our observed physical reality (conscious experience) as well; space-time intervals link observed physical reality to actual physical reality. This provides an accurate and reliable match between observed physical reality and the physical universe by which we can carry on our activity. The Minkowski metric, which defines generally covariant space-time intervals, may be considered an axiom (premise, postulate) for the Theory of Everything. (shrink)