The science of operations research is one of the modern sciences that have made a great revolution in all areas of life through the methods provided by it, suitable and appropriate to solve most of the problems that were facing researchers, scholars and those interested in the development of societies, and the most beneficiaries of this science were companies and institutions that are looking for scientific methods that help them manage their work so that they achieve the greatest profit and (...) the lowest cost, and one of the important methods that have been used in the management of companies we offer in this research two methods, Dynamic programming method. This method has been used in many practical matters and helped decision-makers in companies to achieve a maximum profit and less cost by formulating the reality of the state of the company and the data provided by decision-makers with a dynamic mathematical model that is solved using methods of solving dynamic models and we will provide in this research an example of this through the issue of choosing the optimal investment for the budget of a company so that it achieves a maximum profit, and the method of programming with integers: the method that provided these companies with solutions with integer values suitable for the nature of its work, through the use of the binary integer in the formulation of the appropriate mathematical model on the one hand, and on the other hand, the use of the binary integer variable helped to convert some nonlinear models that lead to some practical problems into linear models, and it should be noted here that in the previous two methods there is something indeterminable because we must make a decision in choosing or not choosing something, but the optimal solution that we will get remains A specific value because we are building the mathematical model for any realistic issue through the data provided by those responsible for the work and these data are calculated quantities and therefore they are uncertain values because their validity depends on the circumstances surrounding the work environment, they may be exposed to increase or decrease, and therefore the optimal solution on which the company will base its decision is suitable for specific values and any change in them can cause the company an uncalculated loss, so in this research we will use the concepts of neutrosophic science, the branch of science founded by the American scientist Florentin Smarandache in 1995 based on his belief that there is no absolute truth, a science that is interested in the study of ideas and concepts that are neither true nor false, but just in between, and we will take the data (calculated quantities) neutrosophic values that are specified or unspecified values are any set close to the calculated quantities, then the resulting mathematical model is a neutrosophic model and the optimal solution has neutrosophic values and thanks to the indefinite uncertainty that these values have, companies from the development of appropriate plans for all circumstances and thus achieve the greatest profit and the lowest cost, and we will clarify the above through two issues, the issue of optimal designation of a warehouse site, which we will formulate the mathematical model of using the neutrosophic integer programming method - and the issue of capital budget, which we will present in two different forms, we use in the first form the neutrosophic integer programming method and in the second the neutrosophic dynamic programming method. (shrink)

One of the most important theories in linear programming is the dualistic theory and its basic idea is that for every linear model has dual linear model, so that solving the original linear model gives a solution to the dual model. Therefore, when we solving the linear programming model, we actually obtain solutions for two linear models. In this research, we present a study of the models. The neutrosophic dual and the binary simplex algorithm, which works to find the (...) optimal solution for the original and dual models at the same time. The importance of this algorithm is evident in that it is relied upon in several operations research topics, such as integer programming algorithms, some nonlinear programming algorithms, and sensitivity analysis in linear programming. (shrink)

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

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)

Algebraic structures on linguistic sets associated with a linguistic variable are introduced. The linguistics with single closed binary operations are only semigroups and monoids. We describe the new notion of linguistic semirings, linguistic semifields, linguistic semivector spaces and linguistic semilinear algebras defined over linguistic semifields. We also define algebraic structures on linguistic subsets of a linguistic set associated with a linguistic variable. We define the notion of linguistic subset semigroups, linguistic subset monoids and their respective substructures. We (...) also define as in case of deals in classical semigroups, linguistic ideals in linguistic semigroups and linguistic monoids. This concept of linguistic ideals is extended to the case of linguistic subset semigroups and linguistic subset monoids. We also define linguistic substructures. (shrink)

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

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

Background: The most common hematological abnormality among people infected with Human Immunodeficiency Virus (HIV) is anemia. This is also related to high mortality risk among patients receiving Antiretroviral Therapy (ART). Purpose: This study aimed to identify predictors of anemia among HIV patients taking ART using a regimen of the single-tablet drug contain tenofovir, lamivudine, and efavirenz in Jayapura, Papua. Methods: This was a cross-sectional study conducted at Jayapura regional hospital from June to September 2017. A total of 80 HIV patients (...) were eligible for analysis. Data collection was conducted through an interview, medical record, measurement, and laboratory assay. The significance of differences among categorical variables was analyzed using Fisher’s exact test. The variables with p < 0.25 were then analyzed using binary logistic regression to determine predictors associated with anemia. A threshold of p < 0.05 indicates statistical significance. Results: This study showed that Body Mass Index (BMI) <18.50 (p = 0.01; OR = 5.63; 95% CI = 1.43 < OR < 22.19), length on ART ≤12 months (p = 0.00; OR = 4.90; 95% CI = 1.65 < OR < 14.53), and Cluster of Differentiation 4 (CD4+) percentage out of normal (p = 0.02; OR = 0.19; 95% CI = 0.05 < OR <0.77) had a significant association with anemia. Conclusion: BMI, length on ART, and CD4+ percentage were predictors of anemia among HIV patients taking antiretroviral therapy containing tenofovir, lamivudine, and efavirenz regimen in Jayapura. (shrink)

Looks into evaluation of information provision probability from different sources, based on use of linguistic variables. Formation of functions appurtenant for its unclear variables provides for adoption of decisions by the decision maker, in conditions of nonprobabilistic equivocation. The development of market relations in Ukraine increases the independence and responsibility of enterprises in justifying and making management decisions that ensure their effective, competitive activities. As a result of the analysis, it is determined that the condition of economic facilities can be (...) described and determined by the decision-maker, in the presence of the necessary information. The confidence of the decision-maker in the information received is different and the decisions made have a correspondingly different level of information risk. It is important to substantiate the procedure for assessing the numerical extent of information risk in decision-making based on the information obtained in conditions of uncertainty. The use of a linguistic variable in the processing of expert data presented in the form of a matrix of binary relations of values of the membership function, which allowed to move to further processing of knowledge to support decision-making in the management of industrial, commercial, financial and other activities. As a mathematical model for estimating the numerical measure of information risk when making decisions based on the information obtained in conditions of non-stochastic uncertainty, a model has been developed to model natural language uncertainties, which differs from existing ones by formalizing knowledge taking into account uncertainty of input information. Making such a clear decision in a fuzzy environment has appropriate values of effectiveness and risk. The paper proposes all the functions and accessories of indicators of both quantitative nature and qualitative nature to bring their values in the field of definition to one scale. Then the indicator of the effectiveness of decision-making will be a measure of the clarity of the cross-section of fuzzy subsets, which correspond to the introduced indicators of information risk. The condition of economic facilities can be described and determined by the decision-maker, if the necessary information is available. Decision-making on thenumerical measure of information risk must be determined by a set of basic indicators, which can be both quantitative and qualitative in nature. Predictive values of indicators should be determined in conditions of nonstochastic uncertainty. In this case, the indicators of a quantitative nature can be determined by fuzzy triangular numbers, which implement a high level of confidence in the subjective judgments of experts. Indicators of qualitative nature should be presented in linguistic variables. The values of the indicators of qualitative nature that are predicted must be considered for all fuzzy variable terms-sets of linguistic variables introduced into consideration. For any fuzzy variable, the introduction to the consideration of a clear set of values as carriers of the α-level of its membership function allows to reduce to a single interpretation of the predicted values of indicators of quantitative and qualitative nature in terms of non-stochastic uncertainty. (shrink)

This article had its beginning with Einstein's 1919 paper "Do gravitational fields play an essential role in the structure of elementary particles?" Together with General Relativity's statement that gravity is not a pull but is a push caused by the curvature of space-time, a hypothesis for Earth's ocean tides was developed that does not solely depend on the Sun and Moon as Kepler and Newton believed. It also borrows from Galileo. The breakup of planets and asteroids by white dwarfs, neutron (...) stars or black holes is popularly ascribed by today's science to tidal forces (gravitation emanating from the stellar body and having a greater effect on the near side of a planet/asteroid than the farthest side). Remembering Einstein's 1919 paper, it was apparent that my revised idea of tidal forces improves on current accounts because it views matter and mass as unified with space-time whose curvature is gravitation. Unification is a necessity for modern science's developing view of one united and entangled universe – expressed in the Unified Field Theory, the Theory of Everything, String theory and Loop Quantum Gravity. The writing of this article was also assisted by visualizing the gravitational fields forming space-time being themselves formed by a multitude of weak and presently undetectable gravitational waves. The final part of this article concludes that the section BITS AND TOPOLOGY will lead to the conclusions in ETERNAL LIFE, WORLD PEACE AND PHYSICS' UNIFICATION. The final part also compares cosmology to biological enzymes and biology's substrate of reacting "chemicals" - using virtual particles, hidden variables, gravitation, electromagnetism, electronics’ binary digits, plus topology’s Mobius strip and figure-8 Klein bottle. The product is mass - enzyme, substrate and product are all considered mathematical in nature. Also, gravitation and electromagnetism are united using logic and topology – showing there’s no need in this article for things like mathematical formalism, field equations or tensor calculus. (shrink)

Morality meters are a commonly used mechanic in many ethically notable video games. However, there have been several theoretical critiques of such meters, including that people can find them alienating, they can instrumentalise morality, and they reduce morality to a binary of good and evil with no room for complexity. While there has been much theoretical discussion of these issues, there has been far less empirical investigation. We address this gap through a qualitative study that involved participants playing a (...) custom-built visual novel game (The Great Fire) with different intuitive and counter-intuitive morality meter settings. Overall, we found that players’ attitudes towards the morality meter in this game was complex, context sensitive and variable throughout gameplay and that the intuitiveness of the meter encouraged participants to treat the meter more ‘as a moral guide’ that prompts reflection and less ‘as a score’ to be engaged with reactively. (shrink)

Morality meters are a commonly used mechanic in many ethically notable video games. However, there have been several theoretical critiques of such meters, including that people can find them alienating, they can instrumentalise morality, and they reduce morality to a binary of good and evil with no room for complexity. While there has been much theoretical discussion of these issues, there has been far less empirical investigation. We address this gap through a qualitative study that involved participants playing a (...) custom-built visual novel game (The Great Fire) with different intuitive and counter-intuitive morality meter settings. Overall, we found that players’ attitudes towards the morality meter in this game was complex, context sensitive and variable throughout gameplay and that the intuitiveness of the meter encouraged participants to treat the meter more ‘as a moral guide’ that prompts reflection and less ‘as a score’ to be engaged with reactively. (shrink)

DOI: 10.1080/00031305.2018.1564697 When the editors of Basic and Applied Social Psychology effectively banned the use of null hypothesis significance testing (NHST) from articles published in their journal, it set off a fire-storm of discussions both supporting the decision and defending the utility of NHST in scientific research. At the heart of NHST is the p-value which is the probability of obtaining an effect equal to or more extreme than the one observed in the sample data, given the null hypothesis and (...) other model assumptions. Although this is conceptually different from the probability of the null hypothesis being true, given the sample, p-values nonetheless can provide evidential information, toward making an inference about a parameter. Applying a 10,000-case simulation described in this article, the authors found that p-values’ inferential signals to either reject or not reject a null hypothesis about the mean (α = 0.05) were consistent for almost 70% of the cases with the parameter’s true location for the sampled-from population. Success increases if a hybrid decision criterion, minimum effect size plus p-value (MESP), is used. Here, rejecting the null also requires the difference of the observed statistic from the exact null to be meaningfully large or practically significant, in the researcher’s judgment and experience. The simulation compares performances of several methods: from p-value and/or effect size-based, to confidence-interval based, under various conditions of true location of the mean, test power, and comparative sizes of the meaningful distance and population variability. For any inference procedure that outputs a binary indicator, like flagging whether a p-value is significant, the output of one single experiment is not sufficient evidence for a definitive conclusion. Yet, if a tool like MESP generates a relatively reliable signal and is used knowledgeably as part of a research process, it can provide useful information. (shrink)

With an increased emphasis on upstream activity and Defence Engagement, it has become increasingly more important for the UK Ministry of Defence (MOD) and government to understand the relationship between conflict and regional instability. As part of this process, the Historical and Operational Data Analysis Team (HODA) in Defence Science and Technology Laboratory (Dstl) was tasked to look at factors that influenced the regional spread of internal conflicts to help aid the decision making of government. Conflict contagion is the process (...) by which a conflict in one state (State A) influences the outbreak of conflict in another state (State B). The aim of looking at these factors was to produce a tool to assist in the cost/benefit analysis of intervening in future conflicts. The task was carried out by quantitatively studying a selection of contagion and non-contagion case studies over a set of 14 numerical variables that covered structural, political, socioeconomic and cultural factors of both States A and B. All case studies took place after the end of the Cold War. The dataset used contained both binary and continuous data. A range of statistical techniques were used including correlation, regression and principal component analyses along with graphical analytical methods. Unfortunately creating a tool to predict contagion has proven difficult and so the scope of the study was changed-as no statistically relevant link was found. However, it was shown that some links do exists between the variables and the existence of contagion, and it also appears it is a combination of variables which has an effect on the likelihood of contagion. Conflict contagion is a rare event and was only recorded in less than 1% of cases present in the dataset. Of the variables analysed, the most significant factor was the number of refugees present in State B who originated in State A for the year before the case study. It is recommended that further work be conducted. It is possible that a more detailed investigation, using a broader range of techniques and/or a wider selection of variables might be successful in assessing the likelihood of conflict contagion. (shrink)

Yuri Matiyasevich's theorem states that the set of all Diophantine equations which have a solution in non-negative integers is not recursive. Craig Smoryński's theorem states that the set of all Diophantine equations which have at most finitely many solutions in non-negative integers is not recursively enumerable. Let R be a subring of Q with or without 1. By H_{10}(R), we denote the problem of whether there exists an algorithm which for any given Diophantine equation with integer coefficients, can decide (...) whether or not the equation has a solution in R. We prove that a positive solution to H_{10}(R) implies that the set of all Diophantine equations with a finite number of solutions in R is recursively enumerable. We show the converse implication for every infinite set R \subseteq Q such that there exist computable functions \tau_1,\tau_2:N \to Z which satisfy (\forall n \in N \tau_2(n) \neq 0) \wedge ({\frac{\tau_1(n)}{\tau_2(n)}: n \in N}=R). This implication for R=N guarantees that Smoryński's theorem follows from Matiyasevich's theorem. Harvey Friedman conjectures that the set of all polynomials of several variables with integer coefficients that have a rational solution is not recursive. Harvey Friedman conjectures that the set of all polynomials of several variables with integer coefficients that have only finitely many rational solutions is not recursively enumerable. These conjectures are equivalent by our results for R=Q. (shrink)

intro to Part 1 - -/- Most people disliked mathematics when they were at school and they were absolutely correct to do so. This is because maths as we know it is severely incomplete. No matter how elaborated and complicated mathematical equations become, in today's world they're based on 1+1=2. This certainly conforms to the world our physical senses perceive and to the world scientific instruments detect. It has been of immeasurable value to all knowledge throughout history and has elevated (...) science to the lofty status it enjoys. Science is now striving towards Unification - where the subatomic realm, all matter, energy, forces, space and time will be seen as entangled parts of one universe. While 1+1=2 has been vital in getting humanity to this point, it's time to suppress our attachments to the past and realize that whereas 1+1 will always equal 2, it's also capable of equalling the 1 which represents unification. -/- intro to Part 2 -/- b) Division by zero is accepted, in Newtonian maths, to be impossible. But we can regard division by zero as division by nothing i.e. division that has no effect. In this case, 1 divided by 0 is 1. However, to a physicist there is no such thing as nothing (even empty space contains energy). What could the something called 0 actually be? It could be a binary digit. If we use the base of ten (for simplicity) and attach one and zero to it as exponents, we get 10^1 divided by 10^0 = 10^1. If we then cancel 10 from each factor in the expression, we get 1 divided by 0 = 1. At the start of the paragraph, this was referred to as division by nothing. Then 0 was called a binary digit and division by nothing became division by something. The 1 that the division equals is the unified field of space-time. Division by 0 is impossible in Newtonian maths because the result can be infinity. But the word “infinity” can, as the last section of this book shows, apply to the unified field of spacetime. So division by zero is not impossible because it results in the universe, which is obviously possible … a possibility that has always been, and always will be, realized. -/- intro to Part 3 -/- If quantum entanglement has existed in the entire universe forever, everything would be everywhere and everywhen. Space, time and 5th-dimensional hyperspace would not be restricted to certain parts of the Mobius Universe but would exist in every particle. Past, present and future would not exist as the distinct periods which everyday life assumes. All instants of all periods would exist eternally, permitting time travel to any point in the past and to any point in the future. Entanglement may be created by simply zipping along at close to the speed of light - “Quantum entanglement of moving bodies” by Robert M. Gingrich and Christoph Adami in Physical Review Letters 89, 270402 (issue of 30 December 2002) – which might be achieved, according to this book, by warping space so it’s either a fraction of the 90 degrees allowing instantaneous travel or almost at 270 degrees to space as we know it. (shrink)

In this paper we attempt to develop a problem representation technique which enables the decomposition of a problem into subproblems such that their solution in sequence constitutes a strategy for solving the problem. An important issue here is that the subproblems generated should be easier than the main problem. We propose to represent a set of problem states by a statement which is true for all the members of the set. A statement itself is just a set of atomic statements (...) which are binary predicates on state variables. Then, the statement representing the set of goal states can be partitioned into its subsets each of which becomes a subgoal of the resulting strategy. The techniques involved in partitioning a goal into its subgoals are presented with examples. (shrink)

In this paper I introduce the idea of a higher-order modal logic—not a modal logic for higher-order predicate logic, but rather a logic of higher-order modalities. “What is a higher-order modality?”, you might be wondering. Well, if a first-order modality is a way that some entity could have been—whether it is a mereological atom, or a mereological complex, or the universe as a whole—a higher-order modality is a way that a first-order modality could have been. First-order modality is modeled in (...) terms of a space of possible worlds—a set of worlds structured by an accessibility relation, i.e., a relation of relative possibility—each world representing a way that the entire universe could have been. A second-order modality would be modeled in terms of a space of spaces of (first-order) possible worlds, each space representing a way that (first-order) possible worlds could have been. And just as there is a unique actual world which represents the way that things actually are, there is a unique actual space which represents the way that first-order modality actually is. -/- One might wonder what the accessibility relation itself is like. Presumably, if it is logical or metaphysical modality that is being dealt with, it is reflexive; but is it also symmetric, or transitive? Especially in the case of metaphysical modality, the answer is not clear. And whichever of these properties it may or may not have, could that itself have been different? Could at least some rival modal logics represent different ways that first-order modality could have been? -/- To be clear, the idea behind my proposal is not just that some things which are possible or necessary might not have been so at the first order, as determined by the actual accessibility relation, but also that the actual accessibility relation, and hence the nature or structure of actual modality, could have been different at some higher order of modality. Even if the accessibility relation is actually both symmetric and transitive, perhaps it could (second-order) have been otherwise: There is a (second-order) possible space of worlds in which it is different, where it fails to be symmetric, or transitive. We must, therefore, introduce the notion of a higher-order accessibility relation, one that in this case relates spaces of first-order worlds. The question then arises as to whether that relation is symmetric, or transitive. We can then consider third-order modalities, spaces of spaces of spaces of possible worlds, where the second-order accessibility relation differs from how it actually is. I can see no reason why there should be a limit to this hierarchy of higher-order modalities, any more than I can see a reason why there should be a limit to the hierarchy of higher-order properties. There will thus be an infinity of orders, one for each positive integer, and each order will have an accessibility relation of its own. To keep things as clear as possible, a space of first-order points (i.e., of possible worlds) shall be called a galaxy, a space of second-order points, a universe, and a space of any higher order, a cosmos. However, to keep things as simple as possible, in what follows I will deal with but a single cosmos, and hence will not deal with modalities higher than the third order. -/- The accessibility relation is not the only thing that might be thought to vary between spaces of worlds: Perhaps the contents of the spaces can vary as well. While I presume that the contents of the worlds themselves remain constant—it makes doubtful sense to suppose that in one space some entity e exists in a world w and in another space e doesn’t exist in that same world w—we may suppose that different spaces differ as to which worlds they contain, just as different worlds may differ as to which objects they contain. Thus we might have a higher-order analogue of a variable-domain modal logic. There seem, then, to be three ways in which spaces can differ: First, as to the properties of the accessibility relation; second, as to which worlds the relation relates; and third, as to which worlds or spaces are parts of their domains. -/- The paper will be structured as follows. In Section 2 I provide some reasons why one might want to pursue this kind of project in the first place. In Section 3 I outline the syntax and semantics of my proposed logic. Section 4 covers semantic tableaux for this system; and after giving the rules for their construction, I construct a few of them myself to establish some logical consequences of the system and give the reader a feel for how it works. In Sections 5, 6 and 7 I explore some of its potential philosophical implications for areas besides logic, namely the philosophy of language; metaphysics, including the metaphysics of modality and the philosophy of time, and finally the philosophy of religion, before concluding the paper in Section 8. (shrink)

The study is based on primary data which are collected with the help of a structured schedule from four different castes of population spread over North Tripura District and Unokuti District of Tripura. Stratified random sampling technique was applied for the collection of data at household level where the sample units are the adult women in the age group of 18 - 55 years. All the data are collected based on the criteria of balanced representation of different social castes such (...) as ST, SC, OBC and General in the sample. Altogether 90 samples have been collected. Main objective of the study is to determine the morbidity status and also to determine the key variables which affect morbidity status of the people of North Tripura. Binary logistic regression model has been applied to determine the key determinants of morbidity status. It has been found that age of the respondent, respondents per day calorie intake and educational level of the respondents are the key determinants of morbidity status of the respondents. The model as a whole explained between 30.6% (Cox & Snell R Square) and 41.1 %( Nagelkerke R Square). And ᵡ2 (6.460, N=90) =32.811. (shrink)

We want to know what gender is. But metaphysical approaches to this question solely have focused on the binary gender kinds men and women. By overlooking those who identify outside of the binary–the group I call ‘genderqueer’–we are left without tools for understanding these new and quickly growing gender identifications. This metaphysical gap in turn creates a conceptual lacuna that contributes to systematic misunderstanding of genderqueer persons. In this paper, I argue that to better understand genderqueer identities, we (...) must recognize a new type of gender kind: critical gender kinds, or kinds whose members collectively destabilize one or more pieces of dominant gender ideology. After developing a model of critical gender kinds, I suggest that genderqueer is best modeled as a critical gender kind that destabilizes the ‘binary axis’, or the piece of dominant gender ideology that says that the only possible genders are the binary, discrete, exclusive, and exhaustive kinds men and women. (shrink)

In this paper, we introduce the integer programming in neutrosophic environment, by considering coffecients of problem as a triangulare neutrosophic numbers. The degrees of acceptance, indeterminacy and rejection of objectives are simultaneously considered. The Neutrosophic Integer Programming Problem (NIP) is transformed into a crisp programming model, using truth membership (T), indeterminacy membership (I), and falsity membership (F) functions as well as single valued triangular neutrosophic numbers. To measure the efficiency of the model, we solved several numerical examples.

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)

Chinese translation courtesy of Zhuanxu Xu. We want to know what gender is. But metaphysical approaches to this question solely have focused on the binary gender kinds men and women. By overlooking those who identify outside of the binary–the group I call ‘genderqueer’–we are left without tools for understanding these new and quickly growing gender identifications. This metaphysical gap in turn creates a conceptual lacuna that contributes to systematic misunderstanding of genderqueer persons. In this paper, I argue that (...) to better understand genderqueer identities, we must recognize a new type of gender kind: critical gender kinds, or kinds whose members collectively resist dominant gender ideology. After developing a model of critical gender kinds, I suggest that genderqueer is best modeled as a critical gender kind that stands in opposition to `the binary assumption', or the prevalent assumption that the only possible genders are the binary, discrete, exclusive, and exhaustive kinds men and women. (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)

Beck presents an outline of the procedure of bootstrapping of integer concepts, with the purpose of explicating the account of Carey. According to that theory, integer concepts are acquired through a process of inductive and analogous reasoning based on the object tracking system, which allows individuating objects in a parallel fashion. Discussing the bootstrapping theory, Beck dismisses what he calls the "deviant-interpretation challenge"—the possibility that the bootstrapped integer sequence does not follow a linear progression after some point—as (...) being general to any account of inductive learning. While the account of Carey and Beck focuses on the OTS, in this paper I want to reconsider the importance of another empirically well-established cognitive core system for treating numerosities, namely the approximate number system. Since the ANS-based account offers a potential alternative for integer concept acquisition, I show that it provides a good reason to revisit the deviant-interpretation challenge. Finally, I will present a hybrid OTS-ANS model as the foundation of integer concept acquisition and the framework of enculturation as a solution to the challenge. (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 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)

This paper presents a way of formalising definite descriptions with a binary quantifier ι, where ιx[F, G] is read as ‘The F is G’. Introduction and elimination rules for ι in a system of intuitionist negative free logic are formulated. Procedures for removing maximal formulas of the form ιx[F, G] are given, and it is shown that deductions in the system can be brought into normal form.

Leopold Kronecker (1823–1891) was a German mathematician who worked on number theory and algebra. He is considered a pre-intuitionist, being only close to intuitionism because he rejected Cantor’s Set Theory. He was, in fact, more radical than the intuitionists. Unlike Poincaré, for example, Kronecker didn’t accept the transfinite numbers as valid mathematical entities.

In this short note many conjectures on partitions of integers as summations of prime numbers are presented, which are extension of Goldbach conjecture.

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

The first collection of Leibniz's key writings on the binary system, newly translated, with many previously unpublished in any language. -/- The polymath Gottfried Wilhelm Leibniz (1646–1716) is known for his independent invention of the calculus in 1675. Another major—although less studied—mathematical contribution by Leibniz is his invention of binary arithmetic, the representational basis for today's digital computing. This book offers the first collection of Leibniz's most important writings on the binary system, all newly translated by the (...) authors with many previously unpublished in any language. Taken together, these thirty-two texts tell the story of binary as Leibniz conceived it, from his first youthful writings on the subject to the mature development and publication of the binary system. -/- As befits a scholarly edition, Strickland and Lewis have not only returned to Leibniz's original manuscripts in preparing their translations, but also provided full critical apparatus. In addition to extensive annotations, each text is accompanied by a detailed introductory “headnote” that explains the context and content. Additional mathematical commentaries offer readers deep dives into Leibniz's mathematical thinking. The texts are prefaced by a lengthy and detailed introductory essay, in which Strickland and Lewis trace Leibniz's development of binary, place it in its historical context, and chart its posthumous influence, most notably on shaping our own computer age. (shrink)

ABSTRACT It is fruitless to interpret Constant's modern liberty from the binary perspective of either the negative/positive freedom opposition or the liberal/republican freedom opposition. Both oppositional perspectives reduce the relationally complex nature of modern liberty to one or another component of the relation. Such reduction inevitably results in an incomplete and, therefore, inadequate interpretation of Constant's modern liberty. Consequently, either of these binary frames of interpretation obscures rather than illuminates the full nature of Constant's modern liberty. Boxed into (...) their irreconcilably opposed alternatives, both binary perspectives fail to appreciate that Constant's conception of modern liberty is a complex achievement irreducible without loss to either liberal negative liberty as non-interference or republican freedom as non-domination. Nor does combining liberal negative freedom and positive freedom (in the sense of ancient liberty), as Holmes well establishes, adequately tells the whole story of Constant's modern liberty. As a complex achievement, Constant's conception of modern liberty, I shall argue, blends negative freedom as associated with neo-Roman republican freedom as non-subjection to arbitrary power, negative freedom as non-interference, associated with the liberal tradition, positive freedom in the sense of inner self-development, and positive freedom as collective self-government or civic republican freedom. (shrink)

This paper presents rules in sequent calculus for a binary quantifier I to formalise definite descriptions: Ix[F, G] means ‘The F is G’. The rules are suitable to be added to a system of positive free logic. The paper extends the proof of a cut elimination theorem for this system by Indrzejczak by proving the cases for the rules of I. There are also brief comparisons of the present approach to the more common one that formalises definite descriptions with (...) a term forming operator. In the final section rules for I for negative free and classical logic are also mentioned. (shrink)

While we completely understood that a binary dwarf companion of the Sun has not been accepted by majority of astronomers, allow us to present some new arguments, along with our own serendipitous encounter with such a binary companion of the Sun. We hope that the present note will be found useful for further investigations, in relation to Planet Nine and such a dwarf star companion of the Sun (sometimes dubbed as Nemesis). Nonetheless, this article is not an exhaustive (...) review of such dwarf companion star theories. (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)

Postgenderism is an extrapolation of ways that technology is eroding the biological, psychological and social role of gender, and an argument for why the erosion of binary gender will be liberatory. Postgenderists argue that gender is an arbitrary and unnecessary limitation on human potential, and foresee the elimination of involuntary biological and psychological gendering in the human species through the application of neurotechnology, biotechnology and reproductive technologies. Postgenderists contend that dyadic gender roles and sexual dimorphisms are generally to the (...) detriment of individuals and society. Assisted reproduction will make it possible for individuals of any sex to reproduce in any combinations they choose, with or without "mothers" and "fathers," and artificial wombs will make biological wombs unnecessary for reproduction. Greater biological fluidity and psychological androgyny will allow future persons to explore both masculine and feminine aspects of personality. Postgenderists do not call for the end of all gender traits, or universal androgyny, but rather that those traits become a matter of choice. Bodies and personalities in our postgender future will no longer be constrained and circumscribed by gendered traits, but enriched by their use in the palette of diverse self-expression. (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)

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)

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)

Robin Dembroff (Real Talk about the Metaphysics of Gender, 2018) believes that ‘non-binary’ is a social kind. I have my doubts about this, but if it is a social kind, then it is a very special one. The membership conditions of the social kind ‘non-binary’ are only accessible to non-binary persons. They establish and police their own membership conditions (Dembroff 2018: 36f.): ‘Individuals are granted authority over their gender kind membership.’ So, if this is indeed a ‘social (...) kind’, then it is a highly unusual one. (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)

This perspective asserts the existence of only two sexes/genders, male and female, based on not only biological and reproductive processes but also from claims of non-binary or transgender identities as defined through negation which rely on the binary concept of sex/gender. Thus, individuals claiming identities on the "gender/sex spectrum" are again defining themselves through negation (definiens per negationem). This perspective suggests that the diversity of gender experiences, (the sex or gender spectrum) is defined by what individuals are not (...) rather than what they are. While the validity of non-binary and transgender identities definiens per negationem is noted, it is important to accept the reality of the binary nature of sex or gender as a scientific fact, and that all human beings are on a developmental pathway leading to either male or female. Without the reality of binary sex or gender, the gender identity spectrum does not exist as there is nothing to negate from. (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)

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)

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

The article explores the landscape in higher education in which old binary divisions are officially denied yet have been reinvigorated through a mix of conservative and neo-liberal policies. Efforts to resist such pressures can happen at different levels, including, in this case, module design and classroom practice. The rationale for such resistance is considered in relationship to the authors’ political and moral standpoints. Debates within higher education policy circles are invariably reduced to a series of oppositions: theory and practice; (...) training and education; research and teaching. The article seeks to break down such polarities through an exploration of classroom practice. In fact, we argue that such distinctions help to legitimize the existing inequalities in higher education and group-based harms, which characterize the sector. Instead, a case is made for a pedagogy that enables students, particularly those from diverse and disadvantaged backgrounds, to use their experiences, values, etc. to exchange and develop ideas in a group context, thereby providing an important means of collective empowerment (intellectual and practical, both at work and in their private lives). In this process students are encouraged to use ethical theories as tools to explain and underpin their understanding of work-based scenarios. The role of the academic is to facilitate such exchanges and foster new ethical approaches and a public awareness and engagement that goes beyond the classroom. The pedagogic approach, drawing on notions of relational autonomy and narrative methods as well as providing spaces for the co-production of new knowledge, confirms the indivisibility of research and teaching. (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)