Is calculation possible without language? Or is the human ability for arithmetic dependent on the language faculty? To clarify the relation between language and arithmetic, we studied numerical cognition in speakers of Mundurukú, an Amazonian language with a very small lexicon of number words. Although the Mundurukú lack words for numbers beyond 5, they are able to compare and add large approximate numbers that are far beyond their naming range. However, they fail in exact arithmetic with numbers larger than 4 (...) or 5. Our results imply a distinction between a nonverbal system of number approximation and a language-based counting system for exact number and arithmetic. (shrink)

Humans possess two nonverbal systems capable of representing numbers, both limited in their representational power: the first one represents numbers in an approximate fashion, and the second one conveys information about small numbers only. Conception of exact large numbers has therefore been thought to arise from the manipulation of exact numerical symbols. Here, we focus on two fundamental properties of the exact numbers as prerequisites to the concept of EXACT NUMBERS : the fact that all numbers can be generated by (...) a successor function and the fact that equality between numbers can be defined in an exact fashion. We discuss some recent findings assessing how speakers of Munduruc (an Amazonian language), and young Western children (3-4 years old) understand these fundamental properties of numbers. (shrink)

Proof uses forcing on perfect trees for 2-quantifier sentences in the language of arithmetic. The result extends to exact pairs for the hyperarithmetic degrees.

An exact truthmaker for A is a state which, as well as guaranteeing A’s truth, is wholly relevant to it. States with parts irrelevant to whether A is true do not count as exact truthmakers for A. Giving semantics in this way produces a very unusual consequence relation, on which conjunctions do not entail their conjuncts. This feature makes the resulting logic highly unusual. In this paper, we set out formal semantics for exact truthmaking and characterise the resulting notion of (...) entailment, showing that it is compact and decidable. We then investigate the effect of various restrictions on the semantics. We also formulate a sequent-style proof system for exact entailment and give soundness and completeness results. (shrink)

The last two decades have seen a rising interest in (a) the notion of a scientific phenomenon as distinct from theories and data, and (b) the intricacies of experimentally producing and stabilizing phenomena. This paper develops an analysis of the stabilization of phenomena that integrates two aspects that have largely been treated separately in the literature: one concerns the skills required for empirical work; the other concerns the strategies by which claims about phenomena are validated. I argue that in order (...) to make sense of the process of stabilization, we need to distinguish between two types of phenomena: phenomena as patterns in the data ( surface regularities ) and phenomena as underlying (or hidden ) regularities. I show that the epistemic relationships that data bear to each of these types of phenomena are different: Data patterns are instantiated by individual data, whereas underlying regularities are indicated by individual data, insofar as they instantiate a data pattern. Drawing on an example from memory research, I argue that neither of these two kinds of phenomenon can be stabilized in isolation. I conclude that what is stabilized when phenomena are stabilized is the fit between surface regularities and hidden regularities. (shrink)

The Koch snowflake is one of the first fractals that were mathematically described. It is interesting because it has an infinite perimeter in the limit but its limit area is finite. In this paper, a recently proposed computational methodology allowing one to execute numerical computations with infinities and infinitesimals is applied to study the Koch snowflake at infinity. Numerical computations with actual infinite and infinitesimal numbers can be executed on the Infinity Computer being a new supercomputer patented in USA and (...) EU. It is revealed in the paper that at infinity the snowflake is not unique, i.e., different snowflakes can be distinguished for different infinite numbers of steps executed during the process of their generation. It is then shown that for any given infinite number n of steps it becomes possible to calculate the exact infinite number, Nn, of sides of the snowflake, the exact infinitesimal length, Ln, of each side and the exact infinite perimeter, Pn, of the Koch snowflake as the result of multiplication of the infinite Nn by the infinitesimal Ln. It is established that for different infinite n and k the infinite perimeters Pn and Pk are also different and the difference can be infinite. It is shown that the finite areas An and Ak of the snowflakes can be also calculated exactly (up to infinitesimals) for different infinite n and k and the difference An − Ak results to be infinitesimal. Finally, snowflakes constructed starting from different initial conditions are also studied and their quantitative characteristics at infinity are computed. (shrink)

Confucianism’s emphasis on filial piety is both a hallmark of its approach to ethics and a source of concern. Critics charge that filial piety’s extreme partialism corrupts Chinese society and should therefore be expunged from the tradition. Are the critics correct? In this article, we outline the criticism and note its persistence over the last century. We then evaluate data from the empirical study of corruption to see whether they support the claim that partialism corrupts. Finally, we report some recent (...) experimental work done with colleagues testing the claim that filial piety is associated with tolerance of corruption in Chinese societies. The results suggest that the critics are on to something. However, partialism (or kin affection) is not a cause of concern. Instead, authoritarianism (another aspect of filial piety) is associated with tolerance of corruption. We conclude that critics should reformulate their criticisms if they seek to combat corruption effectively. (shrink)

Recently a number of variously motivated epistemologists have argued that knowledge is closely tied to practical matters. On the one hand, radical pragmatic encroachment is the view that facts about whether an agent has knowledge depend on practical factors and this is coupled to the view that there is an important connection between knowledge and action. On the other hand, one can argue for the less radical thesis only that there is an important connection between knowledge and practical reasoning. So, (...) defenders of both of these views endorse the view that knowledge is the norm of practical reasoning. This thesis has recently come under heavy fire and a number of weaker proposals have been defended. In this paper counter-examples to the knowledge norm of reasoning will be presented and it will be argued that this viewand a number of related but weaker viewscannot be sustained in the face of these counter-examples. The paper concludes with a novel proposal concerning the norm of practical reasoning that is immune to the counter-examples introduced here. (shrink)

The replication crisis has caused researchers to distinguish between exact replications, which duplicate all aspects of a study that could potentially affect the results, and direct replications, which duplicate only those aspects of the study that are thought to be theoretically essential to reproduce the original effect. The replication crisis has also prompted researchers to think more carefully about the possibility of making Type I errors when rejecting null hypotheses. In this context, the present article considers the utility of two (...) types of Type I error probability: the Neyman–Pearson long run Type I error rate and the Fisherian sample-specific Type I error probability. It is argued that the Neyman–Pearson Type I error rate is inapplicable in social science because it refers to a long run of exact replications, and social science deals with irreversible units that make exact replications impossible. Instead, the Fisherian sample-specific Type I error probability is recommended as a more meaningful way to conceptualize false positive results in social science because it can be applied to each sample-specific decision about rejecting the same substantive null hypothesis in a series of direct replications. It is concluded that the replication crisis may be partly due to researchers’ unrealistic expectations about replicability based on their consideration of the Neyman–Pearson Type I error rate across a long run of exact replications. (shrink)

There is a fundamental subsets–partitions duality that runs through the exact sciences. In more concrete terms, it is the duality between elements of a subset and the distinctions of a partition. In more abstract terms, it is the reverse-the-arrows of category theory that provides a major architectonic of mathematics. The paper first develops the duality between the Boolean logic of subsets and the logic of partitions. Then, probability theory and information theory (as based on logical entropy) are shown to start (...) with the quantitative versions of subsets and partitions. Some basic universal mapping properties in the category of Sets are developed that precede the abstract duality of category theory. But by far the main application is to the clarification and interpretation of quantum mechanics. Since classical mechanics illustrates the Boolean worldview of full distinctness, it is natural that quantum mechanics would be based on the indefiniteness of its characteristic superposition states, which is modeled at the set level by partitions (or equivalence relations). This approach to interpreting quantum mechanics is not a jury-rigged or ad hoc attempt at the interpretation of quantum mechanics but is a natural application of the fundamental duality running throughout the exact sciences. (shrink)

At Republic 435c-d and again at 504b-e, Plato has Socrates object to the city/soul analogy and declare that a “longer way” is necessary for gaining a more “exact grasp” of the soul. I argue that it is in the Philebus, in Socrates’ presentation of the “god-given” method of dialectic and in his distinctions of the kinds of pleasure and knowledge, that Plato offers the resources for reaching this alternative account. To show this, I explore (1) the limitations of the tripartition (...) of the soul that Socrates’ own objections in the Republic suggest, (2) the route of the “longer way” through the Eleatic dialogues to the Philebus, (3) the procedures that constitute the “god-given” method and the structure of the eidetic field it discloses, and (4) the resources that, considered in light of the method, Socrates’ distinctions of the kinds of pleasure and knowledge provide for the more “exact grasp” of the soul. (shrink)

This paper attempts to provide a clearer formulation of the paradox presented by Annette B. Weiner, in terms of a requirement to keep certain objects within a social group and also a requirement to exchange them with another social group.

This article, part of a special issue on 'Expressing Hatred', seeks to provide a comprehensive and fundamental account of why racial epithets and similar slurs are immoral, whenever they are. It considers three major theories, roughly according to which they are immoral because they are harmful (welfarism), because they undermine autonomy (Kantianism), or because they are unfriendly (an under-considered, relational approach informed by ideas from the Global South). This article presents new objections to the former two theories, and concludes in (...) favour of the latter rationale. Deeming slurs to be wrong insofar as they are unfriendly is shown to capture the advantages of the other theories, while avoiding their disadvantages. (shrink)

In this paper we re-assess the philosophical foundation of Exactly True Logic ($$\mathcal {ET\!L}$$ ET L ), a competing variant of First Degree Entailment ($$\mathcal {FDE}$$ FDE ). In order to do this, we first rebut an argument against it. As the argument appears in an interview with Nuel Belnap himself, one of the fathers of $$\mathcal {FDE}$$ FDE, we believe its provenance to be such that it needs to be taken seriously. We submit, however, that the argument ultimately fails, (...) and that $$\mathcal {ET\!L}$$ ET L cannot easily be dismissed. We then proceed to give an overview of the research that was inspired by this logic over the last decade, thus providing further motivation for the study of $$\mathcal {ET\!L}$$ ET L and, more generally, of $$\mathcal {FDE}$$ FDE -related logics that result from semantical analyses alternative to Belnap’s canonical one. We focus, in particular, on philosophical questions that these developments raise. (shrink)

Very often traditional approaches studying dynamics of self-similarity processes are not able to give their quantitative characteristics at infinity and, as a consequence, use limits to overcome this difficulty. For example, it is well know that the limit area of Sierpinski’s carpet and volume of Menger’s sponge are equal to zero. It is shown in this paper that recently introduced infinite and infinitesimal numbers allow us to use exact expressions instead of limits and to calculate exact infinitesimal values of areas (...) and volumes at various points at infinity even if the chosen moment of the observation is infinitely faraway on the time axis from the starting point. It is interesting that traditional results that can be obtained without the usage of infinite and infinitesimal numbers can be produced just as finite approximations of the new ones. (shrink)

In this paper I argue that there is a difficulty for Fine's exact semantics for counterfactuals. The difficulty undermines Fine's reasons for preferring exact semantics to possible worlds semantics.

The core of a Trinitarian model is the internal layout of intra-Trinitarian relations. Depending on different metaphysical interpretations of the nature of the relations, various patristic authors have produced different and oftentimes incompatible Trinitarian models, and, consequently, conflicting expositions of the doctrine of the Trinity. In order to elucidate the differences in their Trinitarian theologies, I demonstrate the divergence in their understanding of the divine relations using the contemporary philosophical taxonomy of relations. I analyze the models of Basil of Caesarea, (...) Gregory Nazianzen, and Boethius, and their attempted synthesis by Thomas Aquinas. Each of the patristic Trinitarian models, in spite of being fully orthodox, uses completely different types of relations, which makes them incompatible. One of the results of this incompatibility is the problem of the filioque, which cannot be resolved without addressing the metaphysics of relations. (shrink)

Abstract According to Aristotle, human beings are by nature political animals. It is now common knowledge that being political is not a human privilege for him: bees, wasps, ants and cranes are other political species. Although they are not the only political animals, human beings, for Aristotle, are still more political than the other political animals. The present article investigates the precise sense of this comparison; and it claims that the higher degree of human politicalness is not to be explained (...) by reference to those exclusively human features like having capacity for speech and moral perception. It is claimed that human beings are more political rather because they live in a multiplicity of communities differing in form. -/- . (shrink)

We show how an epistemology informed by cognitive science promises to shed light on an ancient problem in the philosophy of mathematics: the problem of exactness. The problem of exactness arises because geometrical knowledge is thought to concern perfect geometrical forms, whereas the embodiment of such forms in the natural world may be imperfect. There thus arises an apparent mismatch between mathematical concepts and physical reality. We propose that the problem can be solved by emphasizing the ways in (...) which the brain can transform and organize its perceptual intake. It is not necessary for a geometrical form to be perfectly instantiated in order for perception of such a form to be the basis of a geometrical concept. (shrink)

This article scrutinizes Michael Crichton’s movie Westworld (1973), its sequel Futureworld (1976), and the spin-off series Beyond Westworld (1980), as well as the critical literature that deals with them. I examine whether Crichton’s movie, its sequel, and the 1980s series contain and convey a consistent technophobic message according to the definition of “technophobia” advanced in Daniel Dinello’s 2005 monograph. I advance a proposal to develop further the concept of technophobia in order to offer a more satisfactory and unified interpretation of (...) the narratives at stake. I connect technophobia and what I call de-theologized, epistemic hubris: the conclusion is that fearing technology is philosophically meaningful if one realizes that the limitations of technology are the consequence of its creation and usage on behalf of epistemically limited humanity (or artificial minds). (shrink)

In the latter half of the 19th century, economic thought in the Germanspeaking world was dominated, both intellectually and academically, by the so-called historical school, from Wilhelm Roscher to Gustav Schmoller and others. In 1871, the Austrian Carl Menger published his Grun&tze der Volkswirtschaftslehre (Menger, 1976 (1871)), customarily referred to as one of the three simultaneous discoveries of marginalist economics-the other two marginalist ‘revolutionaries’ being Jevons in England and Walras in France. Twelve years later, in 1883, Menger published a major (...) methodological treatise entitled Untersuchungen iiber die Methode der Socialwissenschaften und der Politischen Oekonomie insbesondere (Menger, 1963 (1883)). This book included criticisms of some of the historicist principles of doing economics. In the same year, Schmoller, leader of the German historicists, wrote a critical review of Menger’s book (Schmoller, 1883). Menger reacted forcefully with a more straightforwardly polemical small book, Die Irrthiimer des Historismus in der deutschen National6konomie (Menger, 1884). Commentaries by others appeared in later years, but this brief episode amounted to what has thereafter been called the Methodenstreit between Menger and Schmoller. It has been established as perhaps the most famous methodological controversy in the history of the social sciences. (shrink)

This is a metaphysical and conceptual analysis of the concepts ‘change’ and ‘continuity’. The Buddhists are in agreement with Heraclitus that all are flowing and nothing remains. However, the Buddhists have a much more elaborate theory about change and continuity, and this theory is a key element in the entire Buddhist system of related doctrines, viz., that of karma and rebirth, the possibility of Liberation and others. Simply put, the Buddhist emphasizes that change is there in every aspect of reality. (...) According to a later developed form of the Buddhist teaching, change is absolutely pervasive, and even these particles are subject to change as they are nothing more than putative objects which are conceptualized to be such and such, and without the conceptualization they are ‘nothing’ at all.. Hence it seems that continuity is not possible. But in fact according to the later theory, change is not only possible, it is accepted as part and parcel of everyday life. The fact that nothing at all remains the same does not imply that continuity is not possible, since continuity does not always have to be that of an inherently existing object. A changing object can be continued also, in roughly the same sense as we say that an event, like a drama, continues even though everything in it is changing. The thread that ties the disparate elements of the event together in this case lies within our own conceptual imputation. This does not imply that everything is subjective, since the distinction between subject and object presupposes the idea of an absolutely existing individual self, which all Buddhist schools rejects. So in this later theory, absolute change is not possible because there is, ultimately speaking nothing to change, and when there is no change there is no continuation either. This is not to deny the empirical fact of changes and continuities that are present to us; things are there and they are indeed changing. What is being denied here is the belief that that there are essences to things which endure through all the changes. Since things are empty they can change, and continuity is only possible, not because there is something that exists and endures, but because there is change. A drama that does not move cannot be continued. The foregoing discussions of the Buddhist theories have many implications for the dialog between science and religion. One point is that science still seems to subscribe to the object/subject distinction. But if change and continuity are not real in the ultimate sense, then perhaps the distinction should be reconsidered. Another point concerns how to find continuity amidst all the change. But perhaps in some important sense continuity depends on us. (shrink)

This is a defense of Rawls against recent criticism, ironically my own, though it is also a critique insofar as it addresses a problem that Rawls never does. As a defense, it is not a retraction of the original charges. As a critique, it is not more of the same op-position. In either capacity, it is not an afterthought. The charges were conceived from the outset with a specific solution in mind, which would have been too distracting to pursue in (...) the same article. This is that solution. It also highlights the problem. The original charges were that Rawls’s decision procedure for ethics does not justify his own moral principles, namely his principles of justice, and that the underlying problem may well keep the decision procedure from justifying any moral principles whatsoever, or at least any normatively useful ones. The underlying problem was, and still is, the model’s inherent universalism, which is built into the decision procedure through design specifications precluding relativism, yet only at the cost of limiting the relevant moral principles to generalities that are already widely accepted, thereby render-ing the procedure at best redundant and very likely vacuous as an ethical justification model. These difficulties are manifested in the work of Rawls as the dogmatism of champi-oning a distinctive conception of justice, a liberal one as he himself calls it, through a justification model that is too universalistic to permit such a bias and possibly also too universalistic to permit any substantive conclusions at all. The solution contemplated here is to position the decision procedure as a dynamic justification model responsive to moral progress, as opposed to a static one indifferent to such progress and equally open to all moral input, thus removing the inconsistency between the universalistic design and any distinctive or controversial principles, including the ones Rawls himself recommends, so long as they are consistent with moral progress. (shrink)

John Rawls is famous for two things: his attempt to ground morality in rationality and his conception of justice as fairness. He has developed and polished both in conjunction over the course of half a century. Yet the moral principles he advocates have always been more doctrinaire than the corresponding justification model should have ever allowed with design details explicitly promising objectivity. This article goes to the beginning, or to a reasonable proxy for it, in the “Outline of a Decision (...) Procedure for Ethics,” with the aim of exposing and examining the discrepancy where it originates. The goal is not to prey on the earliest version of an initiative later undergoing revision but to identify and investigate the inception of a systematic bias that is retained rather than revised in subsequent iterations. (shrink)

ONE of the most celebrated mathematical physicists, Pierre-Simon Laplace is often remembered as the mathematician who showed that despite appearances, the Solar System does conform to Newton’s theories. Together with distinguished scholars Robert Fox and Ivor Grattan-Guinness, Charles Gillispie gives us a new perspective, showing that Laplace did not merely vindicate Newton’s system, but had a uniquely creative and independent mind.

This paper shows the smart walking stick based on ultrasonic sensors and Arduino for outwardly debilitated individuals. There are roughly 37 million individuals over the globe who are visually impaired as indicated by the World Health Organization. Individuals with visual inabilities are regularly subjected to outer help which can be given by people, trained dogs, or electronic gadgets as supportive networks for basic assistance. Thus, this played as the motivation to develop a smart cane white stick to survive these restrictions (...) which includes ultrasonic sensors at particular positions to the stick that gave data about nature to the client by initiating the signal sound and vibrations. We proposed minimal effort and light weight framework structured with micro controller that processes signal and alerts the visually impaired person over any obstacle, water or dark areas through beeping sounds or vibrations. The system comprises of obstacle and moisture detection sensors for process of receiving, processing and sending signals to the alarm system which finally alerts the user for prompt action. The system was designed, programmed using Java language and tried for exactness by the visually impaired. Our gadget can recognize obstacle inside the separation of around 2m from the client. (shrink)

If there are fundamental laws of nature, can they fail to be exact? In this paper, I consider the possibility that some fundamental laws are vague. I call this phenomenon 'fundamental nomic vagueness.' I characterize fundamental nomic vagueness as the existence of borderline lawful worlds and the presence of several other accompanying features. Under certain assumptions, such vagueness prevents the fundamental physical theory from being completely expressible in the mathematical language. Moreover, I suggest that such vagueness can be regarded as (...) 'vagueness in the world.' For a case study, we turn to the Past Hypothesis, a postulate that (partially) explains the direction of time in our world. We have reasons to take it seriously as a candidate fundamental law of nature. Yet it is vague: it admits borderline (nomologically) possible worlds. An exact version would lead to an untraceable arbitrariness absent in any other fundamental laws. However, the dilemma between fundamental nomic vagueness and untraceable arbitrariness is dissolved in a new quantum theory of time's arrow. (shrink)

In this note, I discuss a very simple time-dependent formula and its relation to the cosmological constant. I first note that the the formula yields an exact match of the cosmological constant on the assumption that the age of the universe is 8.08×10^60 in Planck units. I then suggest a physical interpretation of the formula according to which the cosmological constant is the result of a magnetic field.

In their paper Nothing but the Truth Andreas Pietz and Umberto Rivieccio present Exactly True Logic, an interesting variation upon the four-valued logic for first-degree entailment FDE that was given by Belnap and Dunn in the 1970s. Pietz & Rivieccio provide this logic with a Hilbert-style axiomatisation and write that finding a nice sequent calculus for the logic will presumably not be easy. But a sequent calculus can be given and in this paper we will show that a calculus for (...) the Belnap-Dunn logic we have defined earlier can in fact be reused for the purpose of characterising ETL, provided a small alteration is made—initial assignments of signs to the sentences of a sequent to be proved must be different from those used for characterising FDE. While Pietz & Rivieccio define ETL on the language of classical propositional logic we also study its consequence relation on an extension of this language that is functionally complete for the underlying four truth values. On this extension the calculus gets a multiple-tree character—two proof trees may be needed to establish one proof. (shrink)

On an influential view, Newton's mechanics is built into Kant's very theory of exact knowledge. However, Newtonian dynamics had serious explanatory limits already known by 1750. Thus, we might worry that Kant's Analytic is too narrow to ground enough exact knowledge. In this paper, I draw on Enlightenment dynamics to show that Kant's notion of determinate objecthood is sufficiently broad, non-trivial, and still relevant to the present.

What exactly is a philosophical intuition? And what makes such an intuition reliable, when it is reliable? This paper provides a terminological framework that is able answer to the first question, and then puts the framework to work developing an answer to the second question. More specifically, the paper argues that we can distinguish between two different "evidential roles" which intuitions can occupy: under certain conditions they can provide information about the representational structure of an intuitor's concept, and under different (...) conditions, they can provide information about whether or not a property is instantiated. The paper describes two principles intended to capture the difference between the two sets of conditions---that is, the paper offers a principle that explains when an intuition will be a reliable source of evidence about the representation structure of an intuitor's concept, and another principle that explains when an intuition will be a reliable source of evidence about whether or not a property is instantiated. The paper concludes by briefly arguing that, insofar as philosophers are interested using intuitions to determine whether or not some philosophically interesting property is instantiated by some scenario (for instance, whether knowledge is instantiated in a Gettier-case), the reliability of the intuition in question does not depend on whether or not the intuition is widely shared. (shrink)

The cognitive processing of spatial relations in Euclidean diagrams is central to the diagram-based geometric practice of Euclid's Elements. In this study, we investigate this processing through two dichotomies among spatial relations—metric vs topological and exact vs co-exact—introduced by Manders in his seminal epistemological analysis of Euclid's geometric practice. To this end, we carried out a two-part experiment where participants were asked to judge spatial relations in Euclidean diagrams in a visual half field task design. In the first part, we (...) tested whether the processing of metric vs topological relations yielded the same hemispheric specialization as the processing of coordinate vs categorical relations. In the second part, we investigated the specific performance patterns for the processing of five pairs of exact/co-exact relations, where stimuli for the co-exact relations were divided into three categories depending on their distance from the exact case. Regarding the processing of metric vs topological relations, hemispheric differences were found for only a few of the stimuli used, which may indicate that other processing mechanisms might be at play. Regarding the processing of exact vs co-exact relations, results show that the level of agreement among participants in judging co-exact relations decreases with the distance from the exact case, and this for the five pairs of exact/co-exact relations tested. The philosophical implications of these empirical findings for the epistemological analysis of Euclid's diagram-based geometric practice are spelled out and discussed. (shrink)

What, exactly, is the difference between words such as ‘dead’ and ‘deceased’? In this paper, I argue that such differences in register, or style, ought to be construed as genuine differences in non-truth-conditional meaning. I also show that register cannot plausibly accounted for in terms of either presupposition or conventional implicature. Register is, rather, an instance of what I call pure use-conditional meaning. In the case of register, a difference in meaning does not correspond to a difference in the contents (...) speakers intend to convey. (shrink)

What exactly does conceptual analysis consist in? Is it empirical or a priori? How does it support philosophical theses? and What kinds of thesis are these? There is no consensus on these questions in contemporary philosophy. This study aims to defend conceptual analysis by showing that it comprises a number of different methods and by explaining their importance in philosophy. After setting out an initial dilemma for conceptual analysis, the study outlines a minimal ecumenical account of concepts, as well as (...) an account of concept possession and concept employment. On the basis of these accounts, the study then argues that there are both empirical and a priori forms of conceptual analysis, and that each can be defended as legitimate methods. The philosophical interest of conceptual analysis, however, resides in relying on all three types of method in the service of answering philosophical concerns. This is illustrated by three sample cases. (shrink)

What exactly is it to be a social constructivist in Metaphysics? In this brief note I try to introduce a few acclamatory distinctions that I have identified as having generated a lot of confusion in recent literature as well as serving to better frame current debates within metaphysical social constructivism. I also illustrate it with an example from the ontology of disability/.

Exactly how do the sign/symbol/token systems of endo- and exo-biosemiosis differ from those of cognitive semiosis? Do the biological messages that integrate metabolism have conceptual meaning? Semantic information has two subsets: Descriptive and Prescriptive. Prescriptive information instructs or directly produces nontrivial function. In cognitive semiosis, prescriptive information requires anticipation and “choice with intent” at bona fide decision nodes. Prescriptive information either tells us what choices to make, or it is a recordation of wise choices already made. Symbol systems allow recordation (...) of deliberate choices and the transmission of linear digital prescriptive information. Formal symbol selection can be instantiated into physicality using physical symbol vehicles (tokens). Material symbol systems (MSS) formally assign representational meaning to physical objects. Even verbal semiosis instantiates meaning into physical sound waves using an MSS. Formal function can also be incorporated into physicality through the use of dynamically-inert (dynamically-incoherent or -decoupled) configurable switch-settings in conceptual circuits. This paper examines the degree to which biosemiosis conforms to the essential formal criteria of prescriptive semiosis and cybernetic management. (shrink)

It’s plausible that we only fully appreciate the value of something, say a painting or a blameworthy action, when we have a fitting emotional response to it, such as admiration or guilt. But exactly how and why do we grasp value through emotion? I propose, first, that a subject S phenomenally grasps property P only if what it is to be P is manifest in the phenomenal character of S’s experience. Second, following clues from the Stoics, I argue that the (...) phenomenal character of emotional experience is constitutively linked with its having directive content. More precisely, emotional experience directs us both to adopt a maxim for action – take certain characteristic kinds of action for an emotion-specific end – and to treat something about the object as a presumptively decisive reason to take such action for such end. If we assent to what the experience proposes (or rational control gets bypassed), we are motivated to take the relevant action and have a corresponding evaluative belief. This picture of emotional cognition yields a natural conception of the evaluative fittingness conditions of emotions without the problematic assumption that they have a presentational phenomenology. Instead, it is precisely in virtue of the directive and valenced phenomenology of emotion that values are only fully manifest in emotional experience, since values are essentially action- and attitude-guiding properties. (shrink)

I discuss the exact meaning of the thesis according to which the object of scientific knowledge is necessary. The thesis is expressed by Aristotle in the Posterior Analytics, in his definition of scientific knowledge. The traditional interpretation understands this definition as depending on two parallel and independent requirements, the causality requirement and the necessity requirement. Against this interpretation, I try to show, through the examination of several passages that refer to the definition of scientific knowledge, that the necessity requirement specifies (...) more exactly the causality requirement: what cannot be otherwise is the explanatory relation between the explanandum and the cause by which it is what it is. (shrink)

What exactly do we mean when we refer to disability as a social construction? How viable are the justifications for this? These questions are explored in this paper. To this end, various theories that are influential in German-language disability studies are examined and criticised. These include Oliver's social model, furthermore the "Thomas theorem", Berger and Luckmann's sociology of knowledge, Foucault's discourse theory and Waldschmidt's theory. Subsequently, social constructivist approaches of Watzlawick and Gergen and Gergen are discussed. It is shown that (...) a relativistic understanding of social construction can be used to deny facticity and thus undermines the foundations of scientific knowledge. This danger must be taken seriously when defending the scientificity of disability studies. (shrink)

The visual system adapts to a wide range of visual features, from lower-level features like color and motion to higher-level features like causality and, perhaps, number. According to some, adaptation is a strictly perceptual phenomenon, such that the presence of adaptation licenses the claim that a feature is truly perceptual in nature. Given the theoretical importance of claims about adaptation, then, it is important to understand exactly when the visual system does and does not exhibit adaptation. Here, we take as (...) a case study one specific kind of adaptation: visual adaptation to size. Supported by evidence from four experiments, we argue that, despite robust effects of size adaptation in the lab, (1) size adaptation effects are phenomenologically underwhelming (in some cases, hardly appreciable at all), (2) some effects of size adaptation appear contradictory, and difficult to explain given current theories of size adaptation, and (3) prior studies on size adaptation may have failed to isolate size as the adapted dimension. Ultimately, we argue that while there is evidence to license the claim that size adaptation is genuine, size adaptation is a puzzling and poorly understood phenomenon. (shrink)

According to a popular idea, freedom is grounded in orthonomy – the ability to be responsive to normative demands. But how exactly must an agent’s action relate to their reasons in order for this orthonomous relationship to hold? In this paper, I propose a novel explanationist answer to this question. I argue that extant answers – causalism and modalism about orthonomy – fail because they fail to account for the fact that intuitions about freedom and orthonomy track facts about explanation. (...) And these facts cannot be reduced to either causal or modal facts. Instead, I propose that we should understand freedom as grounded in special accidentality-dispersing explanations in terms of normative reasons. The resultant view is to be understood as following a Frankfurtian intuition: only factors that explain action can be relevant to whether the action is free. (shrink)

Early in his Essays on Intellectual Powers, Reid draws a distinction between mental power, mental operation, and mental capacity (EIP 21). To the untrained eye, these terms could probably be used interchangeably, and Reid believes this is correct, up to a point. He argues that, if we are interested in understanding exactly how the human mind works, we must use these terms with more precise meanings. This is part of his more general strategy of trying to always use the words (...) with their common meanings, as much as possible, but also pointing out that certain philosophical distinctions are needed to carry out the project of laying out the foundations of the science of the mind. This paper explains what the distinction between power, operation, and capacity is, according to Reid, with the goal of understanding why it is important to draw such a distinction, not only for the Reidian project, but for action theory, more generally. (shrink)

Abstract: How exactly should the relation between a veridical perception and a corresponding hallucination be understood? I argue that the epistemic notion of ‘indiscriminability’, understood as lacking evidence for the distinctness of things, is not suitable for defining this relation. Instead, we should say that a hallucination and a veridical perception involve the same phenomenal properties. This has further consequences for attempts to give necessary and sufficient conditions for the identity of phenomenal properties in terms of indiscriminability, and for considerations (...) about the phenomenal sorites. (shrink)

The point of departure of this paper is the striking similarities between the dispositions critical media literacy education aims to cultivate and the characteristics conspiracy theorists claim to embody. The golden question of critical literacy, “who benefits?” is in fact the central question of conspiracy theorists: “cui bono?” While critical media literacy educators teach learners to disrupt the common sense, to interrogate multiple viewpoints, to focus on sociopolitical issues, and to take actions and promote social justice, conspiracy theorists claim that (...) they do exactly those things. What I wish to illuminate through this juxtaposition, however, is not a way to clearly demarcate “critical” from “conspiratorial” theorizing, but is a question of educational desirability of skepticism. Skepticism in this paper is not understood as a classical epistemological question of the possibility of knowledge attainment, but as a form of vigilance toward epistemic authorities like the government, media, and academic institutions. Drawing on philosophy of conspiracy theories and political epistemology, I illuminate the problem of radical skepticism that characterizes some conspiracy theories and discuss the pivotal epistemic role of trust. Through this, I claim that critical media literacy education for democratic citizenship must strike a balance between cultivation of skepticism and building of trust toward epistemic authorities. (shrink)

The article shows a difference in Aristotle’s ethical theory between the Protrepticus and Eudemian Ethics on the one hand and the Nicomachean Ethics on the other. The difference is explicated by means of the interpretation of the concept of ὅρος (standard) in these writings. The Protrepticus and Eudemian Ethics present ethical theory as an expertise which – together with other sciences – has a standard for decisions and actions taken from nature and the divine. The ethical theory presented in the (...) Nicomachean Ethics does not entail such a strong concept of ὅρος and it treats ethics in contrast to other, more exact, sciences. Finally, the article presents a tentative suggestion as to why it seems that the Nicomachean Ethics VI,1 raises hopes that it will provide a detailed account of ὅρος when in fact there is no discussion of it. (shrink)

We explain why exactly the simplified abstract scheme of reality within the standard science paradigm cannot provide the consistent picture of “truly fundamental” reality and how the unreduced, causally complete description of the latter is regained within the extended, provably complete solution to arbitrary interaction problem and the ensuing concept of universal dynamic complexity. We emphasize the practical importance of this extension for both particular problem solution and further, now basically unlimited fundamental science development (otherwise dangerously stagnating within its traditional (...) paradigm). (shrink)

Diversity is often announced as a solution to ethical problems in artificial intelligence (AI), but what exactly is meant by diversity and how it can solve those problems is seldom spelled out. This lack of clarity is one hurdle to motivating diversity in AI. Another hurdle is that while the most common perceptions about what diversity is are too weak to do the work set out for them, stronger notions of diversity are often defended on normative grounds that fail to (...) connect to the values that are important to decision-makers in AI. However, there is a long history of research in feminist philosophy of science and a recent body of work in social epistemology that taken together provide the foundation for a notion of diversity that is both strong enough to do the work demanded of it, and can be defended on epistemic grounds that connect with the values that are important to decision-makers in AI. We clarify and defend that notion here by introducing emergent expertise as a network phenomenon wherein groups of workers with expertise of different types can gain knowledge not available to any individual alone, as long as they have ways of communicating across types of expertise. We illustrate the connected epistemic and ethical benefits of designing technology with diverse groups of workers using the examples of an infamous racist soap dispenser, and the millimeter wave scanners used in US airport security. (shrink)