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)

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

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)

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)

This work gives an extended presentation of the treatment of variable-binding operators adumbrated in [3:1993d]. Illustrative examples include elementary languages with quantifiers and lambda-equipped categorial languages. Some remarks are also offered to illustrate the philosophical import of the resulting picture. Particularly, a certain conception of logic emerges from the account: the view that logics are true theories in the model-theoretic sense, i.e. the result of selecting a certain class of models as the only “admissible” interpretation structures (for a (...) given language). (shrink)

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.].

In this paper I inquire into the methodological status of one of the arguments that have figured prominently in contemporary debates about the semantics of a variety of expressions, the so-called “Binding Argument”. My inquiry is limited to the case of meteorological sentences like “It is raining”, but my conclusion can be extended to other types of sentences as well. Following Jason Stanley, I distinguish between three interpretations of the argument. My focus is on the third, weakest interpretation, according (...) to which postulating variables for locations in the logical form of meteorological sentences is the best available explanation of the binding phenomena that such sentences give rise to. My aim is to show that even in this weak interpretation, the argument cannot be reasonably taken to hold. I accomplish this by showcasing several alternative ways to account for the binding data that have not been, as of yet, ruled out as flawed. (shrink)

The first part of this article (Sections 1–5) focuses on the classical notions of scope and binding and their formal foundations. It argues that once their semantic core is properly understood, it can be implemented in various different ways: with or without movement, with or without variables. The second part (Sections 6–12) takes up the empirical issues that have redrawn the map in the past two decades. It turns out that scope is not a primitive. Existential scope and distributive (...) scope have to be distinguished, leaving few if any run-of-the-mill quantifiers. Scope behavior is also not uniform. At least three classes of expressions emerge: indefinites, distributive universals, and counters. Likewise, the bound variable interpretation of pronouns is joined by co-variation with situations. As a result, the classical notions of scope and binding are likely to end up as building blocks in the varied mechanisms at work in “scope phenomena” and “binding phenomena”, and not as self-contained analyses of those phenomena. (shrink)

The principle of compositionality requires that the meaning of a complex expression remains the same after substitution of synonymous expressions. Alleged counterexamples to compositionality seem to force a theoretical choice: either apparent synonyms are not synonyms or synonyms do not syntactically occur where they appear to occur. Some theorists have instead looked to Frege’s doctrine of “reference shift” according to which the meaning of an expression is sensitive to its linguistic context. This doctrine is alleged to retain the relevant claims (...) about synonymy and substitution while respecting the compositionality principle. Thus, Salmon (Philos Rev 115(4):415, 2006) and Glanzberg and King (Philosophers’ Imprint 20(2):1–29, 2020) offer occurrence-based accounts of variable binding, and Pagin and Westerståhl (Linguist Philos 33(5):381–415, 2010c) argue that an occurrence-based semantics delivers a compositional account of quotation. Our thesis is this: the occurrence-based strategies resolve the apparent failures of substitutivity in the same general way as the standard expression-based semantics do. So it is a myth that a Frege-inspired occurrence-based semantics affords a genuine alternative strategy. (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)

Rooth & Partee (1982) and Rooth (1985) have shown that the English-specific rule-by-rule system of PTQ can be factored out into function application plus two transformations for resolving type mismatch (type lifting and variable binding). Building on these insights, this article proposes a universal system for type-driven translation, by adding two more innovations: local type determination for gaps (generalizing Montague 1973) and a set of semantic filters (extending Cooper 1983). This system, dubbed Cross-Linguistic Semantics (XLS), is shown to (...) account for various phenomena — including scope relations in English and Greenlandic Eskimo, internally headed relative clauses in Lakhota, serial verbs in Yoruba and VP ellipsis in English. (shrink)

This thesis argues for two main points concerning the philosophy of natural language semantics. Firstly, that the objects of assertion are distinct from the entities appealed to in the compositional rules of natural language semantics. Secondly, natural languages contain context-shifting operators known as "monsters". In fact, it will be shown that these theses are simply two sides of the same coin.

Our paper presents a novel theory of weak crossover effects, based entirely on quantifier scope preferences and their consequences for variable binding. The structural notion of 'crossover' play no role. We develop a theory of scope preferences which ascribes a central role to the AGR-P System.

This paper is a commentary on the target article by Lokendra Shastri & Venkat Ajjanagadde [S&A]: “From simple associations to systematic reasoning: A connectionist representation of rules, variables and dynamic bindings using temporal synchrony” in same issue of the journal, pp.417–451. -/- It puts S&A's temporal-synchrony binding method in a broader context, comments on notions of pointing and other ways of associating information - in both computers and connectionist systems - and mentions types of reasoning that are a challenge (...) to S&A's system (amongst many other connectionist systems, recognizing that S&A's is much more capable as regards reasoning than most other contemporary systems). (shrink)

Subverting a once widely held Quinean paradigm, there is a growing consensus among philosophers of logic that higher-order quantifiers (which bind variables in the syntactic position of predicates and sentences) are a perfectly legitimate and useful instrument in the logico-philosophical toolbox, while neither being reducible to nor fully explicable in terms of first-order quantifiers (which bind variables in singular term position). This article discusses the impact of this quantificational paradigm shift on metaphysics, focussing on theories of properties, propositions, and identity, (...) as well as on the metaphysics of modality. (shrink)

This paper investigates the connection between two recent trends in philosophy: higher-orderism and conceptual engineering. Higher-orderists use higher-order quantifiers (in particular quantifiers binding variables that occupy the syntactic positions of predicates) to express certain key metaphysical doctrines, such as the claim that there are properties. I argue that, on a natural construal, the higher-orderist approach involves an engineering project concerning, among others, the concept of existence. I distinguish between a modest construal of this project, on which it aims at (...) engineering higher-order analogues of the familiar notion of first-order existence, and an ambitious construal, on which it additionally aims at engineering a broadened notion of existence that subsumes first-order and higher-order existence. After identifying a substantial problem for the ambitious project, I investigate a possible response which is based on adopting a cumulative type theory as the background higher-order logic. While effective against the problem at hand, this strategy turns out to undermine a major reason to embrace higher-orderism in the first place, namely the idea that higher-orderism dissolves a range of otherwise intractable debates in metaphysics. Higher-orderists are therefore best advised to pursue their engineering project on the modest variant and against the background of standard type theory. (shrink)

I propose an apparatus for handling intrasentential change in context. The standard approach has problems with sentences with multiple occurrences of the same demonstrative or indexical. My proposal involves the idea that contexts can be complex. Complex contexts are built out of (“simple”) Kaplanian contexts by ordered n-tupling. With these we can revise the clauses of Kaplan’s Logic of Demonstratives so that each part of a sentence is taken in a different component of a complex context. I consider other applications (...) of the framework: to agentially distributed utterances (ones made partly by one speaker and partly by another); to an account of scare-quoting; and to an account of a binding-like phenomenon that avoids what Kit Fine calls “the antinomy of the variable.”. (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)

Recent literature contains influential arguments for variabilism, the view that we should understand proper names as analogues not of constants but of variables. In particular, proper names are said to sometimes take semantic values that are not referential but purely general. I present a counter-example to this view.

This paper introduces λ-grammar, a form of categorial grammar that has much in common with LFG. Like other forms of categorial grammar, λ-grammars are multi-dimensional and their components are combined in a strictly parallel fashion. Grammatical representations are combined with the help of linear combinators, closed pure λ-terms in which each abstractor binds exactly one variable. Mathematically this is equivalent to employing linear logic, in use in LFG for semantic composition, but the method seems more practicable.

Significant associations have been found between specific human leukocyte antigen (HLA) alleles and organ transplant rejection, autoimmune disease development, and the response to infection. Traditional searches for disease associations have conventionally measured risk associated with the presence of individual HLA alleles. However, given the high level of HLA polymorphism, the pattern of amino acid variability, and the fact that most of the HLA variation occurs at functionally important sites, it may be that a combination of variable amino acid sites (...) shared by several alleles (shared epitopes) are better descriptors of the actual causative genetic variants. Here we describe a novel approach to genetic association analysis in which genes/proteins are broken down into smaller sequence features and then variant types defined for each feature, allowing for independent analysis of disease association with each sequence feature variant type. We have used this approach to analyze a cohort of systemic sclerosis patients and show that a sequence feature composed of specific amino acid residues in peptide binding pockets 4 and 7 of HLA-DRB1 explains much of the molecular determinant of risk for systemic sclerosis. (shrink)

It is a consequence of both Kennedy and McNally’s typology of the scale structures of gradable adjectives and Kennedy’s :1–45, 2007) economy principle that an object is clean just in case its degree of cleanness is maximal. So they jointly predict that the sentence ‘Both towels are clean, but the red one is cleaner than the blue one’ :259–288, 2004) is a contradiction. Surely, one can account for the sentence’s assertability by saying that the first instance of ‘clean’ is used (...) loosely: since ‘clean’ pragmatically conveys the property of being close to maximally clean rather than the property of being maximally clean, the sentence as a whole conveys a consistent proposition. I challenge this semantics–pragmatics package by considering the sentence ‘Mary believes that both towels are clean but that the red one is cleaner than the blue one’. We can certainly use this sentence to attribute a coherent belief to Mary: One of its readings says that she believes that the towels are clean by a contextually salient standard ; the other says that she believes that the towels are clean by her own standard. I argue that Kennedy’s semantics–pragmatics package can’t deliver those readings, and propose that we drop the economy principle and account for those readings semantically by assigning to the belief sentence two distinct truth conditions. I consider two ways to deliver those truth-conditions. The first one posits world-variables in the sentence’s logical form and analyzes those truth-conditions as resulting from two binding possibilities of those variables. The second one proposes that the threshold function introduced by the phonologically null morpheme pos is shiftable in belief contexts. (shrink)

What is it to be a better ape? This is the question Victor Kumar and Richmond Campbell ask in their book on the evolution of the moral mind, an ambitious story that starts with the common ancestor of the modern apes—humans, chimpanzees, bonobos, gorillas, and orangutans. Of all of us, it’s the humans who remain in the running for being a better ape, because we’re the ones who have all the necessary ingredients: the binding emotions of sympathy and loyalty (...) which we share with our nonhuman cousins, but also the collaborative emotions of trust and respect and the reactive emotions of guilt and resentment. Importantly, only humans are thought to have norms, and to be biologically prepared to learn norms. For Kumar and Campbell, the co-evolution of emotions and norms is what set humans on this path so we can become a better ape. -/- The story they tell is artfully woven from major theories in psychology and anthropology, and those of us who have pre-existing opinions about these theories have points where we can quibble regarding the nature of the emotions–whether only humans imitate, what norms of fairness amount to, or whether any other species are generalists who can survive in a wide range of habitats. Rather than focusing on these, I want to turn to an exciting hypothesis Kumar and Campbell propose about the evolution and function of norms. While it is most common to think that norms helped our ancestors solve the collective action problems that emerged when larger groups of individuals started living together, Kumar and Campbell suggest a different, though complementary, function for norms. They propose that norms provide a more precise and flexible means for coordinating behavior in quickly changing societies. On their view, it isn’t the size of community that is the most significant variable, but rather the speed at which culture evolves. -/- That norms are a human universal is indubitable. Our contemporary human societies are rife with rules constraining our behaviors, governing aspects of our lives from birth to death, prescribing practices about what to wear, how to work, what to eat, when and how to sleep as well as rules about rare practices that are proscribed. However, Kumar and Campbell also presume that norms are human unique. Here I have more than a quibble, given the burgeoning empirical and theoretical literature on the question of animal normativity (Andrews 2020; Danón 2019; Fitzpatrick 2020; de Waal 2014; von Rohr et al. 2011; Rohr et al. 2015; Whiten et al. 2005; Westra et al., in prep)... (shrink)

In “Bayesianism, Infinite Decisions, and Binding”, Arntzenius et al. (Mind 113:251–283, 2004 ) present cases in which agents who cannot bind themselves are driven by standard decision theory to choose sequences of actions with disastrous consequences. They defend standard decision theory by arguing that if a decision rule leads agents to disaster only when they cannot bind themselves, this should not be taken to be a mark against the decision rule. I show that this claim has surprising implications for (...) a number of other debates in decision theory. I then assess the plausibility of this claim, and suggest that it should be rejected. (shrink)

In temporal binding, the temporal interval between one event and another, occurring some time later, is subjectively compressed. We discuss two ways in which temporal binding has been conceptualized. In studies showing temporal binding between a voluntary action and its causal consequences, such binding is typically interpreted as providing a measure of an implicit or pre-reflective “sense of agency”. However, temporal binding has also been observed in contexts not involving voluntary action, but only the passive (...) observation of a cause-effect sequence. In those contexts, it has been interpreted as a top-down effect on perception reflecting a belief in causality. These two views need not be in conflict with one another, if one thinks of them as concerning two separate mechanisms through which temporal binding can occur. In this paper, we explore an alternative possibility: that there is a unitary way of explaining temporal binding both within and outside the context of voluntary action as a top-down effect on perception reflecting a belief in causality. Any such explanation needs to account for ways in which agency, and factors connected with agency, have been shown to affect the strength of temporal binding. We show that principles of causal inference and causal selection already familiar from the literature on causal learning have the potential to explain why the strength of people’s causal beliefs can be affected by the extent to which they are themselves actively involved in bringing about events, thus in turn affecting binding. (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)

The capacity for feature binding is typically explained in terms of the attribution model: a perceptual state selects an individual and attributes properties to it (Kahneman & Treisman 1984; Clark 2004; Burge 2010). Thus features are bound together in virtue of being attributed to the same individual. While the attribution model successfully explains some cases of binding in perception, not all binding need be understood as property attribution. This chapter argues that some forms of binding—those involving (...) holistic iconic representations, which bind features outside the limits of attention and object files—don’t fit the attribution model. The chapter then sketches an alternative coordination model of binding that construes icons as complex analog representations. (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)

Binding specificity is a centrally important concept in molecular biology, yet it has received little philosophical attention. Here I aim to remedy this by analyzing binding specificity as a causal property. I focus on the concept’s role in drug design, where it is highly prized and hence directly studied. From a causal perspective, understanding why binding specificity is a valuable property of drugs contributes to an understanding of causal selection—of how and why scientists distinguish between causes, not (...) just causes from noncauses. In particular, the specificity of drugs is precisely what underwrites their value as experimental interventions on biological processes. (shrink)

I give an account of the structure of “oppressive double binds,” the double binds that exist in virtue of oppression. I explain how these double binds both are a product of and serve to reinforce o...

The purpose of this paper was to examine institutional variables and the supervision of security in secondary schools in Cross River State. The study specifically sought to determine whether there was a significant influence of school population, school type and school location, on the supervision of security in public secondary schools in Cross River State. Three null hypotheses were formulated accordingly to guide the study. 360 students and 120 teachers resulting in a total of 480 respondents, constituted the sample for (...) the study. The instrument used for data collection was a questionnaire while Independent t-test was used to analyze data and test the hypotheses at .05 level of significance using Microsoft Excel version 2013. The results of the findings revealed that school population, school type and school location, all have an influence in the supervision of security in public secondary schools of Cross River State. It was also revealed that lowly populated, mixed-gender, and urban public secondary schools were more efficient in the supervision of security than their counterparts such as highly populated, single-gender and rural secondary schools. Based on the findings of this study, conclusions were drawn and recommendations were made. (shrink)

Variables is a project at the intersection of the philosophies of language and logic. Frege, in the Begriffsschrift, crystalized the modern notion of formal logic through the first fully successful characterization of the behaviour of quantifiers. In Variables, I suggest that the logical tradition we have inherited from Frege is importantly flawed, and that Frege's move from treating quantifiers as noun phrases bearing word-world connection to sentential operators in the guise of second-order predicates leaves us both philosophically and technically wanting.

The aim of this paper is to develop a consistent reading of Deleuze and Guattari’s account of capitalism by taking seriously their use of Kant’s philosophy in formulating it. In Sect. 1, I will set out the two different roots of the term axiomatic in Deleuze and Guattari’s thought. The first of these is the axiomatic approach to formalising fields of mathematics, and the second the Kantian account of the indeterminate relationship between the transcendental unity of apperception and the transcendental (...) object. In Sect. 2, we will see how this transcendental aspect of Deleuze and Guattari’s account of axiomatics is expressed in the notion of binding, which Deleuze and Guattari take to be a process that forces us to understand a field of entities in a certain manner, namely as clearly delimited and deployed in a homogeneous space. I will argue that this process of binding operates as a transcendental condition for capitalism for Deleuze and Guattari. Section 3 addresses some of the details of the capitalist axiomatic itself, drawing out why a Kantian reading of Deleuze and Guattari’s account of the axiomatic provides a response to some of the criticisms of it. Section 4 then analyses Deleuze and Guattari’s account of the outside of capitalism, using the double signification of the noumenal to understand the complex relationship between what they call the war machine and its representation within the axiomatic. (shrink)

The study aimed at identifying the personal variables and their effect in promoting job creation in Gaza Strip through business incubators. The researchers used the descriptive analytical approach to achieve the study objectives. The study population consisted of 92 of the pilot projects benefiting from the three business incubators in Gaza Strip (Palestinian Information Technology Incubator, UCAS Technology Incubator and Business and Technology Incubator). The study reached a number of results, the most important of which are the existence of statistically (...) significant differences on entrepreneurship attributed to each age as most of them are between the ages of 22-30, Gender for males, business incubator, scientific qualification for the specialties of information technology and engineering, and years of experience. Based on the findings, the researchers recommend focusing on university students in guiding them towards entrepreneurship and helping new graduates to start entrepreneurship. And to guide students to scientific disciplines that help them in entrepreneurship after graduation, whether starting a small business or self-employment, support females to entrepreneurship as most of the entrepreneurs are male, in addition to stimulating males as well. (shrink)

Demonstrating that a developing norm is not yet well established in international law is frequently thought to show that states are not bound by the norm as law. More precisely, showing that a purported international legal norm has only limited support from well-established international legal sources is normally seen as sufficient to rebut an obligation on the part of subjects to comply with the norm in virtue of its legal status. I contend that this view is mistaken. Nascent norms of (...) international law (e.g., crystallizing norms of customary law) can be binding in much the same way as better-established doctrine. This point becomes perspicuous, I argue, once we get a clear sense of the plausible options for grounding the moral authority of international law generally. -/- This result is interesting in its own right, but it also reveals two other features of the character of state responsibility under international law. First, the distinction between legislation and compliance is less pronounced compared to domestic law. Consequently, the virtues of good governance will frequently be pertinent to determining the content of states’ obligations under international law. Second, normally more powerful and influential agents will be more strongly bound by international law than other subjects. This is an attractive result, addressing a concern that motivates many international lawyers to view international law as absolutely binding. An absolutist view international legal authority is unnecessary for showing that the most powerful and dangerous states are strongly bound by the terms of much existing law. (shrink)

Hay doble pulsión en el centro de la discusión del razonamiento deductivo. Una conduce aparentemente a la abstracción y dominios arbitrarios, mientras que la otra conduce a la concreción y la dependencia del contenido. El objetivo de esta investigación es diseñar, aplicar y validar un instrumento de evaluación que nos permita corroborar si el razonamiento deductivo maneja reglas lógicas o contenidos. La muestra de estudio se compuso de 80 participantes (edad 18-77 años). El test consta de 60 ítems categorizados en: (...) formalidad, integrabilidad, complejidad y modalidad. Los resultados ponen de manifiesto la fiabilidad del test de razonamiento deductivo con un alpha de Cronbach. 775 y con un índice de validación. 850 para el índice de inteligencia no verbal (INV) del RIAS. Cómo conclusión inferimos que el razonador deductivo no dispone de un cuerpo preciso de reglas generales deductivas, sino que usa colecciones de reglas heurísticas cada vez menos abstractas. (shrink)

In order to handle presuppositions in the scope of attitude verbs, the binding theory allows presuppositions triggered in a subject's beliefs to be bound at the matrix level; and it allows presuppositions triggered in non-doxastic attitudes to be bound in the subject's beliefs (Geurts, 1999; Maier, 2015). However, we argue that this leads to serious overgeneration, for example it predicts that the unacceptable `Sue will come to the party, but Bill is sure that she won't and that only Sue (...) will come to the party' should be equivalent to the acceptable `Sue will come to the party, but Bill is sure that nobody will come to the party'. This is because the presupposition triggered by `only Sue will come to the party' should be able to be bound at the matrix level. We discuss some responses to this problem, but argue that they all have shortcomings. (shrink)

My essay begins by providing a broad vision of how William James’s psychology and philosophy were a two-pronged attempt to revive the self whose foundations had collapsed after the Civil War. Next, I explain how this revival was all too successful insofar as James inadvertently resurrected the imperial self, so that he was forced to adjust and develop his philosophy of religion in keeping with his anti-imperialism. James’s mature philosophy of religion therefore articulates a vision of the radically ethical saint (...) religiously bound to a decidedly pluralistic universe. I evaluate James’s philosophy of religion by comparing it to Enrique Dussel’s psychological portrait of the imperialist ego, Dussel’s attempt to religiously bind this ego, and the more radical philosophy that results. I suggest that Dussel’s philosophy of liberation: 1) better theorizes the religious contraction of the self as a necessary part of ethical and political life and 2) offers a more concrete and radically democratic philosophy. My overarching aim is to show how Dussel’s liberation philosophy can help critically develop James’s pragmatist claim that religion might provide a force for widely and positively transforming our ethical and political lives. (shrink)

This study was conducted to investigate the degree to which institutional variables such as: institutional location, ownership and leadership influence the job performance of academic staff across three dimensions: teaching, research productivity and community service. This ex-post facto study by design, tested three hypotheses. A total of 449 academic, randomly drawn from three (one private and two public) universities in Cross River State, Nigeria, participated in the study. Three sets of questionnaires were used for data collection after due validity and (...) reliability tests. They included the “Institutional Variables Questionnaire (IVQ)”, the “Research Productivity and Community Service Questionnaire (RPCSQ)”, and the “Staff Instructional Delivery Questionnaire (SIDQ).” Collected data were analysed using the independent sample t-test, one-way analysis of variance (ANOVA) and simple linear analysis. Findings indicated that institutional location significantly impacts university academic staff across multiple dimensions—teaching, research, and community service— with urban institutions consistently demonstrating higher scores than their rural counterparts. There was a significant influence of institutional ownership on research productivity unlike teaching and community service. Federal institutions exhibited higher research productivity than both state and private universities. Institutional leadership significantly influenced research productivity and community service engagement, but not in the dimension of teaching among the academic staff. This study underscores the need for a holistic approach to enhancing academic staff performance. It emphasizes the importance of strategic resource allocation, collaborative endeavours, and strong leadership to create an environment where teaching, research, and community service thrive. (shrink)

In this paper it will be shown that when a conditional statement is understood or known to be true, a number of implicitly specified variables are given more or less concrete values. Each of the variables will be defined and examples will be employed to demonstrate their use in conditional evaluation. From time to time this analysis in terms of variables will be contrasted with a 'possible worlds' analysis of conditionals. The purpose of this paper is not to argue against (...) the possible worlds analysis but rather to provide an alternative to that analysis. (shrink)

The aim of this paper is to evaluate the critical success factors and investigate the benefits that might be gained once implementing Electronic Customer Relationship Management at HEI from employee perspective. The study conducted at Al Quds Open University in Palestine and data collected from (300) employee through a questionnaire which consist of four variables. A number of statistical tools were intended for hypotheses testing and data analysis, including Spearman correlation coefficient for Validity, reliability correlation using Cronbach’s alpha, and Frequency (...) and Descriptive analysis. The overall findings of the current study show that all the features were important for staff and it was critical success factors, at the same time, websites were providing all the features discussed by the theory whereas staff showed their willingness to use those features if provided. It is also discovered that implementing Electronic Customer Relationship Management can cause staff retention, were provided efficiently and needed to be improved. Research limitations: The survey findings were based on QOU employee in Palestine, UAE and KSA branches not included in the study. (shrink)

Why should anyone be bound by cognitive norms, such as the norms of reason or mathematics? To become a mathematician is to learn to obey the norms of the mathematical community. A self becomes intentional by binding itself to communal norms. Only then can it have the freedom to think or make assertions about the community’s objects -- triangles or imaginary numbers, for example. Norms do not bind selves from the outside: being bound by norms is what constitutes a (...) self. (shrink)

How do separate brain processes bind to form unified, conscious percepts? This is the perceptual binding problem, which straddles neuroscience and psychology. In fact, two problems exist here: (1) the easy problem of how neural processes are unified, and (2) the hard problem of how this yields unified perceptual consciousness. Binding theories face familiar troubles with (1) and they do not come to grips with (2). This paper argues that neuroelectrical (electromagnetic-field) approaches may help with both problems. Concerning (...) the easy problem, standard accounts of neural binding by synchrony, attention, and convergence raise serious difficulties. These are avoided by neuroelectrical approaches in which the brain’s field binds distributed processes in myriad neurons. Concerning the hard problem, binding theories do not squarely address how to get from neural unity to unified consciousness. This raises metaphysical difficulties involving reductions, emergence, etc. Neuroelectrical (and Russellian) approaches may help avoid these difficulties too. These approaches may thus deserve further investigation as binding theories. (shrink)

Fixed-rate versions of rule-consequentialism and rule-utilitarianism evaluate rules in terms of the expected net value of one particular level of social acceptance, but one far enough below 100% social acceptance to make salient the complexities created by partial compliance. Variable-rate versions of rule-consequentialism and rule-utilitarianism instead evaluate rules in terms of their expected net value at all different levels of social acceptance. Brad Hooker has advocated a fixed-rate version. Michael Ridge has argued that the variable-rate version is better. (...) The debate continues here. Of particular interest is the difference between the implications of Hooker's and Ridge's rules about doing good for others. (shrink)

Some cognitive processes appear to have “phenomenal” properties that are directly revealed to the subject and not determined by physical properties. I suggest that the source of this appearance is the method by which our brain processes sensory information. The appearance is an illusion. Nonetheless, we are not mistaken when we judge that people sometimes fee lpain.

Management of school-related variables and teachers’ job effectiveness in secondary schools in Calabar South Local Government Area, Cross River State was the main thrust of this study. Four research questions were raised, and four hypotheses were formulated to direct the study. The descriptive survey design was adopted for the study while the total population of 208 secondary school teachers in Calabar South Local Government Area were selected for the study using census technique. A questionnaire titled “Management of School Related Variables (...) and Teachers’ Job Effectiveness in Secondary School Questionnaire (MSRVTJESSQ)” designed by the researcher was used as an instrument to collect data from the respondents. The null hypotheses were tested at 0.05 level of significance using Pearson Product Moment Correlation, Independent t-test, and One-Way Analysis of Variance statistical techniques where applicable. It was found that; managing class size, school management style, and school location has a significant influence on teachers’ job effectiveness respectively in Calabar South Local Government Area of Cross River State. It was recommended amongst others that; school principals should ensure that they adopt a more contingent management style where different situations will warrant the use of the different technique; the recommended teacher-pupils’ ratio of 1:35 should be maintained. (shrink)

Scholarly processes play a pivotal role in discovering, challenging, improving, advancing, synthesizing, codifying, and disseminating knowledge. Since the 17th Century, both the quality and quantity of knowledge that scholarship has produced has increased tremendously, granting academic research a pivotal role in ensuring material and social progress. Artificial Intelligence (AI) is poised to enable a new leap in the creation of scholarly content. New forms of engagement with AI systems, such as collaborations with large language models like GPT-3, offer affordances that (...) will change the nature of both the scholarly process and the artifacts it produces. (shrink)

In this paper, we examine a number of relevant logics’ variable sharing properties from the perspective of theories of topic or subject-matter. We take cues from Franz Berto’s recent work on topic to show an alignment between families of variable sharing properties and responses to the topic transparency of relevant implication and negation. We then introduce and defend novel variable sharing properties stronger than strong depth relevance—which we call cn-relevance and lossless cn-relevance—showing that the properties are satisfied (...) by the weak relevant logics and , respectively. We argue that such properties address a sort of semantic lossiness of strong depth relevance. (shrink)

A crucial question for artificial cognition systems is what meaning is and how it arises. In pursuit of that question, this paper extends earlier work in which we show that emergence of simple signaling in biologically inspired models using arrays of locally interactive agents. Communities of "communicators" develop in an environment of wandering food sources and predators using any of a variety of mechanisms: imitation of successful neighbors, localized genetic algorithms and partial neural net training on successful neighbors. Here we (...) focus on environmental variability, comparing results for environments with (a) constant resources, (b) random resources, and (c) cycles of "boom and bust." In both simple and complex models across all three mechanisms of strategy change, the emergence of communication is strongly favored by cycles of "boom and bust." These results are particularly intriguing given the importance of environmental variability in fields as diverse as psychology, ecology and cultural anthropology. (shrink)