Combinatory logic (Curry and Feys 1958) is a “variable-free” alternative to the lambda calculus. The two have the same expressive power but build their expressions differently. “Variable-free” semantics is, more precisely, “free of variable binding”: it has no operation like abstraction that turns a free variable into a bound one; it uses combinators—operations on functions—instead. For the general linguistic motivation of this approach, see the works of Steedman, Szabolcsi, and Jacobson, among others. (...) The standard view in linguistics is that reflexive and personal pronouns are free variables that get bound by an antecedent through some coindexing mechanism. In variable free semantics the same task is performed by some combinator that identifies two arguments of the function it operates on (a duplicator). This combinator may be built into the lexical semantics of the pronoun, into that of the antecedent, or it may be a free-floating operation applicable to predicates or larger chunks of texts, i.e. a typeshifter. This note is concerned with the case of cross-sentential anaphora. It adopts Hepple’s and Jacobson’s interpretation of pronouns as identity maps and asks how this can be extended to the cross-sentential case, assuming the dynamic semantic view of anaphora. It first outlines the possibility of interpreting indefinites that antecede non-ccommanded pronouns as existential quantifiers enriched with a duplicator. Then it argues that it is preferable to use the duplicator as a type-shifter that applies “on the fly”. The proposal has consequences for two central ingredients of the classical dynamic semantic treatment: it does away with abstraction over assignments and with treating indefinites as inherently existentially quantified. However, cross-sentential anaphora remains a matter of binding, and the idea of propositions as context change potentials is retained. (shrink)

We demonstrate how Darwinian evolution enhances decision-making via experiential learning and game-theoretical strategies. To an external observer, the resultant moderate intra-individual variability is indistinguishable from free will. We conclude that this evolutionary outcome is the simplest explanation for decision-making, thus being preferable according to Occam's razor, and implying that free will is an illusion. Furthermore, we argue that the perception of free will exists due to evolutionary benefits.

Current theories of grammar handle both extraction and anaphorization by introducing variables into syntactic representations. Combinatory categorial grammar eliminates variables corresponding to gaps. Using the combinator W, the paper extends this approach to anaphors, which appear to act as overt bound variables. [Slightly extended version in Bartsch et al 1989.].

If the concept of “free will” is reduced to that of “choice” all physical world shares the latter quality. Anyway the “free will” can be distinguished from the “choice”: The “free will” involves implicitly a certain goal, and the choice is only the mean, by which the aim can be achieved or not by the one who determines the target. Thus, for example, an electron has always a choice but not free will unlike a human possessing (...) both. Consequently, and paradoxically, the determinism of classical physics is more subjective and more anthropomorphic than the indeterminism of quantum mechanics for the former presupposes certain deterministic goal implicitly following the model of human freewill behavior. Quantum mechanics introduces the choice in the fundament of physical world involving a generalized case of choice, which can be called “subjectless”: There is certain choice, which originates from the transition of the future into the past. Thus that kind of choice is shared of all existing and does not need any subject: It can be considered as a low of nature. There are a few theorems in quantum mechanics directly relevant to the topic: two of them are called “free will theorems” by their authors (Conway and Kochen 2006; 2009). Any quantum system either a human or an electron or whatever else has always a choice: Its behavior is not predetermined by its past. This is a physical law. It implies that a form of information, the quantum information underlies all existing for the unit of the quantity of information is an elementary choice: either a bit or a quantum bit (qubit). (shrink)

Chapin reviewed this 1972 ZEITSCHRIFT paper that proves the completeness theorem for the logic of variable-binding-term operators created by Corcoran and his student John Herring in the 1971 LOGIQUE ET ANALYSE paper in which the theorem was conjectured. This leveraging proof extends completeness of ordinary first-order logic to the extension with vbtos. Newton da Costa independently proved the same theorem about the same time using a Henkin-type proof. This 1972 paper builds on the 1971 “Notes on a Semantic Analysis (...) of Variable Binding Term Operators” (Co-author John Herring), Logique et Analyse 55, 646–57. MR0307874 (46 #6989). A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. Kalish-Montague 1964 proposed using vbtos to formalize definite descriptions “the x: x+x=2”, set abstracts {x: F}, minimization in recursive function theory “the least x: x+x>2”, etc. However, they gave no semantics for vbtos. Hatcher 1968 gave a semantics but one that has flaws described in the 1971 paper and admitted by Hatcher. In 1971 we give a correct semantic analysis of vbtos. We also give axioms for using them in deductions. And we conjecture strong completeness for the deductions with respect to the semantics. The conjecture, proved in this paper with Hatcher’s help, was proved independently about the same time by Newton da Costa. (shrink)

If the concept of “free will” is reduced to that of “choice” all physical world share the latter quality. Anyway the “free will” can be distinguished from the “choice”: The “free will” involves implicitly certain preliminary goal, and the choice is only the mean, by which it can be achieved or not by the one who determines the goal. Thus, for example, an electron has always a choice but not free will unlike a human possessing both. (...) Consequently, and paradoxically, the determinism of classical physics is more subjective and more anthropomorphic than the indeterminism of quantum mechanics for the former presupposes certain deterministic goal implicitly following the model of human freewill behavior. The choice is usually linked to very complicated systems such as human brain or society and even often associated with consciousness. In its background, the material world is deterministic and absolutely devoid of choice. However, quantum mechanics introduces the choice in the fundament of physical world, in the only way, in which it can exist: All exists in the “phase transition” of the present between the uncertain future and the well-ordered past. Thus the present is forced to choose in order to be able to transform the coherent state of future into the well-ordering of past. The concept of choice as if suggests that there is one who chooses. However quantum mechanics involves a generalized case of choice, which can be called “subjectless”: There is certain choice, which originates from the transition of the future into the past. Thus that kind of choice is shared of all existing and does not need any subject: It can be considered as a low of nature. There are a few theorems in quantum mechanics directly relevant to the topic: two of them are called “free will theorems” by their authors, Conway and Kochen, and according to them: “Do we really have free will, or, as a few determined folk maintain, is it all an illusion? We don’t know, but will prove in this paper that if indeed there exist any experimenters with a modicum of free will, then elementary particles must have their own share of this valuable commodity” “The import of the free will theorem is that it is not only current quantum theory, but the world itself that is non-deterministic, so that no future theory can return us to a clockwork universe”. Those theorems can be considered as a continuation of the so-called theorems about the absence of “hidden variables” in quantum mechanics. (shrink)

Commonplace syntactic constructions in natural language seem to generate ontological commitments to a dazzling array of metaphysical categories - aggregations, sets, ordered n-tuples, possible worlds, intensional entities, ideal objects, species, intensive and extensive quantities, stuffs, situations, states, courses of events, nonexistent objects, intentional and discourse objects, general objects, plural objects, variable objects, arbitrary objects, vague kinds and concepts, fuzzy sets, and so forth. But just because a syntactic construction in some natural language appears to invoke a new category of (...) entity, are we theoreticians epistemically justified in holding that there are such entities? This would hardly seem sufficient. To be epistemically justified, the ontology to which we theoreticians are committed must pass strict standards: the entities must be of the sort required by our best comprehensive theory of the world. The thesis of this paper is that fine-grained type-free intensional entities are like this. If the thesis is right, these entities have a special objective status perhaps not possessed by some of the other ontological categories associated with special syntactic constructions in natural language. In fact, it is plausible to hold that fine-grained type-free intensional entities provide the proper minimal framework for constructing logical and linguistic theories. In this paper my strategy will be to survey the competing conceptions of fine-grained type-free intensionality and to present arguments in support of one of them. Following this narrowing down process, I will go on to the indicated epistemological considerations. (shrink)

-/- A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. -/- Kalish-Montague proposed using vbtos to formalize definite descriptions, set abstracts {x: F}, minimalization in recursive function theory, etc. However, they gave no sematics for vbtos. Hatcher gave a semantics but one that has flaws. (...) We give a correct semantic analysis of vbtos. We also give axioms for using them in deductions. And we conjecture strong completeness for the deductions with respect to the semantics. The conjecture was later proved independently by the authors and by Newton da Costa. -/- The expression (vy:F) is called a variable bound term (vbt). In case F has only y free, (vy:F) has the syntactic propreties of an individual constant; and under a suitable interpretation of the language vy:F) denotes an individual. By a semantic analysis of vbtos we mean a proposal for amending the standard notions of (1) "an interpretation o f a first -order language" and (2) " the denotation of a term under an interpretation and an assignment", such that (1') an interpretation o f a first -order language associates a set-theoretic structure with each vbto and (2') under any interpretation and assignment each vb t denotes an individual. (shrink)

Open Access: Social media participation undermines individual autonomy in ways that ought to concern ethicists. Discussions in the philosophical literature are concerned primarily with egregious conduct online such as harassment and shaming, keeping the focus on obvious ills to which no one could consent; this prevents a wider understanding of the risks and harms of quotidian social media participation. Two particular concerns occupy me: social media participation carries the risks of (1) negatively formative experiences and (2) continuous partial attention due (...) to our habituation to the variable rewards that social media platforms provide. Although social media offer benefits as well as risks, self-knowledge of whether one benefits more than one suffers from one’s social media participation is vexed by the very processes involved in participating. We are not as free to leave social media as we are to enter. I conclude with a consideration and rejection of the objections that the ubiquity of the practice indicates implied consent to risks, and that users of social media can simply choose not to use such communication technologies at all. I argue that we cannot be said to consent to enter into social media usage meaningfully, even implicitly, and we do not all have equally easy options to avoid the contexts that provide the stimuli of persistent desires. (shrink)

This paper presents an account of the ethical and conceptual relationship between free speech and press freedom. Many authors have argued that, despite there being some common ground between them, these two liberties should be treated as properly distinct, both theoretically and practically. The core of the argument, for this “unbundling” approach, is that conflating free speech and press freedom makes it too easy for reasonable democratic regulations on press freedom to be portrayed, by their opponents, as part (...) of a programme of illiberal censorship. While we acknowledge the important grain of truth in that argument, we try to show how the alternative, “unbundling” approach can also be used to undermine or mischaracterise democratically justifiable opposition to media regulations in despotic regimes. In light of the problems on both sides, we defend a contextually-variable account of the relation between these two liberties. (shrink)

Here we propose a compatibilist theory of free will, in the tradition of naturalized philosophy, that attempts: 1) to provide a synthesis of a variety of well-known theories, capable of addressing problems of the latter; 2) to account for the fact that free will comes in degrees; 3) to interface with natural sciences, especially neurobiology. We argue that free will comes in degrees, as suggested by neuroscience. We suggest that a concept that can precisely ‘measure’ the variability (...) of free will is that of ‘theory’, or rather, the capacity to make assumptions and use theories. Our model, then, highlights that free-willed actions are consciously monitored by the agent, through beliefs, assumptions and ultimately theories – hence the CMT model (for Conscious-through-Monitoring-through-Theories). The ultimate goal of this attempt at synthesis is to make the comparison with a variety of well-known accounts, and to show that our model can address several of their problems. (shrink)

This paper is intended to persuade an uncommitted audience that free will is illusory. I examine free will through the lens of three interpretations of quantum theory: dynamical collapse theories, hidden variable theories, and many-worlds theories. Dynamical collapse theories, hereon called collapse theories, are the primary focus of this work since they are the most widely accepted in the current philosophy of physics climate. The core postulations and mechanics of the collapse theories are articulated. Accompanying these postulations (...) are a few assumptions regarding the role quantum mechanics may have in one’s decisions. The postulations and assumptions together lead to the conclusion that agents are not free in the collapse theory framework. Then, I anticipate and respond to the following objections. First, that agents are at least partially free through their ability to control and change personal dispositions. Second, that the psychological level is the most appropriate scale for discussions regarding freedom. Finally, I extend my argument against free will to the hidden variables and many-worlds theories. (Note that this work is in its early draft stages - later versions will be updated and revised). (shrink)

This paper presents rules of inference for a binary quantifier I for the formalisation of sentences containing definite descriptions within intuitionist positive free logic. I binds one variable and forms a formula from two formulas. Ix[F, G] means ‘The F is G’. The system is shown to have desirable proof-theoretic properties: it is proved that deductions in it can be brought into normal form. The discussion is rounded up by comparisons between the approach to the formalisation of definite (...) descriptions recommended here and the more usual approach that uses a term-forming operator ι, where ιxF means ‘the F’. (shrink)

This chapter explores the opportunities and limitations of the ideal of transparency in responsible innovation, by consulting the virtual case of "The Circle", a company which appears in Dave Eggers' novel The Circle. The Circle is a high-tech company with the main purpose of being responsive to societal needs. They want to eradicate unethical behaviour in society, enhance public health and make a positive impact on the environment. The ultimate goal of The Circle is to reach 100% full transparency in (...) the world, which is impossible without any societal desirability. In first instance, it is free choice of people to accept and embrace the products and services of The Circle, who invest resources in keeping customers happy and in raising awareness about the dangers of privacy. The chapter concludes that The Circle meets the requirements regarding the outcomes of responsible innovation, at least to a certain extent, while at the same time, one feels unease about certain activities they undertake. (shrink)

The inconsistent relation between word frequency and free recall performance and the non-monotonic relation found between the two cannot all be explained by current theories. We propose a theoretical framework that can explain all extant results. Based on an ecological psychology analysis of the free recall situation in terms of environmental and informational resources available to the participants, we propose that because participants’ cognitive system has been shaped by their native language, free recall performance is best understood (...) as the end result of relational properties that preexist the experimental situation and of the way the words from the experimental list interact with those. In addition to this, we borrow from predictive coding theory the idea that the brain constantly predicts “what is coming next” so that it is mainly prediction errors that will propagate information forward. Our ecological psychology analysis indicates there will be “prediction errors” because the word frequency distribution in an experimental word list is inevitably different from the particular Zipf’s law distribution of the words in the language that shaped participants’ brains. We further propose the particular distributional discrepancies inherent to a given word list will trigger, as a function of the words that are included in the list, their order, and of the words that are absent from the list, a surprisal signal in the brain, something that is isomorphic to the concept of Bayesian surprise. The precise moment when Bayesian surprise is triggered will determine to what word of the list that Bayesian surprise will be associated with, and the word the Bayesian surprise will be associated with will benefit from it and become more memorable as a direct function of the magnitude of the surprisal. Two experiments are presented that show a proxy of Bayesian surprise explains the free recall performance and that no effect of word frequency is found above and beyond the effect of that proxy variable. We then discuss how our view can account for all data extant in the literature on the effect of word frequency on free recall. (shrink)

We argue that the extant evidence for Stoic logic provides all the elements required for a variable-free theory of multiple generality, including a number of remarkably modern features that straddle logic and semantics, such as the understanding of one- and two-place predicates as functions, the canonical formulation of universals as quantified conditionals, a straightforward relation between elements of propositional and first-order logic, and the roles of anaphora and rigid order in the regimented sentences that express multiply general propositions. (...) We consider and reinterpret some ancient texts that have been neglected in the context of Stoic universal and existential propositions and offer new explanations of some puzzling features in Stoic logic. Our results confirm that Stoic logic surpasses Aristotle’s with regard to multiple generality, and are a reminder that focusing on multiple generality through the lens of Frege-inspired variable-binding quantifier theory may hamper our understanding and appreciation of pre-Fregean theories of multiple generality. (shrink)

Indeterminism of quantum mechanics is considered as an immediate corollary from the theorems about absence of hidden variables in it, and first of all, the Kochen – Specker theorem. The base postulate of quantum mechanics formulated by Niels Bohr that it studies the system of an investigated microscopic quantum entity and the macroscopic apparatus described by the smooth equations of classical mechanics by the readings of the latter implies as a necessary condition of quantum mechanics the absence of hidden variables, (...) and thus, quantum indeterminism. Consequently, the objectivity of quantum mechanics and even its possibility and ability to study its objects as they are by themselves imply quantum indeterminism. The so-called free-will theorems in quantum mechanics elucidate that the “valuable commodity” of free will is not a privilege of the experimenters and human beings, but it is shared by anything in the physical universe once the experimenter is granted to possess free will. The analogical idea, that e.g. an electron might possess free will to “decide” what to do, scandalized Einstein forced him to exclaim (in a letter to Max Born in 2016) that he would be а shoemaker or croupier rather than a physicist if this was true. Anyway, many experiments confirmed the absence of hidden variables and thus quantum indeterminism in virtue of the objectivity and completeness of quantum mechanics. Once quantum mechanics is complete and thus an objective science, one can ask what this would mean in relation to classical physics and its objectivity. In fact, it divides disjunctively what possesses free will from what does not. Properly, all physical objects belong to the latter area according to it, and their “behavior” is necessary and deterministic. All possible decisions, on the contrary, are concentrated in the experimenters (or human beings at all), i.e. in the former domain not intersecting the latter. One may say that the cost of the determinism and unambiguous laws of classical physics, is the indeterminism and free will of the experimenters and researchers (human beings) therefore necessarily being out of the scope and objectivity of classical physics. This is meant as the “deterministic subjectivity of classical physics” opposed to the “indeterminist objectivity of quantum mechanics”. (shrink)

The result of combining classical quantificational logic with modal logic proves necessitism – the claim that necessarily everything is necessarily identical to something. This problem is reflected in the purely quantificational theory by theorems such as ∃x t=x; it is a theorem, for example, that something is identical to Timothy Williamson. The standard way to avoid these consequences is to weaken the theory of quantification to a certain kind of free logic. However, it has often been noted that in (...) order to specify the truth conditions of certain sentences involving constants or variables that don’t denote, one has to apparently quantify over things that are not identical to anything. In this paper I defend a contingentist, non-Meinongian metaphysics within a positive free logic. I argue that although certain names and free variables do not actually refer to anything, in each case there might have been something they actually refer to, allowing one to interpret the contingentist claims without quantifying over mere possibilia. (shrink)

We analyze the logical form of the domain knowledge that grounds analogical inferences and generalizations from a single instance. The form of the assumptions which justify analogies is given schematically as the "determination rule", so called because it expresses the relation of one set of variables determining the values of another set. The determination relation is a logical generalization of the different types of dependency relations defined in database theory. Specifically, we define determination as a relation between schemata of first (...) order logic that have two kinds of free variables: (1) object variables and (2) what we call "polar" variables, which hold the place of truth values. Determination rules facilitate sound rule inference and valid conclusions projected by analogy from single instances, without implying what the conclusion should be prior to an inspection of the instance. They also provide a way to specify what information is sufficiently relevant to decide a question, prior to knowledge of the answer to the question. (shrink)

This paper deals with the question of agency and intentionality in the context of the free-energy principle. The free-energy principle is a system-theoretic framework for understanding living self-organizing systems and how they relate to their environments. I will first sketch the main philosophical positions in the literature: a rationalist Helmholtzian interpretation (Hohwy 2013; Clark 2013), a cybernetic interpretation (Seth 2015b) and the enactive affordance-based interpretation (Bruineberg and Rietveld 2014; Bruineberg et al. 2016) and will then show how agency (...) and intentionality are construed differently on these different philosophical interpretations. I will then argue that a purely Helmholtzian is limited, in that it can account only account for agency in the context of perceptual inference. The cybernetic account cannot give a full account of action, since purposiveness is accounted for only to the extent that it pertains to the control of homeostatic essential variables. I will then argue that the enactive affordance-based account attempts to provide broader account of purposive action without presupposing goals and intentions coming from outside of the theory. In the second part of the paper, I will discuss how each of these three interpretations conceives of the sense agency and intentionality in different ways. (shrink)

The aim of this paper is to argue that the (alleged) indeterminism of quantum mechanics, claimed by adherents of the Copenhagen interpretation since Born (1926), can be proved from Chaitin's follow-up to Goedel's (first) incompleteness theorem. In comparison, Bell's (1964) theorem as well as the so-called free will theorem-originally due to Heywood and Redhead (1983)-left two loopholes for deterministic hidden variable theories, namely giving up either locality (more precisely: local contextuality, as in Bohmian mechanics) or free choice (...) (i.e. uncorrelated measurement settings, as in 't Hooft's cellular automaton interpretation of quantum mechanics). The main point is that Bell and others did not exploit the full empirical content of quantum mechanics, which consists of long series of outcomes of repeated measurements (idealized as infinite binary sequences): their arguments only used the long-run relative frequencies derived from such series, and hence merely asked hidden variable theories to reproduce single-case Born probabilities defined by certain entangled bipartite states. If we idealize binary outcome strings of a fair quantum coin flip as infinite sequences, quantum mechanics predicts that these typically (i.e. almost surely) have a property called 1-randomness in logic, which is much stronger than uncomputability. This is the key to my claim, which is admittedly based on a stronger (yet compelling) notion of determinism than what is common in the literature on hidden variable theories. (shrink)

Social network structure has been argued to shape the structure of languages, as well as affect the spread of innovations and the formation of conventions in the community. Specifically, theoretical and computational models of language change predict that sparsely connected communities develop more systematic languages, while tightly knit communities can maintain high levels of linguistic complexity and variability. However, the role of social network structure in the cultural evolution of languages has never been tested experimentally. Here, we present results from (...) a behavioral group communication study, in which we examined the formation of new languages created in the lab by micro‐societies that varied in their network structure. We contrasted three types of social networks: fully connected, small‐world, and scale‐free. We examined the artificial languages created by these different networks with respect to their linguistic structure, communicative success, stability, and convergence. Results did not reveal any effect of network structure for any measure, with all languages becoming similarly more systematic, more accurate, more stable, and more shared over time. At the same time, small‐world networks showed the greatest variation in their convergence, stabilization, and emerging structure patterns, indicating that network structure can influence the community's susceptibility to random linguistic changes (i.e., drift). (shrink)

The prologue of the Sophistici elenchi is as close an Aristotelian text gets to dealing with language as a subject matter in its own right, only in reverse. Language and its features bear consideration to the extent that they account for some major predicaments discursive reasoning is prone to, both as a separate and as a common endeavour. That being said, the linguistic pitfalls that trick us into thinking that whatever is the case for words and word-compounds is also the (...) case for the things and facts linguistic items stand for reveal as much about good linguistic habits and sound argumentation as they themselves are revealed by the principles and rules our argumentation goes by. In this connection, Aristotle resorted to a curious (or not so curious) analogy between words and counters which played a major role in explaining why language is such a powerful source of illusion and deception. As it happens, Aristotle accounting analogy is a case in point for showcasing the level of sophistication medieval Latin literature on fallacies achieved as early as the first half of the twelfth century. As a matter of fact, Western commentators managed to build compelling cases both in favour of and against the understanding that was to become and still is the standard story – which, of course, speaks volumes about their exegetical proficiency and technical expertise. On the one hand, trusting implicitly Boethius’ translation and well aware of his views on disputational hazards as opposed to computational reliability, they usually understood Aristotle’s comparison as if it was an analogy in name only. On the other hand, despite Boethius’ translation put them at a considerable disadvantage, Latin commentators were able to construe Aristotle’s analogy as bringing together two sets of symbolic variables (words and counters) that are neither entirely free nor entirely bound – which expose them to subtle but critical shifts in value and meaning. (shrink)

I demonstrate that Bell's theorem is based on circular reasoning and thus a fundamentally flawed argument. It unjustifiably assumes the additivity of expectation values for dispersion-free states of contextual hidden variable theories for non-commuting observables involved in Bell-test experiments, which is tautologous to assuming the bounds of ±2 on the Bell-CHSH sum of expectation values. Its premises thus assume in a different guise the bounds of ±2 it sets out to prove. Once this oversight is ameliorated from Bell's (...) argument by identifying the impediment that leads to it and local realism is implemented correctly, the bounds on the Bell-CHSH sum of expectation values work out to be ±2√2 instead of ±2, thereby mitigating the conclusion of Bell's theorem. Consequently, what is ruled out by any of the Bell-test experiments is not local realism but the linear additivity of expectation values, which does not hold for non-commuting observables in any hidden variable theories to begin with. (shrink)

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

The concept of quantum information is introduced as both normed superposition of two orthogonal sub-spaces of the separable complex Hilbert space and in-variance of Hamilton and Lagrange representation of any mechanical system. The base is the isomorphism of the standard introduction and the representation of a qubit to a 3D unit ball, in which two points are chosen. The separable complex Hilbert space is considered as the free variable of quantum information and any point in it (a wave (...) function describing a state of a quantum system) as its value as the bound variable. A qubit is equivalent to the generalization of ‘bit’ from the set of two equally probable alternatives to an infinite set of alternatives. Then, that Hilbert space is considered as a generalization of Peano arithmetic where any unit is substituted by a qubit and thus the set of natural number is mappable within any qubit as the complex internal structure of the unit or a different state of it. Thus, any mathematical structure being reducible to set theory is re-presentable as a set of wave functions and a subspace of the separable complex Hilbert space, and it can be identified as the category of all categories for any functor represents an operator transforming a set (or subspace) of the separable complex Hilbert space into another. Thus, category theory is isomorphic to the Hilbert-space representation of set theory & Peano arithmetic as above. Given any value of quantum information, i.e. a point in the separable complex Hilbert space, it always admits two equally acceptable interpretations: the one is physical, the other is mathematical. The former is a wave function as the exhausted description of a certain state of a certain quantum system. The latter chooses a certain mathematical structure among a certain category. Thus there is no way to be distinguished a mathematical structure from a physical state for both are described exhaustedly as a value of quantum information. This statement in turn can be utilized to be defined quantum information by the identity of any mathematical structure to a physical state, and also vice versa. Further, that definition is equivalent to both standard definition as the normed superposition and in-variance of Hamilton and Lagrange interpretation of mechanical motion introduced in the beginning of the paper. Then, the concept of information symmetry can be involved as the symmetry between three elements or two pairs of elements: Lagrange representation and each counterpart of the pair of Hamilton representation. The sense and meaning of information symmetry may be visualized by a single (quantum) bit and its interpretation as both (privileged) reference frame and the symmetries of the Standard model. (shrink)

One can construct a mapping between Hilbert space and the class of all logic if the latter is defined as the set of all well-orderings of some relevant set (or class). That mapping can be further interpreted as a mapping of all states of all quantum systems, on the one hand, and all logic, on the other hand. The collection of all states of all quantum systems is equivalent to the world (the universe) as a whole. Thus that mapping establishes (...) a fundamentally philosophical correspondence between the physical world and universal logic by the meditation of a special and fundamental structure, that of Hilbert space, and therefore, between quantum mechanics and logic by mathematics. Furthermore, Hilbert space can be interpreted as the free variable of "quantum information" and any point in it, as a value of the same variable as "bound" already axiom of choice. (shrink)

Tarski’s Convention T—presenting his notion of adequate definition of truth (sic)—contains two conditions: alpha and beta. Alpha requires that all instances of a certain T Schema be provable. Beta requires in effect the provability of ‘every truth is a sentence’. Beta formally recognizes the fact, repeatedly emphasized by Tarski, that sentences (devoid of free variable occurrences)—as opposed to pre-sentences (having free occurrences of variables)—exhaust the range of significance of is true. In Tarski’s preferred usage, it is part (...) of the meaning of true that attribution of being true to a given thing presupposes the thing is a sentence. Beta’s importance is further highlighted by the fact that alpha can be satisfied using the recursively definable concept of being satisfied by every infinite sequence, which Tarski explicitly rejects. Moreover, in Definition 23, the famous truth-definition, Tarski supplements “being satisfied by every infinite sequence” by adding the condition “being a sentence”. Even where truth is undefinable and treated by Tarski axiomatically, he adds as an explicit axiom a sentence to the effect that every truth is a sentence. Surprisingly, the sentence just before the presentation of Convention T seems to imply that alpha alone might be sufficient. Even more surprising is the sentence just after Convention T saying beta “is not essential”. Why include a condition if it is not essential? Tarski says nothing about this dissonance. Considering the broader context, the Polish original, the German translation from which the English was derived, and other sources, we attempt to determine what Tarski might have intended by the two troubling sentences which, as they stand, are contrary to the spirit, if not the letter, of several other passages in Tarski’s corpus. (shrink)

In recent work on Frege, one of the most salient issues has been whether he was prepared to make serious use of semantical notions such as reference and truth. I argue here Frege did make very serious use of semantical concepts. I argue, first, that Frege had reason to be interested in the question how the axioms and rules of his formal theory might be justified and, second, that he explicitly commits himself to offering a justification that appeals to the (...) notion of reference. I then discuss the justifications Frege offered, focusing on his discussion of inferences involving free variables, in section 17 of Grundgesetze, and his argument, in sections 29-32, that every well-formed expression of his formal language has a unique reference. (shrink)

It is common practice in formal semantics to assume that the context specifies an assignment of values to variables and that the same variables that receive contextually salient values when they occur free may also be bound by quantifiers and λs. These assumptions are at work to provide a unified account of free and bound uses of third person pronouns, namely one by which the same lexical item is involved in both uses. One way to pursue this account (...) is to treat quantifiers and λs as monsters in Kaplan’s sense. We argue that this move should be avoided and explore an alternative route based on the idea that there is a variable assignment coordinate in the context and a variable assignment coordinate in the circumstance of evaluation, with the definition of truth in context identifying them. One fundamental challenge that arises in pursuing a unified account is to explain the difference in the way the gender presuppositions of bound and free pronouns project. The proposal that emerges from the attempt to meet this challenge is a non-indexical account of free third person pronouns and a new conception of the role and structure of assignment functions. (shrink)

One well known problem regarding quantifiers, in particular the 1storder quantifiers, is connected with their syntactic categories and denotations. The unsatisfactory efforts to establish the syntactic and ontological categories of quantifiers in formalized first-order languages can be solved by means of the so called principle of categorial compatibility formulated by Roman Suszko, referring to some innovative ideas of Gottlob Frege and visible in syntactic and semantic compatibility of language expressions. In the paper the principle is introduced for categorial languages generated (...) by the Ajdukiewicz’s classical categorial grammar. The 1st-order quantifiers are typically ambiguous. Every 1st-order quantifier of the type k > 0 is treated as a two-argument functorfunction defined on the variable standing at this quantifier and its scope (the sentential function with exactly k free variables, including the variable bound by this quantifier); a binary function defined on denotations of its two arguments is its denotation. Denotations of sentential functions, and hence also quantifiers, are defined separately in Fregean and in situational semantics. They belong to the ontological categories that correspond to the syntactic categories of these sentential functions and the considered quantifiers. The main result of the paper is a solution of the problem of categories of the 1st-order quantifiers based on the principle of categorial compatibility. (shrink)

This paper contains five observations concerning the intended meaning of the intuitionistic logical constants: (1) if the explanations of this meaning are to be based on a non-decidable concept, that concept should not be that of `proof"; (2) Kreisel"s explanations using extra clauses can be significantly simplified; (3) the impredicativity of the definition of → can be easily and safely ameliorated; (4) the definition of → in terms of `proofs from premises" results in a loss of the inductive character of (...) the definitions of ∨ and ∃ and (5) the same occurs with the definition of ∀ in terms of `proofs with free variables". (shrink)

One well known problem regarding quantifiers, in particular the 1st order quantifiers, is connected with their syntactic categories and denotations.The unsatisfactory efforts to establish the syntactic and ontological categories of quantifiers in formalized first-order languages can be solved by means of the so called principle of categorial compatibility formulated by Roman Suszko, referring to some innovative ideas of Gottlob Frege and visible in syntactic and semantic compatibility of language expressions. In the paper the principle is introduced for categorial languages generated (...) by the Ajdukiewicz’s classical categorial grammar. The 1st-order quantifiers are typically ambiguous. Every 1st-order quantifier of the type k > 0 is treated as a two-argument functor-function defined on the variable standing at this quantifier and its scope (the sentential function with exactly k free variables, including the variable bound by this quantifier); a binary function defined on denotations of its two arguments is its denotation. Denotations of sentential functions, and hence also quantifiers, are defined separately in Fregean and in situational semantics. They belong to the ontological categories that correspond to the syntactic categories of these sentential functions and the considered quantifiers. The main result of the paper is a solution of the problem of categories of the 1st-order quantifiers based on the principle of categorial compatibility. (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)

The paper examines two possible analyses of fictional names within Pavel Tichý’s Transparent Intensional Logic. The first of them is the analysis actually proposed by Tichý in his (1988) book The Foundations of Frege’s Logic. He analysed fictional names in terms of free variables. I will introduce, explain, and assess this analysis. Subsequently, I will explain Tichý’s notion of individual role (office, thing-to-be). On the basis of this notion, I will outline and defend the second analysis of fictional names. (...) This analysis is close to the approach known in the literature as role realism (the most prominent advocates of this position are Nicholas Wolterstorff, Gregory Currie, and Peter Lamarque). (shrink)

The success of any election depends on whether it was free and fair both to the candidates and the voters. Due to media coverage of national elections locally, regionally and globally, subtle psychological cues have become popular and are being used in student Representative Council (SRC) elections to harness voter preferences. This study focused on investigating the relationship between subtle psychological cues and voter preferences among university of Zimbabwe students. More so, the study was focused on four operationally defined (...) subtle psychological cues namely Ballot order effects, Hallo effects, Negativity bias and Push polls on whether they would influence the participant’s voter preference. The study takes the form of an experimental research design and is based on a sample of 80 purposefully selected participants. In addition, primary data was gathered using 4 ballot papers with a Likert scale and was analysed using Statistical Package for Social Studies (SPSS) version 23. Descriptive statistics, T-tests for independent samples, Chi-square tests and Pearson correlation were computed to establish the degree of the relationship between the variables in question. Results show that of the four subtle psychological cues under investigation, negativity bias and hallo effects were predominantly popular due to the American presidential debates such as that of Richard Nixon against Kennedy and Barack Obama against Hilary Clinton. In addition the results show no statistically significant group differences on how gender, ethnicity and year of study affected voter preferences. Ultimately, there were three positive correlations for the experiments Ballot order effects, Hallo effects and Negativity bias. However, contrary to the reviewed literature there was a negative correlation between Push polls and voter preferences. The conclusion was that there is statistically significant relationship between subtle psychological cues and voter preferences and hence have the potential to increase or decrease the votes a candidate obtains. Therefore, the University can closely monitor SRC elections and make sure the students do not abuse psychological cues such as negativity bias and push polls as they have the potential of ruining the student’s reputations. Also the organisation can add to its current SRC election policies the strategies that were implemented in this study to hold other factors at a constant such as using butterfly ballot paper ordering to help make the free and fair. (shrink)

Many twentieth-century accounts of history have used geological tropes to describe the phenomenon of historical knowledge, and such terms have been of particular importance in the phenomenological tradition. In Heidegger's references in Being and Time to the "soil of history," Husserl's account in his later work of "sedimentation" in the lifeworld, and the reformulation of this notion in the phenomenology of Merleau-Ponty, geological tropes are used to illustrate important insights into the relation between contingency, a priority and historicity. This paper (...) seeks to contribute to an understanding of history understood phenomenologically as historicity through an analysis of these geological tropes. I argue that such geological tropes help the phenomenologist to describe the way in which history is always determined within a complex interplay between only temporarily fixed determining structures - such as riverbanks, insoluble sediment, soil, etc. - and free-flowing praxis, a situation in which historical events are at once determinant of and themselves determined by human activity. Paradoxically, the constant and "grounding" element in such conceptions of history is not the sediment and hard rock of historical fact, but the the constant change and variability-despite the sense giving continuity - of human experience structured by historicity. I begin with a brief overview of the landscape on the philosophy of history in which these views arose, and then continue to an analysis of the tropes themselves. (shrink)

Objective: To assess the relation between autocratisation—substantial decreases in democratic traits (free and fair elections, freedom of civil and political association, and freedom of expression)—and countries’ population health outcomes and progress toward universal health coverage (UHC). -/- Design: Synthetic control analysis. -/- Setting and country selection: Global sample of countries for all years from 1989 to 2019, split into two categories: 17 treatment countries that started autocratising during 2000 to 2010, and 119 control countries that never autocratised from 1989 (...) to 2019. The treatment countries comprised low and middle income nations and represent all world regions except North America and western Europe. A weighted combination of control countries was used to construct synthetic controls for each treatment country. This statistical method is especially well suited to population level studies when random assignment is infeasible and sufficiently similar comparators are not available. The method was originally developed in economics and political science to assess the impact of policies and events, and it is now increasingly used in epidemiology. -/- Main outcome measures: HIV-free life expectancy at age 5 years, UHC effective coverage index (0-100 point scale), and out-of-pocket spending on health per capita. All outcome variables are for the period 1989 to 2019. -/- Results: Autocratising countries underperformed for all three outcome variables in the 10 years after the onset of autocratisation, despite some improvements in life expectancy, UHC effective coverage index, and out-of-pocket spending on health. On average, HIV-free life expectancy at age 5 years increased by 2.2% (from 64.7 to 66.1 years) during the 10 years after the onset of autocratisation. This study estimated that it would have increased by 3.5% (95% confidence interval 3.3% to 3.6%, P<0.001) (from 64.7 to 66.9 years) in the absence of autocratisation. On average, the UHC effective coverage index increased by 11.9% (from 42.5 to 47.6 points) during the 10 years after the onset of autocratisation. This study estimated that it would have increased by 20.2% (95% confidence interval 19.6% to 21.2%, P<0.001) (from 42.5 to 51.1 points) in the absence of autocratisation. Finally, on average, out-of-pocket spending on health per capita increased by 10.0% (from $4.00 (£3.1; €3.4) to $4.4, log transformed) during the 10 years after the onset of autocratisation. This study estimated that it would have increased by only 4.4% (95% confidence interval 3.9% to 4.6%, P<0.001) (from $4.0 to $4.2, log transformed) in the absence of autocratisation. -/- Conclusions: Autocratising countries had worse than estimated life expectancy, effective health service coverage, and levels of out-of-pocket spending on health. These results suggest that the noticeable increase in the number of countries that are experiencing democratic erosion in recent years is hindering population health gains and progress toward UHC. Global health institutions will need to adjust their policy recommendations and activities to obtain the best possible results in those countries with a diminishing democratic incentive to provide quality healthcare to populations. (shrink)

Background Previous analyses of democracy and population health have focused on broad measures, such as life expectancy at birth and child and infant mortality, and have shown some contradictory results. We used a panel of data spanning 170 countries to assess the association between democracy and cause-specific mortality and explore the pathways connecting democratic rule to health gains. -/- Methods We extracted cause-specific mortality and HIV-free life expectancy estimates from the Global Burden of Diseases, Injuries, and Risk Factors Study (...) 2016 and information on regime type from the Varieties of Democracy project. These data cover 170 countries and 46 years. From the Financing Global Health database, we extracted gross domestic product (GDP) per capita, also covering 46 years, and Development Assistance for Health estimates starting from 1990 and domestic health spending estimates starting from 1995. We used a diverse set of empirical methods—synthetic control, within-country variance decomposition, structural equation models, and fixed-effects regression—which together provide a robust analysis of the association between democratisation and population health. -/- Findings HIV-free life expectancy at age 15 years improved significantly during the study period (1970–2015) in countries after they transitioned to democracy, on average by 3% after 10 years. Democratic experience explains 22·27% of the variance in mortality within a country from cardiovascular diseases, 16·53% for tuberculosis, and 17·78% for transport injuries, and a smaller percentage for other diseases included in the study. For cardiovascular diseases, transport injuries, cancers, cirrhosis, and other non-communicable diseases, democratic experience explains more of the variation in mortality than GDP. Over the past 20 years, the average country's increase in democratic experience had direct and indirect effects on reducing mortality from cardiovascular disease (−9·64%, 95% CI −6·38 to −12·90), other non-communicable diseases (−9·14%, −4·26 to −14·02), and tuberculosis (−8·93%, −2·08 to −15·77). Increases in a country's democratic experience were not correlated with GDP per capita between 1995 and 2015 (ρ=–0·1036; p=0·1826), but were correlated with declines in mortality from cardiovascular disease (ρ=–0·3873; p<0·0001) and increases in government health spending (ρ=0·4002; p<0·0001). Removal of free and fair elections from the democratic experience variable resulted in loss of association with age-standardised mortality from non-communicable diseases and injuries. -/- Interpretation When enforced by free and fair elections, democracies are more likely than autocracies to lead to health gains for causes of mortality (eg, cardiovascular diseases and transport injuries) that have not been heavily targeted by foreign aid and require health-care delivery infrastructure. International health agencies and donors might increasingly need to consider the implications of regime type in their efforts to maximise health gains, particularly in the context of ageing populations and the growing burden of non-communicable diseases. (shrink)

Quantum mechanics is a fundamental theory in physics that describes the behavior of subatomic particles and systems at very small scales. Unlike classical theories, quantum mechanics introduces elements of indeterminism in the description of physical phenomena. There are fundamental limits to the precision with which certain physical properties, such as the position and momentum of a particle, can be measured simultaneously. This implies that, even if all the initial conditions of a quantum system are known, its future behavior cannot be (...) predicted with absolute certainty. -/- This quantum indeterminacy raises philosophical questions about determinism and free will, as well as their relationship to morality. Determinism holds that all actions and events are predetermined by prior causes, which challenges the traditional notion of moral responsibility based on control and predictability. In contrast, indeterminism posits that there are elements of randomness and variability in the workings of the universe. -/- From a moral and philosophical point of view, the presence of indeterminism in quantum mechanics poses challenges to the attribution of moral responsibility. If our actions are influenced by random events, how can we be morally responsible for them? (shrink)

The Shadow of God in the Philosopher’s Garden. The Parc de La Villette in Paris in the context of the philosophy of chôra I Bernard Tschumi’s project of the Parc de La Villette could have won the competition and was implemented thanks to the political atmosphere that accompanied the victory of the left-wing candidate in the French presidential elections in 1981. François Mitterand’s revision of the political programme and the replacement of radical reforms with the construction of prestigious architectural objects (...) and urban assumptions in the French capital gave Tschumi a unique opportunity to realise ideas that polemicised with traditional forms of social life, questioned the basic principles of architecture and included architectural work in the philosophical disputes over the issues of metaphysics. Tschumi’s theoretical assumptions put forward during the design of the Parc de La Villette highlighted the questions of conflict between the main components of the project and suggested that the intensification of differences was analogous to Jacques Derrida’s creation of the concept of différance. It was this philosopher who in a special commentary to Derrida’s project also introduced the concept of maintenant, which aimed at demonstrating that the architect’s polemical inclinations remain in a hidden balance with his inclinations to affirmation of architectural principles. During the discussion between Derrida and Peter Eisenman, who was to take part in the design of the Parisian park, the concept of the chôra was also put forward, which in the course of the debate led to an additional confusion of architectural and philosophical problems. II In the period from the Antiquity to the Renaissance, the dialogue Timaeus was the most frequently commented work of Plato. At present, the most frequently discussed is the issue of the chôra included in it, which aroused fascination among philosophers, researchers of rhetoric, religion, feminism, but also architecture. The work on the chôra also influenced the development of the interpretation of the Parc de La Villette, among which the topics related to the beginning and the change were highlighted. In early uses of the word chôra in Greek, as in Homer’s 18th Book of Iliad, it meant both dancing and a place to dance. On this occasion, it can be seen that it is not possible to determine which phenomenon took precedence in the creation of the name. It cannot be denied, however, that the word concerned a specific movement, as if circular and returning to an indefinable beginning. Despite gaining more and more general meanings, the word chôra has retained its connection with the dance of people on the threshing floor, the dance of bees (choros meliton) or the dance of stars (choros astron). In Timaeus, the chôra is a space filled with movement with an effect similar to shaking the sieve to husk the grain: it separates similar elements from the dissimilar ones. The juxtaposition of the Parc de La Villette and the chôra already at this stage leads to the suggestion that the park was treated by the architect as a place of dynamic changes leading to the establishment of new social solutions. In his statements, the architect confirmed that the park was to be a space of new politics and ethics. The book by Julia Kristeva La Révolution du langage poétique contributed to the spread of the belief that works of art can play a role as factors of political revolution. In this work, the author put forward the thesis that the chôra is a kind of space, the character of which has a destructive influence on attempts to conclude language games. The chôra gives beginning to words, but at the same time, by leaving a trace of this beginning it forces us to renew their meanings. The chôra understood in this way, turns out to be an irremovable beginning, to which one has to return all the time. Kristeva found manifestations of the chôra’s activity in avant-garde French poetry, to which she attributed the role of a mediator between criticism of metaphysics and aspirations for social change. The chôra, violating the language, introduces some voids into it, as if traces of the abyss, which direct the consciousness towards understanding the necessity of political changes. The Parc de La Villette was to pursue similar objectives in the city space. In his essays, Tschumi considered the problems of creating spaces that would give rise to a radical democracy. The proposed rebellious spaces should have the characteristics of a void, in which contradictory forces would occur as forms of pure activity. The means of achieving this goal was to concentrate contradictions and make them visible. The Parc de La Villette was supposed to collect differences as indelible and at the same time by showing them it was supposed to raise awareness of the social world as a conglomerate of differences. Saturation of the space of the park with subversive values results from the character of this space suppressed in the consciousness, as well as from the social diversity which has not been taken into account so far. The main contradictions contained in space relate to the division that exists between its presentation as a mental problem and a sensual one. The park was the deliberate creation of a place that transcends such a division and creates a separate space for negotiation between architectural theories and its practical applications. The purpose of the park was to become a place of future events, which would not hide their conflicting character coming from diversity of both space and society. The method of composition usually aimed at achieving a harmonious whole has been replaced by Tschumi with a system of juxtaposition of non-coherent elements or those resulting from variations and transformations. Tschumi did not seek direct influence on politics in the Parc de La Villette, but made room for thinking about the possibilities of the future. He introduced problems rather than showed solutions to them. The task of the park was to put the principles of architecture into a kind of vibration that would inspire users to participate in the new community. III Tschumi believes that the quality of architecture depends on the theoretical factor it contains. Such a view led to the creation of architecture that would achieve visibility and comprehensibility only after its interpretation. On his way to creating such an architecture he took on a purely philosophical reflection on the basic building block of architecture, which is space. In 1975, he wrote an essay entitled Questions of Space, in which he included several dozen questions about the nature of space. The questions he formulated could be regarded as analogous to the situation in the philosophy of the time, in which the interest in questioning the most obvious forms of understanding the world and intellectual categories increased. The research on space is an area common to many fields of natural sciences, humanities and artistic creation, but it also deals with other problems, such as issues of experience. The concept of space-time continuum proposed by Hermann Minkowski drew attention to the identity of time and space with the events taking place. Probably regardless of the postulates of physicists commenting on Albert Einstein’s discoveries, also in philosophy it increased the importance of the concept of the event which became dominant in Martin Heidegger’s latest work Contributions of Philosophy: Of the event. Furthermore, Tschumi’s reflections on space entered into relation with the problem of experience, which aroused the interest of a group of French philosophers trying to assimilate Georges Bataille’s concept of “inner experience”. Both Tschumi and Derrida referred to Bataille because his views could be used not only to modify the concept of the subject, but also to change the understanding of what constitutes the area of architecture. The discussion on experience has led to the recognition that the subject is not sovereign, but actually a form of what is on their outside. Such insights make it possible to treat the area of the Parc de La Villette as existing mainly when it is organised by its users. The decisive features of the park are its assumptions, according to which it is a variety of active void that leads to agreeing new social relations with it. The park does not force to participate in already existing moral or political communities, but tries to move into an unknown future in which the scope of free functioning of individuals will be increased. Doubts about the principles of functioning of the individual self and its discovery as a whole composed of non-coherent parts, as well as its dependence on its own depth full of disordered forces, influenced the understanding of architecture as a set of contradictions whose source is a fundamental void anticipating the empty phenomenal space. The use of this phenomenal void in architecture, as well as the rejection of the whole and unity, had a specific political purpose and drew its inspiration from political analyses. In the Parc de La Villette, metaphysics and politics were brought closer together because the philosophy of void was used to create new conditions for community action. It can be argued that the source of this philosophy was the perception of errors in existing societies dependent on the shortcomings of traditional metaphysics. Spacing (espacement) was one of the key terms in Derrida’s philosophy, which was also combined with the concepts of différance and chôra. The study of the nature of space, especially its transition from the level of pure possibility to the level of sensual phenomenon, also contributes to understanding how well designed space can have an impact on its audience. This explanation is based on Tschumi’s assumption that the space of the Parc de La Villette contradicts the integrating approaches and instead exposes contradictions, but it does so in a way that combines incompatible properties into a single piece of architecture. The specificity of such integration is similar to the invention of a musical phrase, which is an ideological message: moral and political. Such a thesis may raise doubts, however, if both the clearly adopted assumptions and those deduced from the work allow for their logically ordered presentation then to a limited extent it may be assumed that the work has achieved a connection between a specific philosophy of space and its practical application. Derrida combined the problem of spatiality with the problem of transcendental imagination in the philosophy of Immanuel Kant, who in the first version of Critique of Pure Reason assumed that pure imagination precedes the appearance of time and space, even in their transcendental forms. The imagination in such a situation can be described as a factor activating time and space, which indicates what function is played by movement in this activity. This leads us to recognize that the ultra originary source of pure forms of sensual intuition is movement, which in early Greek philosophy was identified with void and its lack of resistance to phenomena occurring in it. Derrida’s philosophy in search of a certain super-transcendental source of time and space pointed to différance which, like void or the chôra, does not have material features or even any other form of being. Différance is the primary cause of the disruption of motionlessness and the introduction of activity into motionless time and space, thus its activity can be described as spacing (espacement). Derrida’s discoveries in this respect are not entirely original, because Georg Wilhelm Friedrich Hegel already pointed out when examining the present that it is primarily a differential relation (differente Beziehung), which, being seemingly neutral, influences the present with supernatural force and makes it unidentifiable with itself. Differente Beziehung must similarly influence the originary space, negating its initial character by multiplying its divisions and expanding its boundaries. Différance acts by revealing contradictions wherever there is apparent undifferentiation. Tschumi, composing the Parc de La Villette as a variety of void and a set of incompatible layers, followed the rules of différance or the chôra: he made void visible together with its saturation with contradictions. If space can be considered to be the result of the activity of difference, such activity has a certain regularity, which influences the behaviour of its observers. Differences or contradictions fall into a certain rhythm, which can be considered a manifestation of transcendent order. The problem is that what can be considered the source of such order, namely the logos or God, is partly disorder and error. According to descriptions contained in Timaeus, the world is a combination of forces that drive to order with forces of erroneous necessity that resounds in every order and forces it to return to disorder. Derrida denied the possibility of understanding différance as a theological value, even if it were a negative or apophatic theology, but no categorical denial could be perfect. The assumption that différance or the chôra are not endowed with any substance properties cannot deny their activity, and thus a certain force. Already since Democritus, philosophy has multiplied the names of such a force and the contradictory variety of its manifestations, never forgetting also the necessity for reason to withdraw from the possibility of giving its correct characteristics. Such a withdrawal may be interpreted as an expression of respect and, in certain situations, as a cult of the force that precedes reasonableness. The Parc de La Villette, which is an artistic divagation about the contradictions and forces behind them, can be considered as a place of their sublimation, and therefore as a variation of the temple of what differs from order and disorder. IV In the texts that presented the theoretical assumptions of the Parc de La Villette, Tschumi used a large number of terms that contradicted not only the traditional principles of composing architecture, but also negated the rules of social order and the foundations of Western metaphysics. Tschumi’s statements, which are a continuation of his leftist political fascinations from the May 1968 revolution, as well as his interest in the philosophy of French poststructuralism and his collaboration with Derrida, prove that terms such as “disruption”, “dissociation”, “disfunction”, “disjunction” and “dispersion” not only referred to architectural problems but also applied to political criticism and the deepest foundations of thinking itself. His collaboration with Derrida manifested itself primarily in the publication La Case Vide: La Villette 1985, in which the architect’s design drawings and texts explaining his concepts related to the Parc de La Villette were accompanied by an extensive essay by Derrida, which included theoretical problems taken up by Tschumi in a philosophical context. Architectural and philosophical issues were also combined during seven discussion meetings organised by Eisenman, invited by Tschumi to collaborate on the design of the Parc de La Villette. Eisenman, who, like Tschumi, invited Derrida to participate in the design of the park and also led to the publication of Chora L Works: Jacques Derrida and Peter Eisenman, in which his ideas were confronted with Derrida’s philosophical text. In this case, Derrida’s essay was not a direct commentary on the architect’s concepts, but rather a reflection on the question of the chôra presented by Plato in Timaeus. During the discussion and in his essay, Derrida pointed out that the chôra is a component of the created world, yet it does not belong to it, but precedes it. The originality of the chôra is so radical that she also precedes all the factors of creating the world, including ideas and the Demiurge. Thus athesis appeared in the metaphysics of the West that the chôra is a form of active abyss, in relation to which all beings are secondary, both those perfect (as ideas or God) and those created, such as the world, things, people or language. This leads to the conclusion that the chôra does not exist, because all existence is a derivative of the chôra. Nor could the chôra be described, since it is a form of developing a space that is preceded by a lack of space characteristic of the chôra. Derrida intended the chôra to be an instance with an exceptional degree of transcendentalism, an anti-metaphysical instance, but also an a-theological one. However, this attempt failed, both in the field of secular philosophy and in the field of theology. Derrida’s characteristics of the chôra to strengthen its transcendentalism and negation of metaphysics had to be expressed in a language that immediately produces new concepts and a new metaphysics that reproduces the categories of the beginning, the origin or the foundation known from earlier philosophical traditions. All forms of criticism of metaphysics are also inspired by negative, apophatic and mystical theology. The undermining of many concepts of permanent meaning and the introduction of new concepts of unstable meaning, characteristic of the philosophy of deconstruction, had many features of originality, but it was directed towards problems whose solutions repeat, with the use of new vocabulary, the findings known in culture since Democritus. Thus, if apophatic philosophy can be regarded as deconstruction avant la lettre, then deconstruction itself in its late versions began to take on the features of a new religion. The exchange of inspiration between theology and deconstruction was manifested in a series of scientific conferences and publications in which Derrida’s philosophical concepts were interpreted within the scope of religious thought. Theological threads began to be found in such concepts of deconstruction as différance or the chôra, while at the same time Derrida himself undertook in his philosophy to study problems such as the Other (L’Autre) or the Impossible (Impossible), which belonged to newer theological traditions. As a consequence of the new problems, the deconstruction became closer to the features of a new religion. Philosophy, at least from Kant’s time, has tried to create a system that would take over from religion the tasks of setting moral and political goals. Similarly, Derrida has directed his interest towards the problems of democracy and ethics, which would enable their renewal. Attempts to create a new religion (cleared of old metaphors), a new community or a new democracy bring problems and threats which may be no less troublesome than the previous systems. All promises of freedom carry with them threats, the greater the more they strive for perfection. The renewal of existential orders, sometimes carried out by means of violent changes, is a certain repetitive feature of human cultures. Deep changes, however, do not protect against the return of both old gods and old demons. Tschumi and Derrida were shaped in their youth by the atmosphere of leftist rebellion against the moral and political limitations of ossified communities and the imperfections of democracy. The ethical theme distinguishes many of their works, including the Parc de La Villette. The opposition to the metaphysical traditions of philosophy and architecture contained in this park was prompted by specific political situations and resulted from bringing political issues to the level of philosophical considerations. Achievements made at the level of pure concepts were then subject to elevation, to a kind of sacralization, which made them religious concepts. The deconstruction reached for the status of the new religion especially when it found its followers and began to generate moral obligations. In the new situation, terms such as the chôra, l’Autre or the Impossible were absolutized and in relation to them a cult and attitude of adoration emerged. The Parc de La Villtette then gained new post-secular meanings, which allow it to be assigned the function of a Temple of Otherness (L’Autre) and Impossible. V In the traditional sense, a work of art creates an illustration of the outside world, or of a certain text or doctrine. Sometimes it is considered that such an illustration is not literal, but is an interpretation of what is visible, or an interpretation of a certain literary or ideological message. It can also be assumed that a work of art creates its own visual world, a separate story or a separate philosophical statement. Parc de La Villette represents the last of these possibilities: it is a philosophical statement that develops the premises derived from poststructuralist philosophies and the philosophy of deconstruction. The uniqueness of its being status, however, is that it does so not only at the level of the theoretical assumptions, but also through its functioning as an active philosophical work. This means that a park is a happening philosophy. Its activity, however, does not refer only to the present tense, but is also an attempt to penetrate the future, all otherness and impossibility. This kind of activity assumes that the work, in a sense, does not yet fully exist, but is also still produced in the processes of its interpretation. The theoretical foundations of the park included texts by Tschumi, in which he questioned traditional ways of creating a work of architecture, postulating in return the use of a long series of negations, which were comparable to the crisis of metaphysics characteristic of contemporary philosophy. It is therefore no coincidence that the publication containing Tschumi’s theoretical text on Parc de La Villette was accompanied by an essay by Derrida developing some of the architect’s concepts. The next step in integrating philosophy into the process of park design was a series of discussions between Eisenman and Derrida, who completely moved the creation of the park into the world of thoughts, without accentuating the need for their realization in the material reality. The main topic of these discussions was the problem of the chôra, which was taken up by later commentators and used to interpret the park as a work in which the philosophy of the beginning is manifested relating to issues of politics, morality and religion. The park was therefore interpreted as a space of invention within the scope of creating new rules of functioning of the community and democracy. Thinking about the political future may, however, exceed the horizon of ordinary expectations. Although philosophical thought is always connected with contemporary problems and metaphysics sometimes intertwines with current politics, yet at the same time the customs of philosophy also include crossing horizons and thinking about absolute otherness and impossibility. Initially, the chôra, différance, absolute otherness (tout autre) and the Impossible were concepts of pure philosophy of atheistic character, but with the further development of the discussion, more and more theological motifs began to emerge. One of the reasons for this phenomenon was the fact that radical negations of all being, which were contemplated in contemporary philosophy (by Heidegger and Derrida, among others), had previously been manifested in negative and apophatic theologies (by Master Eckhart, among others).Also the category of the “Other”, taken from Emmanuel Levinas, was clearly connected with the thought about God. A further reason for connecting the chôra with the theological thought was the interest in the philosophy of deconstruction expressed by some theologians. John Caputo in particular managed to persuade Derrida to participate in discussions on the current status of religion. In the late period of Derrida’s writing, further statements on religious topics appeared. All these reasons led to posing a question about the identity of the chôra and God. Although there were no satisfactory conclusions on this issue, the discussion was also important to create an interpretation of the park as a place of worship. The chôra, representing, according to Plato, the preoriginal emptiness is the place of every beginning, but it turns out that it is not neutral to the being created in it. The chôra deposits itself in every being as an irremovable beginning that interferes with its stability. The chôra, therefore, forces us into a palintropical movement, but it also turns out to be a pure compulsion, an erring necessity and a fundamental force from which, in the human perception, motifs useful to the individual and to the community are extracted. All definitions of this force, including its anthropomorphisation, are formulated in such a way that they allow for building private and collective morality upon them. Such definitions are changed depending on variable political situations. It is difficult to determine whether in the processes of changes in the formulation of “God’s names” any essential value is retained, which is not subject to change. The current definitions of the chôra (God?), which can be found, for example, in the philosophy of Caputo, stress that she is a combination of various and contradictory forces. This characteristic inherits much of Plato’s concept, reminds us of Master Eckhart’s views on Gottheit and, at the same time, is not unfamiliar to Tschumi, whose essays were an apologia of contradictions. The current concept of chôra, transferred into the sphere of politics, is the praise of social diversity and the protection of the difference from the forces of order. In the Parc de La Villette, the future community and democracy were elevated as a system of safe existence of individuals in all their singularity. The park is a temple of a future community in which individual beings have nothing in common. (shrink)

The central thesis of my article is that people live a life worthy of a human being only as self-ruling members of some autarchic (or self-governing) communities. On the one hand, nobody is born as a self-ruling individual, and on the other hand, everybody can become such a person by observing progressively the non-aggression principle and, ipso facto, by behaving as a moral being. A self-ruling person has no interest in controlling her neighbors, but in mastering his own impulses, needs, (...) wishes, desires, behaviors, etc. Inasmuch as he is an imperfect being who lives in an imperfect world, he needs to share certain interests, beliefs, values, customs and other characteristics with other people, i.e. to be involved in some communities. Depending on the following four criteria – the regulatory principle, the essential resources, the specific feedback and the fundamental values –, the countless and manifold human communities can be grouped in three categories: (1) affinity communities, (2) economic communities, and (3) civic communities. In other words, every community or human behavior has an affinity, an economic, and a civic dimension. If a civic community is merely a state shaped society, it can be called a political community. All communities are intrinsically variable. Throughout time, they ceaselessly change their composition, values, interpersonal processes and relations, territory, etc. Interestingly enough, the variability is unanimously recognized and accepted in affinity and communities economic, but is denied or abusively interpreted in the case of state shaped societies. If we confuse two types of order − cosmos and taxis – and two types of rule – nomos and thesis –, as well as we exaggerate the importance of certain type of community we bring some social maladies, namely the traditionalism, the commercialism and the civism, (with the worst form of it – the politicality). Whatever the communities they are involved in, all persons relate (implicitly or explicitly) to the libertarian non-aggression principle, living their life in strict accordance with the logical implications of the position they adopt. People who respect the non-aggression axiom necessarily manifest self-control, consideration for the life and property of the others, commitment to offer value for value, love of freedom and a high level of individual responsibility. By contrast, people who violate this axiom – the villains and the statists – invariably strive to control their neighbors, behave as parasites or predators, prefer forced exchanges, reject the personal responsibility (at most accepting the idea of social responsibility), and apply double moral standards. The first category of people generates a libertarian civic discourse as a spontaneous order, and the second creates a political/ statist civic discourse as a result of the human design and will to power. As a spontaneous order, the libertarian civic discourse implies free involvement, peaceful coordination, free expression, free reproduction of ideas and the power of one. Every communication performance in the frame of the libertarian civic discourse is important and has relevant results. All participants to the libertarian civic discourse are automatically members of some self-governing communities (at least members of the general libertarian community). The most important thing for these communities is to be connected to a communicational infrastructure which would make possible free involvement, free expression and the free reproduction of ideas. Inasmuch as today democracy means the tyranny of majority and participatory democracy the tyranny of majority plus the power of vested (and illegitimate) interests, only the emergence of self-governing communities by libertarian discourse offers us a little hope. It’s high time to fall in love (again) with liberty and to embrace the non-aggression principle. We don’t have to create a perfect world, but we can strive to develop our human nature. (shrink)

We present our Special and General Epigenetic Theories of Astrology based both on the most recent genetic research and on authors Cicero, Ptolemy, Sahl, Ezra, Morin, Selva, and Weiss. Key words: astrology; natal horoscope; epigenetics; genetics; DNA; methylation; environment; human development; thought experiment; determinism; free will; quantum indeterminacy; controlled variables; independent variable; dependent variable; general and special epigenetic theories of astrology.

In the brain the relations between free neurons and the conditioned ones establish the constraints for the informational neural processes. These constraints reflect the systemenvironment state, i.e. the dynamics of homeocognitive activities. The constraints allow us to define the cost function in the phase space of free neurons so as to trace the trajectories of the possible configurations at minimal cost while respecting the constraints imposed. Since the space of the free states is a manifold or a (...) non orthogonal space, the minimum distance is not a straight line but a geodesic. The minimum condition is expressed by a set of ordinary differential equation ( ODE ) that in general are not linear. In the brain there is not an algorithm or a physical field that regulates the computation, then we must consider an emergent process coming out of the neural collective behavior triggered by synaptic variability. We define the neural computation as the study of the classes of trajectories on a manifold geometry defined under suitable constraints. The cost function supervises pseudo equilibrium thermodynamics effects that manage the computational activities from beginning to end and realizes an optimal control through constraints and geodetics. The task of this work is to establish a connection between the geometry of neural computation and cost functions. To illustrate the essential mathematical aspects we will use as toy model a Network Resistor with Adaptive Memory (Memristors).The information geometry here defined is an analog computation, therefore it does not suffer the limits of the Turing computation and it seems to respond to the demand for a greater biological plausibility. The model of brain optimal control proposed here can be a good foundation for implementing the concept of "intentionality",according to the suggestion of W. Freeman. Indeed, the geodesic in the brain states can produce suitable behavior to realize wanted functions and invariants as neural expressionsof cognitive intentions. (shrink)

This dissertation is centrally concerned with exploring obituaries as repositories of values. Obituaries are a publicly-available natural language source that are variably written for members of communities that are wide (nation- level) and narrow (city-level, or at the level of specific groups therein). Because they are explicitly summative, limited in size, and written for consumption by a public audience, obituaries may be expected to express concisely the aspects of their subjects’ lives that the authors (often family members living in the (...) same communities) found most salient or worthy of featuring. 140,599 obituaries nested in 832 newspapers from across the USA were scraped with permission from Legacy.com, an obituaries publisher. Obituaries were coded for the age at death and gender (female/male) of the deceased using automated algorithms. For each publishing newspaper, county-level median income, educational achievement (operationalized as percent of the population with a Bachelor’s degree or higher), and race and ethnicity were averaged across counties, weighting by population size. A Neo4J graph database was constructed using WordNet and the University of South Florida Free Association Norms datasets. Each word in each obituary inthe corpus was lemmatized. The shortest path through the WordNet graph from each lemma to 30 Schwartz value prototype words published by Bardi, Calogero, and Mullen (2008) was then recorded. From these path lengths, a new measure, “word-by-hop,” was calculated for each Schwartz value to reflect the relative lexical distance between each obituary and that Schwartz value. Of the Schwartz values, Power, Conformity, and Security were most indicated in the corpus, while Universalism, Hedonism, and Stimulation were least indicated. A series of seven two-level regression models suggested that, across Schwartz values, newspaper community accounted for the greatest amount of word-by-hop variability in the corpus. The best-fitting model indicated a small, negative effect of female status across Schwartz values. Unexpectedly, Hedonism and Conformity, which had conceptually opposite prototype words, were highly correlated, possibly indicating that obituary authors “compensate” for describing the deceased in a hedonistic way by concurrently emphasizing restraint. Future research could usefully further expand word-by-hop and incorporate individual-level covariates that match the newspaper-level covariates used here. (shrink)

Widespread amongst scholars is the legend according to which Locke shows a strong aversion to abstract ideas, similar to that of Berkley in the Treatise. This legend is endorsed by influential commentators on Locke. He does not even propose the reduction of ideas to mental pictures (a reduction which in Berkeley and Hume will form the base of the negation of the existence of abstract ideas in the mind). Locke is not in the least afraid of abstract ideas; his constant (...) concern, which is evident in his treatment of the complex question of the relation between real and nominal essence, is to refute the position of the Scholastics, according to which a universal concept in the mind (post rem) reflects the universal present in all things as substantial form (the universal in re), without assuming positions which are purely conventionalist and nominalist with regard to knowledge, such as those of Mersenne, Gassendi, Hobbes and sceptical and anti-Cartesian free-thinkers. To show this, I offer an analysis of the relation Locke makes between real and nominal essence, with regard to the relations which link term to idea and idea to things. The nature of the relation between signifier and signified is variable, though, in the relation between ideas and things with respect to the various kinds of complex ideas which the human mind may frame. The greatest difference is to be found between complex ideas of mixed mode and complex ideas of substance. (shrink)

The success of any election depends on whether it was free and fair both to the candidates and the voters. Due to media coverage of national elections locally, regionally and globally, subtle psychological cues have become popular and are being used in student Representative Council (SRC) elections to harness voter preferences. This study focused on investigating the relationship between subtle psychological cues and voter preferences among university of Zimbabwe students. More so, the study was focused on four operationally defined (...) subtle psychological cues namely Ballot order effects, Hallo effects, Negativity bias and Push polls on whether they would influence the participant’s voter preference. The study takes the form of an experimental research design and is based on a sample of 80 purposefully selected participants. In addition, primary data was gathered using 4 ballot papers with a Likert scale and was analysed using Statistical Package for Social Studies (SPSS) version 23. Descriptive statistics, T-tests for independent samples, Chi-square tests and Pearson correlation were computed to establish the degree of the relationship between the variables in question. Results show that of the four subtle psychological cues under investigation, negativity bias and hallo effects were predominantly popular due to the American presidential debates such as that of Richard Nixon against Kennedy and Barack Obama against Hilary Clinton. In addition the results show no statistically significant group differences on how gender, ethnicity and year of study affected voter preferences. Ultimately, there were three positive correlations for the experiments Ballot order effects, Hallo effects and Negativity bias. However, contrary to the reviewed literature there was a negative correlation between Push polls and voter preferences. The conclusion was that there is statistically significant relationship between subtle psychological cues and voter preferences and hence have the potential to increase or decrease the votes a candidate obtains. Therefore, the University can closely monitor SRC elections and make sure the students do not abuse psychological cues such as negativity bias and push polls as they have the potential of ruining the student’s reputations. Also the organisation can add to its current SRC election policies the strategies that were implemented in this study to hold other factors at a constant such as using butterfly ballot paper ordering to help make the free and fair. (shrink)

This paper will focus on a philosophically significant construction whose semantics brings together two important notions in Kit Fine’s philosophy, the notion of truthmaking and the notion of a variable embodiment, or its extension, namely what I call a ‘variable object’. This is the construction of definite NPs like 'the number of people that can fit into the bus', 'the book John needs to write', and 'the gifted mathematician John claims to be'. Such NPs are analysed as standing (...) for variable objects, which are part of the 'shallow', construction-driven ontology of natural language, yet are real. (shrink)

In this paper, I offer evidence that folk views of free will and moral responsibility accord a central place to consciousness. In sections 2 and 3, I contrast action production via conscious states and processes with action in concordance with an agent's long-standing and endorsed motivations, values, and character traits. Results indicate that conscious action production is considered much more important for free will than is concordance with motivations, values, and character traits. In section 4, I contrast the (...) absence of consciousness with the presence of consciousness in behaviorally identical agents. Most participants attribute free will to conscious agents, but not to nonconscious agents. Focusing in particular on two leading views of free will and moral responsibility, namely, Deep Self and Reasons-Responsive Views, I argue that these results present philosophers of mind and action with the following explanatory burden: develop a substantive theory of the connection between consciousness on the on.. (shrink)

ABSTRACT Quine insisted that the satisfaction of an open modalised formula by an object depends on how that object is described. Kripke's ‘objectual’ interpretation of quantified modal logic, whereby variables are rigid, is commonly thought to avoid these Quinean worries. Yet there remain residual Quinean worries for epistemic modality. Theorists have recently been toying with assignment-shifting treatments of epistemic contexts. On such views an epistemic operator ends up binding all the variables in its scope. One might worry that this yields (...) the undesirable result that any attempt to ‘quantify in’ to an epistemic environment is blocked. If quantifying into the relevant constructions is vacuous, then such views would seem hopelessly misguided and empirically inadequate. But a famous alternative to Kripke's semantics, namely Lewis' counterpart semantics, also faces this worry since it also treats the boxes and diamonds as assignment-shifting devices. As I'll demonstrate, the mere fact that a variable is bound is no obstacle to binding it. This provides a helpful lesson for those modelling de re epistemic contexts with assignment sensitivity, and perhaps leads the way toward the proper treatment of binding in both metaphysical and epistemic contexts: Kripke for metaphysical modality, Lewis for epistemic modality. (shrink)