We consider a predicate logic Lfd where not all assignments of values to individual variables are possible. Some variables are functionally dependent on other variables. This makes sense if the models of logic are assumed to correspond to databases or states. We show that Lfd is undecidable but has a complete and sound sequent calculus formalisation.

We define a logic capable of expressing dependence of a variable on designated variables only. Thus has similar goals to the Henkin quantifiers of [4] and the independence friendly logic of [6] that it much resembles. The logic achieves these goals by realizing the desired dependence declarations of variables on the level of atomic formulas. By [3] and [17], ability to limit dependence relations between variables leads to existential second order expressive power. Our avoids some difficulties (...) arising in the original independence friendly logic from coupling the dependence declarations with existential quantifiers. As is the case with independence friendly logic, truth of is definable inside . We give such a definition for in the spirit of [11] and [2] and [1]. (shrink)

This paper draws upon a recently completed research study of the responses of accountants and HR professionals to actual issues at work that had posed them ethical qualms. The study sought to get beyond ethical reasoning about hypothetical scenarios and to address issues of actual behaviour, focusing upon the interviewees explanations of these behaviours. In general terms there was an observable difference between the attitudes and behaviours of accountants and HR professions, but not in the simple, stereotypical sense. The concerns (...) expressed by the interviewees when calculating their chosen courses of action in a given situation, reflected grave concerns for their current and future employment prospects, if they were to raise their concerns, either within their employing organisation, or beyond. The problems of whistleblowers are well documented, but at a time when corporate governance issues occupy the attention of financial markets and corporate boards around the world, and national governments are introducing new laws to ostensibly provide enhanced protection for whistleblowers, the evidence of this study is that moral agency remains at best an aspiration, and at worst a chimera. (shrink)

The aim of this paper is to apply a general methodology for constructing statistical methods, which is based on decision theory, to give a statistical description of preferential rankings, with a focus on the rankings’ dependence on categorical variables. In the paper, I use functions of description errors that are based on the Kemeny and Hamming distances between preferential orderings, but the proposed methodology can also be applied to other methods of estimating description errors.

To explore the number of latent variables underlying recognition of own- and other-race faces for Chinese observers, we conducted a study-recognition task where orientation, stimuli type, and duration were manipulated in the study phase and applied state trace analysis as a statistic method. Results showed that each state trace plot on each pair of stimuli types matched a single monotonic curve when stimuli type was set to state factor, but separate curves between face and non-face showed up when the state (...) factor was orientation. The results implied that at least two latent variables affected recognition performance in the inversion paradigm. Besides, the unidimensional structure between own- and other-race faces regardless of the state factor suggested that Chinese participants used the same recognition mechanism for unfamiliar own- and other-race faces in the inversion paradigm. (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)

Slurs’ meaning is highly unstable. A slurring utterance like ‘Hey, F, where have you been?’ (where F is a slur) may receive a wide array of interpretations depending on various contextual factors such as the speaker’s social identity, their relationship to the target group, tone of voice, and more. Standard semantic, pragmatic, and non-content theories of slurs have proposed different mechanisms to account for some or all types of variability observed, but without providing a unified framework that allows us to (...) understand how different contextual factors simultaneously influence slurs’ interpretation. To address this issue, I argue that slurs convey dimensional qualities such as, e.g., ‘negative valence, neutral arousal, high dominance’ instead of discrete emotional categories such as ‘contempt’. Then, I translate this hypothesis into a game-theoretic model of slurs’ interpretation inspired by Heather Burnett’s pioneering work on identity construction. This new model, called ‘Affective Meaning Games’ (AMG), captures the variability of slurs and integrates pragmatic reasoning within an independently motivated psychological understanding of emotional states. (shrink)

This paper makes explicit and takes issue with the bizarre view, which is unfortunately prevalent among social scientists, that causal relations are features of models only. There are some good reasons to represent causal factors with independent variables. But the association between causes and independent variables is only a desideratum in model construction. It is not a criterion for judging which things are causes and which are effects.

Decision-making is a complex action requiring efficient information processing. Specifically, in movement in which performance efficiency depends on reaction time, e.g., open-loop controlled movements, these processes may play a crucial role. Information processing includes three distinct stages, stimulus identification, response selection, and response programming. Mainly, response selection may play a substantial contribution to the reaction time and appropriate decision making. The duration of this stage depends on the number of possible choices an individual has to “screen” to make a proper (...) decision. Given that reaction time is crucial in many sports, the possibilities of reducing it through practice are very tempting. The information processing and its relationship to the manner an individual is practicing are discussed. Especially the variability of practice issues will be explored. In variable practice conditions, an individual has to react to one or more stimuli and has to produce one of the many variations of the same movement or different movements they learned. One has to identify a stimulus appropriately and has to select a response optimally, i.e., choosing from as few choices as possible to reduce the reaction time. On the other hand, in constant practice conditions, an individual can be exposed to one or many stimuli. Still, there is only one variation of the movement that can be executed in the presence of a learned stimulus. Based on the information processing theory and the results of the research focusing on variability of practice, I discuss how the practice conditions may affect reaction time and, as a result, the decision-making process. I conceptually frame the possible implications of practice conditions on decision making related to information processing. In this review, a possible mechanism and relationship between practice conditions and decision-making are presented. Future research directions are presented. (shrink)

We introduce an atomic formula ${\vec{y} \bot_{\vec{x}}\vec{z}}$ intuitively saying that the variables ${\vec{y}}$ are independent from the variables ${\vec{z}}$ if the variables ${\vec{x}}$ are kept constant. We contrast this with dependence logic ${\mathcal{D}}$ based on the atomic formula = ${(\vec{x}, \vec{y})}$ , actually equivalent to ${\vec{y} \bot_{\vec{x}}\vec{y}}$ , saying that the variables ${\vec{y}}$ are totally determined by the variables ${\vec{x}}$ . We show that ${\vec{y} \bot_{\vec{x}}\vec{z}}$ gives rise to a natural logic capable of formalizing basic intuitions about independence and (...) dependence. We show that ${\vec{y} \bot_{\vec{x}}\vec{z}}$ can be used to give partially ordered quantifiers and IF-logic an alternative interpretation without some of the shortcomings related to so called signaling that interpretations using = ${(\vec{x}, \vec{y})}$ have. (shrink)

This paper explores some issues about the choice of variables for causal representation and explanation. Depending on which variables a researcher employs, many causal inference procedures and many treatments of causation will reach different conclusions about which causal relationships are present in some system of interest. The assumption of this paper is that some choices of variables are superior to other choices for the purpose of causal analysis. A number of possible criteria for variable choice are described and defended (...) within a broadly interventionist approach to causation. (shrink)

Under the putative influence of dietary selection pressure, the subcellular distribution of alanine:glyoxylate aminotransferase 1 (AGT) has changed on many occasions during the evolution of mammals. Depending on the particular species, AGT can be found either in peroxisomes or mitochondria, or in both peroxisomes and mitochondria. This variable localization depends on the differential expression of N‐terminal mitochondrial and C‐terminal peroxisomal targeting sequences by the use of alternative transcription and translation initiation sites. AGT is peroxisomal in most humans, but it (...) is mistargeted to the mitochondria in a subset of patients suffering from the rare herediatry disease primary hyperoxaluria type 1. Mistargeting is due to the unlikely combination of a normally occurring polymorphism that generates a functionally weak mitochondrial targeting sequence and a disease‐specific mutation which, in combination with the polymorphism, inhibits AGT dimerization. The mechanisms by which AGT can be targeted differentially to peroxisomes and/or mitochondria highlight the different molecular requirements for protein import into these two organelles. (shrink)

The phenomenon of quantification into attitude ascriptions has haunted broadly Fregean views, according to which co-referential proper names are not always substitutable salva veritate in attitude ascriptions. Opponents of Fregeanism argue that a belief ascription containing a proper name such as ‘Michael believes that Lindsay is charitable’ is equivalent to a quantified sentence such as ‘there is someone such that Michael believes that she is charitable, and that person is Lindsay’. They conclude that the semantic contribution of a name such (...) as ‘Lindsay’ is the same as the semantic contribution of a variable under an assignment, which these opponents suggest is merely the object assigned to that variable. However, renewed interest in variables suggests that they make a more complicated contribution to the semantic processing of sentences that contain them. In particular, a variable contributes both an assignment-unsaturated and an assignment-saturated semantic value. I use this dual role of the semantics of variables to develop a response to the argument from quantifying in. I take as my point of departure Cumming's () view that an attitude ascription relates the subject of an attitude to the assignment-unsaturated semantic value of an open sentence. I argue that this approach fails. I propose an alternative, according to which the truth of a belief ascription depends on both the assignment-saturated and the assignment-unsaturated semantic value of the open sentence in its that-clause. This approach reverses standard assumptions concerning the relation between quantification and substitution. (shrink)

Despite their centrality to the scientific enterprise, both the nature of scientific variables and their relation to inductive inference remain obscure. I suggest that scientific variables should be viewed as equivalence classes of sets of physical states mapped to representations (often real numbers) in a structure preserving fashion, and argue that most scientific variables introduced to expand the degrees of freedom in terms of which we describe the world can be seen as products of an algorithmic inductive inference first identified (...) by William W. Rozeboom. This inference algorithm depends upon a notion of natural kind previously left unexplicated. By appealing to dynamical kinds—equivalence classes of causal system characterized by the interventions which commute with their time evolution—to fill this gap, we attain a complete algorithm. I demonstrate the efficacy of this algorithm in a series of experiments involving the percolation of water through granular soils that result in the induction of three novel variables. Finally, I argue that variables obtained through this sort of inductive inference are guaranteed to satisfy a variety of norms that in turn suit them for use in further scientific inferences. (shrink)

The past century has witnessed numerous methodological innovations in probabilistic and statistical methods of causal inference (e.g., the graphical modelling and the potential outcomes frameworks, as introduced in Chapter 1). These innovations have not only enhanced the methodologies by which scientists across diverse domains make causal inference, but they have also made a profound impact on the way philosophers think about causation. The philosophical issues discussed in this thesis are stimulated and inspired by these methodological innovations. Chapter 2 addresses the (...) question of how the holding of screening-off conditions for a causal model depends on the choice of variables. As bridge principles between probability and causation, screening-off conditions (especially the Causal Markov Condition) play a key role in causal inference. However, it has been known that these conditions may fail due to poor variable choice. My aim in this chapter is to further examine those constraints on variable choice that are deemed necessary for the satisfaction of screening-off conditions. The idea of a well-defined (hypothetical) intervention is also crucial for reliable causal inference. Chapter 3 explores the question of when interventions invoked in causal inference are “well-defined” or unambiguous, and how this requirement constrains the choice of cause-variables. I propose that an intervention is well-defined just in case the effect of interest is well-defined (under ideal interventions), and that the intervention can serve as a suitable means to identify that effect. Based on this proposal, several distinct types of ambiguous interventions are identified. Methodological progress in causal inference also poses the following question: Can such progress shed light on the ontology of causation? My answer is yes. In Chapter 4, I develop a Carnapian-pragmatist approach to the ontology of causation as an alternative to existing metaphysical approaches. I argue that, compared to traditional metaphysics, the pragmatist approach provides a superior picture of how the ontology and methodology of causation interact with each other in scientific practice. I conclude in Chapter 5 that the thing we call “causation” consists in both the right worldly infrastructure (e.g., screening-off patterns and possibilities for interventions) and appropriate ways of framing this infrastructure. (shrink)

Bell's problem of the possibility of a local hidden variable theory of quantum phenomena is considered in the context of the general problem of representing the statistical states of a quantum mechanical system by measures on a classical probability space, and Bell's result is presented as a generalization of Maczynski's theorem for maximal magnitudes. The proof of this generalization is shown to depend on the impossibility of recovering the quantum statistics for sequential probabilities in a classical representation without introducing (...) a randomization process for the hidden variables. Hidden variable theories that exclude such a randomization process are termed “strict,” and it is shown that the class of local hidden variable theories is included in the class of strict theories. A counterargument by Freedman and Wigner is evaluated with reference to Clauser's extension of a hidden variable model proposed by Bell. (shrink)

The paper emphasizes the inadequacy of formal semantics, the classical paradigm in semantics, in treating contextual dependence. Some phenomena of contextual dependence threaten one central assumption of the classical paradigm, namely the idea that linguistic expressions have a fixed meaning, and utterances have truth conditions well defined. It is possible to individuate three forms of contextual dependence: the one affecting pure indexicals, the one affecting demonstratives and "contextual expressions", and the one affecting all linguistic expressions. The third (...) type of dependence is top-down: context, and not only linguistic material, shows which variables must be instantiated, relying on context itself. The generalization of underdetermination to all linguistic expressions is in fact a kind of metadependence: the mode of dependence itself depends on context. (shrink)

This paper briefly traces the evolution of the function concept until its modern set theoretic definition, and then investigates its relationship to the pre-formal notion of variable dependence. I shall argue that the common association of pre-formal dependence with the modern function concept is misconceived, and that two different notions of dependence are actually involved in the classic and the modern viewpoints, namely effective and functional dependence. The former contains the latter, and seems to conform (...) more to our pre-formal conception of dependence. The idea of effective dependence is further investigated in connection with the notions of function content and intensionality. Finally, the relevance of the distinction between the two kinds of dependence to mathematical practice is considered. (shrink)

The possibility to interpret expected and nonexpected utility theories in purely probabilistic terms has been recently investigated. Such interpretation proposes as guideline for the Decision Maker the comparison of random variables through their probability to outperform a stochastic benchmark. We apply this type of analysis to the model of Becker and Sarin, showing that their utility functional may be seen as the probability that an opportune random variable, depending on the one to be evaluated, does not outperform a non-random (...) benchmark. Further, the consequent choice criterion is equivalent to a sort of probability of ruin. Possible interpretations and financial examples are discussed. (shrink)

Major depression etiopathogenesis is related to a wide variety of genetics, demographic and psychosocial factors, as well as to environmental factors. The objective of this study is to analyze sociodemographic and environmental variables that are related to the prevalence of depression through correlation analysis and to develop a regression model that explains the behavior of this disease from an ecological perspective. This is an ecological, retrospective, cross-sectional study. The target population was 1,148,430 individuals over the age of 16 who were (...) registered in Aragon (Spain) during 2010, with electronic medical records in the community’s primary health care centers. The spatial unit was the Basic Health Area (BHA). The dependent variable was the diagnosis of Depression and the ecological independent variables were: Demographic variables (gender and age), population distribution, typology of the entity, population structure by sex and age, by nationality, by education, by work, by salary, by marital status, structure of the household by number of members, and state of the buildings. The results show moderate and positive correlations appear with higher rates of depression in areas having a higher femininity index, higher population density, areas with a higher unemployment rate and higher average salary. The results of the linear regression show that aging +75 and rural entities act as protective factors for depression, while urban areas and deficient buildings act as risk factors. In conclusion, the ecological methodology may be a useful tool which, together with the statistical epidemiological analysis, can help in the political decision making process. (shrink)

To controlforceaccurately under a wide range of behavioral conditions, the central nervous system would either require a detailed, continuously updated representation of the state of each muscle (and the load against which each is acting) or else force feedback with sufficient gain to cope with variations in the properties of the muscles and loads. The evidence for force feedback with adequate gain or for an appropriate central representation is not sufficient to conclude that force is the major controlled variable (...) in normal limb movements.Morton's hypothesis, thatlengthis controlled by a follow-up servo, has a number of difficulties related to the delays, gains, variability, and specificity in feedback pathways comprising potential servo loops. However, experimental evidence is consistent with these pathways providing servo assistance for some movements produced by coactivation of α- and static γ-motoneurons. Dynamic γ-motoneurons may provide an additional input for adaptive control of different types of movements.The idea that feedback is used to compensate for changes in musclestiffnesshas received experimental support under static postural conditions. However, reflexes tend to increase rather than decrease the range of variation in muscle stiffness during some cyclic movements. Theoretical problems associated with the regulation of stiffness are also discussed. The possibilities of separate control systems forvelocityorviscosityare considered, but the evidence is either negative or lacking. I conclude that different physical variables can be controlled depending on the type of limb movement required. The concept of stiffness regulation is also useful under some conditions, but should probably be extended to the regulation of the visco-elastic properties (i.e., the mechanical impedance) of a muscle or joint. (shrink)

The enormous scale of the available information and products on the Internet has necessitated the development of algorithms that intermediate between options and human users. These algorithms attempt to provide the user with relevant information. In doing so, the algorithms may incur potential negative consequences stemming from the need to select items about which it is uncertain to obtain information about users versus the need to select items about which it is certain to secure high ratings. This tension is an (...) instance of the exploration–exploitation trade‐off in the context of recommender systems. Because humans are in this interaction loop, the long‐term trade‐off behavior depends on human variability. Our goal is to characterize the trade‐off behavior as a function of human variability fundamental to such human–algorithm interaction. To tackle the characterization, we first introduce a unifying model that smoothly transitions between active learning and recommending relevant information. The unifying model gives us access to a continuum of algorithms along the exploration–exploitation trade‐off. We then present two experiments to measure the trade‐off behavior under two very different levels of human variability. The experimental results inform a thorough simulation study in which we modeled and varied human variability systematically over a wide rage. The main result is that exploration–exploitation trade‐off grows in severity as human variability increases, but there exists a regime of low variability where algorithms balanced in exploration and exploitation can largely overcome the trade‐off. (shrink)

Within natural language semantics, pronouns are often thought to correspond to variables whose values are contributed by contextual assignment functions. This paper concerns the application of this idea to cases where the antecedent of a pronoun is a plural quantifiers. The paper discusses the modelling of accessibility patterns of quantifier antecedents in a dynamic theory of interpretation. The goal is to reach a semantics of quantificational dependency which yields a fully semantic notion of pronominal accessibility. I argue that certain dependency (...) phenomena that arise in quantificationally created contexts require a representation of context wherein the labelling of antecedents is not rigid but rather dynamic itself. I propose a stack-based alternative to classic assignment functions, along the lines of Vermeulen (1993) and van Eijck (2001), and give a dynamic semantics of quantification which correctly accommodates the problematic anaphoric phenomena. (shrink)

The theory of variable embodiments has been primarily formulated to model ordinary objects as things that change their parts over time. A variable embodiment /f/ is a sui generis whole constructed from a principle f, the principle of a variable embodiment, and it is manifested at different times by different things picked out by such a principle f. This principle is usually clarified as a function that picks out, at any given time the variable embodiment exists, (...) its corresponding manifestation at that time, and it fails to pick out anything at any other time. The first purpose of this article is to examine and refute three natural understandings of such a principle. Specifically, first, we argue against the view that it should be understood extensionally as either a partial function or total function. Next, we provide some motivations to reject the understanding of the principle as a function in intensional terms, where the notion of intension is analyzed in terms of a specific version of a possible world semantics. The second goal of the article is to make it plausible that the principle has an intensional character and, on the basis of the results achieved, to formulate some constraints that an account of such a principle should meet. (shrink)

In this work we extend approximate aggregation methods in time discrete linear models to the case of time varying environments. Approximate aggregation consists in describing some features of the dynamics of a general system involving many coupled variables in terms of the dynamics of a reduced system with a few number of variables. We present a time discrete time varying model in which we distinguish two time scales. By using perturbation methods we transform the system to make the global variables (...) appear and build up the aggregated system. The asymptotic relationships between the general and aggregated systems are explored in the cases of a cyclically varying environment and a changing environment in process of stabilization. We show that under quite general conditions the knowledge of the behavior of the aggregated system characterizes that of the general system. The general method is also applied to aggregate a multiregional time dependent Leslie model showing that the aggregated model has demographic rates depending on the equilibrium proportions of individuals in the different patches. (shrink)

Elicitation methods are known to influence second language speech production. For teachers and language assessors, awareness of such effects is essential to accurate interpretations of testing outcomes. For speech researchers, understanding why one method gives better performance than another may yield insights into how second-language phonological knowledge is acquired, stored, and retrieved. Given these concerns, this investigation compared L2 vowel intelligibility on two elicitation tasks and determined the degree to which differences generalized across vowels, vowels in context, lexical items, and (...) individual speakers. The dependent variable was the intelligibility of Cantonese speakers' productions of English /i I u ℧/ in varying phonetic environments. In a picture-naming task, the speakers produced responses without an auditory prompt. In a second task–interrupted repetition–they heard exemplars of the same targets without pictures, and repeated each one after counting aloud to 10, a step intended to disrupt their short-term auditory store and therefore prevent simple mimicry. For target words with scores below 80% on picture naming, mean intelligibility was more than 10 points higher on interrupted repetition. However, that difference did not generalize across conditions or across speakers. Thus, although it is technically accurate to say that, on average, interrupted repetition yielded better vowel intelligibility than did picture naming, that observation requires a great deal of qualification, particularly because of individual speaker differences. The outcomes are interpreted in terms of their relevance to language assessment and phonetic learning. (shrink)

The practices of economists increase experimental reproducibility relative to those of selected psychologists but should not be universally adopted. Procedures criticized by Hertwig and Ortmann as producing variable data are valuable, instead, for generating questions. The procedure of choice should depend on the theoretical goal: measure a known factor or learn what factors are important and need to be measured.

Robustness of a supply network highly depends on its structure. Although structural design methods have been proposed to create supply networks with optimal robustness, a real-life supply network can be quite different from these optimal structural designs. Meanwhile, real cases such as Thailand floods and Tohoku earthquake demonstrate the vulnerability of supply networks in real life. Obviously, it is urgent to enhance the robustness of existing real-life supply networks. Thus, in this paper, a supply network reconfiguration method based on adaptive (...) variable neighborhood search is proposed to enhance the structural robustness of supply networks facing both random and target disruptions. Firstly, a supply network model considering the heterogeneous roles of entities is introduced. Based on the model, two robustness metrics, Rr and Rt, are proposed to describe the tolerance of supply networks facing random and target disruptions, respectively. Then, the problem of reconfiguration-based supply network robustness enhancement is described. To solve the problem effectively and efficiently, a new heuristic based on general variable neighborhood search, namely, AVNS, is proposed. Finally, a case study based on three real-life supply networks is presented to verify the applicability and effectiveness of the proposed robustness enhancing method. (shrink)

The paper rst lays out a non-congurational approach to scope ambiguities in which scope dependencies are treated as dependencies between evaluation indices of variables. The notions of dependent and domain variables are dened naturally in this framework. These concepts are then used to account for the distribution and interpretation of determiner reduplication in Hungarian, a phenomenon that has not received much attention so far.1 1. Introduction This paper contributes to the study of the semantics of indenites in natural language by (...) introducing on the scene a new type of indenite, called dependent. We meet it in Hungarian, where one may reduplicate certain determiners, as illustrated in [1]-[3]. (shrink)

This paper reports the results of a survey completed by 565 human resource professionals in the Canadian provinces of Alberta and Saskatchewan. The major result suggests that individuals who are more dependent on their employing organizations are more likely to comply with organizational pressures to behave unethically. Factor analysis of our dependent measure of ethical organizational behavior suggested that two distinct constructs were being tapped; furthermore, different variables were found to predict each. The potential for conceptualizing unethical organizational behavior as (...) multidimensional is discussed. (shrink)

This paper argues that research on the business case for corporate social responsibility (CSR) must account for the path dependent nature of firm-stakeholderrelations, and develops the construct of stakeholder influence capacity (SIC) to fill this void. SIC helps to explain why the effects of CSR on corporate financial performance (CFP) vary across firms and across time, therein providing a missing link in the study of the business case. This paper distinguishes CSR from related and confounded corporate resource allocations and from (...) corporate social performance (CSP), then incorporates SIC into a model that explains how acts of CSR are transformed into CFP through stakeholder relationships. This paper also develops a set of propositions to aid future research on the contingencies that produce variable financial returns to investments in CSR. (shrink)

In this paper, I examine the syntax-semantics of subjunctive clauses in (Modern) Greek. These clauses are headed by the particle na and contain a dependent verbal form with no formal mood features: the perfective nonpast (PNP). I propose that the semantics of na is temporal: it introduces the variable now (n) into the syntax. This is necessary because the apparent present tense in the PNP cannot introduce n. The PNP, instead, contains a dependent time variable. This variable (...) cannot be interpreted as a free variable – hence it cannot be identified with the utterance time of the context. This analysis relies on two premises. One is the (quite influential) idea that pronouns and tenses are analogous creatures (Partee 1973, 1984, Heim 1998, Kratzer 1998, and others). The other premise is that at least some polarity items are expressions that contain variables that cannot be interpreted deictically (Giannakidou 1998, 2001). In the present work I suggest to enlarge the domain of phenomena that can receive a unified treatment across individuals, worlds, and tenses, and treat the subjunctive mood as a non-deictic time, thus an instance of a polarity dependency of the temporal kind. It is my hope that the analysis proposed here for the PNP can be used to analyze verbal subjunctives in Romance languages, and perhaps also infinitival forms in English, but investigation of this question will have be left for the future. (shrink)

Hidden variables are usually presented as potential completions of the quantum description. We describe an alternative role for these entities, as aids to calculation in quantum mechanics. This is illustrated by the computation of the time-dependence of a massless relativistic spinor field obeying Weyl’s equation from a single-valued continuum of deterministic trajectories (the “hidden variables”). This is achieved by generalizing the exact method of state construction proposed previously for spin 0 systems to a general Riemannian manifold from which the (...) spinor construction is extracted as a special case. The trajectories form a non-covariant structure and the Lorentz covariance of the spinor field theory emerges as a kind of collective effect. The method makes manifest the spin 1/2 analogue of the quantum potential that is tacit in Weyl’s equation. This implies a novel definition of the “classical limit” of Weyl’s equation. (shrink)

This paper provides a detailed comparison between discourse representation theory and dependent type semantics, two frameworks for discourse semantics. Although it is often stated that DRT and those frameworks based on dependent types are mutually exchangeable, we argue that they differ with respect to variable handling, more specifically, how substitution and other operations on variables are defined. This manifests itself in two recalcitrant problems posed for DRT; namely, the overwrite problem and the duplication problem. We will see that these (...) problems still pose a challenge for various extended compositional systems based on DRT, while they do not arise in a framework of DTS where substitution and other operations are defined in the standard type-theoretic manner without stipulating any additional constraints. We also compare the notions of contexts underlying these two kinds of frameworks, namely, contexts represented as assignment functions and contexts represented as proof terms, and see what different predictions they make for some linguistic examples. (shrink)

Modal dependence logic was introduced recently by Väänänen. It enhances the basic modal language by an operator = (). For propositional variables p 1, . . . , p n , = (p 1, . . . , p n-1, p n ) intuitively states that the value of p n is determined by those of p 1, . . . , p n-1. Sevenster (J. Logic and Computation, 2009) showed that satisfiability for modal dependence logic is complete (...) for nondeterministic exponential time.In this paper we consider fragments of modal dependence logic obtained by restricting the set of allowed propositional connectives. We show that satisfiability for poor man’s dependence logic, the language consisting of formulas built from literals and dependence atoms using ${\wedge, \square, \lozenge}$ (i. e., disallowing disjunction), remains NEXPTIME-complete. If we only allow monotone formulas (without negation, but with disjunction), the complexity drops to PSPACE-completeness.We also extend Väänänen’s language by allowing classical disjunction besides dependence disjunction and show that the satisfiability problem remains NEXPTIME-complete. If we then disallow both negation and dependence disjunction, satisfiability is complete for the second level of the polynomial hierarchy. Additionally we consider the restriction of modal dependence logic where the length of each single dependence atom is bounded by a number that is fixed for the whole logic. We show that the satisfiability problem for this bounded arity dependence logic is PSPACE-complete and that the complexity drops to the third level of the polynomial hierarchy if we then disallow disjunction.In this way we completely classify the computational complexity of the satisfiability problem for all restrictions of propositional and dependence operators considered by Väänänen and Sevenster. (shrink)

In §93 of The Principles of Mathematics, Bertrand Russell observes that “the variable is a very complicated logical entity, by no means easy to analyze correctly”. This assessment is borne out by the fact that even now we have no fully satisfactory understanding of the role of variables in a compositional semantics for first-order logic. In standard Tarskian semantics, variables are treated as meaning-bearing entities; moreover, they serve as the basic building blocks of all meanings, which are constructed out (...) of variable assignments. But this has disquieting consequences, including Fine’s antinomy of the variable and an undue dependence of meanings on language. Here I develop an alternative, Fregean version of predicate logic that uses the traditional quantifier–variable apparatus for the expression of generality, possesses a fully compositional, non-representational semantics, and is not subject to the antinomy of the variable. The advantages of Fregean over Tarskian predicate logic are due to the former’s treating variables not as meaningful lexical items, but as mere marks of punctuation, similar to parentheses. I submit that this is indeed how the variables of predicate logic should be construed. (shrink)

We present the paradigm of categories-as-syntax. We briefly recall the even stronger paradigm categories-as-machine-language which led from -calculus to categorical combinators viewed as basic instructions of the Categorical Abstract Machine. We extend the categorical combinators so as to describe the proof theory of first order logic and higher order logic. We do not prove new results: the use of indexed categories and the description of quantifiers as adjoints goes back to Lawvere and has been developed in detail in works of (...) R. Seely. We rather propose a syntactic, equational presentation of those ideas. We sketch the (quasi-equational) categorical structures for dependent types, following ideas of J. Cartmell (contextual categories). All these theories of categorical combinators, together with the translations from -calculi into them, are introduced smoothly, thanks to the systematic use of– - an abstract variable-free notation for -calculus, going back to N. De Bruijn, – - a sequent formulation of the natural deduction. (shrink)

This book combines insights from philosophy and linguistics to develop a novel framework for theorizing about linguistic meaning and the role of context in interpretation. A key innovation is to introduce explicit representations of context — assignment variables — in the syntax and semantics of natural language. The proposed theory systematizes a spectrum of “shifting” phenomena in which the context relevant for interpreting certain expressions depends on features of the linguistic environment. Central applications include local and nonlocal contextual dependencies with (...) quantifiers, attitude ascriptions, conditionals, questions, and relativization. The result is an innovative, philosophically informed compositional semantics compatible with the truth-conditional paradigm. (shrink)

In order to block controversial predictions of 2D semantics (The Nesting Problem), Chalmers and Rabern (2014) propose adding an additional constriction called “the liveness constraint” in definitions of epistemic modals. Without this constraint, all scenario‐world pairs counterfactual to a scenario‐world pair considered as actual in a 2D matrix for a contingent a priori proposition ϕ appear problematic for 2D semantics. This is because, although it is false that ϕ in such pairs, it is a priori true that ϕ. I consider (...) two versions of 2D semantics, those with unstructured and structured intensions. I argue that the unstructured version of 2D semantics is over‐simplified and due to this, it has controversial predictions for counterfactual scenario‐world pairs – the definition of epistemic conceivability with the liveness constraint causes some contingent propositions to appear inconceivable in counterfactual scenario‐world pairs, while some other contingent propositions remain conceivable. In turn, the structured version of the 2D account of propositions has no explanation of how it is possible to possess purely qualitative knowledge without its being dependent on a particular individual or on a particular actual world. (shrink)

This commentary addresses the complexities of representation in sociolinguistic transcripts, considering the meaning potentials of different representational choices at the level of both ideology and identity. It considers the kinds of authenticity and evidence that are indexed by simplified versus more detailed transcripts, suggesting that a simplified transcript may give more direct access to elements of the original speaker's voice. Second, it discusses the role of transcripts as scholarly texts, and questions their use as sociolinguistic records suitable for reinterpretation by (...) scholars who do not have access to the original recordings. Third, it emphasizes that the use of non-standard orthographies is an unreliable source of data on sociolinguistic variation, because few authors use non-standard forms in consistent and principled ways. Fourth, it proposes that translations may take different forms depending on whether they are efforts to be `faithful' to `authentic' speech in the target versus the source language. Finally, it reflects on the act of transcription as part of professional practice and identity among linguists. (shrink)

Wilson et al. focus on one class of AGL tasks: the cognitively demanding task of detecting non‐adjacent dependencies (NADs) among items. They provide a typology of the different types of NADs in natural languages and in AGL tasks. A range of cues affect NAD learning, ranging from the variability and number of intervening elements to the presence of shared prosodic cues between the dependent items. These cues, important for humans to discover non‐adjacent dependencies, are also found to facilitate NAD learning (...) in several nonhuman animal species. (shrink)

This paper presents a new take on how argument dependencies in natural language are established and constrained. The paper starts with a rather standard view that (quantificational) argument dependencies are operator-variable dependencies. The interesting twist the paper offers is to eliminate the need for syntax that serves to enforce what the operator-variable dependencies are. Instead the role of ensuring grammatical and generally unambiguous forms is taken up by semantics imposing what are dependency requirements for any interpretation to go (...) through at evaluation time. With this viewpoint there emerges an essential need for localities as the hiding of (embedded) expression material, together with a (limited) form of garbage collection to release grammatical resources used in the current locality for reuse in subsequent localities. (shrink)

Speech sounds are an essential vehicle of information exchange and meaning expression in approximately 7,000 spoken languages in the world. What functional constraints and evolutionary mechanisms lie behind linguistic diversity of sound systems is under ongoing debate; in particular, it remains conflicting whether there exists any universal relationship between these constraints despite of diverse sounds systems cross-linguistically. Here, we conducted cross-linguistic typological and phylogenetic analyses to address the characteristics of constraints on linguistic diversity of vowel systems. First, the typological analysis (...) revealed a power-law based dependence between the global structural dispersion and the local focalization of vowel systems and validated that such dependence was independent of geographic region, language family, and linguistic affiliation. Second, the phylogenetic analysis further illustrated that the observed dependence resulted from correlated evolutions of these two structural properties, which proceeded in an adaptive process. These results provide empirical evidence that self-organization mechanisms helped shape vowel systems and common functional constraints took effect on the evolution of vowel systems in the world’s languages. (shrink)