In this article we derived an important example of the inconsistent countable set in second order ZFC (ZFC_2) with the full second-order semantics. Main results: (i) :~Con(ZFC2_); (ii) let k be an inaccessible cardinal, V is an standard model of ZFC (ZFC_2) and H_k is a set of all sets having hereditary size less then k; then : ~Con(ZFC + E(V)(V = Hk)):.

In this article, a possible generalization of the Löb’s theorem is considered. Main result is: let κ be an inaccessible cardinal, then ¬Con( ZFC +∃κ) .

The incompleteness of set theory ZFC leads one to look for natural extensions of ZFC in which one can prove statements independent of ZFC which appear to be "true". One approach has been to add large cardinal axioms. Or, one can investigate second-order expansions like Kelley-Morse class theory, KM or Tarski- Grothendieck set theory TG [1]-[3] It is a non-conservative extension of ZFC and is obtaineed from other axiomatic set theories by the inclusion of Tarski's axiom which implies the existence (...) of inaccessible cardinals [1].Non-conservative extension of ZFC based on an generalized quantifiers considered in [4]. In this paper we look at a set theory NC_{∞^{#}}^{#},based on bivalent gyper infinitary logic with restricted Modus Ponens Rule [5]-[8]. In this paper we deal with set theory NC_{∞^{#}}^{#} based on gyper infinitary logic with Restricted Modus Ponens Rule. Set theory NC_{∞^{}}^{} contains Aczel's anti-foundation axiom [9]. We present a new approach to the invariant subspace problem for Hilbert spaces. Our main result will be that: if T is a bounded linear operator on an infinite-dimensional complex separable Hilbert space H,it follow that T has a non-trivial closed invariant subspace. Non-conservative extension based on set theory NC_{∞}^{#} of the model theoretical nonstandard analysis [10]-[12] also is considered. (shrink)

The incompleteness of set theory ZF C leads one to look for natural nonconservative extensions of ZF C in which one can prove statements independent of ZF C which appear to be “true”. One approach has been to add large cardinal axioms.Or, one can investigate second-order expansions like Kelley-Morse class theory, KM or Tarski-Grothendieck set theory T G or It is a nonconservative extension of ZF C and is obtained from other axiomatic set theories by the inclusion of Tarski’s axiom (...) which implies the existence of inaccessible cardinals. See also related set theory with a filter quantifier ZF (aa). In this paper we look at a set theory NC# ∞# , based on bivalent gyper infinitary logic with restricted Modus Ponens Rule In this paper we deal with set theory NC# ∞# based on bivalent gyper infinitary logic with Restricted Modus Ponens Rule. Nonconservative extensions of the canonical internal set theories IST and HST are proposed. (shrink)

The thesis of Weak Unrestricted Composition says that every pair of objects has a fusion. This thesis has been argued by Contessa and Smith to be compatible with the world being junky and hence to evade an argument against the necessity of Strong Unrestricted Composition proposed by Bohn. However, neither Weak Unrestricted Composition alone nor the different variants of it that have been proposed in the literature can provide us with a satisfying answer to the special composition question, or so (...) we will argue. We will then go on to explore an alternative family of purely mereological rules in the vicinity of Weak Unrestricted Composition, Cardinal Composition: A plurality of pairwise non-overlapping objects composes an object iff the objects in the plurality are of cardinality smaller than $$\kappa $$ κ. As we will show, all the instances for infinite $$\kappa $$ κ s determine fusion and are compatible with junk, and every instance for a $$\kappa > \aleph _0$$ κ > ℵ 0 is furthermore compatible with gunk and dense chains of parthood. (shrink)

The aim of the paper is to analyze the expressive power of the square operator of Łukasiewicz logic: ∗x=x⊙x⁠, where ⊙ is the strong Łukasiewicz conjunction. In particular, we aim at understanding and characterizing those cases in which the square operator is enough to construct a finite MV-chain from a finite totally ordered set endowed with an involutive negation. The first of our main results shows that, indeed, the whole structure of MV-chain can be reconstructed from the involution and the (...) Łukasiewicz square operator if and only if the obtained structure has only trivial subalgebras and, equivalently, if and only if the cardinality of the starting chain is of the form n+1 where n belongs to a class of prime numbers that we fully characterize. Secondly, we axiomatize the algebraizable matrix logic whose semantics is given by the variety generated by a finite totally ordered set endowed with an involutive negation and Łukasiewicz square operator. Finally, we propose an alternative way to account for Łukasiewicz square operator on involutive Gödel chains. In this setting, we show that such an operator can be captured by a rather intuitive set of equations. (shrink)

Block argues for a distinction between phenomenal consciousness [PC] and access consciousness [AC] on the basis of his ‘overflow’ argument. Some have thought that this distinction might limit the possibilities of studying consciousness, as it suggests the existence of conscious mental states whose contents can’t be reported. After distinguishing theoretically between PC and AC, I will summarise Block’s overflow argument for their factual distinction. Highlighting that Block makes two related but separate modal claims about the PC/AC distinction, I will show (...) that the arguments he offers at most support the weak claim that a subject S can have a mental state which is P-conscious but which isn’t A-conscious. But the assumptions on which his argument for the weak claim rest prevent any supporters of his argument from making the strong claim that an individual can have a mental state which is P-conscious but which can’t be A-conscious. And if the overflow argument can’t motivate this stronger claim then there’s no reason to think that any mental state which is P-conscious can’t be made A-conscious given the right circumstances. In which case, even if Block’s argument succeeds, there’s no reason to think that there are inherently inaccessible and thus unreportable conscious mental states. So fears about the limitations of the possibility of the study of consciousness due to the existence of such mental states on the basis of the overflow argument can be allayed. (shrink)

Women constituting almost half of the population of a country are the major human resource and accordingly the involvment of women in every sphere - economic, social, political is urgently felt for the development of a country. Health is one of the major infrastructures to constitute a strong human resource and is emerging as a significant element of human capital and a vital indicator of human development. Improvement in the health status of women plays a very important role in the (...) improvement of socio-economic condition of an economy. In India nearly 70% of the population are coming from rural areas and are suffering and dying from preventable diseases due to unavailability and inaccessibility of health care services. Among the rural population women are the most sufferer. They are trapped in poverty, malnutrition, low level of literacy, and are facing high rate of infant and maternal mortality rate with low expectancy of life at birth etc. Providing sound health care to these rural women is the urgent need and accordingly the Government of India has launched National Rural Health Mission to improve the availability of and access to quality health care by people, especially for those residing in rural areas, the poor, and women. ASHA – one of the stakeholders of NRHM play a very important role in smoothening the delivery of health care services to the rural population specially the woman. A female from a village acts as an ASHA in improvising the health condition of the rural women. The present paper is prepared with the following objectives: 1. To study how ASHA is functioning in providing health care services. Methodology and data base: The study will be based on both primary and secondary data. The primary data will be collected by using multistage sampling. In the first stage of sample selection 2 Community Blocks of Karimganj will be selected at random. From the selected 2(two) Community Blocks 1 Gaon Panchayat from each Blocks will be selected on the basis of simple random sampling. From each of 2 selected Gaon Panchayat 2 villages will be selected by using simple random sampling. From each village 10% of total household will be surveyed and the ASHA workers will be directly interviewed. The main sources of secondary data are the official publication of governments. (shrink)

We examine some of Connes’ criticisms of Robinson’s infinitesimals starting in 1995. Connes sought to exploit the Solovay model S as ammunition against non-standard analysis, but the model tends to boomerang, undercutting Connes’ own earlier work in functional analysis. Connes described the hyperreals as both a “virtual theory” and a “chimera”, yet acknowledged that his argument relies on the transfer principle. We analyze Connes’ “dart-throwing” thought experiment, but reach an opposite conclusion. In S , all definable sets of reals are (...) Lebesgue measurable, suggesting that Connes views a theory as being “virtual” if it is not definable in a suitable model of ZFC. If so, Connes’ claim that a theory of the hyperreals is “virtual” is refuted by the existence of a definable model of the hyperreal field due to Kanovei and Shelah. Free ultrafilters aren’t definable, yet Connes exploited such ultrafilters both in his own earlier work on the classification of factors in the 1970s and 80s, and in Noncommutative Geometry, raising the question whether the latter may not be vulnerable to Connes’ criticism of virtuality. We analyze the philosophical underpinnings of Connes’ argument based on Gödel’s incompleteness theorem, and detect an apparent circularity in Connes’ logic. We document the reliance on non-constructive foundational material, and specifically on the Dixmier trace −∫ (featured on the front cover of Connes’ magnum opus) and the Hahn–Banach theorem, in Connes’ own framework. We also note an inaccuracy in Machover’s critique of infinitesimal-based pedagogy. (shrink)

According to the Strong Belief Thesis (SBT), intending to X entails the belief that one will X. John Brunero has attempted to impugn SBT by arguing that there are cases in which an agent intends to X but is unsure that she will X. Moreover, he claims that the standard reply to such putative counterexamples to SBT – namely, to claim that the unsure agent merely has an intention to try – comes at a high price. Specifically, it prevents SBT (...) from playing the kind of explanatory role the cognitivist requires. This article meets Brunero's challenge to SBT by offering an account of trying and intending to try that not only saves SBT from Brunero's criticism, but does so in a way that preserves the explanatory significance that cognitivists typically take SBT to have. (shrink)

In this paper we view the first order set theory ZFC under the canonical frst order semantics and the second order set theory ZFC_2 under the Henkin semantics. Main results are: (i) Let M_st^ZFC be a standard model of ZFC, then ¬Con(ZFC + ∃M_st^ZFC ). (ii) Let M_stZFC_2 be a standard model of ZFC2 with Henkin semantics, then ¬Con(ZFC_2 +∃M_stZFC_2). (iii) Let k be inaccessible cardinal then ¬Con(ZFC + ∃κ). In order to obtain the statements (i) and (ii) examples (...) of the inconsistent countable set in a set theory ZFC + ∃M_stZFC and in a set theory ZFC2 + ∃M_st^ZFC_2 were derived. It is widely believed that ZFC + ∃M_stZFC and ZFC_2 + ∃M_st^ZFC_2 are consistent, i.e. ZFC and ZFC_2 have a standard models. Unfortunately this belief is wrong. Book. Advances in Mathematics and Computer Science Vol. 1 Chapter 3 There is No Standard Model of ZFC and ZFC2 ISBN-13 (15) 978-81-934224-1-0 See Part II of this paper DOI: 10.4236/apm.2019.99034 . (shrink)

The iterative conception of set is typically considered to provide the intuitive underpinnings for ZFCU (ZFC+Urelements). It is an easy theorem of ZFCU that all sets have a definite cardinality. But the iterative conception seems to be entirely consistent with the existence of “wide” sets, sets (of, in particular, urelements) that are larger than any cardinal. This paper diagnoses the source of the apparent disconnect here and proposes modifications of the Replacement and Powerset axioms so as to allow for the (...) existence of wide sets. Drawing upon Cantor’s notion of the absolute infinite, the paper argues that the modifications are warranted and preserve a robust iterative conception of set. The resulting theory is proved consistent relative to ZFC + “there exists an inaccessible cardinal number.”. (shrink)

One of the most plausible and widely discussed examples of strong emergence is molecular structure. The only detailed account of it, which has been very influential, is due to Robin Hendry and is formulated in terms of downward causation. This paper explains Hendry’s account of the strong emergence of molecular structure and argues that it is coherent only if one assumes a diachronic reflexive notion of downward causation. However, in the context of this notion of downward causation, the strong emergence (...) of molecular structure faces three challenges that have not been met and which have so far remained unnoticed. First, the putative empirical evidence presented for the strong emergence of molecular structure equally undermines supervenience, which is one of the main tenets of strong emergence. Secondly, it is ambiguous how the assumption of determinate nuclear positions is invoked for the support of strong emergence, as the role of this assumption in Hendry’s argument can be interpreted in more than one way. Lastly, there are understandings of causation which render the postulation of a downward causal relation between a molecule’s structure and its quantum mechanical entities, untenable. (shrink)

The thesis deals with the concept of truth and the paradoxes of truth. Philosophical theories usually consider the concept of truth from a wider perspective. They are concerned with questions such as - Is there any connection between the truth and the world? And, if there is - What is the nature of the connection? Contrary to these theories, this analysis is of a logical nature. It deals with the internal semantic structure of language, the mutual semantic connection of sentences, (...) above all the connection of sentences that speak about the truth of other sentences and sentences whose truth they speak about. Truth paradoxes show that there is a problem in our basic understanding of the language meaning and they are a test for any proposed solution. It is important to make a distinction between the normative and analytical aspect of the solution. The former tries to ensure that paradoxes will not emerge. The latter tries to explain paradoxes. Of course, the practical aspect of the solution is also important. It tries to ensure a good framework for logical foundations of knowledge, for related problems in Artificial Intelligence and for the analysis of the natural language. Tarski’s analysis emphasized the T-scheme as the basic intuitive principle for the concept of truth, but it also showed its inconsistency with the classical logic. Tarski’s solution is to preserve the classical logic and to restrict the scheme: we can talk about the truth of sentences of a language only inside another essentially richer metalanguage. This solution is in harmony with the idea of reflexivity of thinking and it has become very fertile for mathematics and science in general. But it has normative nature | truth paradoxes are avoided in a way that in such frame we cannot even express paradoxical sentences. It is also too restrictive because, for the same reason we cannot express a situation in which there is a circular reference of some sentences to other sentences, no matter how common and harmless such a situation may be. Kripke showed that there is no natural restriction to the T-scheme and we have to accept it. But then we must also accept the riskiness of sentences | the possibility that under some circumstances a sentence does not have the classical truth value but it is undetermined. This leads to languages with three-valued semantics. Kripke did not give any definite model, but he gave a theoretical frame for investigations of various models | each fixed point in each three-valued semantics can be a model for the concept of truth. The solutions also have normative nature | we can express the paradoxical sentences, but we escape a contradiction by declaring them undetermined. Such a solution could become an analytical solution only if we provide the analysis that would show in a substantial way that it is the solution that models the concept of truth. Kripke took some steps in the direction of finding an analytical solution. He preferred the strong Kleene three-valued semantics for which he wrote it was "appropriate" but did not explain why it was appropriate. One reason for such a choice is probably that Kripke finds paradoxical sentences meaningful. This eliminates the weak Kleene three valued semantics which corresponds to the idea that paradoxical sentences are meaningless, and thus indeterminate. Another reason could be that the strong Kleene three valued semantics has the so-called investigative interpretation. According to this interpretation, this semantics corresponds to the classical determination of truth, whereby all sentences that do not have an already determined value are temporarily considered indeterminate. When we determine the truth value of these sentences, then we can also determine the truth value of the sentences that are composed of them. Kripke supplemented this investigative interpretation with an intuition about learning the concept of truth. That intuition deals with how we can teach someone who is a competent user of an initial language (without the predicate of truth T) to use sentences that contain the predicate T. That person knows which sentences of the initial language are true and which are not. We give her the rule to assign the T attribute to the former and deny that attribute to the latter. In that way, some new sentences that contain the predicate of truth, and which were indeterminate until then, become determinate. So the person gets a new set of true and false sentences with which he continues the procedure. This intuition leads directly to the smallest fixed point of strong Kleene semantics as an analytically acceptable model for the logical notion of truth. However, since this process is usually saturated only on some transfinite ordinal, this intuition, by climbing on ordinals, increasingly becomes a metaphor. This thesis is an attempt to give an analytical solution to truth paradoxes. It gives an analysis of why and how some sentences lack the classical truth value. The starting point is basic intuition according to which paradoxical sentences are meaningful (because we understand what they are talking about well, moreover we use it for determining their truth values), but they witness the failure of the classical procedure of determining their truth value in some "extreme" circumstances. Paradoxes emerge because the classical procedure of the truth value determination does not always give a classically supposed (and expected) answer. The analysis shows that such an assumption is an unjustified generalization from common situations to all situations. We can accept the classical procedure of the truth value determination and consequently the internal semantic structure of the language, but we must reject the universality of the exterior assumption of a successful ending of the procedure. The consciousness of this transforms paradoxes to normal situations inherent to the classical procedure. Some sentences, although meaningful, when we evaluate them according to the classical truth conditions, the classical conditions do not assign them a unique value. We can assign to them the third value, \undetermined", as a sign of definitive failure of the classical procedure. An analysis of the propagation of the failure in the structure of sentences gives exactly the strong Kleene three-valued semantics, not as an investigative procedure, as it occurs in Kripke, but as the classical truth determination procedure accompanied by the propagation of its own failure. An analysis of the circularities in the determination of the classical truth value gives the criterion of when the classical procedure succeeds and when it fails, when the sentences will have the classical truth value and when they will not. It turns out that the truth values of sentences thus obtained give exactly the largest intrinsic fixed point of the strong Kleene three-valued semantics. In that way, the argumentation is given for that choice among all fixed points of all monotone three-valued semantics for the model of the logical concept of truth. An immediate mathematical description of the fixed point is given, too. It has also been shown how this language can be semantically completed to the classical language which in many respects appears a natural completion of the process of thinking about the truth values of the sentences of a given language. Thus the final model is a language that has one interpretation and two systems of sentence truth evaluation, primary and final evaluation. The language through the symbol T speaks of its primary truth valuation, which is precisely the largest intrinsic fixed point of the strong Kleene three valued semantics. Its final truth valuation is the semantic completion of the first in such a way that all sentences that are not true in the primary valuation are false in the final valuation. (shrink)

Nietzsche’s psychological theory of the drives calls into question two common assumptions of ideology critique: 1) that ideology is fetishistic, substituting false satisfactions for true ones, and 2) that ideology is falsification; it conceals exploitation. In contrast, a Nietzschean approach begins from the truth of ideology: that capitalism produces an authentic contentment that makes the concealment of exploitation unnecessary. And it critiques ideology from the same standpoint: capitalism produces pleasures too efficiently, an overproduction of desire that is impossible to sustain (...) indefinitely. Nietzsche’s concept of the drives (Trieben) is grounded in his theory of the will to power. In contrast to Freud’s view that drives aim at satiation, pleasure through stimulus reduction, in Nietzsche’s view, they aim primarily at the “feeling of power” and the “happiness of high tension.” Nietzsche sees the desire for satiation as a symptom of weakness, a secondary, contingent aim that is incompatible with the fundamental drive to sustain and heighten the feeling of tension that accompanies strong desire. While the Freudian subject desires satisfaction, the Nietzschean subject is paradoxically frustrated by satisfaction, finding happiness in desire sustained by resistance and tension. If individuals desire desire as such, then exploitation and immiseration are not necessarily incompatible with their happiness. Consequently, we must reject the view that ideology is fetishistic: capitalism does not depend on an ersatz satisfaction in the commodity, a transferal of value from quality to quantity, use value to exchange value. Capitalism authentically satisfies desire precisely through its exploitative economic structure. The independence and unpredictability of the value of commodities and the immiseration of laborers produces discontents that enhance rather than frustrate desire. By continually introducing new, initially inaccessible commodities, then overcoming their inaccessibility through overproduction, capitalism sustains and intensifies desires. It promotes happiness not by satisfying wants but generating them, feeding the desire for desire, for the intensity of feeling that the brief pleasures of satiation would destroy. The commodity is not, then, a fetish, not a false satisfaction or aim, but a means, a prop that supports and sustains satisfaction as continued desire. Consequently, we must also reject the view that ideology is falsification: capitalism’s efficient production of happiness obviates the need to conceal its nature. Individuals tolerate capitalism not out of ignorance of exploitation but indifference to it; they prefer real happiness to a merely possible justice that might come at its expense. The critique of ideology must begin by acknowledging its truth. Rather than deny the real satisfactions of capitalism, it must demonstrate that they are unsustainable. (shrink)

The early history of string theory is marked by a shift from strong interaction physics to quantum gravity. The first string models and associated theoretical framework were formulated in the late 1960s and early 1970s in the context of the S-matrix program for the strong interactions. In the mid-1970s, the models were reinterpreted as a potential theory unifying the four fundamental forces. This paper provides a historical analysis of how string theory was developed out of S-matrix physics, aiming to clarify (...) how modern string theory, as a theory detached from experimental data, grew out of an S-matrix program that was strongly dependent upon observable quantities. Surprisingly, the theoretical practice of physicists already turned away from experiment before string theory was recast as a potential unified quantum gravity theory. With the formulation of dual resonance models (the “hadronic string theory”), physicists were able to determine almost all of the models' parameters on the basis of theoretical reasoning. It was this commitment to “non-arbitrariness”, i.e., a lack of free parameters in the theory, that initially drove string theorists away from experimental input, and not the practical inaccessibility of experimental data in the context of quantum gravity physics. This is an important observation when assessing the role of experimental data in string theory. (shrink)

"The main aim of the paper is to compare two types of abstractionistic accounts of fictional objects, and to analyze their consequences for interpretation of existential quantification. According to a proponent of general abstractionistic theory, fictional objects have abstract nature in a way similar to contracts, marriages, and the likes. This view is an alternative to strongly realistic accounts of fictional objects, defended by Terence Parsons or David Lewis. Within abstractionistic theories, as in all philosophical areas, one can find (...) divergences of opinions. The main differences between two of them – Peter van Inwagen's and Edward Zalta's – are connected with the interpretation of existential quantification. According to van Inwagen, “being” is the same as “existence” and its sense is captured by the existential quantifier. Edward Zalta's theory is much closer to the Meinongian Theory of Objects. He argues for the need of distinguishing between “being” and “existence” and for invoking nonexistent objects. Because of that he suggests an alternative interpretation of quantification. Admittedly, there is one abstractionistic source for both theories, but their ontological consequences are different - van Inwagen is a staunch opponent of nonexistent objects, and Zalta describes his own theory as "Meinongian".". (shrink)

A common feature of all standard theories of the laws of nature is that they are "absolutist": They take laws to be either all metaphysically necessary or all contingent. Science, however, gives us reason to think that there are laws of both kinds, suggesting that standard theories should make way for "non-absolutist" alternatives: theories which accommodate laws of both modal statuses. In this paper, we set out three explanatory challenges for any candidate non-absolutist theory and discuss the prospects of the (...) two extant candidates in light of these challenges. We then develop our own non-absolutist theory, the essentialist DTA account, which combines the nomic-necessitation or DTA account with an essentialist approach to metaphysical modality in order to meet the three explanatory challenges. Finally, we argue that the distinction between kinematical and dynamical laws found in physical theories supports both non-absolutism in general and our proposed essentialist DTA view in particular. (shrink)

What exists at the fundamental level of reality? On the standard picture, the fundamental reality contains (among other things) fundamental matter, such as particles, fields, or even the quantum state. Non-fundamental facts are explained by facts about fundamental matter, at least in part. In this paper, I introduce a non-standard picture called the "cosmic void” in which the universe is devoid of any fundamental material ontology. Facts about tables and chairs are recovered from a special kind of laws that satisfy (...) strong determinism. All non-fundamental facts are completely explained by nomic facts. I discuss a concrete example of this picture in a strongly deterministic version of the many-worlds theory of quantum mechanics. I discuss some philosophical and scientific challenges to this view, as well as some connections to ontological nihilism. (shrink)

In order to reason in a non-trivializing way with contradictions, para- consistent logics reject some classically valid inferences. As a way of re- covering some of these inferences, Graham Priest ([Priest, 1991]) proposed to nonmonotonically strengthen the Logic of Paradox by allowing the se- lection of “less inconsistent” models via a comparison of their respective inconsistent parts. This move recaptures a good portion of classical logic in that it does not block, e.g., disjunctive syllogism, unless it is applied to contradictory (...) assumptions. In Priest’s approach the inconsistent parts of models are compared in an extensional way by considering their inconsis- tent objects. This distinguishes his system from the standard format of (inconsistency-)adaptive logics pioneered by Diderik Batens, according to which (atomic) contradictions validated in models form the basis of their comparison. A well-known problem for Priest’s extensional approach is its lack of the Strong Reassurance property, i.e., for specific settings there may be infinitely descending chains of less and less inconsistent models, thus never reaching a minimally inconsistent model. In this paper, we demonstrate that Strong Reassurance holds for the extensional approach under a cardinality-based comparison of the incon- sistent parts of models. Furthermore, we introduce and investigate the metatheory of the class of first-order nonmonotonic inconsistency-tolerant construct over the extensional or quantitative comparisons of their respec- tive models. Core model-theoretic properties for these logics, such as the Löwenheim-Skolem theorems, along with other nonmonotonic properties, are further studied. (shrink)

We present a theoretical view of the cellular foundations for network-level processes involved in producing our conscious experience. Inputs to apical synapses in layer 1 of a large subset of neocortical cells are summed at an integration zone near the top of their apical trunk. These inputs come from diverse sources and provide a context within which the transmission of information abstracted from sensory input to their basal and perisomatic synapses can be amplified when relevant. We argue that apical amplification (...) enables conscious perceptual experience and makes it more flexible, and thus more adaptive, by being sensitive to context. Apical amplification provides a possible mechanism for recurrent processing theory that avoids strong loops. It makes the broadcasting hypothesized by global neuronal workspace theories feasible while preserving the distinct contributions of the individual cells receiving the broadcast. It also provides mechanisms that contribute to the holistic aspects of integrated information theory. As apical amplification is highly dependent on cholinergic, aminergic, and other neuromodulators, it relates the specific contents of conscious experience to global mental states and to fluctuations in arousal when awake. We conclude that apical dendrites provide a cellular mechanism for the context-sensitive selective amplification that is a cardinal prerequisite of conscious perception. (shrink)

As a main challenge to the growing block theory (GBT), the epistemic objection is intended to show that GBT is untenable because it leads to the ignorance of the objective present. What is worse, extant solutions to this objection, the dead past view (DPV) and strong tense views (STV), are unsatisfactory on the ground that their semantic explanations of tensed statements undermine the purported semantic unity of GBT and thus make GBT collapse into a version of presentism. In contrast to (...) extant solutions, I recommend growing blockists to adopt a new “biting the bullet” solution: They should accept the ignorance of the absolute present for the dual purpose of retaining GBT’s semantic unity and theoretical independence. Moreover, I argue that ignorance is not a big loss for growing blockists: Although they lose the so-called “Moorean common advantage” over B-theorists and include some “deeply mysterious” and epistemically inaccessible fundamental posit in their ontology, growing blockists thereby protect the semantic unity of their theory and most of ordinary knowledge about B-relations between moments of time and their temporal locations. Theory choice, in essence, is a matter of balancing benefits and costs. I believe that versions of GBT which accept the ignorance of the objective present are indeed tenable intermediate positions in the philosophical debate about the nature of time, and they deserve serious considerations of B-theorists. (shrink)

In the article “A Tension in the Strong Program: The Relation between the Rational and the Social,” I stated that David Bloor, citing the principle of symmetry, expresses that rational and irrational beliefs must be explained in the same way, that is, by causes of the same kind. On this wise, he rejects the methodology of traditional philosophers and historians of science as asymmetrical; since they explain evidence-based beliefs with epistemic reasons and unreasonable beliefs—e.g. beliefs based on indoctrination, propaganda, ideology, (...) and superstition—citing social factors. On the other hand, Bloor argues that the rational is made entirely of the social and, therefore, is itself a kind of social factor. But by admitting this maximum conception of social constructivism, Bloor can no longer consider the rational and the social as two separate identities and accuse the traditional view of asymmetry. However, Professor Finn Collin says that Bloor’s critique of the traditional model never commits him to the duality of the rational and the social. (shrink)

In Death and Nonexistence, Palle Yourgrau defends what he calls the principle of Prior Possibility: nothing comes to exist unless it was previously possible that it exists. While this seems like a plausible principle, it’s not strong enough; it allows the impossible to come to exist. I argue for a stronger principle: nothing exists unless its existence has always been possible. Further, I argue that we then have reason to accept a surprising result: nothing exists unless its existence is (...) always possible. Or, more generally, that nothing is the case unless it’s always possible that it’s the case. (shrink)

This paper looks at the critical reception of two central claims of Peter Auriol’s theory of cognition: the claim that the objects of cognition have an apparent or objective being that resists reduction to the real being of objects, and the claim that there may be natural intuitive cognitions of nonexistent objects. These claims earned Auriol the criticism of his fellow Franciscans, Walter Chatton and Adam Wodeham. According to them, the theory of apparent being was what had led Auriol to (...) allow for intuitive cognitions of nonexistents, but the intuitive cognition of nonexistents, at its turn, led to scepticism. Modern commentators have offered similar readings of Auriol, but this paper argues, first, that the apparent being provides no special reason to think there could be intuitions of nonexistent objects, and second, that despite his idiosyncratic account of intuition, Auriol was no more vulnerable to scepticism than his critics. (shrink)

In this précis of The Practical Origins of Ideas: Genealogy as Conceptual Reverse-Engineering (OUP 2021), I summarize the key claims of the book. The book describes, develops, and defends an underappreciated methodological tradition: the tradition of pragmatic genealogy, which aims to identify what our loftiest and most inscrutable conceptual practices do for us by telling strongly idealized, but still historically informed stories about what might have driven people to adopt and elaborate them as they did. What marks out this (...) methodological tradition, I argue, is that it synthesizes two genres of philosophical genealogy that are standardly set against each other: state-of-nature fictions on the one hand and patiently documentary historiography on the other. These two genres of genealogy are usually taken to be mutually exclusive and to answer to radically different philosophical interests and temperaments. But I offer a systematic account of a tradition that combines both genres into a single genealogical method, augmenting genealogy’s power and range by harnessing the strengths and possibilities of both genres. (shrink)

In this paper, I introduce an iterative method aimed at exploring numbers within the interval [0, 1]. Beginning with a foundational set, S0, a series of algorithms are employed to expand and refine this set. Each algorithm has its designated role, from incorporating irrational numbers to navigating non-deterministic properties. With each successive iteration, our set grows, and after infinite iterations, its cardinality is proposed to align with that of the real numbers. This work is an initial exploration into this approach, (...) and further investigation is encouraged to understand its full implications and potential. (shrink)

According to the so-called strong variant of Composition as Identity (CAI), the Principle of Indiscernibility of Identicals can be extended to composition, by resorting to broadly Fregean relativizations of cardinality ascriptions. In this paper we analyze various ways in which this relativization could be achieved. According to one broad variety of relativization, cardinality ascriptions are about objects, while concepts occupy an additional argument place. It should be possible to paraphrase the cardinality ascriptions in plural logic and, as a consequence, relative (...) counting requires the relativization either of quantifiers, or of identity, or of the is one of relation. However, some of these relativizations do not deliver the expected results, and others rely on problematic assumptions. In another broad variety of relativization, cardinality ascriptions are about concepts or sets. The most promising development of this approach is prima facie connected with a violation of the so-called Coreferentiality Constraint, according to which an identity statement is true only if its terms have the same referent. Moreover - even provided that the problem with coreferentiality can be fixed - the resulting analysis of cardinality ascriptions meets several difficulties. (shrink)

There are long-standing doubts about whether data from subjective scales—for instance, self-reports of happiness—are cardinally comparable. It is unclear how to assess whether these doubts are justified without first addressing two unresolved theoretical questions: how do people interpret subjective scales? Which assumptions are required for cardinal comparability? This paper offers answers to both. It proposes an explanation for scale interpretation derived from philosophy of language and game theory. In short: conversation is a cooperative endeavour governed by various maxims (Grice 1989); (...) because subjective scales are vague and individuals want to make themselves understood, scale interpretation is a search for a focal point (Schelling 1960). A specific focal point it hypothesised; if this hypothesis is correct, subjective data will be cardinally comparable. Four individually necessary and jointly sufficient conditions for cardinal comparability are specified. The paper then argues this hypothesis can be empirically be tested, makes an initial attempt to do so using subjective well-being data, and concludes it is supported. Numerous areas for further research are identified including, at the end of the paper, how certain tests could be used to ‘correct’ subjective data if they are not cardinal. (shrink)

Forgetting is importantly related to remembering, evidence possession, epistemic virtue, personal identity, and a host of highly-researched memory conditions. In this paper I examine the nature of forgetting. I canvass the viable options for forgetting’s ontological category, type of content, characteristic relation to content, and scale. I distinguish several theories of forgetting in the philosophy and psychology of memory literatures, theories that diverge on these options. The best theories from the literature, I claim, fail two critical tests that I develop (...) (the metacognition and prospection tests), underwriting arguments against the theories. I introduce a new theory about the state of forgetting—the learning, access failure, dispositional (LEAD) theory: to forget is to fail to access something that is both learned and either inaccessible or intended to be accessed. I argue that the LEAD theory of forgetting is the lead theory of forgetting. It passes the metacognition and prospection tests, and has several further virtues at no cost. Finally, I advocate reductionism about the process of forgetting; the process reduces wholly to states of forgetting. In particular, a process of forgetting is just a sequence of increasingly strong states of forgetting. (shrink)

An endomorphism on an algebra \ is said to be strong if it is compatible with every congruence on \; and \ is said to have the strong endomorphism kernel property if every congruence on \, other than the universal congruence, is the kernel of a strong endomorphism on \. Here we characterise the structure of those double MS-algebras that have this property by the way of Priestley duality.

In “A Tension in the Strong Program: The Relation between the Rational and the Social”, Shahram Shahryari (2021) advances the following thesis: In his Strong Program in the sociology of science, David Bloor blames traditional philosophy of science for adopting a dualist strategy in explaining scientific developments, as it employs rational explanation for successful science and social explanation for flawed science. Instead, according to Bloor, all scientific developments should be explained monistically, i.e. in terms of social causes. This is also (...) referred to as the Symmetry Principle, and it is a key tenet in the Strong Program. The author detects a tension here, as Bloor apparently asserts that traditional philosophy of science deploys two kinds of explanation, and simultaneously insists that there is only one kind, i.e. social explanation. (shrink)

Ethical naturalism is sometimes accused of problematic metaphysics or epistemology. Some argue that naturalists rely on concepts of ‘nature’ indefensible in the light of modern evolutionary biology. There is also an epistemological worry that has been raised recently that strong normative evaluation, such as meaning in human life, is empirically inaccessible or even in conflict with what we know in scientific contexts. While the critics have targeted Aristotelian and Neo-Aristotelian views, I will appeal to an argument from the Neo- (...) Confucian Zhu Xi as one potential way that we can respond to skeptics. If we can know that human beings are capable of moral goodness, and it is comprehensible for us to take moral goodness as a final or unifying goal of our lives, then we can respond to the skeptical objections which allege that we cannot sustain rich normative judgments about meaning in life in the face of scientific evidence. (shrink)

There is considerable disagreement about the epistemic value of novel predictive success, i.e. when a scientist predicts an unexpected phenomenon, experiments are conducted, and the prediction proves to be accurate. We survey the field on this question, noting both fully articulated views such as weak and strong predictivism, and more nascent views, such as pluralist reasons for the instrumental value of prediction. By examining the various reasons offered for the value of prediction across a range of inferential contexts , we (...) can see that neither weak nor strong predictivism captures all of the reasons for valuing prediction available. A third path is presented, Pluralist Instrumental Predictivism; PIP for short. (shrink)

One common objection against the Principle of Sufficient Reason is that it leads to a highly counterintuitive position, namely, necessitarianism. In this paper, drawing on Avicenna’s modal theory, I differentiate between two versions of necessitarianism: strong necessitarianism and weak necessitarianism. I argue that the modal intuition driving this objection pertains to strong necessitarianism, while the Principle of Sufficient Reason, at most, leads to weak necessitarianism.

In Squaring the Circle in Descartes’ Meditations, Stephen Wagner aims to show that Descartes’ project in the Meditations is best understood as a ‘strong validation of reason’ i.e., as proving in a non-circular way that human reason is a reliable, truth-conducive faculty. For such an enterprise to qualify as a ‘strong’ validation, Wagner contends, skeptical doubt must be given its strongest force. The most stringent doubt available in the Meditations is the deceiving God. To rule out the possibility that an (...) omnipotent God created humans so that their best functioning cognitive faculties provide misleading information about what the world is like, Descartes must prove that a non-deceiving God exists. Furthermore, only a non-circular proof will count as a ‘validation.’ Wagner spells out the requirements of non-circularity as involving a proof for God’s existence that is not deductive, does not simply achieve a clear and distinct perception of God’s existence, and proceeds on the basis of perceptions that remain true even when the reasons underlying them are not attended to any longer by the meditator. (shrink)

As a representative of the papacy Bellarmine was an extremely moderate one. In fact Sixtus V in 1590 had the first volume of his Disputations placed on the Index because it contained so cautious a theory of papal power, denying the Pope temporal hegemony. Bellarmine did not represent all that Hobbes required of him either. On the contrary, he proved the argument of those who championed the temporal powers of the Pope faulty. As a Jesuit he tended to maintain the (...) relative autonomy of the state, denying the temporal powers ascribed by radical papalists and Augustinians. Their argument was generally framed as a syllogism: Christ, who possessed direct temporal power as both God and man, exercised it on earth; the Pope is the vicar of Christ; therefore the Pope possesses and may exercise direct temporal jurisdiction. Bellarmine simply denied that Christ had exercised the temporal power, which as God, it is true, he possessed. Moreover, he drew up and circulated a list of patristic passages collected under the title De Regno Christi quale sit, to prove to the Pope the orthodoxy of his position. (shrink)

In his article, “The Strong Program and Asymmetrical Explanation of the History of Science: A Reply to Collin” (Shahryari 2022b), Shahram Shahryari responds to my comments (in Collin 2022) upon his original article, “A Tension in the Strong Program: The Relation between the Rational and the Social” (Shahryari 2022a). I believe that in this new contribution, Shahryari changes the subject as compared to our original discussion. Hence, before I comment upon his recent contribution, I want to recapitulate briefly the content (...) of that discussion. (shrink)

A logically impossible sentence is one which entails a contradiction, a logically necessary sentence is one whose negation entails a contradiction, and a logically possible sentence is one which does not entail a contradiction. Metaphysically impossible, necessary and possible sentences are ones which become logically impossible, necessary, or possible by substituting what I call informative rigid designators for uninformative ones. It does seem very strongly that a negative existential sentence cannot entail a contradiction, and so ”there is a God’ (...) cannot be a metaphysically necessary truth. If it were such a truth, innumerable other sentences which seem paradigm examples of logically possible sentences, such as ”no one knows everything’ would turn out to be logically impossible. The only way in which God could be a logically necessary being is if there were eternal necessary propositions independent of human language or God’s will, such that the proposition that there is no God would entail -- via propositions inaccessible to us -- a contradiction. But if there were such propositions, God would have less control over the universe than he would have otherwise. (shrink)

Advocating a sociological explanation of scientific knowledge, David Bloor protests against the adherents of the autonomy of knowledge; i.e., those who asymmetrically explain the credibility of theories in the history of science. These philosophers and historians regard the credibility of true and rational theories due to their proper reasons, while accounting for the acceptance of false or irrational beliefs by citing social causes. Bloor assumes that the credibility of all beliefs is socially influenced, and therefore considers all in need of (...) sociological explanation. To substantiate this claim, he argues that all epistemic factors that are appealed to in explaining true or rational beliefs are really social. However, this argument aligns rational entities with social factors, and thus, undermines the ground of this division. Therefore, his prior complaint of the autonomy of knowledge would be invalidated. Hence, there is a conflict between Bloor’s objection to the asymmetrical explanation of scientific theories and his account of the social construction of epistemic reasons. In this paper, we reveal this concealed conflict and attempt to suggest ways to resolve it. (shrink)

According to some philosophers, we are “cognitively closed” to the answers to certain problems. McGinn has taken the next step and offered a list of examples: the mind/body problem, the problem of the self and the problem of free will. There are naturalistic, scientific answers to these problems, he argues, but we cannot reach them because of our cognitive limitations. In this paper, we take issue with McGinn's thesis as the most well-developed and systematic one among the so-called “new mysterians”. (...) McGinn aims to establish a strong, representational notion of cognitive closure: a principled inaccessibility of a true theory of certain properties of the world, but he offers arguments that only bear on difficulties with psychologically grasping the correct answers. The latter we label psychological closure. We argue that representational closure does not follow from psychological closure, and that McGinn's case therefore falters. We could very well be able to represent the correct answer to some question, even without being able to grasp that answer psychologically. McGinn's mistake in deriving representational closure from psychological closure rests on a fallacy of equivocation relating to the concept of ‘understanding’. By making this distinction explicit, we hope to improve our thinking about the limits of science in particular and human knowledge in general. (shrink)

Holmes exists is false. How can this be, when there is no one for the sentence to misdescribe? Part of the answer is that a sentence’s topic depends on context. The king of France is bald, normally unevaluable, is false qua description of the bald people. Likewise Holmes exists is false qua description of the things that exist; it misdescribes those things as having Holmes among them. This does not explain, though, how Holmes does not exist differs in cognitive content (...) from, say, Vulcan does not exist. Our answer builds on an observation of Kripke’s: even if Holmes exists, he is not in this room, for we were all born too late. (shrink)

In abstract algebraic logic, many systems, such as those paraconsistent logics taking inspiration from da Costa's hierarchy, are not algebraizable by even the broadest standard methodologies, as that of Blok and Pigozzi. However, these logics can be semantically characterized by means of non-deterministic algebraic structures such as Nmatrices, RNmatrices and swap structures. These structures are based on multialgebras, which generalize algebras by allowing the result of an operation to assume a non-empty set of values. This leads to an interest in (...) exploring the foundations of multialgebras applied to the study of logic systems. -/- It is well known from universal algebra that, for every signature Sigma, there exist algebras over Sigma which are absolutely free, meaning that they do not satisfy any identities or, alternatively, satisfy the universal mapping property for the class of Sigma-algebras. Furthermore, once we fix a cardinality of the generating set, they are, up to isomorphisms, unique, and equal to algebras of terms (or propositional formulas, in the context of logic). Equivalently, the forgetful functor, from the category of Sigma-algebras to Set, has a left adjoint. This result does not extend to multialgebras. Not only multialgebras satisfying the universal mapping property do not exist, but the forgetful functor U, from the category of Sigma-multialgebras to Set, does not have a left adjoint. -/- In this paper we generalize, in a natural way, algebras of terms to multialgebras of terms, whose family of submultialgebras enjoys many properties of the former. One example is that, to every pair consisting of a function, from a submultialgebra of a multialgebra of terms to another multialgebra, and a collection of choices (which selects how a homomorphism approaches indeterminacies), there corresponds a unique homomorphism, what resembles the universal mapping property. Another example is that the multialgebras of terms are generated by a set that may be viewed as a strong basis, which we call the ground of the multialgebra. Submultialgebras of multialgebras of terms are what we call weakly free multialgebras. Finally, with these definitions at hand, we offer a simple proof that multialgebras with the universal mapping property for the class of all multialgebras do not exist and that U does not have a left adjoint. (shrink)

The quantified argument calculus (Quarc) is a novel logic that departs in several ways from mainstream first-order logic. In particular, its quantifiers are not sentential operators attached to variables, but attach to unary predicates to form arguments – quantified arguments – of other predicates. Furthermore, Quarc includes devices to account for anaphora, active-passive-voice distinctions, and sentence- versus predicate-negation. While this base system has already been shown to be sound and complete, modal extensions still lack such results. The present paper fills (...) this lacuna by developing a modal extension of Quarc, including identity. The semantics will invalidate the Quarc-analogues of the Barcan-formula and its converse, as well as treat identity as contingent by default. Furthermore, an unlabelled Gentzen-style natural deduction system will be presented, which includes the full expressive power of Quarc. It will be shown to be strongly sound and complete with respect to relational frames. The paper closes off with considerations on how to extend the system to cover other normal modal logics as well as extensions to suitable three-valued semantics that capture relevant types of presupposition-failure. (shrink)

This paper straightforwardly addresses one of the strongest, from an ethical perspective, objections presented to the duty to die, the one concerned with the lack of a normative theory to support it, offered by Seay in his paper Can there be a “duty to die” without a normative theory? The aim of the paper is to provide strong metaethical grounds to support the duty to die without the need of a moral normative theory. First, the definition and main argument for (...) the duty to die will be presented. Second, Seay’s objection will be described and clearly explained. Third, our metaphysical assumptions and a preliminary metaethical discussion will be offered to situate and understand the context. Finally, we will show how the duty to die can be integrated within the metaethical approach previously presented, defending that there is no need of a normative theory to provide good justification and strong ethical grounds for the duty to die, because they will have already been provided by our metaethical argument. (shrink)

Empirical support is offered for the claim that the original Knobe effect, whereby our intentional action ascriptions exhibit certain asymmetries in light of our moral attitudes, can be successfully cancelled. This is predicted by the view that the Knobe effect can be explained in purely pragmatic terms (Adams and Steadman 2004a, 2004b, 2007). However, previous cancelling studies (Adams and Steadman 2007; Nichols and Ulatowski 2007) have failed to identify evidence of cancellability. The key to the successful cancelling strategy presented here (...) is to provide subjects with the opportunity to assent to statements that involve sufficiently strong forms of moral censure. (shrink)

In the trust-health relationship, how trusting other people in society may promote good health is a topic often examined. However, the other direction of influence – how health may affect trust – has not been well explored. In order to investigate this possible effect, we employed Bayesian Mindsponge Framework (BMF) analytics to go deeper into the information processing mechanisms underlying the expressions of trust. Conducting Bayesian analysis on a dataset of 1237 residents from Cali, Colombia, we found that general health (...) status is positively associated with generalized trust, but recent experiences of illnesses/injuries have a negative moderating effect. Personalized trust is largely unchanged across different general health conditions, but the trust level becomes higher with recent experiences of illnesses/injuries. Psychophysiological mechanisms of increasing information filtering intensity toward unfamiliar sources during a vulnerable state of health is a plausible explanation of found patterns in generalized trust. Because established personal relationships are reinforced information channels, personalized trust is not affected as much. Rather, the results suggest that people may rely even more on loved ones when they are in bad health conditions. This exploratory study shows that the trust-health relationship can be examined from a different angle that may provide new insights. (shrink)

In this paper, I develop an essentialist model of the semantics of slurs. I defend the view that slurs are a species of kind terms: Slur concepts encode mini-theories which represent an essence-like element that is causally connected to a set of negatively-valenced stereotypical features of a social group. The truth-conditional contribution of slur nouns can then be captured by the following schema: For a given slur S of a social group G and a person P, S is true of (...) P iff P bears the “essence” of G—whatever this essence is—which is causally responsible for stereotypical negative features associated with G and predicted of P. Since there is no essence that is causally responsible for stereotypical negative features of a social group, slurs have null-extension, and consequently, many sentences containing them are either meaningless or false. After giving a detailed outline of my theory, I show that it receives strong linguistic support. In particular, it can account for a wide range of linguistic cases that are regarded as challenging, central data for any theory of slurs. Finally, I show that my theory also receives convergent support from cognitive psychology and psycholinguistics. (shrink)