El concepto de capital social ha sido abordado con gran interés en las últimas décadas por la sociología y las teorías del desarrollo en general. Todas las investigaciones tanto teóricas como aplicadas, reconocen en esta forma de capital la ayuda recíproca y la cooperación como sus componentes fundamentales. Este artículo tiene por objetivo, desarrollar una reflexión respecto a la importancia de la variable ideológica para la constitución y desarrollo de capital social. En este contexto, la literatura especializada concuerda en la (...) necesidad de que existan valores, creencias y normas a partir de las cuales se articulen las redes de relaciones recíprocas y cooperativas. Estos elementos constituyen ideologías que, desde nuestra perspectiva, aseguran la formación de capital social que refuerza desde las bases de la sociedad, el funcionamiento pleno de la democracia. (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 aim of this article is to discuss pure variable inclusion logics, that is, logical systems where valid entailments require that the propositional variables occurring in the conclusion are included among those appearing in the premises, or vice versa. We study the subsystems of Classical Logic satisfying these requirements and assess the extent to which it is possible to characterise them by means of a single logical matrix. In addition, we semantically describe both of these companions to Classical Logic (...) in terms of appropriate matrix bundles and as semilattice-based logics, showing that the notion of consequence in these logics can be interpreted in terms of truth (or non-falsity) and meaningfulness (or meaninglessness) preservation. Finally, we use Płonka sums of matrices to investigate the pure variable inclusion companions of an arbitrary finitary logic. -/- . (shrink)

In the quantum logic approach, Bell inequalities in the sense of Pitowski are related with quasi hidden variables in the sense of Deliyannis. Some properties of hidden variables on effect algebras are discussed.

We examine a general class of variable-value population principles. Our particular focus is on the extent to which such principles can avoid the repugnant and sadistic conclusions. We show that if a mild limit property is imposed, avoidance of the repugnant conclusion implies the sadistic conclusion. This result generalizes earlier observations by showing that they apply to a substantially larger class of principles. Our second theorem states that, under the limit property, the axiom of mere addition also conflicts with avoidance (...) of the repugnant conclusion. This result is a consequence of a similar observation that appears in the earlier literature. (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)

We argue that some sign language loci (i.e. positions in signing space that realize discourse referents) are both formal variables and simplified representations of what they denote; in other words, they are simultaneously logical symbols and pictorial representations. We develop a 'formal semantics with iconicity' that accounts for their dual life; the key idea ('formal iconicity') is that some geometric properties of signs must be preserved by the interpretation function. We analyze in these terms three kinds of iconic effects (...) in American and French Sign Language (ASL and LSF): (i) structural iconicity, where relations of inclusion and complementation among loci are directly reflected in their denotations; (ii) locus-external iconicity, where the high or low position of a locus in signing space has a direct semantic reflex, akin to the semantic contribution of gender features of pronouns; and (iii) locus-internal iconicity, where different parts of a structured locus are targeted by different directional verbs, as was argued by Liddell and Kegl. The resulting semantics combines insights of two traditions that have been sharply divided by recent debates. In line with the 'formalist camp' (e.g. Lillo-Martin and Klima, Neidle, and Sandler and Lillo-Martin), our theory treats loci as variables, and develops an explicit formal analysis of their behavior. But we also incorporate insights of the 'iconic camp', which emphasized the role of iconic constraints in sign language in general and in pronominals in particular (e.g. Cuxac, Taub, Liddell). However, this synthesis is only possible if formal semantics makes provisions for iconic requirements at the very core of its interpretive procedure. (An Appendix discusses relevant data from Italian Sign Language [LIS].). (shrink)

The one-variable fragment of a first-order logic may be viewed as an “S5-like” modal logic, where the universal and existential quantifiers are replaced by box and diamond modalities, respectively. Axiomatizations of these modal logics have been obtained for special cases—notably, the modal counterparts $\mathrm {S5}$ and $\mathrm {MIPC}$ of the one-variable fragments of first-order classical logic and first-order intuitionistic logic, respectively—but a general approach, extending beyond first-order intermediate logics, has been lacking. To this end, a sufficient criterion is given in (...) this paper for the one-variable fragment of a semantically defined first-order logic—spanning families of intermediate, substructural, many-valued, and modal logics—to admit a certain natural axiomatization. More precisely, an axiomatization is obtained for the one-variable fragment of any first-order logic based on a variety of algebraic structures with a lattice reduct that has the superamalgamation property, using a generalized version of a functional representation theorem for monadic Heyting algebras due to Bezhanishvili and Harding. An alternative proof-theoretic strategy for obtaining such axiomatization results is also developed for first-order substructural logics that have a cut-free sequent calculus and admit a certain interpolation property. (shrink)

Noncontextual hidden variables theories, assigning simultaneous values to all quantum mechanical observables, are inconsistent by theorems of Gleason and others. These theorems do not exclude contextual hidden variables theories, in which a complete state assigns values to physical quantities only relative to contexts. However, any contextual theory obeying a certain factorisability conditions implies one of Bell's Inequalities, thereby precluding complete agreement with quantum mechanical predictions. The present paper distinguishes two kinds of contextual theories, ‘algebraic’ and ‘environmental’, and investigates (...) when factorisability is reasonable. Some statements by Fine about the philosophical significance of Bell's Inequalities are then assessed. (shrink)

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)

Free-variable semantic tableaux are a well-established technique for first-order theorem proving where free variables act as a meta-linguistic device for tracking the eigenvariables used during proof search. We present the theoretical foundations to extend this technique to propositional modal logics, including non-trivial rigorous proofs of soundness and completeness, and also present various techniques that improve the efficiency of the basic naive method for such tableaux.

The worldwide variation in mating strategies can be explained by differential paternal investment theory, which traces the differences back to the climates where the various peoples (races) evolved. Male provisioning is necessary for women and children to survive cold winters, which is less essential for tropical women. Androstenone may be the substance that makes symmetrical men smell better to fertile females.

Although skeptical of the prohibitive power of no-hidden-variables theorems, John Bell was himself responsible for the two most important ones. I describe some recent versions of the lesser known of the two (familiar to experts as the "Kochen-Specker theorem") which have transparently simple proofs. One of the new versions can be converted without additional analysis into a powerful form of the very much better known "Bell's Theorem," thereby clarifying the conceptual link between these two results of Bell.

In this early paper I set out an argument in favor of the standard semantics of first-order logic, to the effect that (Vx)(Ey)x=y. Though my arguments from the paper have since been revised in details, The conclusion of the paper seems still viable and acceptable.

At 14 months, children appear to struggle to apply their fairly well-developed speech perception abilities to learning similar sounding words (e.g., bih/dih; Stager & Werker, 1997). However, variability in nonphonetic aspects of the training stimuli seems to aid word learning at this age. Extant theories of early word learning cannot account for this benefit of variability. We offer a simple explanation for this range of effects based on associative learning. Simulations suggest that if infants encode both noncontrastive information (e.g., cues (...) to speaker voice) and meaningful linguistic cues (e.g., place of articulation or voicing), then associative learning mechanisms predict these variability effects in early word learning. Crucially, this means that despite the importance of task variables in predicting performance, this body of work shows that phonological categories are still developing at this age, and that the structure of noninformative cues has critical influences on word learning abilities. (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).

I introduce the notion of a ‘control variable’ which gives us a way of seeing how mental causation could be an unproblematic case of causation in general, rather than being some sui generis form of causation. Psychological variables may be the control variables for a system for which there are no physical control variables, even in a deterministic physical world. That explains how there can be psychological causation without physical causation, even in a deterministic physical world.

This paper demonstrates that the property of Replication Invariance, generally considered to be an innocuous requirement for the extension of fixed-population poverty comparisons to variable-population contexts, is incompatible with other plausible variable- and fixed-population axioms. This fact raises questions about what constitutes an appropriate headcount assessment of poverty, in terms of whether one should focus on the proportion, or the absolute numbers, of the population in poverty. This observation, in turn, has important implications for tracking poverty and setting targets for (...) its reduction or elimination. (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)

There is surprising evidence that introspection of our phenomenal states varies greatly between individuals and within the same individual over time. This puts pressure on the notion that introspection gives reliable access to our own phenomenology: introspective unreliability would explain the variability, while assuming that the underlying phenomenology is stable. I appeal to a body of neurocomputational, Bayesian theory and neuroimaging findings to provide an alternative explanation of the evidence: though some limited testing conditions can cause introspection to be unreliable, (...) mostly it is our phenomenology itself that is variable. With this account of phenomenal variability, the occurrence of the surprising evidence can be explained while generally retaining introspective reliability. (shrink)

In this paper, first, we determine the number of sublogics of variable inclusion of an arbitrary finitary logic ⊢ with a composition term. Then, we investigate their position into the lattice of co...

The development of the dynamic semantics of natural languagehas put issues of variable control on the agenda of formal semantics. Inthis paper we regard variables as names for stacks of values and makeexplicit several control actions as push and pop actions on stacks. Weapply this idea both to static and dynamic languages and compare theirfinite variable hierarchies, i.e., the relation between the number ofvariable stacks that is available and the expressivity of the language.This can be compared in natural languages (...) with relating the number ofpronouns available to the expressivity of the language.The results are obtained using techniques from static and dynamic modeltheory: model theoretic games, transition systems and bisimulation. (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)

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)

Kit Fine has reawakened a puzzle about variables with a long history in analytic philosophy, labeling it “the antinomy of the variable”. Fine suggests that the antinomy demands a reconceptualization of the role of variables in mathematics, natural language semantics, and first-order logic. The difficulty arises because: (i) the variables ‘x’ and ‘y’ cannot be synonymous, since they make different contributions when they jointly occur within a sentence, but (ii) there is a strong temptation to say that (...) distinct variables ‘x’ and ‘y’ are synonymous, since sentences differing by the total, proper substitution of ‘x’ for ‘y’ always agree in meaning. We offer a precise interpretation of the challenge posed by (i) and (ii). We then develop some neglected passages of Tarski to show that his semantics for variables has the resources to resolve the antinomy without abandoning standard compositional semantics. (shrink)

The basic idea of rule-utilitarianism is that right action should be defined in terms of what would be required by rules which would maximize either actual or expected utility if those rules gained general acceptance, or perhaps general compliance. Rule-utilitarians face a dilemma. They must characterize 'general acceptance' either as 100% acceptance, or as something less. On the first horn of the dilemma, rule-utilitarianism in vulnerable to the charge of utopianism; on the second, it is open to the charge of (...) arbitrariness and lack of philosophical depth. I press this objection, and develop and defend an alternative version of rule-utilitarianism which can evade the dilemma. I call this new version 'variable-rate rule-utilitarianism'. (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)

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)

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)

We consider two‐variable, first‐order logic in which a single distinguished predicate is required to be interpreted as a transitive relation. We show that the finite satisfiability problem for this logic is decidable in triply exponential non‐deterministic time. Complexity falls to doubly exponential non‐deterministic time if the transitive relation is constrained to be a partial order.

Variability in the emotion regulation (ER) strategies one uses throughout daily life has been suggested to reflect adaptive ER ability and to act as a protective factor in mental health. Moreover, psychological inflexibility and persistent negative affect (or affective inertia) are key features of depression and other forms of mental illness and are often further exacerbated by rigid or overly passive regulatory behaviours. The current study investigated the hypothesis that ER variability might serve as a protective factor against depressive symptoms (...) and affective inertia. Using experience-sampling (N = 213), we tested whether two indictors of ER variability (between- and within-strategy SDs) were related to depressive symptoms and affective inertia. We found that people with higher between-strategy variability and within-strategy variability (specifically for reappraisal and distraction) reported fewer depressive symptoms. Both within- and between-strategy variability were negatively related to negative affective inertia. Between-strategy variability and negative affective inertia had unique effects on depression, when used as simultaneous predictors. Altogether, this study provides further evidence for the utility of ER as a factor buffering against depressive symptoms and particularly for the use of variable ER strategies. (shrink)

Logics of significance have been proposed in an attempt to overcome the shortcomings of classical logic as a model of reasoning in the presence of nonsignificant (e.g., meaningless, ill-formed, unverifiable) sentences. Many-valued logicians have addressed this problem by introducing logics with infectious truth values. Cases in point are the weak Kleene logics B3 (paracomplete weak Kleene logic) and PWK (paraconsistent weak Kleene logic). Over time, it has become clear that the valid entailments of these significance logics obey variable inclusion patterns (...) that link them to other, usually better known, logics—such patterns, however, allow for disturbing exceptions. Logics of pure (left or right) variable inclusion have been introduced with an eye to removing these exceptions. In this paper, we consider the pure left variable inclusion companion of classical logic and give a complete description of its subclassical extensions. We also provide relative axiomatizations and characteristic (sets of) matrices for each one of these extensions, as well as syntactic descriptions (in terms of variable inclusion criteria) for the valid entailments of some of them, and determine in each case the algebra reducts of the Suszko-reduced matrix models. (shrink)

One can often encounter claims that classical (Kolmogorovian) probability theory cannot handle, or even is contradicted by, certain empirical findings or substantive theories. This note joins several previous attempts to explain that these claims are unjustified, illustrating this on the issues of (non)existence of joint distributions, probabilities of ordered events, and additivity of probabilities. The specific focus of this note is on showing that the mistakes underlying these claims can be precluded by labeling all random variables involved contextually. Moreover, (...) contextual labeling also enables a valuable additional way of analyzing probabilistic aspects of empirical situations: determining whether the random variables involved form a contextual system, in the sense generalized from quantum mechanics. Thus, to the extent the Wang-Busemeyer QQ equality for the question order effect holds, the system describing them is noncontextual. The double-slit experiment and its behavioral analogues also turn out to form a noncontextual system, having the same probabilistic format (cyclic system of rank 4) as the one describing spins of two entangled electrons. (shrink)

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

There are no universally adopted answers to the natural questions about scientific concepts: What are they? What is their structure? What are their functions? How many kinds of them are there? Do they change? Ironically, most if not all scientific monographs or articles mention concepts, but the scientific studies of scientific concepts are rare in occurrence. It is well known that the necessary stage of any scientific study is constructing the model of objects in question. Many years logical modeling was (...) dominant in the concept studies. Last decades, concepts came to be regarded as the subject of mathematical modeling. However, different authors take different features of concepts as independent variables of their models. Our objective is to characterize informally the spectra of relevant variables for the modeling of scientific concepts. (shrink)

The problem of variability concerns the fact that empirical data does not support the existence of a coordinated set of biological markers, either in the body or the brain, which correspond to our folk emotion categories; categories like anger, happiness, sadness, disgust and fear. Barrett (2006a, b, 2013, 2016, 2017a, b) employs this fact to argue (i) against the faculty psychology approach to emotion, e.g. emotions are the products of emotion-specific mechanisms, or “modules”, and (ii) for the view that emotions (...) are constructed from domain-general “core systems” with the aid of our folk concepts. The conjunction of (i) and (ii), she argues, heralds a paradigm shift in our understanding of emotion: emotions aren’t triggered but made. In this paper, I argue such a shift is premature for a faculty psychology framework can accommodate the neurobiological variability of emotion. This can be done by treating emotions as developmental modules: non-innate systems which behave like modules, but form as a product of ontogenetic development. (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)

We characterize the non-trivial substructural logics having the variable sharing property as well as its strong version. To this end, we find the algebraic counterparts over varieties of these logical properties. -/- .