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.

Let I be a countable jump ideal in $\mathscr{D} = \langle \text{The Turing degrees}, \leq\rangle$ . The central theorem of this paper is: a is a uniform upper bound on I iff a computes the join of an I-exact pair whose double jump a (1) computes. We may replace "the join of an I-exact pair" in the above theorem by "a weak uniform upper bound on I". We also answer two minimality questions: the class of uniform (...) upper bounds on I never has a minimal member; if ∪ I = L α [ A] ∩ ω ω for α admissible or a limit of admissibles, the same holds for nice uniform upper bounds. The central technique used in proving these theorems consists in this: by trial and error construct a generic sequence approximating the desired object; simultaneously settle definitely on finite pieces of that object; make sure that the guessing settles down to the object determined by the limit of these finite pieces. (shrink)

From time involved in pair production process, in the photon-photon collision, we consider energy and then mass uncertainty. Taking the latter as the mass of a particle, we repeat pair production process obtaining another mass uncertainty, then another particle mass, and so on. Starting with the heaviest charged elementary particle that is possible using Planck length for electromagnetic mass, we obtain a mass value close to electron mass. It is supposed exactly electron mass, considering the presence of uncertainties (...) in the process. Then plausible neutrino mass and other particles masses are obtained. (shrink)

A pair of C functions are defined such that D has the halting problem proof's pathological relationship to simulating termination analyzer H. When D correctly simulated by H must be aborted to prevent its own infinite execution then H is necessarily correct to reject D as specifying non-halting behavior. This exact same reasoning is applied to the Peter Linz Turing machine based halting problem proof.

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)

In non‐literal uses of language, the content an utterance communicates differs from its literal truth conditions. Loose talk is one example of non‐literal language use (amongst many others). For example, what a loose utterance of (1) communicates differs from what it literally expresses: (1) Lena arrived at 9 o'clock. Loose talk is interesting (or so I will argue). It has certain distinctive features which raise important questions about the connection between literal and non‐literal language use. This paper aims to (i.) (...) introduce a range of novel data demonstrating certain overlooked features of loose talk, and (ii.) develop a new theory of the phenomenon which accounts for these data. In particular, this theory is motivated by the need to explain minimal pairs such as (2)-(3): (2) Lena arrived at 9 o'clock, but she did not arrive at 9 o'clock exactly. (3) ?? Lena did not arrive at 9 o'clock exactly, but she arrived at 9 o'clock. (2) and (3) agree in their truth conditions. Yet they differ in felicity. As such, they constitute a problem for any account which hopes to predict the acceptability of the loose use of a sentence from its truth conditions and the context of utterance alone. Instead, it will be argued, to explain loose talk phenomena we must posit an additional layer of meaning outstripping truth conditions. This layer of meaning is shown to exhibit a range of properties, all of which point to its being semantically encoded. Thus, if correct, the theory provides a new example of how semantic meaning must extend beyond literal, truth‐conditional content. (shrink)

Longtermism is the view that the most urgent global priorities, and those to which we should devote the largest portion of our resources, are those that focus on (i) ensuring a long future for humanity, and perhaps sentient or intelligent life more generally, and (ii) improving the quality of the lives that inhabit that long future. While it is by no means the only one, the argument most commonly given for this conclusion is that these interventions have greater expected goodness (...) per unit of resource devoted to them than each of the other available interventions, including those that focus on the health and well-being of the current population. In this paper, I argue that, even if we grant the consequentialist ethics upon which this argument depends, and even if we grant one of the axiologies that are typically paired with that ethics to give the argument, we are not morally required to choose an option that maximises expected utility; indeed, we might not even be permitted to do so. Instead, I will argue, if the argument's consequentialism is correct, we should choose using a decision theory that is sensitive to risk, and allows us to give greater weight to worse-case outcomes than expected utility theory does. And, I will show, such decision theories do not always recommend longtermist interventions. Indeed, sometimes, they recommend exactly the opposite: sometimes, they recommend hastening human extinction. Many, though not all, will take this as a reductio of the consequentialism or the axiology of the argument. I remain agnostic on the conclusion we should draw. (shrink)

In formal epistemology, we use mathematical methods to explore the questions of epistemology and rational choice. What can we know? What should we believe and how strongly? How should we act based on our beliefs and values? We begin by modelling phenomena like knowledge, belief, and desire using mathematical machinery, just as a biologist might model the fluctuations of a pair of competing populations, or a physicist might model the turbulence of a fluid passing through a small aperture. Then, (...) we explore, discover, and justify the laws governing those phenomena, using the precision that mathematical machinery affords. For example, we might represent a person by the strengths of their beliefs, and we might measure these using real numbers, which we call credences. Having done this, we might ask what the norms are that govern that person when we represent them in that way. How should those credences hang together? How should the credences change in response to evidence? And how should those credences guide the person’s actions? This is the approach of the first six chapters of this handbook. In the second half, we consider different representations—the set of propositions a person believes; their ranking of propositions by their plausibility. And in each case we ask again what the norms are that govern a person so represented. Or, we might represent them as having both credences and full beliefs, and then ask how those two representations should interact with one another. This handbook is incomplete, as such ventures often are. Formal epistemology is a much wider topic than we present here. One omission, for instance, is social epistemology, where we consider not only individual believers but also the epistemic aspects of their place in a social world. Michael Caie’s entry on doxastic logic touches on one part of this topic, but there is much more. Relatedly, there is no entry on epistemic logic, nor any on knowledge more generally. There are still more gaps. These omissions should not be taken as ideological choices. This material is missing, not because it is any less valuable or interesting, but because we v failed to secure it in time. Rather than delay publication further, we chose to go ahead with what is already a substantial collection. We anticipate a further volume in the future that will cover more ground. Why an open access handbook on this topic? A number of reasons. The topics covered here are large and complex and need the space allowed by the sort of 50 page treatment that many of the authors give. We also wanted to show that, using free and open software, one can overcome a major hurdle facing open access publishing, even on topics with complex typesetting needs. With the right software, one can produce attractive, clear publications at reasonably low cost. Indeed this handbook was created on a budget of exactly £0 (≈ $0). Our thanks to PhilPapers for serving as publisher, and to the authors: we are enormously grateful for the effort they put into their entries. (shrink)

Stanley Cavell isn't the first to arrive at philosophy through a life with music. Nor is he the first whose philosophical practice bears the marks of that life. Much of Cavell's life with music is confirmed for the world in his philosophical autobiography Little Did I Know. A central moment in that book is Cavell's describing the realization that he was to leave his musical career behind – for what exactly, he did not yet know. He connects the memory-shock of (...) this leaving with "the work of mourning." How does such a life out of music inform Cavell's philosophical sensibility? The thought I follow in this essay is that Cavell's distinctive orientation in philosophy – call this his lifelong coming to terms with his abandoning a life in music – is guided in part by an interest in those moments in experience where words seem to run out, or veer toward nonsense, leaving in their wake touchstones of ecstasy. I explore this idea by summarizing my exchange with Stanley Cavell years ago when I asked him whether certain passages from his essay "Music Discomposed" are depictions of the unsayable. Cavell's response is elaborated, or qualified, by considering a pair of moments in Little Did I Know where words appear to run out. I conclude by discussing culminating thoughts on the burden borne by words and their failure that appear in Cavell's late essay on music, "Impressions of Revolution.". (shrink)

Bilateral proof systems, which provide rules for both affirming and denying sentences, have been prominent in the development of proof-theoretic semantics for classical logic in recent years. However, such systems provide a substantial amount of freedom in the formulation of the rules, and, as a result, a number of different sets of rules have been put forward as definitive of the meanings of the classical connectives. In this paper, I argue that a single general schema for bilateral proof rules has (...) a reasonable claim to inferentially articulating the core meaning of all of the classical connectives. I propose this schema in the context of a bilateral sequent calculus in which each connective is given exactly two rules: a rule for affirmation and a rule for denial. Positive and negative rules for all of the classical connectives are given by a single rule schema, harmony between these positive and negative rules is established at the schematic level by a pair of elimination theorems, and the truth-conditions for all of the classical connectives are read off at once from the schema itself. (shrink)

Although quantum mechanics can accurately predict the probability distribution of outcomes in an ensemble of identical systems, it cannot predict the result of an individual system. All the local and global hidden variable theories attempting to explain individual behavior have been proved invalid by experiments (violation of Bell’s inequality) and theory. As an alternative, Schrodinger and others have hypothesized existence of free will in every particle which causes randomness in individual results. However, these free will theories have failed to quantitatively (...) explain the quantum mechanical results. In this paper, we take the clue from quantum biology to get the explanation of quantum mechanical distribution. Recently it was reported that mutations (which are quantum processes) in DNA of E. coli bacteria instead of being random were biased in a direction such that the chance of survival of the bacteria is increased. Extrapolating it, we assume that all the particles including inanimate fundamental particles have a will and that is biased to satisfy the collective goals of the ensemble. Using this postulate, we mathematically derive the correct spin probability distribution without using quantum mechanical formalism (operators and Born’s rule) and exactly reproduce the quantum mechanical spin correlation in entangled pairs. Using our concept, we also mathematically derive the form of quantum mechanical wave function of free particle which is conventionally a postulate of quantum mechanics. Thus, we prove that the origin of quantum mechanical results lies in the will (or consciousness) of the objects biased by the collective goal of ensemble or universe. This biasing by the group on individuals can be called as “coherence” which directly represents the extent of life present in the ensemble. So, we can say that life originates out of establishment of coherence in a group of inanimate particles. (shrink)

Stove's article, 'So you think you are a Darwinian?'[ 1] was essentially an advertisement for his book, Darwinian Fairytales.[ 2] The central argument of the book is that Darwin's theory, in both Darwin's and recent sociobiological versions, asserts many things about the human and other species that are known to be false, but protects itself from refutation by its logical complexity. A great number of ad hoc devices, he claims, are used to protect the theory. If co operation is observed (...) where the theory predicts competition, then competition is referred to the time of the cavemen, or is reinterpreted as competition between some hidden entities like genes or abstract entities like populations. In a characteristic sally, Stove writes of the sociobiologists' oscillation on the meaning of kin altruism: Any discussion of altruism with an inclusive fitness theorist is, in fact, exactly like dealing with a pair of balloons connected by a tube, one balloon being the belief that kin altruism is an illusion, the other being the belief that kin altruism is caused by shared genes. If a critic puts pressure on the illusion balloon - perhaps by ridiculing the selfish theory of human nature - air is forced into the causal balloon. There is then an increased production of earnest causal explanations of why we love our children, why hymenopteran workers look after their sisters, etc., etc. Then, if the critic puts pressure on the causal balloon - perhaps about the weakness of sibling altruism compared with parental, or the absence of sibling altruism in bacteria - then the illusion balloon is forced to expand. There will now be an increased production of cynical scurrilities about parents manipulating their babies for their own advantage, and vice versa, and in general, about the Hobbesian bad times that are had by all. In this way critical pressure, applied to the theory of inclusive fitness at one point, can always be easily absorbed at another point, and the theory as a whole is never endangered.[ 3] Now, it is uncontroversial to assert that Darwinism is a logically complex theory, and that its relation to empirical evidence is distant and multi faceted. One does not directly observe chance genetic variations leading to the development of new species, or even continuous variations in the fossil record, but must rely on subtle arguments to the best explanation, scaling up from varieties to species, and so on.. (shrink)

Odd and memorable examples are a distinctive feature of Charles Travis's work: cases involving squash balls, soot-covered kettles, walls that emit poison gas, faces turning puce, ties made of freshly cooked linguine, and people grunting when punched in the solar plexus all figure in his arguments. One of Travis's examples, involving a pair of situations in which the leaves of a Japanese maple tree are painted green, has even spawned its own literature consisting of attempts to explain the context (...) sensitivity of color adjectives ("green", e.g.). For Travis, these examples play a central role in his arguments for occasion-sensitivity, which he takes to be a pervasive feature of how we understand natural language. But how, exactly, do these examples work? My aims in this paper are to put Travis’s examples under the microscope, using recent experimental studies of Travis-style cases to raise worries about aspects of the way Travis's cases are informally presented, but then show how his examples can be redesigned to respond to these doubts. (shrink)

Among the mysterious and wondrous characteristics of minds, the deepest and most mysterious one, yet also the most overlooked, is their particularity. It is a special and most fundamental kind of particularity: each of us experiences life through their own, private, unique, and non-duplicable perspective, which is what fundamentally differentiates him/her from the rest of the universe and gives him/her their unique identity. There is an infinity of possible first-person perspectives, and each mind has a unique one. The particular perspective (...) of each mind is accessible only from within that mind itself while from the outside it is indistinguishable from the infinity of other existing or possible perspectives. For the rest of the universe, what is particular about a certain mind is completely hidden. The paper begins with a consideration of the "pairing problem", i.e. of how minds are paired to bodies, which serves to elucidate this concept of particularity of minds. If the mind is reducible to fundamental phenomena associated with a body’s physics or material constitution, then the pairing rule should be traceable there. Which particular mind will emerge from a particular body (i.e. whether it will be me, you, or someone else) should depend/supervene on either the particular structure of that body, or on the particular matter that constitutes it. But it can depend/supervene on neither: on one hand, bodily structure is duplicable but particular minds are not (if exact copies of my body were made, I would not also be paired to those other bodies; other persons would be. All those bodies would be structurally identical, so the structure of the body cannot determine the particularity of the person paired to it), and on the other hand the particular matter that constitutes our bodies changes every day but we remain the same persons. The paper then proceeds to deeper arguments: The uniqueness of a mind's particularity, its complete hiddenness from the rest of the universe, and its complete external similarity with the particularities of all other minds makes it impossible that it is dependent on anything external to it, making the mind an independent substance. (shrink)

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)

Section 1 provides a brief summary of the pair-list literature singling out some points that are particularly relevant for the coming discussion. -/- Section 2 shows that the dilemma of quantifi cation versus domain restriction arises only in extensional complement interrogatives. In matrix questions and in intensional complements only universals support pairlist readings, whence the simplest domain restriction treatment suffices. Related data including conjunction, disjunction, and cumulative readings are discussed -/- Section 3 argues that in the case of (...) extensional complements the domain restriction treatment is inadequate for at least two independent reasons. One has to do with the fact that not only upward monotonic quantifi ers support pairlist readings, and the other with the derivation of apparent scope out readings. The reasoning is supplemented with some discussion of the semantic properties of layered quantifi ers.  The above will establish the need for quantifi cation, so the question arises how the objections explicitly enlisted in the literature against quantifi cation can be answered. Section 4 considers the de dicto reading of the quantifi er s restriction, quanti cational variability, and the absence of pairlist readings with whether questions, and argues that they need not militate against the quanti ficational analysis. -/- Section 5 summarizes the emergent proposal -/- Finally, section 6 discusses the signifi cance of the above findings for the behavior of weak islands. (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)

In this paper I outline the PAIR account of joint attention as a perceptual-practical, affectively charged intentional relation. I argue that to explain joint attention we need to leave the received understanding of propositions and propositional attitudes and the picture of content connected to it behind and embrace the notions of subject mode and position mode content. I also explore the relation between joint attention and communication.

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)

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)

The exclusive relationship, either as a pair or even as a married pair, has regained its attraction. Obviously, the traditional roles, the economically dependent woman who stands by the side of the ‘strong man’, no longer represent the pair bond.

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)

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)

Editorial on papers relating to among other infanticide and intersex.

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 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)

Perceptual filling-in for vision is the insertion of visual properties (e.g., color, contour, luminance, or motion) into one’s visual field, when those properties have no corresponding retinal input. This paper introduces and provides preliminary empirical support for filled/non-filled pairs, pairs of images that appear identical, yet differ by amount of filling-in. It is argued that such image pairs are important to the experimental testing of theories of consciousness. We review recent experimental research and conclude that filling-in involves brain activity with (...) relatively high integrated information (Phi) compared to veridical visual perceptions. We then present filled/non-filled pairs as an empirical challenge to the integrated information theory of consciousness, which predicts that phenomenologically identical experiences depend on brain processes with identical Phi. (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)

New exact quasi-classical asymptotic of solutions to the.

The experiments reported herein probe the visual cortical mechanisms that control near–far percepts in response to two-dimensional stimuli. Figural contrast is found to be a principal factor for the emergence of percepts of near versus far in pictorial stimuli, especially when stimulus duration is brief. Pictorial factors such as interposition (Experiment 1) and partial occlusion Experiments 2 and 3) may cooperate, as generally predicted by cue combination models, or compete with contrast factors in the manner predicted by the FACADE model. (...) In particular, if the geometrical conŽ guration of an image favors activation of cortical bipole grouping cells, as at the top of a T-junction, then this advantage can cooperate with the contrast of the conŽ guration to facilitate a near–far percept at a lower contrast than at an X-junction. Varying the exposure duration of the stimuli shows that the more balanced bipole competition in the X-junction case takes longer exposure times to resolve than the bipole competition in the T-junction case (Experiment 3). (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)

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)

Abstract: In this paper, an exact image compression based on bit-planes blocking is proposed. The proposed algorithm uses two bit codes for block representation. The codes represent the states of Unicode block and non-Unicode. The algorithm considers further division to non-Unicode block. The block division continues until the smallest block size which are kept as residuals. The smallest block size in the study is two by two. The main process of encoding consumed three codes. Subsequent process uses the fourth (...) code for further compression. The resultant file is subject to further exact compression. The compression technique considered in this study is Huffman. The compression-decompression implementation complexity is comparable with the well-known methods. Also, the compression ratio for the algorithm is comparable with well-known methods. The algorithm parallelization is straightforward and dependent on number of planes. Within a plane, the process hardware realization is simple and does on require special hardware. (shrink)

In Vagueness and Contradiction (2001), Roy Sorensen defends and extends his epistemic account of vagueness. In the process, he appeals to connections between vagueness and semantic paradox. These appeals come mainly in Chapter 11, where Sorensen offers a solution to what he calls the no-no paradox—a “neglected cousin” of the more famous liar—and attempts to use this solution as a precedent for an epistemic account of the sorites paradox. This strategy is problematic for Sorensen’s project, however, since, as we establish, (...) he fails to resolve the semantic pathology of the no-no paradox. (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)

Roger Swyneshed, in his treatise on insolubles (logical paradoxes), dating from the early 1330s, drew three notorious corollaries of his solution. The third states that there is a contradictory pair of propositions both of which are false. This appears to contradict the Rule of Contradictory Pairs, which requires that in every such pair, one must be true and the other false. Looking back at Aristotle's treatise De Interpretatione, we find that Aristotle himself, immediately after defining the notion of (...) a contradictory pair, gave counterexamples to the rule. Thus Swyneshed's solution to the logical paradoxes is not contrary to Aristotle's teaching, as many of Swyneshed's contemporaries claimed. Dialetheism, the contemporary claim that some propositions are both true and false, is wedded to the Rule, and in consequence divorces denial from the assertion of the contradictory negation. (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 aim of this article is to show how the integration of new nursing assistants in nursing homes in Quebec can be analyzed as a process of “enablement” or identity construction of the recruits by peer group through two specific phases: experienced nursing assistants quickly judge the ability of the recruit to support the heavy workload during the phase known as “orientation”, selecting recruits by this criterion; and they will transmit some informal competences to recruits selected and considered able to (...) be part of the peer group. L’objectif de cet article est de montrer en quoi l’intégration de nouveaux préposés aux bénéficiaires dans les CHSLD au Québec peut être analysée comme un processus d’habilitation, c'est-à-dire de construction identitaire des recrues par le groupe de pairs, à travers deux phases spécifiques : les préposés expérimentés jugent rapidement la capacité de la recrue à supporter la lourde charge de travail durant la phase dite d’ « orientation », en sélectionnant les recrues selon ce critère ; puis ils transmettront certaines compétences informelles aux recrues sélectionnées et considérées comme capables de faire partie du groupe de pairs. (shrink)

The aim of this article is to show how the integration of new nursing assistants in nursing homes in Quebec can be analyzed as a process of “enablement” or identity construction of the recruits by peer group through two specific phases: experienced nursing assistants quickly judge the ability of the recruit to support the heavy workload during the phase known as “orientation”, selecting recruits by this criterion; and they will transmit some informal competences to recruits selected and considered able to (...) be part of the peer group. L’objectif de cet article est de montrer en quoi l’intégration de nouveaux préposés aux bénéficiaires dans les CHSLD au Québec peut être analysée comme un processus d’habilitation, c'est-à-dire de construction identitaire des recrues par le groupe de pairs, à travers deux phases spécifiques : les préposés expérimentés jugent rapidement la capacité de la recrue à supporter la lourde charge de travail durant la phase dite d’ « orientation », en sélectionnant les recrues selon ce critère ; puis ils transmettront certaines compétences informelles aux recrues sélectionnées et considérées comme capables de faire partie du groupe de pairs. (shrink)

(1) This is Part 2 of the semantic theory I call TM. In Part 1, I developed TM as a theory in the analytic philosophy of language, in lexical semantics, and in the sociology of relating occasions of statement production and comprehension to formal and informal lexicographic conclusions about statements and lexical items – roughly, as showing how synchronic semantics is a sociological derivative of diachronic, person-relative acts of linguistic behavior. I included descriptions of new cognitive psychology experimental paradigms which (...) would allow us to precisely measure the two constituents of semantics – meaning and reference – both at the level of individual speech acts and at the level of societal convergences, i.e. at both the token and type levels. -/- (2) In the Introduction, I recapitulate the arguments of Part 1. The Introduction also develops some analytic philosophical and lexical semantics themes not discussed in Part 1. -/- (3) After the Introduction, I present neural TM (nTM) as a theory of the neural mechanisms and processes which give rise to these person/occasion-relative acts of linguistic behavior. I develop nTM at three levels, the first two of which describe linguistic/semantic functions independently of their cortical locations. At the first level, I describe individual word-to-word and word-to-object connections. At the second level, I describe the corresponding structuralist networks of which they are the individual components. At this level, I introduce some key linguistic concepts of TM – its graded meaning, reference, and generalization sets, and the types of statements which express various levels of word-to-word and word-to-object relationships among lexical items which, because of the constraints they impose on the use of those lexical items in statements we produce and comprehend, are concepts. This constitutes the second structural level of nTM. -/- (4) At the third level, I associate the non-localized structures of the previous levels with cortically located neural structures and with the fasciculi that connect them. I distinguish neural areas in which primary (phonetic) and secondary (orthographic) lexicons are stored in long-term memory. I also describe the embodied concepts which co-exist in the anterior temporal lobes with the images they lexicalize. These concepts are often said to name physical objects and their features, although what they in fact name are kinds of physical objects and features. I describe how conceptual constraints and referential constraints interact to channel our intentions to say how things are into statements which are semantically well-formed, and which consequently successfully communicate information. -/- (5) Following this presentation of nTM, I examine five prominent neural semantic theories. I point out what is wrong with each of them as far as their explanations of semantics are concerned, and I also indicate how nTM can replace the “semantic cores” of those theories. -/- (6) The two basic mistakes made by neuroscience semantic theories, as I will explain, are (i) that all but one of them regard semantics as a matter of the association of words with perceptual images, and of generalizations from those associations; and (ii) that they all rely on an unspecified set of neural structures which purportedly encode the meaning of concepts in abstraction from their phonological and orthographic forms. nTM maintains, in contrast, that there are no abstract neural representations of semantic content. Neural constraints on our linguistic behavior, especially on our ascriptive and co-ascriptive use of words, express the semantic constraints on those words which make them concepts. That is the semantic content of words. -/- (7) I next consider several results from neuroscience experimental data which have been given one interpretation by one or another of the standard neurosemantic theories, but to which nTM gives a different interpretation. I include several predictions which I have found neither confirmed nor disconfirmed in the experimental neuroscience literature. -/- (8) After a concluding section in which I summarize the major changes to neurosemantic theory introduced by TM, and the analytic philosophy of language and lexical semantics contexts within which TM is situated, there follows an appendix in which I discuss neural net AI, and make some recommendations for implementing nTM in silicon. (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)

Lexical semantics has a problem. As Allesandro Lenci put it, the problem is that it cannot distinguish semantic from non-semantic relationships within its data. (2008, 2014). The data it relies on are patterns of co-occurrence of lexemes within linguistic corpora. But patterns of co-occurrence can reflect either our knowledge of what the world is like or our knowledge of what words mean -- matters of fact or matters of meaning. -/- In this essay, I develop a semantic theory which draws (...) this distinction in a way which makes it discernible in lexical semantics and cognitive science research. In doing so, this theory unifies truth-functional and structuralist approaches to semantics, and provides an integrated explanation of meaning and reference. -/- I base this semantic theory on linguistic dispositions to pair words with words, and to pair words with things, both based on learned patterns of association. These dispositions manifest themselves in verbal behavior, and (in Part 2) I propose a new neurophysical model to account for these dispositions which underlie both the intensional and extensional patterns in that behavior. (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)

In previous papers I have characterized four ways of reasoning in Peirce’s philosophy, and four ways of reasoning in Computability Theory. I have established their correspondence on the basis of the four pairs of choices regarding two dichotomies, respectively the dichotomy between two kinds of Mathematics and the dichotomy between two kinds of Logic. In the present paper I introduce four principles of reasoning in theoretical Physics and I interpret also them by means of the four pairs of choices regarding (...) the above two dichotomies. I show that there exists a meaningful correspondence among the previous three fourfold sets of elements. This convergence of the characteristic ways of reasoning within three very different fields of research - Peirce’s philosophy, Computability theory and physical theories - suggests that there exists a general-purpose structure of four ways of reasoning. This structure is recognized as applied by Mendeleev when he built his periodic table. Moreover, it is shown that a chemist-, applies all the above ways of reasoning at the same time. Peirce’s professional practice as a chemist applying at the same time this variety of reasoning explains his stubborn research into the variety of the possible inferences. (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)