The study aimed to identify the intermediate role of the standard of operations in the relationship between the focus on students and beneficiaries in achieving satisfaction of students in Palestinian universities. The study used the analytical descriptive method. The study was conducted on university leadership in Al-Azhar, Islamic and Al-Aqsa Universities. The study sample consisted of (200) individuals, 182 of whom responded, and the questionnaire was used in collecting the data. The results of the study were as follows: (...) - There is a statistically significant effect on the adoption of the criterion of focus on the students benefiting to achieve the satisfaction of students in the Palestinian universities, where the value of R Square (35.3%), there is a statistically significant effect on the adoption of the criterion of focus on the students benefiting on the use of the standard of operations in Palestinian universities. The value of the R Square is (62.8%), there is a statistically significant impact of the criterion of operations on the satisfaction of students in Palestinian universities. Where the value of the R is (36.2%), there is a significant effect on the adoption of the criterion of emphasis on students benefiting from the satisfaction of students in Palestinian universities with the existence of the standard of operations as an intermediary variable. The role of the mediator in the relationship between the adoptions of the criterion of focus on the students benefiting to achieve the satisfaction of students in Palestinian universities was revealed through the use of Path Analysis. The study presented a number of recommendations, the most important of which is: to increase the focus of the universities on students and beneficiaries in a manner appropriate to achieve the objectives of the university on the one hand, and students and beneficiaries on the other, and in line with the approach of quality and excellence, the universities more attention to the management of operations through the design and development of programs Academic and internal services according to the needs of students, and improving processes in innovative ways to generate added value for students and beneficiaries, the universities have made more efforts to create satisfaction among students and beneficiaries by developing internal performance indicators to measure student satisfaction, Students and other university beneficiaries periodically to improve their satisfaction. (shrink)

Actualists of a certain stripe—dispositionalists—hold that metaphysical modality is grounded in the powers of actual things. Roughly: p is possible iff something has, or some things have, the power to bring it about that p. Extant critiques of dispositionalism focus on its material adequacy, and question whether there are enough powers to account for all the possibilities we intuitively want to countenance. For instance, it seems possible that none of the actual contingent particulars ever existed, but it is impossible to (...) explain this by appealing to the powers of some actual thing or things to bring it about. I argue instead that dispositionalism, in the simple form championed by its proponents, is formally inadequate. Dispositionalists interpret the modal operators as simple existential claims about powers, but if we interpret the operators that way, the resulting system of modal logic is too weak to capture metaphysical modality. I argue that we can modify the standard dispositionalist interpretations of the operators to secure formal adequacy, but at the cost of accepting that not all modality is grounded in powers. This, I shall suggest, is not a bad thing—the resulting theory still has powers at its core and has certain attractive features, in addition to formal adequacy, that the standard theory lacks. (shrink)

Are color adjectives ("red", "green", etc.) relative adjectives or absolute adjectives? Existing theories of the meaning of color adjectives attempt to answer that question using informal ("armchair") judgments. The informal judgments of theorists conflict: it has been proposed that color adjectives are absolute with standards anchored at the minimum degree on the scale, that they are absolute but have near-midpoint standards, and that they are relative. In this paper we report two experiments, one based on entailment patterns and one based (...) on presupposition accommodation, that investigate the meaning of scalar adjectives. We find evidence confirming the existence of subgroups of the population who operate with different standards for color adjectives. The evidence of interpersonal variation in where standards are located on the relevant scale and how those standards can be adjusted indicates that the existing theories of the meaning of color adjectives are at best only partially correct. We also find evidence that paradigmatic relative adjectives ("tall", "wide") behave in ways that are not predicted by the standard theory of scalar adjectives. We discuss several different possible explanations for this unexpected behavior. We conclude by discussing the relevance of our findings for philosophical debates about the nature and extent of semantically encoded context sensitivity in which color adjectives have played a key role. (shrink)

We show that logic has more to offer to ontologists than standard first order and modal operators. We first describe some operators of linear logic which we believe are particularly suitable for ontological modeling, and suggest how to interpret them within an ontological framework. After showing how they can coexist with those of classical logic, we analyze three notions of artifact from the literature to conclude that these linear operators allow for reducing the ontological commitment needed for their formalization, (...) and even simplify their logical formulation. (shrink)

The paper addresses the nature of duties grounded in human rights. Rather than being protections against harm, per se, I contend that human rights largely shield against risk impositions to protected interests. “Risk imposition” is a normative idea requiring explication, but understanding dutiful action in its terms enables human rights to provide prospective policy guidance, hold institutions accountable, operate in non-ideal circumstances, embody impartiality among persons, and define the moral status of agencies in international relations. Slightly differently, I indicate a (...) general understanding of dutiful action that permits human rights to see to the tasks of an institutional morality. (shrink)

The traditional soft set is a mapping from a parameter set to family of all crisp subsets of a universe. Molodtsov introduced the soft set as a generalized tool for modelling complex systems involving uncertain or not clearly defined objects. In this paper, the notion of neutrosophic soft set is reanalysed. The novel theory is a combination of neutrosophic set theory and soft set theory. The complement, “and”, “or”, intersection and union operations are defined on the neutrosophic soft sets. (...) The neutrosophic soft relations accompanied with their compositions are also defined. The basic properties of the neutrosophic soft sets, neutrosophic soft relations and neutrosophic soft compositions are also discussed. (shrink)

The addition of "actually" operators to modal languages allows us to capture important inferential behaviours which cannot be adequately captured in logics formulated in simpler languages. Previous work on modal logics containing "actually" operators has concentrated entirely upon extensions of KT5 and has employed a particular modeltheoretic treatment of them. This paper proves completeness and decidability results for a range of normal and nonnormal but quasi-normal propositional modal logics containing "actually" operators, the weakest of which are conservative extensions of K, (...) using a novel generalisation of the standard semantics. (shrink)

The study aimed to identify the availability of the resource and partnership standard as one of the possibilities of excellence in Palestinian universities according to the European model. The study used the analytical descriptive method. The study was conducted on the university leadership at Al - Azhar and Islamic Universities, where the study population consisted of (282) individuals. The study sample consisted of (135) individuals, (119) of them responded, and the questionnaire was used in collecting the data. The study (...) has reached a number of results, the most important of which is the existence of a high standard of resources and partnership in the Palestinian public universities operating in the southern governorates. The fields of the resource and partnership criteria were as follows: (79.8%) management of internal and external partnerships; management of technical resources (technology) (76.4%), Buildings, equipment and resources (76%), Finance Management (72.8%). The study presented a number of recommendations, the most important of which is: Increasing the interest of universities in applying the criteria of resources and partnership as one of the criteria of excellence, increasing the interest of universities in managing finance and obtaining funding for their various activities, periodic maintenance of buildings and equipment and ensuring their suitability to the requirements of the educational process. (shrink)

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

Consciousness is based on the association of notions or a neural network. Similarly, the creation of the next generation Internet (semantic web) is impossible without attributes that allow the semantic association of documents and their integration into an information context. To achieve these goals, the Universal Metadata Standard (UMS) may serve as a basis for documentography and is functionally required for interpretation of documents by automatic operating systems.

In this paper, we present a way to translate the metainferences of a mixed metainferential system into formulae of an extended-language system, called its associated σ-system. To do this, the σ-system will contain new operators (one for each standard), called the σ operators, which represent the notions of "belonging to a (given) standard". We first prove, in a model-theoretic way, that these translations preserve (in)validity. That is, that a metainference is valid in the base system if and only (...) if its translation is a tautology of its corresponding σ-system. We then use these results to obtain other key advantages. Most interestingly, we provide a recipe for building unlabeled sequent calculi for σ-systems. We then exemplify this with a σ-system useful for logics of the ST family, and prove soundness and completeness for it, which indirectly gives us a calculus for the metainferences of all those mixed systems. Finally, we respond to some possible objections and show how our σ-framework can shed light on the “obeying” discussion within mixed metainferential contexts. (shrink)

Why are natural theories pre-well-ordered by consistency strength? In previous work, an approach to this question was proposed. This approach was inspired by Martin's Conjecture, one of the most prominent conjectures in recursion theory. Fixing a reasonable subsystem $T$ of arithmetic, the goal was to classify the recursive functions that are monotone with respect to the Lindenbaum algebra of $T$. According to an optimistic conjecture, roughly, every such function must be equivalent to an iterate $\mathsf{Con}_T^\alpha$ of the consistency operator ``in (...) the limit'' within the ultrafilter of sentences that are true in the standard model. In previous work the author established the first case of this optimistic conjecture; roughly, every recursive monotone function is either as weak as the identity operator in the limit or as strong as $\mathsf{Con}_T$ in the limit. Yet in this note we prove that this optimistic conjecture fails already at the next step; there are recursive monotone functions that are neither as weak as $\mathsf{Con}_T$ in the limit nor as strong as $\mathsf{Con}_T^2$ in the limit. In fact, for every $\alpha$, we produce a function that is cofinally equivalent to $\mathsf{Con}^\alpha_T$ yet cofinally equivalent to $\mathsf{Con}_T$. (shrink)

In the fifth version of our reply article [26] to Imamura's critique, we recall that Neutrosophic Non-Standard Logic was never used by the neutrosophic community in any application, that the quarter-century old (1995-1998) neutrosophic operators criticized by Imamura were never used as they were improved soon after, but omits to talk about their development, and that in real-world applications we need to convert/approximate the hyperreals, monads and bi-nads of Non-Standard Analysis to tiny intervals with the desired precision; otherwise (...) they would be inapplicable. We pointed out several errors and false statements by Imamura [21] regarding the inf/sup of nonstandard subsets, also Imamura's "rigorous definition of neutrosophic logic" is incorrect, as is his definition of nonstandard unit interval, and we showed that there is no total order in Neutrosophic Computing and Machine Learning , Vol. 23, 2022 Florentin Smarandache, Definición mejorada de la lógica neutrosófica no estándar e introducción a los hiperreales neutrosóficos (Quinta versión) 2 the set of hyperreals (due to the recently introduced Neutrosophic Hyperreals which are indeterminate), so the Transfer Principle from R to R* is questionable. After his critique, several reply posts on non-standard theoretical neutrosophy followed in 2018-2022. As such, I extended the Nonstandard Analysis by adding the right-closed left monad, the left-closed right monad, the punctured binad (which we introduced in 1998), and the nonpunctured binad - all in order to close the newly extended nonstandard space (R*) under nonstandard addition, nonstandard subtraction, nonstandard multiplication, nonstandard division, and nonstandard power operations [23, 24]. Improved definitions of the Nonstandard Unitary Interval and Nonstandard Neutrosophic Logic are presented, along with Nonstandard Neutrosophic Operators. (shrink)

We develop a conceptually clear, intuitive, and feasible decision procedure for testing satisfiability in the full multi\-agent epistemic logic \CMAELCD\ with operators for common and distributed knowledge for all coalitions of agents mentioned in the language. To that end, we introduce Hintikka structures for \CMAELCD\ and prove that satisfiability in such structures is equivalent to satisfiability in standard models. Using that result, we design an incremental tableau-building procedure that eventually constructs a satisfying Hintikka structure for every satisfiable input set (...) of formulae of \CMAELCD\ and closes for every unsatisfiable input set of formulae. (shrink)

Description In this paper, we propose an advanced mathematical framework centered around the Energy Number Field (E), which fundamentally avoids the conventional concept of zero by introducing a neutral ele- ment, νE. Through this approach, we redefine core mathematical constructs, including limits, continuity, differentiation, integration, and series summation, ensuring they operate seamlessly within a zero-less paradigm. We address and redefine matrix operations, topology, metric spaces, and complex analysis, aligning them with the principles of E. Additionally, we explore non-mappable properties (...) of energy numbers in the context of symmetry groups, non-standard fields, fractional calculus, and non-Euclidean geometries. By employing νE as the central element, our framework resolves conventional zero-related sin- gularities and computational anomalies, offering a novel perspective that bridges advanced mathematical theories with practical applications in physics, computational algorithms, and topological transforma- tions. This work paves the way for future research to experimentally validate these formulations and explore potential applications in advanced physics, quantum mechanics, and beyond. (shrink)

The standard rule of single privative modification replaces privative modifiers by Boolean negation. This rule is valid, for sure, but also simplistic. If an individual a instantiates the privatively modified property (MF) then it is true that a instantiates the property of not being an F, but the rule fails to express the fact that the properties (MF) and F have something in common. We replace Boolean negation by property negation, enabling us to operate on contrary rather than contradictory (...) properties. To this end, we apply our theory of intensional essentialism, which operates on properties (intensions) rather than their extensions. We argue that each property F is necessarily associated with an essence, which is the set of the so-called requisites of F that jointly define F. Privation deprives F of some but not all of its requisites, replacing them by their contradictories. We show that properties formed from iterated privatives, such as being an imaginary fake banknote, give rise to a trifurcation of cases between returning to the original root property or to a property contrary to it or being semantically undecidable for want of further information. In order to determine which of the three forks the bearers of particular instances of multiply modified properties land upon we must examine the requisites, both of unmodified and modified properties. Requisites underpin our presuppositional theory of positive predication. Whereas privation is about being deprived of certain properties, the assignment of requisites to properties makes positive predication possible, which is the predication of properties the bearers must have because they have a certain property formed by means of privation. (shrink)

Epistemic modal operators give rise to something very like, but also very unlike, Moore's paradox. I set out the puzzling phenomena, explain why a standard relational semantics for these operators cannot handle them, and recommend an alternative semantics. A pragmatics appropriate to the semantics is developed and interactions between the semantics, the pragmatics, and the definition of consequence are investigated. The semantics is then extended to probability operators. Some problems and prospects for probabilistic representations of content and context are (...) explored. (shrink)

Two of the main debates in philosophy of language concerning time and tense are the debate about the semantics of the tenses in the English language and the debate over whether propositions can be transiently true or false as opposed to always being eternally true or false. The latter quarrel is also known as the "temporalism–eternalism debate." Given standard semantics, the two debates are not logically independent, as we will see. Those who believe propositions are eternally true or false (...) needn’t treat the tenses as operators. Their opponents, on the other hand, appear to be committed to an operator theory of the tenses, given a standard semantic framework. In this chapter I will focus primarily on these two debates. (shrink)

The electronic and muonic hydrogen energy levels are calculated very accurately [1] in Quantum Electrodynamics (QED) by coupling the Dirac Equation four vector (c ,mc2) current covariantly with the external electromagnetic (EM) field four vector in QED’s Interactive Representation (IR). The c -Non Exclusion Principle(c -NEP) states that, if one accepts c as the electron/muon velocity operator because of the very accurate hydrogen energy levels calculated, the one must also accept the resulting electron/muon internal spatial and time coordinate operators (ISaTCO) (...) derived directly from c without any assumptions. This paper does not change any of the accurate QED calculations of hydrogen’s energy levels, given the simplistic model of the proton used in these calculations [1]. The Proton Radius Puzzle [2, 3] may indicate that new physics is necessary beyond the Standard Model (SM), and this paper describes the bizarre, and very different, situation when the electron and muon are located “inside” the spatially extended proton with their Centers of Charge (CoCs) orbiting the proton at the speed of light in S energy states. The electron/muon center of charge (CoC) is a structureless point that vibrates rapidly in its inseparable, non-random vacuum whose geometry and time structure are defined by the electron/muon ISaTCO discrete geometry. The electron/muon self mass becomes finite in a natural way due to the ISaTCOs cutting off high virtual photon energies in the photon propagator. The Dirac-Maxwell-Wilson (DMW) Equations are derived from the ISaTCO for the EM fields of an electron/muon, and the electron/muon “look” like point particles in far field scattering experiments in the same way the electric field from a sphere with evenly distributed charge “e” “looks” like a point with the same charge in the far field (Gauss Law). The electron’s/muon’s three fluctuating CoC internal spatial coordinate operators have eight possible eigenvalues [4, 5, 6] that fall on a spherical shell centered on the electron’s CoM with radius in the rest frame. The electron/muon internal time operator is discrete, describes the rapid virtual electron/positron pair production and annihilation. The ISaTCO together create a current that produce spin and magnetic moment operators, and the electron and muon no longer have “intrinsic” properties since the ISaTCO kinematics define spin and magnetic moment properties. (shrink)

One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results hold (...) for several systems of the hierarchy of paraconsistent logics known as Logics of Formal Inconsistency (LFIs). Because of this, these logics are uniquely characterized by semantics of non-deterministic kind. This paper offers a solution for two open problems in the domain of paraconsistency, in particular connected to algebraization of LFIs, by obtaining several LFIs weaker than C1, each of one is algebraizable in the standard Lindenbaum-Tarski's sense by a suitable variety of Boolean algebras extended with operators. This means that such LFIs satisfy the replacement property. The weakest LFI satisfying replacement presented here is called RmbC, which is obtained from the basic LFI called mbC. Some axiomatic extensions of RmbC are also studied, and in addition a neighborhood semantics is defined for such systems. It is shown that RmbC can be defined within the minimal bimodal non-normal logic E+E defined by the fusion of the non-normal modal logic E with itself. Finally, the framework is extended to first-order languages. RQmbC, the quantified extension of RmbC, is shown to be sound and complete w.r.t. BALFI semantics. (shrink)

This work aims to make tense logic a more robust tool for ontologists, philosophers, knowledge engineers and programmers by outlining a fusion of tense logic and ontology of time. In order to make tense logic better understandable, the central formal primitives of standard tense logic are derived as theorems from an informal and intuitive ontology of time. In order to make formulation of temporal propositions easier, temporal operators that were introduced by Georg Henrik von Wright are developed, and mapped (...) to the ontology of time. (shrink)

This study deals primarily with the effectiveness of the Land Bank of Philippines as a Depository Bank of Makati Branch in specific organization and bank operations management. This paper provides baseline data in aid of policy formulation to enhance the bank operations management that offers new motivation towards a policy that effectively addresses and solves the bank operations management. This study used the quantitative descriptive method. Thirteen (13) bank personnel and 64 barangays elected chairman, including the appointed (...) treasurer with direct access to the bank transaction regarding the funds of the barangays in Makati City, were purposely taken as research respondents. It was found that no significant difference exists in the assessment of the respondents in organization and bank operations management when grouped according to age, gender, and educational attainment. The mean evaluation of the respondents in the organization and bank operations management with the variables mentioned revealed effectiveness, and the grand mean and the composite mean are within the mean range of 3.50-4.49, interpreted as effective. This implies that the variables mentioned are directly performed to the standard of the bank. It is recommended that the bank look into the deposits of the barangay funds as it is mandated by law to secure the funds of the barangay in the form of deposits and withdrawals. (shrink)

This paper examines the standard view of realization operative incontemporary philosophy of mind, and proposes an alternative, generalperspective on realization. The standard view can be expressed, insummary form, as the conjunction of two theses, the sufficiency thesis andthe constitutivity thesis. Physicalists of both reductionist and anti-reductionist persuasions share a conception of realization wherebyrealizations are determinative of the properties they realize and physically constitutive of the individuals with those properties. Centralto the alternative view that I explore here is the (...) idea that the requisite,metaphysically robust notion of realization is ineliminably context-sensitive. I shall argue that the sufficiency and constitutivity theses aretypically not jointly satisfied by any one candidate realizer, and that goingcontext-sensitive in one's metaphysics is preferable to the standard view.The context-sensitive views developed here are implicit in a range ofcommon views in both the philosophy of mind and the philosophy of biology,even if they have not been explicitly articulated, and even though theyundermine other views that are commonly endorsed. (shrink)

Do the same epistemic standards govern scientific and religious belief? Or should science and religion operate in completely independent epistemic spheres? Commentators have recently been divided on William James’s answer to this question. One side depicts “The Will to Believe” as offering a separate-spheres defense of religious belief in the manner of Galileo. The other contends that “The Will to Believe” seeks to loosen the usual epistemic standards so that religious and scientific beliefs can both be justified by a unitary (...) set of evidentiary rules. I argue that James did build a unitary epistemology but not by loosening cognitive standards. In his psychological research, he had adopted the Comtian view that hypotheses and regulative assumptions play a crucial role in the context of discovery even though they must be provisionally adopted before they can be supported by evidence. “The Will to Believe” relies on this methodological point to achieve a therapeutic goal—to convince despairing Victorians that religious faith can be reconciled with a scientific epistemology. James argues that the prospective theist is in the same epistemic situation with respect to the “religious hypothesis” as the scientist working in the context of discovery. (shrink)

The verb 'knows' is often taken to be context-sensitive in an interesting way. What 'knows' means seems to be sensitive to the epistemic features of the context, e.g. the epistemic standard in play, the set of relevant alternatives, etc. There are standard model-theoretic semantic frameworks which deal with both intensional operators and context-sensitive expressions. In this chapter, we provide a brief overview of the various moving parts of these frameworks, the roles of context and index, the need for (...) double indexing, and the relationship between semantic value and content. With the best version of the standard framework explicated we then return at the end to the treatment of ‘know’ as a context-sensitive intensional operator (contrasting it with an invariantist treatment). (shrink)

Despite the wide acceptance of standard modal logic, there has always been a temptation to think that ordinary modal discourse may be correctly analyzed and adequately represented in terms of predicates rather than in terms of operators. The aim of the formal model outlined in this paper is to capture what I take to be the only plausible sense in which ‘possible’ and ‘necessary’ can be treated as predicates. The model is built by enriching the language of standard (...) modal logic with a quantificational apparatus that is “substitutional” rather than “objectual”, and by obtaining from the language so enriched another language in which constants for such predicates apply to singular terms that stand for propositions. (shrink)

This article examines the operation of “reasonable steps” as a statutory standard for analysis of the availability of the defence of belief in consent in sexual assault cases and concludes that application of section 273.2(b) of the Criminal Code, as presently worded, often undermines the legal validity and correctness of decisions about whether the accused acted with mens rea, a guilty, blameworthy state of mind. When the conduct of an accused who is alleged to have made a mistake about (...) whether a complainant communicated consent is assessed by the hybrid subjective-objective reasonableness standard prescribed by s. 273.2, many decision-makers rely on extra-legal criteria and assumptions grounded on their personal experience and opinion about what is reasonable. In the midst of debate over what the accused knew and what steps were “reasonable” given what the accused knew, the legal definition of consent in section 273.1 is easily over-looked and decision-makers focus on facts that are legally irrelevant and prejudice rational deliberation. -/- That is precisely what we see here; the result is often failure to enforce the law. The author proposes: -/- (a) that section 273.2 be amended to reflect the significant developments achieved in sexual consent jurisprudence since enactment of the provision in 1992; and -/- (b) that, in the interim, the judiciary act with resolve to make full and proper use of the statutory and common law tools that are presently available to determine whether the accused acted with mens rea in relation to the absence of sexual consent. (shrink)

There is a standard quantificational view of generic sentences according to which they have a tripartite logical form involving a phonologically null generic operator called 'Gen'. Recently, a number of theorists have questioned the standard view and revived a competing proposal according to which generics involve the predication of properties to kinds. This paper offers a novel argument against the kind-predication approach on the basis of the invalidity of Generic Excluded Middle, a principle according to which any sentence (...) of the form ⌜Either Fs are G or Fs are not G⌝ is true. I argue that the kind-predication approach erroneously predicts that GEM is valid, and that it can only avoid this conclusion by either collapsing into a form of the quantificational analysis or otherwise garnering unpalatable metaphysical commitments. I also show that, while the quantificational approach does not validate GEM as a matter of logical form, the principle may be validated on certain semantic analyses of the generic operator, and so, such theories should be rejected. (shrink)

We indicate a new way in the solution of the problem of the quantum measurement . In past papers we used the well-known formalism of the density matrix using an algebraic approach in a two states quantum spin system S, considering the particular case of three anticommuting elements. We demonstrated that, during the wave collapse, we have a transition from the standard Clifford algebra, structured in its space and metrics, to the new spatial structure of the Clifford dihedral algebra. (...) This structured geometric transition, which occurs during the interaction of the S system with the macroscopic measurement system M, causes the destruction of the interferential factors. In the present paper we construct a detailed model of the (S+M) interaction evidencing the particular role of the Time Ordering in the (S+M) coupling since we have a time asymmetric interaction . We demonstrate that , during the measurement , the physical circumstance that the fermion creation and annihilation operators of the S system must be destroyed during such interaction has a fundamental role . (shrink)

In the standard theory of deontic modals, ‘ought’ is understood as expressing a propositional operator. However, this view has been called into question by Almotahari and Rabern’s puzzle about deontic ‘ought’, according to which the ethical principle that one ought to be wronged by another person rather than wrong them is intuitively coherent but the standard theory makes it incoherent. In this paper, I take up Almotahari and Rabern’s challenge and offer a refinement of the standard theory (...) to handle the puzzle. I propose that ‘ought’ is evaluated relative to contextual parameters (e.g., Kratzer’s conversational backgrounds, Finlay and Snedegar’s alternative sets) and those contextual parameters are sensitive to agents as well as possible worlds. (shrink)

Background: Food-borne outbreaks have been associated with sourcing unsafe food. Therefore, the first preventative strategy should be to source safe food. Even if the sourced food is safe, measures need to be put in place to ensure that it remains safe during the transfer, storage, preparation and serving activities that follow. An understanding of the ship food supply and transfer chain will help to illustrate the points at which the food can become contaminated en route to the point of consumption. (...) Objectives: The study was conducted in selected sea port in the core Niger Delta to assessed the microbiological quality of food served at different ship galley to crew and passengers and compared it to standard. Methods: Samples of food were taken from three (Port Harcourt Area one (PHSP), Warri (WSP) and Koko (KSP)) seaports within the South-South zone for laboratory analysis to uncover food spoilage microorganisms capable of causing disease outbreak among ship which could result to Transborder diseases. Eleven samples of different ready to eat food were collected from the locations, which included cooked rice; fried fish, irish potato porridge, vegetable soup, griki, pepper soup, fried irish potato, salad and bread were collected randomly. The samples were prepared and analyzed using standard procedures. Mean viable counts of aerobic and anaerobic bacteria were determined, ranging from (13×103cfu/g to 78×104 cfu/g) for ready to eat food. Results: Based on the finding KSP I, KSP J and KSP K food samples had the highest bacterial contamination on food while WSP F, WSP G and WSP H food samples had the least with the following isolates Salmonella spp, Nocardia spp, Shigella spp, Listeria spp, Bacillus cereus, Leuconostoc spp, Acinetobacter spp, Acetobacter spp, campylobacter spp, Clostridium spp and Vibrio spp which revealed that the isolates were susceptible to any of these antibiotics Septrin, Chloramphenicol, Gentamycin, Tarvid, Streptomycin, Reflacin, Augumetin, Ceporex, Nalidixic acid, Ampicillin, Ciproflox, Penicillin and Erythromycin. Conclusion: Thus, ships operators and regulatory body are expected to take all practicable measures to ensure that they do not receive unsafe or unsuitable food and maintain adequate food temperature at all time. (shrink)

On the standard analysis, a counterfactual conditional such as “If P had been the case, then Q would have been the case” is true in the actual world if, in all nearest possible worlds in which its antecedent (P) is true, its consequent (Q) is also true. Despite its elegance, this analysis faces a difficulty if the laws of nature are deterministic. Then the antecedent could not have been true, given prior conditions. So, it is unclear what the relevant (...) “nearest possible worlds” are. David Lewis suggested that they are ones in which a local breach of the laws occurred: a “small miracle”. Others have suggested that they are ones in which the initial conditions were different (“backtracking”). I propose another response. It builds on the idea that the special sciences, where counterfactual reasoning is most common, operate at a higher level of description from fundamental physics, and that the world may behave indeterministically at higher levels even if it behaves deterministically at the fundamental physical one. The challenge from determinism can then be bypassed for many special-science counterfactuals. (shrink)

We present a formal semantics for epistemic logic, capturing the notion of knowability relative to information (KRI). Like Dretske, we move from the platitude that what an agent can know depends on her (empirical) information. We treat operators of the form K_AB (‘B is knowable on the basis of information A’) as variably strict quantifiers over worlds with a topic- or aboutness- preservation constraint. Variable strictness models the non-monotonicity of knowledge acquisition while allowing knowledge to be intrinsically stable. Aboutness-preservation models (...) the topic-sensitivity of information, allowing us to invalidate controversial forms of epistemic closure while validating less controversial ones. Thus, unlike the standard modal framework for epistemic logic, KRI accommodates plausible approaches to the Kripke-Harman dogmatism paradox, which bear on non-monotonicity, or on topic-sensitivity. KRI also strikes a better balance between agent idealization and a non-trivial logic of knowledge ascriptions. (shrink)

We present epistemic multilateral logic, a general logical framework for reasoning involving epistemic modality. Standard bilateral systems use propositional formulae marked with signs for assertion and rejection. Epistemic multilateral logic extends standard bilateral systems with a sign for the speech act of weak assertion (Incurvati and Schlöder 2019) and an operator for epistemic modality. We prove that epistemic multilateral logic is sound and complete with respect to the modal logic S5 modulo an appropriate translation. The logical framework developed (...) provides the basis for a novel, proof-theoretic approach to the study of epistemic modality. To demonstrate the fruitfulness of the approach, we show how the framework allows us to reconcile classical logic with the contradictoriness of so-called Yalcin sentences and to distinguish between various inference patterns on the basis of the epistemic properties they preserve. (shrink)

In a quantum universe with a strong arrow of time, it is standard to postulate that the initial wave function started in a particular macrostate---the special low-entropy macrostate selected by the Past Hypothesis. Moreover, there is an additional postulate about statistical mechanical probabilities according to which the initial wave function is a ''typical'' choice in the macrostate. Together, they support a probabilistic version of the Second Law of Thermodynamics: typical initial wave functions will increase in entropy. Hence, there are (...) two sources of randomness in such a universe: the quantum-mechanical probabilities of the Born rule and the statistical mechanical probabilities of the Statistical Postulate. I propose a new way to understand time's arrow in a quantum universe. It is based on what I call the Thermodynamic Theories of Quantum Mechanics. According to this perspective, there is a natural choice for the initial quantum state of the universe, which is given by not a wave function but by a density matrix. The density matrix plays a microscopic role: it appears in the fundamental dynamical equations of those theories. The density matrix also plays a macroscopic / thermodynamic role: it is exactly the projection operator onto the Past Hypothesis subspace. Thus, given an initial subspace, we obtain a unique choice of the initial density matrix. I call this property "the conditional uniqueness" of the initial quantum state. The conditional uniqueness provides a new and general strategy to eliminate statistical mechanical probabilities in the fundamental physical theories, by which we can reduce the two sources of randomness to only the quantum mechanical one. I also explore the idea of an absolutely unique initial quantum state, in a way that might realize Penrose's idea of a strongly deterministic universe. (shrink)

I present a possible worlds semantics for a hyperintensional belief revision operator, which reduces the logical idealization of cognitive agents affecting similar operators in doxastic and epistemic logics, as well as in standard AGM belief revision theory. (Revised) belief states are not closed under classical logical consequence; revising by inconsistent information does not perforce lead to trivialization; and revision can be subject to ‘framing effects’: logically or necessarily equivalent contents can lead to different revisions. Such results are obtained without (...) resorting to non-classical logics, or to non-normal or impossible worlds semantics. The framework combines, instead, a standard semantics for propositional S5 with a simple mereology of contents. (shrink)

The study aimed to determine if differentiated instruction effectively addresses learning gaps in mathematics. In particular, it explored how it can improve the student’s learning gaps concerning mathematical performance and confidence. The study employed a quasi-experimental design with 30 purposively-selected Grade 10 participants divided into differentiated (n = 15) and control groups (n = 15), ensuring the utmost ethical measures. The mean and standard deviation were used to describe the participants’ performance and confidence. Independent samples t-tests were used to (...) determine the significant differences in the performance and confidence between the two groups. In contrast, dependent samples t-tests were used to determine the significant differences in each group’s pre and posttest performance and confidence. Findings bared that the differentiated instruction successfully addressed students’ performance in mathematics even in a short period. It also increased the participants’ confidence when answering fundamental problems. Continuing differentiated instruction activities are recommended since it benefits students who struggle in mathematics, particularly in answering fundamental operations. Differentiated teaching activities in mathematics can boost academic achievement and engagement and prepare students for future success while fostering a positive and inclusive classroom culture that values individual learning needs and preferences. (shrink)

Bare plural generic sentences pervade ordinary talk. And yet it is extremely controversial what semantics to assign to such sentences. In this paper, I achieve two tasks. First, I develop a novel classification of the various standard uses to which bare plurals may be put. This “variety data” is important—it gives rise to much of the difficulty in systematically theorizing about bare plurals. Second, I develop a novel account of bare plurals, the radical account. On this account, all bare (...) plurals fail to express propositions. The content of a bare plural has to be pragmatically “completed” by a speaker in order for her to make an assertion. At least the content of a quantifier expression has to be supplied. But sometimes, the content of a sentential operator or modal verb is also supplied. The radical account straightforwardly explains the variety data: Speakers’ communicative intentions vary wildly across different contexts. (shrink)

Calls to hold artificial intelligence to account are intensifying. Activists and researchers alike warn of an “accountability gap” or even a “crisis of accountability” in AI. Meanwhile, several prominent scholars maintain that accountability holds the key to governing AI. But usage of the term varies widely in discussions of AI ethics and governance. This chapter begins by disambiguating some different senses and dimensions of accountability, distinguishing it from neighboring concepts, and identifying sources of confusion. It proceeds to explore the idea (...) that AI operates within an accountability gap arising from technical features of AI as well as the social context in which it is deployed. The chapter also evaluates various proposals for closing this gap. I conclude that the role of accountability in AI ethics and governance is vital but also more limited than some suggest. Accountability’s primary job description is to verify compliance with substantive normative principles—once those principles are settled. Theories of accountability cannot ultimately tell us what substantive standards to account for, especially when norms are contested or still emerging. Nonetheless, formal mechanisms of accountability provide a way of diagnosing and discouraging egregious wrongdoing even in the absence of normative agreement. Providing accounts can also be an important first step toward the development of more comprehensive regulatory standards for AI. (shrink)

The literature on indicative conditionals contains two appealing views. The first is the selectional view: on this view, conditionals operate by selecting a single possibility, which is used to evaluate the consequent. The second is the informational view: on this view, conditionals don’t express propositions, but rather impose constraints on information states of speakers. Both views are supported by strong arguments, but they are incompatible on their standard formulations. Hence it appears that we have to choose between mutually exclusive (...) options. But the options are not exclusive. This paper develops a theory of the semantics and assertability of conditionals that is both selectional and informational. The theory vindicates the signature inferences of both selectional and informational theories, including so-called Conditionals Excluded Middle and principles about the interplay between conditionals and ‘might’. It also predicts some interesting and puzzling facts about the assertion of conditionals. (shrink)

People increasingly form beliefs based on information gained from automatically filtered Internet ‎sources such as search engines. However, the workings of such sources are often opaque, preventing ‎subjects from knowing whether the information provided is biased or incomplete. Users’ reliance on ‎Internet technologies whose modes of operation are concealed from them raises serious concerns about ‎the justificatory status of the beliefs they end up forming. Yet it is unclear how to address these concerns ‎within standard theories of knowledge and (...) justification. To shed light on the problem, we introduce a ‎novel conceptual framework that clarifies the relations between justified belief, epistemic responsibility, ‎action, and the technological resources available to a subject. We argue that justified belief is subject to ‎certain epistemic responsibilities that accompany the subject’s particular decision-taking circumstances, ‎and that one typical responsibility is to ascertain, so far as one can, whether the information upon which ‎the judgment will rest is biased or incomplete. What this responsibility comprises is partly determined by ‎the inquiry-enabling technologies available to the subject. We argue that a subject’s beliefs that are ‎formed based on Internet-filtered information are less justified than they would be if she either knew how ‎filtering worked or relied on additional sources, and that the subject may have the epistemic ‎responsibility to take measures to enhance the justificatory status of such beliefs.‎. (shrink)

Suppose that a sign at the entrance of a hotel reads: “Don’t enter these premises unless you are accompanied by a registered guest”. You see someone who is about to enter, and you tell her: “Don’t enter these premises if you are an unaccompanied registered guest”. She asks why, and you reply: “It follows from what the sign says”. It seems that you made a valid inference from an imperative premise to an imperative conclusion. But it also seems that imperatives (...) cannot be true or false, so what does it mean to say that your inference is valid? It cannot mean that the truth of its premise guarantees the truth of its conclusion. One is thus faced with what is known as “Jørgensen’s dilemma” (Ross 1941: 55-6): it seems that imperative logic cannot exist because logic deals only with entities that, unlike imperatives, can be true or false, but it also seems that imperative logic must exist. It must exist not only because inferences with imperatives can be valid, but also because imperatives (like “Enter” and “Don’t enter”) can be inconsistent with each other, and also because one can apply logical operations to imperatives: “Don’t enter” is the negation of “Enter”, and “Sing or dance” is the disjunction of “Sing” and “Dance”. A standard reaction to this dilemma consists in basing imperative logic on analogues of truth and falsity. For example, the imperative “Don’t enter” is satisfied if you don’t enter and is violated if you enter, and one might say that an inference from an imperative premise to an imperative conclusion is valid exactly if the satisfaction (rather than the truth) of the premise guarantees the satisfaction of the conclusion. But before getting into the details, more needs to be said on what exactly imperatives are. (shrink)

Inquiry into the meaning of logical terms in natural language (‘and’, ‘or’, ‘not’, ‘if’) has generally proceeded along two dimensions. On the one hand, semantic theories aim to predict native speaker intuitions about the natural language sentences involving those logical terms. On the other hand, logical theories explore the formal properties of the translations of those terms into formal languages. Sometimes, these two lines of inquiry appear to be in tension: for instance, our best logical investigation into conditional connectives may (...) show that there is no conditional operator that has all the properties native speaker intuitions suggest if has. Indicative conditionals have famously been the source of one such tension, ever since the triviality proofs of both Lewis (1976) and Gibbard (1981) established conclusions which are in prima facie tension with ordinary judgments about natural language indicative conditionals. In a recent series of papers, Branden Fitelson has strengthened both triviality results (Fitelson 2013, 2015, 2016), revealing a common culprit: a logical schema known as IMPORT-EXPORT. Fitelson’s results focus the tension between the logical results and ordinary judgments, since IMPORT-EXPORT seems to be supported by intuitions about natural language. In this paper, we argue that the intuitions which have been taken to support IMPORT-EXPORT are really evidence for a closely related, but subtly different, principle. We show that the two principles are independent by showing how, given a standard assumption about the conditional operator in the formal language in which IMPORT-EXPORT is stated, many existing theories of indicative conditionals validate one, but not the other. Moreover, we argue that once we clearly distinguish these principles, we can use propositional anaphora to show that IMPORT-EXPORT is in fact not valid for natural language indicative conditionals (given this assumption about the formal conditional operator). This gives us a principled and independently motivated way of rejecting a crucial premise in many triviality results, while still making sense of the speaker intuitions which appeared to motivate that premise. We suggest that this strategy has broad application and an important lesson: in theorizing about the logic of natural language, we must pay careful attention to the translation between the formal languages in which logical results are typically proved, and natural languages which are the subject matter of semantic theory. (shrink)

Todd (2016) proposes an analysis of future-directed sentences, in particular sentences of the form 'will(φ)', that is based on the classic Russellian analysis of definite descriptions. Todd's analysis is supposed to vindicate the claim that the future is metaphysically open while retaining a simple Ockhamist semantics of future contingents and the principles of classical logic, i.e. bivalence and the law of excluded middle. Consequently, an open futurist can straightforwardly retain classical logic without appeal to supervaluations, determinacy operators, or any further (...) controversial semantical or metaphysical complication. In this paper, we will show that this quasi-Russellian analysis of 'will' both lacks linguistic motivation and faces a variety of significant problems. In particular, we show that the standard arguments for Russell's treatment of definite descriptions fail to apply to statements of the form 'will(φ)'. (shrink)

The study aims to identify the reality of management of electronic documents and electronic archiving retirement in the Palestinian Pension Agency -analytical study, as well as to recognize the reality of the current document management system in the Palestinian Pension Agency. The study found the following results: that the reality of the current system for the management of documents in the agency is weak and suffers from many jams. Employee in the agency understand the importance and benefits of the management (...) of electronic documents system, where the application of electronic document management system provide important features and benefits most of which reduce the loss of documents between departments, illustrates the flow path, the speed, accuracy, transparency, and reduce the proportion of damage and destruction of files. Furthermore, the electronic documents system cost will be less than the cost of the current system and it will reduce the tasks assigned for the staff. The existence of a clear adoption of the agency for the policies and procedures established for the application of electronic documents management system. There are weak plans for training and developing of staff in the agency to raise their efficiency. The study found a set of recommendations, including: increased interest and awareness of the need to implement policies, mechanisms, and procedures to ensure the success of electronic document management system through benefiting from the experiences of other organizations and the private sector. The agency need to increase and develop its services for retirees in order to encourage the private sector, universities, and institutions to join the agency, and open the way for all segments of society in Gaza and West Bank and enhance its competitiveness between international social security institutions. The need to focus its attention on developing and publishing appropriate clear plans and specific goals about management of electronic documents and the agency should be committed to apply them. The need to focus on the establishment of a public management of archiving in the structure dealing with all technical operations and having competent and qualified employees in the field of electronic document management. The need to focus on the Palestinian National Archives and the follow-up with the international standards by the International Council Archives (ICA). (shrink)

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

My chapter deals with an important part of how Wolff pursued the normative ambitions of his ethics in giving practical guidance with regard to specific moral issues. I first consider how Wolff’s ethics tackles the duties to others, which traditionally represent a difficult issue for moral perfectionism. In this regard, I argue that Wolff’s strategy combines two aspects: (a) he includes in perfection non-active aspects and (b) operates with an agent-neutral notion of perfection, in spite of important passages that might (...) suggest differently. I then focus on Wolff’s treatment of the duties concerning veracity and lying, and show how it follows that general strategy. Combining its two aspects, Wolff examines specific moral issues by adopting a non-welfarist notion of benefit and harm as the standard that can give guidance about practical cases. (shrink)

FDE, LP and K3 are closely related to each other and admit of an intuitive informational interpretation. However, all these logics are co-NP complete, and so idealized models of how an agent can think. We address this issue by shifting to signed formulae, where the signs express imprecise values associated with two bipartitions of the corresponding set of standard values. We present proof systems whose operational rules are all linear and have only two structural branching rules that express a (...) generalized Principle of Bivalence. Each of these systems leads to defining an infinite hierarchy of tractable approximations to the respective logic, in terms of the maximum number of allowed nested applications of the two branching rules. Further, each resulting hierarchy admits of an intuitive 5-valued non-deterministic semantics. (shrink)

We outline a neo-Meinongian framework labeled as Modal Meinongian Metaphysics (MMM) to account for the ontology and semantics of fictional discourse. Several competing accounts of fictional objects are originated by the fact that our talking of them mirrors incoherent intuitions: mainstream theories of fiction privilege some such intuitions, but are forced to account for others via complicated paraphrases of the relevant sentences. An ideal theory should resort to as few paraphrases as possible. In Sect. 1, we make this explicit via (...) two methodological principles, called the Minimal Revision and the Acceptability Constraint. In Sect. 2, we introduce the standard distinction between internal and external fictional discourse. In Sects. 3–5, we discuss the approaches of (traditional) Meinongianism, Fictionalism, and Realism—and their main troubles. In Sect. 6 we propose our MMM approach. This is based upon (1) a modal semantics including impossible worlds (Subsect. 6.1); (2) a qualified Comprehension Principle for objects (Subsect. 6.2); (3) a notion of existence-entailment for properties (Subsect. 6.3). In Sect. 7 we present a formal semantics for MMM based upon a representation operator. And in Sect. 8 we have a look at how MMM solves the problems of the three aforementioned theories. (shrink)

Deductive inference is usually regarded as being “tautological” or “analytical”: the information conveyed by the conclusion is contained in the information conveyed by the premises. This idea, however, clashes with the undecidability of first-order logic and with the (likely) intractability of Boolean logic. In this article, we address the problem both from the semantic and the proof-theoretical point of view. We propose a hierarchy of propositional logics that are all tractable (i.e. decidable in polynomial time), although by means of growing (...) computational resources, and converge towards classical propositional logic. The underlying claim is that this hierarchy can be used to represent increasing levels of “depth” or “informativeness” of Boolean reasoning. Special attention is paid to the most basic logic in this hierarchy, the pure “intelim logic”, which satisfies all the requirements of a natural deduction system (allowing both introduction and elimination rules for each logical operator) while admitting of a feasible (quadratic) decision procedure. We argue that this logic is “analytic” in a particularly strict sense, in that it rules out any use of “virtual information”, which is chiefly responsible for the combinatorial explosion of standard classical systems. As a result, analyticity and tractability are reconciled and growing degrees of computational complexity are associated with the depth at which the use of virtual information is allowed. (shrink)