In the intellectual confusion prevailing since the demise of Marxism and “marxism”, the attempt is made to define democracy as a matter of pure procedure, explicitly avoiding and condemning any reference to substantive objectives. It can easily be shown, however, that the idea of a purely procedural “democracy” is incoherent and self-contradictory. No legal system whatsoever and no government can exist in the absence of substantive conditions which cannot be left to chance or to the workings of the “market” but (...) must be posited as objectives of political activity. The confusion results from a deficient understanding of what makes a society and an empty idea of “freedom”. The objective of politics is not happiness, an affair to be left to the individuals, but it certainly is liberty understood as participation in the governance of the polity; it is also the pursuit of the common good, defined as the sum of the prerequisites and facilitations of individual autonomy depending on collective action, and as the realization of commonly agreed collective goals. (shrink)

Norman Daniels’ theory of justice and health faces a serious practical problem: his theory can ground the special moral importance of health and allows distinguishing just from unjust health inequalities, but it provides little practical guidance for allocating resources when they are especially scarce. Daniels’ solution to this problem is a fair process that he specifies as "accountability for reasonableness". Daniels claims that accountability for reasonableness makes limit-setting decisions in healthcare not only legitimate, but also fair. This paper assesses the (...) latter claim. Does accountability for reasonableness result in fair limit-setting decisions? It is argued that the answer to this question is not a clear yes. Daniels is remarkably unclear about the criterion of fairness that accountability for reasonableness satisfies. The paper discusses different options for resolving this lack of clarity and examines how they apply to Daniels’ accountability for reasonableness framework. It is concluded, first, that accountability for reasonableness is not a paradigm case of any of the classic notions of procedural justice; second, that what might be called "constrained pure procedural justice" best reflects how accountability for reasonableness results in fair limit-setting decisions; and third, that the procedural conditions of accountability for reasonableness must be further specified and amended to better achieve a fair process, and hence fair limit-setting decisions. (shrink)

In the philosophical literature concerning scientific experimentation, the notion of robustness has been solely discussed in relation to experimental results. In this paper, I propose a novel sense of experimental robustness that applies to experimental procedures. I call the foregoing sense of robustness procedure robustness and characterize it as the capacity of an experimental procedure to maintain its intended function invariant during the experimental process despite possible variations in its inputs. I argue that PR is a precondition for what (...) I call result robustness, which refers to the traditional sense of experimental robustness, namely the existence of convergent experimental results obtained through different and independent means of detection. Furthermore, I argue, PR and RR constitute useful experimental strategies in the context of high-energy physics experiments, but these strategies are not without limitations. (shrink)

The study aimed to identify the role of administrative procedures and systems in enhancing the performance of the educational institutions in the Islamic University in Gaza. To achieve the research objectives, the researchers used the analytical descriptive approach to collect information. The researchers used the questionnaire distributed to three categories of employees at the Islamic University (senior management, faculty members, their assistants and members of the administrative board). A random sample of 314 employees was selected and 276 questionnaires were (...) retrieved with a recovery rate of 88.1%. The Statistical Analysis Program (SPSS) was used to enter process and analyze data. The results of the research showed a positive role for the administrative procedures and systems in enhancing the performance of the Islamic University from the point of view of the members (senior management, teaching staff and their assistants and the administrative body), where the relative weight of all the paragraphs (73.728%). The analysis of the results revealed that the administrative procedures at the Islamic University in Gaza are used to an acceptable degree. The relative weight of all the paragraphs is 70%. This indicates a relationship between administrative procedures and regulations and the performance of the Islamic University in the Gaza Strip. The study found that there was a good degree of approval from the sample regarding the administrative procedures and their relationship to the job performance. There exist a sufficient degree of powers to the deans and department managers to carry out their tasks, with the use of plans as control tools. And that there are rules and procedures provided for decision-making in the University Council. It also has full powers to manage the university to improve the teaching and learning environment. The researchers also recommended a number of recommendations, including the need to follow up on the procedures and systems of management and update them continuously in the light of changes that may occur and to ensure the existence of a strong system of electronic information systems within the university. There is a need to provide mechanisms for obtaining information about the surrounding external environment, and effective mechanisms to provide managers with the necessary information in a timely manner. The importance of providing channels of communication that enables staff to communicate information about any violations and breaches. The study also recommended the follow-up, review, procedures and administrative systems, and work to modify them in line with the mission of the university and the objectives that the university seeks to reach. (shrink)

Combines a theoretical interest in the mathematics of voting procedures with practical interest in the circumstances in which votes are cast. The most important results in the theory of voting are surveyed, and the differences between the principal types of voting procedures are explained.

Democratic theorists often distinguish between two views of democratic procedures. ‘Outcomes theorists’ emphasize the instrumental nature of these procedures and argue that they are only valuable because they tend to produce good outcomes. In contrast, ‘proceduralists’ emphasize the intrinsic value of democratic procedures, for instance, on the grounds that they are fair. In this paper. I argue that we should reject pure versions of these two theories in favor of an understanding of the democratic ideal that recognizes (...) a commitment to both intrinsically valuable democratic procedures and democratic outcomes. In instances in which there is a conflict between these two commitments, I suggest they must be balanced. This balancing approach offers a justification of judicial review on the grounds that it potentially limits outcomes that undermine democracy. But judicial review is not justifiable in any instance in which a bad democratic outcome results from democratic procedures. When the loss that would result from overturning a democratic procedure is greater than the gain to democracy that would result from ensuring against an undemocratic outcome; judicial review is not justifiable. Loss or gain to democracy is defined by the negative or positive impact of each action on the core democratic values of equality and autonomy, aspects of the democratic ideal. Even when judicial review is justified, the fact that it overturns intrinsically valuable procedures suggests that such review is never ideal from the standpoint of democracy. (shrink)

"Procedural Justice" offers a theory of procedural fairness for civil dispute resolution. The core idea behind the theory is the procedural legitimacy thesis: participation rights are essential for the legitimacy of adjudicatory procedures. The theory yields two principles of procedural justice: the accuracy principle and the participation principle. The two principles require a system of procedure to aim at accuracy and to afford reasonable rights of participation qualified by a practicability constraint. The Article begins in Part I, Introduction, with (...) two observations. First, the function of procedure is to particularize general substantive norms so that they can guide action. Second, the hard problem of procedural justice corresponds to the following question: How can we regard ourselves as obligated by legitimate authority to comply with a judgment that we believe (or even know) to be in error with respect to the substantive merits? The theory of procedural justice is developed in several stages, beginning with some preliminary questions and problems. The first question - what is procedure? - is the most difficult and requires an extensive answer: Part II, Substance and Procedure, defines the subject of the inquiry by offering a new theory of the distinction between substance and procedure that acknowledges the entanglement of the action-guiding roles of substantive and procedural rules while preserving the distinction between two ideal types of rules. The key to the development of this account of the nature of procedure is a thought experiment, in which we imagine a world with the maximum possible acoustic separation between substance and procedure. Part III, The Foundations of Procedural Justice, lays out the premises of general jurisprudence that ground the theory and answers a series of objections to the notion that the search for a theory of procedural justice is a worthwhile enterprise. Sections II and III set the stage for the more difficult work of constructing a theory of procedural legitimacy. Part IV, Views of Procedural Justice, investigates the theories of procedural fairness found explicitly or implicitly in case law and commentary. After a preliminary inquiry that distinguishes procedural justice from other forms of justice, Part IV focuses on three models or theories. The first, the accuracy model, assumes that the aim of civil dispute resolution is correct application of the law to the facts. The second, the balancing model, assumes that the aim of civil procedure is to strike a fair balance between the costs and benefits of adjudication. The third, the participation model, assumes that the very idea of a correct outcome must be understood as a function of process that guarantees fair and equal participation. Part IV demonstrates that none of these models provides the basis for a fully adequate theory of procedural justice. In Part V, The Value of Participation, the lessons learned from analysis and critique of the three models are then applied to the question whether a right of participation can be justified for reasons that are not reducible to either its effect on the accuracy or its effect on the cost of adjudication. The most important result of Part V is the Participatory Legitimacy Thesis: it is (usually) a condition for the fairness of a procedure that those who are to be finally bound shall have a reasonable opportunity to participate in the proceedings. The central normative thrust of Procedural Justice is developed in Part VI, Principles of Procedural Justice. The first principle, the Participation Principle, stipulates a minimum (and minimal) right of participation, in the form of notice and an opportunity to be heard, that must be satisfied (if feasible) in order for a procedure to be considered fair. The second principle, the Accuracy Principle, specifies the achievement of legally correct outcomes as the criterion for measuring procedural fairness, subject to four provisos, each of which sets out circumstances under which a departure from the goal of accuracy is justified by procedural fairness itself. In Part VII, The Problem of Aggregation, the Participation Principle and the Accuracy Principle are applied to the central problem of contemporary civil procedure - the aggregation of claims in mass litigation. Part VIII offers some concluding observations about the point and significance of Procedural Justice. (shrink)

Why should one person obey another? Why (to ask the question from the first-person perspective) ought I to submit to another and follow her judgment rather than my own? In modern political thought, which denies that some are born rulers and others are born to be ruled, the most prominent answer has been: “Because I have consented to her authority.” By making authority conditional on the subjects’ consent, political philosophers have sought to reconcile authority’s hierarchical structure with the equal moral (...) standing of governor and governed. Yet such consent accounts of authority have long been deemed problematic on a number of grounds, not the least of which is that few citizens have given their consent to the state under whose laws they live. So unless we are willing to deny the state’s authority over those who have not consented, or revert to the pre-modern assumption of a natural political hierarchy, we must find another way of reconciling authority with our standing as free and equal moral agents. In recent political and legal philosophy, the most influential solution to this problem has been Joseph Raz’s service conception of authority, according to which legitimate authority, while it does not require the consent of the governed, must exist for their sake, or serve them. The normal way to justify someone’s authority, on the service conception, is to show that, by treating her directives as binding, the subjects are likely better to conform to reasons that apply to them anyway. The service conception has, however, recently been criticized (by, among others, Thomas Christiano, Scott Hershovitz, and Jeremy Waldron) for being insufficiently attuned to the significance that procedural, and in particular democratic, features of political and legal institutions have for the justification of their authority. If these ‘democratic critics’ are right, then two commitments that many in the liberal-democratic tradition may find independently attractive turn out to be in tension: the liberal idea that authority is normally legitimate only insofar as it serves its subjects, and the democratic idea that legitimate authority can (and regularly does) rest on fair procedures. In this article I argue that the critics’ arguments rest on a misunderstanding of the service conception; yet their worries point the way to an under-appreciated and interesting view of democracy as an authoritative arbitration procedure. After introducing the service conception’s view of justified authority, I briefly distinguish a broad and a narrow interpretation of it, and suggest that we should embrace the latter to make sense of the idea that political authority serves its subjects (Section I). Next I turn to the objection raised by the democratic critics: the service conception, they say, cannot make room for the intrinsic fairness of democratic procedures because it is preoccupied with the quality of outcomes (Section II). But, I argue, the objection rests on an illicit identification of two different kinds of outcomes: the outcome of the decision-making procedure on the one hand, the outcome or result of treating that first outcome as authoritative on the other. Distinguishing between these is crucial for an adequate understanding of democracy’s authority. While the service conception is indeed organized around the latter, this does not commit it to an exclusive concern with the former; yet it is a singular commitment to the former that is problematic from a democratic point of view (Section III). To bring home this point, I sketch a model of authority as arbitration that is frequently overlooked in recent discussions of authority even though it is centrally concerned with procedural (and ultimately democratic) values and fits squarely into the service conception of authority (Section IV). (shrink)

Suppose a committee or a jury confronts a complex question, the answer to which requires attending to several sub-questions. Two different voting procedures can be used. On one, the committee members vote on each sub-question and the voting results are used as premises for the committee’s conclusion on the main issue. This premise-based procedure can be contrasted with the conclusion-based approach, which requires the members to directly vote on the conclusion, with the vote of each member being guided by (...) her views on the relevant sub-questions. The two procedures are not equivalent: There may be a majority of voters supporting each of the premises, but if these majorities do not significantly overlap, there will be a majority against the conclusion. Pettit (2001) connects the choice between the two procedures with the discussion of deliberative democracy. The problem we want to examine instead concerns the relative advantages and disadvantages of the two procedures from the epistemic point of view. Which of them is better when it comes to tracking truth? As it turns out, the answer is not univocal. On the basis of Condorcet’s jury theorem, the premise-based procedure can be shown to be superior if the objective is reach truth for the right reasons, without making any mistakes on the way. However, if the goal instead is to reach truth for whatever reasons, right or wrong, there will be cases in which using the conclusion-based procedure turns out to be more reliable, even though, for the most part, the premise-based procedure will retain its superiority. (shrink)

Health-care goods are goods with peculiar properties, and where they are scarce, societies face potentially explosive distributional conflicts. Animated public and academic debates on the necessity and possible justice of limit-setting in health care have taken place in the last decades and have recently taken a turn toward procedural rather than substantial criteria for justice. This article argues that the most influential account of procedural justice in health-care rationing, presented by Daniels and Sabin, is indeterminate where concrete properties of rationing (...) institutions are concerned. Such properties inscribe substantial norms into institutions. These norms can derive validity only from democratic majority decisions, which must be seen as an instance of pure procedural justice. We therefore have to move the discussion to a meta-level and ask how concrete properties of institutions are being chosen. I suggest four criteria for sufficiently democratic institutional design choice and conclude that as institutional properties are likely to have effects on the resulting distribution of health care, design choices should be empirically informed and taken both democratically and deliberately. (shrink)

This is a non-technical version of "The Decision Problem for Effective Procedures." The “somewhat vague, intuitive” notion from computability theory of an effective procedure (method) or algorithm can be fairly precisely defined, even if it does not have a purely mathematical definition—and even if (as many have asserted) for that reason, the Church–Turing thesis (that the effectively calculable functions on natural numbers are exactly the general recursive functions), cannot be proved. However, it is logically provable from the notion of (...) an effective procedure--without reliance on any (partially) mathematical thesis or conjecture concerning effective procedures, such as the Church–Turing thesis--that the class of effective procedures is undecidable, i.e., that no effective procedure is possible for ascertaining whether a given procedure is effective. The proof does not appeal to a precise definition of ‘effective procedure’. Instead, it relies solely and entirely on a basic grasp of the intuitive notion of such a procedure. Though this undecidability result itself is not surprising, it is also not without significance. It has the consequence, for example, that the solution to a decision problem, if it is to be complete, must be accompanied by a separate argument that the proposed ascertainment procedure is, in fact, a decision procedure, i.e., effective—for example, that it invariably terminates with the correct verdict. (shrink)

Summary Pluralism and monism are the two current views concerning scientific research and language understanding. Between them there is a third, intermediate, view. We take a procedural methodology of science as exemplified in the work of L. Tondl, and procedural linguistics , as exemplified in the work of B. Harrison, to be representative of this third possibility. Procedures are cognitive, linguistic, and physical processes which, through their hierarchical interconnections can generate fruitful mechanisms . These mechanisms are sensitive to context (...) and operate in heuristic and algorithmic ways. Their similar logical structure points towards a profound unified basis for scientific and linguistic activities, thus providing an interesting bridge between what is achieved by a little child talking to his parents, and a creative scientist struggling to interpret the results of his experiments. (shrink)

The paradox of the Unexpected Hanging, related prediction paradoxes, and the Sorites paradoxes all involve reasoning about ordered collections of entities: days ordered by date in the case of the Unexpected Hanging; men ordered by the number of hairs on their heads the case of the bald man version of the Sorites. The reasoning then assigns each entity a value that depends on the previously assigned value of one of the neighboring entities. The final result is paradoxical because it conflicts (...) with the obviously correct, commonsensical value. The paradox is due to the serial procedure of assigning a value based on the newly assigned value of the neighbor. An alternative procedure is to assign each value based only on the original values of neighbors - a parallel procedure. That procedure does not give paradoxical answers. (shrink)

This study examines the procedural ethical considerations surrounding religious exemptions to Covid vaccine mandates, specifically focusing on immigrant healthcare personnel (HCP) and HCPs of color. It emphasizes communication issues with applicants by investigating exemption applications and their accompanying guidelines. While there is extensive literature on the ethical implications of religious exemptions, a notable gap remains in addressing the procedural aspects of religious exemption applications and their reviewing processes. The study scrutinized religious exemption application forms and accompanying guidelines from 32 selected (...) non-teaching and teaching hospitals for the years 2022–2023. The findings highlight significant variability in exemption application criteria and processes across institutions. Importantly, many application forms lacked comprehensive procedural information, which may result in subjective evaluations and potential misinterpretations of non-Western and non-mainstream religious beliefs, especially those of immigrant HCPs and HCPs of color. The study proposes various strategies to advocate for more equitable and transparent procedures, underlining the significance of diversity, equity, and inclusion in the religious exemption review process for vaccine mandates. (shrink)

ABSTRACTPeople have procedural rights because states are under a duty of political morality to provide them with fair procedures for settling disputes about the application of the laws. This obligation flows from the state's duty to treat each person as a free and equal member of the legal order. Yet adherence to procedural rights can impede accuracy in fact-finding, which in turn can result in poor protection for substantive rights. So the state also has a duty to provide a (...) reasonable degree of accuracy in fact-finding. The legal order should therefore strive to improve the accuracy of fact-finding, within the constraints imposed by procedural rights people have. Nevertheless, the duty to provide reasonably accurate procedures is subordinate to the duty to provide procedural rights because the settlement of disputes among free persons must be conducted in a manner that respects their status as free persons. (shrink)

The purpose of this study was to extend the knowledge about why procedural justice (PJ) has behavioral implications within organizations. Since prior studies show that PJ leads to legitimacy, the author suggests that, when formal regulations are unfairly implemented, they lose their validity or efficacy (becoming deactivated even if they are formally still in force). This "rule deactivation," in turn, leads to two proposed destructive work behaviors, namely, workplace deviance and decreased citizenship behaviors (OCBs). The results support this mediating role (...) of PJD, thus suggesting that it forms part of the generative mechanism through which unfair procedures influence (un) ethical behavior within organizations. The author ends the article by discussing behavioral ethics and managerial implications as well as suggestions for future research. (shrink)

This paper investigates relationships between procedural-memory, declarative-memory, and working-memory skills and adult native English speakers’ novel sound-category learning. Participants completed a sound-categorization task that required integrating two dimensions: one native (vowel quality), one non-native (pitch). Similar information-integration category structures in the visual and auditory domains have been shown to be best learned implicitly (e.g., Maddox, Ing, & Lauritzen, 2006). Thus, we predicted that individuals with greater procedural-memory capacity would better learn sound categories, because procedural memory appears to support implicit learning (...) of new information and integration of dimensions. Seventy undergraduates were tested across two experiments. Procedural memory was assessed using a linguistic adaptation of the serial-reaction-time task (Misyak, Christiansen, & Tomblin, 2010a, 2010b). Declarative memory was assessed using the logical-memory subtest of the Wechsler Memory Scale-4th edition (WMS-IV; Wechsler, 2009). Working memory was assessed using an auditory version of the reading-span task (Kane et al., 2004). Experiment 1 revealed contributions of only declarative memory to dimensional integration, which might indicate not enough time or motivation to shift over to a procedural/integrative strategy. Experiment 2 gave twice the speech-sound training, distributed over two days, and also attempted to train at the category boundary. As predicted, effects of declarative memory were removed and effects of procedural memory emerged, but, unexpectedly, new effects of working memory surfaced. The results may be compatible with a multiple-systems account in which declarative and working memory facilitate transfer of control to the procedural system. (shrink)

In this paper I aim to lay out the major aspects of a procedural, pragmatist account of objectivity in ethics. This account is “procedural” insofar as it holds that the objectivity of inquiry depends not on what the results of that inquiry are, but rather whether the proper procedure of inquiry was followed to generate the results. The account is “pragmatic” insofar as it coheres with a broader approach to ethics that conceives of ethical inquiry and progress in terms of (...) resolving problems (Roth 2010a, 2012). Why should we want this sort of account of ethical objectivity? In addition to its contribution to a larger pragmatist conception of ethical inquiry, this account has two desirable features. First .. (shrink)

In the intellectual confusion prevailing since the demise of Marxism and “marxism”, the attempt is made to define democracy as a matter of pure procedure, explicitly avoiding and condemning any reference to substantive objectives. It can easily be shown, however, that the idea of a purely procedural “democracy” is incoherent and self‐contradictory. No legal system whatsoever and no government can exist in the absence of substantive conditions which cannot be left to chance or to the workings of the “market” but (...) must be posited as objectives of political activity. The confusion results from a deficient understanding of what makes a society and an empty idea of “freedom”. The objective of politics is not happiness, an affair to be left to the individuals, but it certainly is liberty understood as participation in the governance of the polity; it is also the pursuit of the common good, defined as the sum of the prerequisites and facilitations of individual autonomy depending on collective action, and as the realization of commonly agreed collective goals. (shrink)

This paper examines how death is managed in a larger regional hospital within the Norwegian health‐care. The central focus of my paper concerns variations in how healthcare personnel enact death and handle the dead patient. Over several decades, modern standardised hospital death has come under critique in the western world. Such critique has resulted in changes in the standardisation of hospital deaths within Norwegian health‐care. In the wake of the hospice movement and with greater focus on palliative care, doors have (...) gradually been opened and relatives of the deceased are now more often invited to participate. I explore how the medical practice around death along with the procedure manual of post‐mortem care at Trondheim University Hospital has changed. I argue that in the late‐modern context, standardisation of hospital death is a multidimensional affair, embedded in a far more comprehensive framework than the depersonalised medico‐legal. In the late‐modern Norwegian hospital, interdisciplinary negotiation and co‐operation has allowed a number of different agendas to co‐exist, without any ensuing loss of the medical power holder's authority to broker death. I follow Mol's notion of praxiographic orientation of the actor–network approach while exploring this medical practice. (shrink)

A violation of procedure invariance in preference measurement is that the predominant or prominent attribute looms larger in choice than in a matching task. In Experiment 1, this so-called prominence effect was demonstrated for choices between pairs of options, choices to accept single options, and preference ratings of single options. That is, in all these response modes the prominent attribute loomed larger than in matching. The results were replicated in Experiment 2, in which subjects chose between or rated their preference (...) for pairs of options which were matched to be equally attractive either in the same session or 1 week earlier. On the basis of these and previous results, it is argued that the prominence effect is a reliable phenomenon. However, none of several cognitive explanations which have been offered appears to be completely viable. (shrink)

We consider several natural fragments of the alternating-time temporal logics ATL* and ATL with restrictions on the nesting between temporal operators and strategic quantifiers. We develop optimal decision procedures for satisfiability in these fragments, showing that they have much lower complexities than the full languages. In particular, we prove that the satisfiability problem for state formulae in the full `strategically flat' fragment of ATL* is PSPACE-complete, whereas the satisfiability problems in the flat fragments of ATL and ATL$^{+}$ are $\Sigma^P_3$-complete. (...) We note that the nesting hierarchies for fragments of ATL* collapse in terms of expressiveness above nesting depth 1, hence our results cover all such fragments with lower complexities. (shrink)

When, how, and why students use conceptual knowledge during math problem solving is not well understood. We propose that when solving routine problems, students are more likely to recruit conceptual knowledge if their procedural knowledge is weak than if it is strong, and that in this context, metacognitive processes, specifically feelings of doubt, mediate interactions between procedural and conceptual knowledge. To test these hypotheses, in two studies (Ns = 64 and 138), university students solved fraction and decimal arithmetic problems while (...) thinking aloud; verbal protocols and written work were coded for overt uses of conceptual knowledge and displays of doubt. Consistent with the hypotheses, use of conceptual knowledge during calculation was not significantly positively associated with accuracy, but was positively associated with displays of doubt, which were negatively associated with accuracy. In Study 1, participants also explained solutions to rational arithmetic problems; using conceptual knowledge in this context was positively correlated with calculation accuracy, but only among participants who did not use conceptual knowledge during calculation, suggesting that the correlation did not reflect “online” effects of using conceptual knowledge. In Study 2, participants also completed a nonroutine problem‐solving task; displays of doubt on this task were positively associated with accuracy, suggesting that metacognitive processes play different roles when solving routine and nonroutine problems. We discuss implications of the results regarding interactions between procedural knowledge, conceptual knowledge, and metacognitive processes in math problem solving. (shrink)

In a serial reaction time task, procedural memory was examined in Dissociative Identity Disorder . Thirty-one DID patients were tested for inter-identity transfer of procedural learning and their memory performance was compared with 25 normal controls and 25 controls instructed to simulate DID. Results of patients seemed to indicate a pattern of inter-identity amnesia. Simulators, however, were able to mimic a pattern of inter-identity amnesia, rendering the results of patients impossible to interpret as either a pattern of amnesia or a (...) pattern of simulation. It is argued that studies not including DID-simulators or simulation-free memory tasks, should not be taken as evidence for amnesia in DID. (shrink)

Some investigations into the algebraic constructive aspects of a decision procedure for various fragments of Relevant Logics are presented. Decidability of these fragments relies on S. Kripke's gentzenizations and on his combinatorial lemma known as Kripke's lemma that B. Meyer has shown equivalent to Dickson's lemma in number theory and to his own infinite divisor lemma, henceforth, Meyer's lemma or IDP. These investigations of the constructive aspects of the Kripke's-Meyer's decision procedure originate in the development of Paul Thistlewaite's “Kripke” theorem (...) prover that had been devised to tackle the decision problem of the Relevant Logic R. A. Urquhart's pen and paper solution that relies on a sophisticated algebraic and geometric treatment of the problem shows the usefulness of an algebraic approach in Logic. Here, the study of the constructive aspects of the Kripke-Meyer decision procedure relies on various algebraic constructive results in the theory of polynomials rings. (shrink)

This research aimed at investigating the assessment procedures for evaluating the prospective teachers' abilities, developed through the new B.Ed. /ADE curriculum in teacher education institutions of Baluchistan, this research study will also highlights the emerging problems in the use of new modern assessment procedures. The research was conducted in seven Teacher Training institutions of Baluchistan. The data was collected through the survey questionnaire, based on a pilot project, from the seven Heads of the institutions and the nine Teacher (...) Educators/school, involved in teaching different courses of B.Ed. /ADE at different semesters. Focus group discussion with head and nine teacher educators/institution was also conducted. The quantitative and qualitative data from two instruments helped in-depth understanding of the assessment procedure and the emerging problems. The results showed that teacher educators are trying to implement the new competency-based curriculum and are engaged in using interactive and innovative teaching pedagogies suggested in the new curriculum of B.Ed. / ADE program. But they feel difficulty to assess the content knowledge and skills developed among the prospective teachers through this new curriculum. Teacher educators feel difficulty in the use of modern assessment procedures. They are still focusing the paper-pencil test. Teachers lack competencies to assess students’ actual strengths and learning needs, they don’t, know how to measure cognitive, affective and psychomotor objectives. Teacher educators also face problems to make judgments on students’ learning through formative assessment. (shrink)

It is shown that there exist observablesA and Borel setsE such that the procedure “measureA and give as output the number 1 (0) if theA measurement outcome is (is not) inE” does not correspond to a measurement of the proposition observable ℰA(E) usually assigned to such procedures. This result is discussed in terms of limitations on choice powers of observers.

This article tackles the tricky problem of identifying metaphors in language that includes prepositions. We demonstrate how the Procedure for Identifying Metaphorical Scenes (PIMS) reflected and evoked by linguistic expressions in discourse, Johansson Falck & Okonski, accepted) can be used to identify metaphorical relations reflected in language. The scenes evoked correspond to conceptualizations that are directly attested by the specific linguistic constructions in the sentences under analysis. We present two studies that test the reliability of the procedure and the sensitivity (...) of the tool for prepositions. Results show that PIMS provides a simple procedure that increases both reliability and sensitivity for prepositional constructions. By focusing on the scenes evoked by linguistic constructions, the procedure highlights the contextual meanings of the constructions and the specific experiences that they code. (shrink)

This book deals with 18 voting procedures used or proposed for use in elections resulting in the choice of a single winner. These procedures are evaluated in terms of their ability to avoid paradoxical outcomes. Together with a companion volume by the same authors, Monotonicity Failures Afflicting Procedures for Electing a Single Candidate, published by Springer in 2017, this book aims at giving a comprehensive overview of the most important advantages and disadvantages of procedures thereby assisting (...) decision makers in the choice of a voting procedure that would best suit their purposes. (shrink)

This book deals with 20 voting procedures used or proposed for use in elections resulting in the choice of a single winner. These procedures are evaluated in terms of their ability to avoid five important paradoxes in a restricted domain, viz., when a Condorcet winner exists and is elected in the initial profile. Together with the two companion volumes by the same authors, published by Springer in 2017 and 2018, this book aims at giving a comprehensive overview of (...) the most important advantages and disadvantages of voting procedures thereby assisting decision makers in the choice of a voting procedure that would best suit their purposes. (shrink)

The present study investigates procedural learning of motor sequences in children with developmental coordination disorder and/or developmental dyslexia, typically-developing children and healthy adults with a special emphasis on the role of the nature of stimuli and the neuropsychological functions associated to final performance of the sequence. Seventy children and ten adults participated in this study and were separated in five experimental groups: TD, DCD, DD, and DCD + DD children and adults. Procedural learning was assessed with a serial reaction time (...) task that required to tap on a specific key as accurately and quickly as possible when stimuli appeared on the screen. Three types of stimuli were proposed as cues: the classical version of the SRTT with 4 squares aligned horizontally on the screen, giving visuospatial cues, and two modified versions, with 4 letters aligned horizontally on the screen and letters at the center of the screen. Reaction times during the repeated and random blocks allowed assessing three phases of learning: global learning, specific learning and retention of the sequence. Learning was considered as completed when RT evolved significantly in the three phases. Neuropsychological assessment involved, among other functions, memory and attentional functions. Our main result was that learning and retention were not influenced by the available cues in adults whereas learning improved with specific cues in children with or without neurodevelopmental disorders. More precisely, learning was not completed with L cues in children with neurodevelopmental disorders. For children with DD, learning was completed with the VS and VS + L cues whereas for children with DCD, learning was completed with combined VS + L cues. Comorbidity between DD and DCD had no more impact on procedural learning than DCD alone. These results suggest that learning depends on the nature of cues available during practice and that cues allowing learning and retention depend on the type of disorder. Moreover, selective attention was correlated with RT during retention, suggesting that this neuropsychological function is important for procedural learning whatever the available cues. (shrink)

The purpose of this study was to extend the knowledge about why procedural justice has behavioral implications within organizations. Since prior studies show that PJ leads to legitimacy, the author suggests that, when formal regulations are unfairly implemented, they lose their validity or efficacy. This “rule deactivation,” in turn, leads to two proposed destructive work behaviors, namely, workplace deviance and decreased citizenship behaviors. The results support this mediating role of RD, thus suggesting that it forms part of the generative mechanism (...) through which unfair procedures influence ethical behavior within organizations. The author ends the article by discussing behavioral ethics and managerial implications as well as suggestions for future research. (shrink)

Schwartz [A Procedural Condition Necessary and Sufficient for Cyclic Social Preference, J. Econ. Theory 137 (2007), 688–695] provides a generalization of the voting paradox by using the impotence‐partition condition. This paper aims to clarify his result by providing several remarks. We show that a main result of Schwartz can be strengthened by replacing strong Pareto by weak Pareto. We also discuss how the impotence partition is related to the standard concept of decisiveness, which is widely employed in the literature on (...) social choice. (shrink)

In Section 2 I give a criterion of decidability that can be applied to logics (i.e. Tarski consequence operators) without the finite model property. In Section 3 I study ukasiewicz-style refutation procedures as a method of obtaining decidability results.This method also proves to be more general than Harrop's criterion.

The advent of writing in the Greek polis administration resulted in the appointment of officials responsible for document management. These were known as grammateis (secretaries). The need for records connected to judicial proceedings led to the involvement of secretaries in the polis legal procedure. Although there remains little evidence of this, in Athens secretarial support was certainly connected with almost every use of writing in a judicial context. Secretaries appear to have received suits, published notifications of trials and recorded fines, (...) but their most well-attested duty is that of the reading of documents brought as evidence in the courtroom. The study of references to secretaries in a judicial context demonstrates that their duties were essential to the persons involved in the administration of justice. By keeping track of judicial documents secretaries helped the officials to keep accurate records for the sake of accountability, while the reading of legal texts enabled the Athenian citizen-judges to get to know verbatim the texts of the state laws and avoid manipulation by litigants who produced their own interpretations of a law. The purpose of this article is to present all the relevant cases of secretarial support in the justice system of Athens and to discuss the contribution made by the secretaries to the Athenian legal procedure. (shrink)

This study examined the efficacy of corrected feedback for improving consent recall throughout the course of an ongoing longitudinal study. Participants were randomly assigned to either a corrected feedback or a no-feedback control condition. Participants completed a consent quiz 2 weeks after consenting to the host study and at months 1, 2, and 3. The corrected feedback group received corrections to erroneous responses and the no-feedback control group did not. The feedback group displayed significantly greater recall overall and in specific (...) content areas. Results support the use of corrected feedback for improving consent recall. (shrink)

This study explores how qualitative health researchers navigate the demands of medical research ethics committees in Germany where qualitative research is subject to approval only when it is conducted in medical contexts. We present the results of a grounded theory study to investigate qualitative health researchers’ experiences with procedural ethics and the strategies they adopt to navigate its demands. Our analysis revealed six dimensions of experience and three strategies adopted by researchers to navigate the demands of medical research ethics committees. (...) All participants agreed that research ethics is of high importance in qualitative health research, but strategies to navigate the demands of medical research ethics committees ranged from avoiding, and adapting, to transforming the procedures of ethics review. Based on our findings, we provide recommendations for improving the ethics review of qualitative health research. (shrink)

N. Cartwright's recent results on invariance under intervention and causality (2003) are reconsidered. Procedural approach to causality elicited in this paper and contrasted with Cartwright's apparently philosophical one unravels certain ramifications of her results. The procedural approach seems to license only a constrained notion of intervention and in consequence the "correctness to invariance" part of Cartwright's first theorem fails for a class of cases. The converse "invariance to correctness" part of the theorem relies heavily on modeling assumptions which prove to (...) be difficult to validate in practice and are often buttressed by independently acquired evidence. (shrink)

The process dissociation procedure (PDP) of implicit sequence learning states that the correct inclusion-task response contains the incorrect exclusion-task response. However, there has been no research to test the hypothesis. The current study used a single variable (Stimulus Onset Asynchrony SOA: 850 ms vs. 1350 ms) between-subjects design, with pre-task resting-state fMRI, to test and improve the classical PDP to the mutually exclusive theory (MET). (1) Behavioral data and neuroimaging data demonstrated that the classical PDP has not been validated. In (...) the SOA = 850 ms group, the correct inclusion-task response was at chance, but the incorrect exclusion-task response occurred greater than chance. In the SOA = 850 ms group, the two responses were not correlated, but in the SOA = 1,350 ms group and putting the two groups together, the two responses were in contrast to each other. In each group, brain areas whose amplitude of low frequency fluctuations (ALFFs) in the resting-state related to the two responses were either completely different or opposite to one another. However, the results were perfectly consistent with the MET proposed by the present study which suggests that the correct inclusion-task response is equal to the correct exclusion-task response is equal toC+A1, and the incorrect exclusion-task response is equal toA2.Cdenotes the controlled response andA1andA2denote two different automatic responses. (2) The improved PDP was proposed to categorize the 12 kinds of triplets as delineating four knowledge types, namely non-acquisition of knowledge, uncontrollable knowledge, half-controllable knowledge, and controllable knowledge with the MET. ALFFs in the resting-state could predict the four knowledge types of the improved PDP among two groups. The participants’ control of the four knowledge types (degree of consciousness) gradually improved. Correspondingly, the brain areas in the resting-state positively related to the four knowledge types, gradually changed from the sensory and motor network to the somatic sensorimotor network, and then to the implicit learning network, and then to the consciousness network. The brain areas in the resting-state negatively related to the four knowledge types gradually changed from the consciousness network to the sensory and motor network. As SOA increased, the brain areas associated with almost all the four knowledge types changed. (3) The inhomogeneous hypothesis of the MET is best suited to interpret behavioral and neuroimaging data; it states that the same components among the four knowledge types are not homogeneous, and the same knowledge types are not homogeneous between the two SOA groups. (shrink)

This is a large-scale work by an outstanding Czechoslovakian scientist and philosopher on the problem of explanation in science and related issues. The approach is that of classical twentieth century philosophy of science combined with an information theoretical model. Briefly put, the communication model has three major components: the source of information, the observer, and the statements which communicate the results of cognitive activity in science. These are pictured as three blocks connected by arrows running both ways, and are called (...) A, B, and C, respectively. Hence the objects which science depicts are found in Block A, the statements made in "scientific language" about these are in Block C, and the conceptual apparatus, scientific theories and procedures are on Block B. The point of the double arrows is to emphasize the interactions between all three components of the model. (shrink)

If definitive evidence concerning treatment effectiveness becomes available from an ongoing randomized clinical trial, then the trial could be stopped early, with the public release of results benefiting current and future patients. However, stopping an ongoing trial based on accruing outcome data requires methodological rigor to preserve validity of the trial conclusions. This has led to the use of formal interim monitoring procedures, which include inefficacy monitoring that will stop a trial early when the experimental treatment appears not to (...) be working. For participants, inefficacy monitoring is especially important as it ensures that they are not being treated worse than if they had not enrolled on the trial. We discuss the importance of reporting with trial results the formal interim inefficacy monitoring guidelines that were utilized, and, if none were used, the reasons for their absence. A survey of two leading medical journals suggests that this is not current practice. (shrink)

In this dissertation, I argue that we should reframe the presentation and defense of the program of discourse ethics and deliberative democracy (DEP) in such a way that we make clear its connection to the substantive moral ideas of solidarity, equality and freedom. This program basically says that we should, when we can, determine the validity of the norms regulating our social life through practices of public deliberation. If we want to understand why engaging in public deliberation makes moral sense, (...) or is obligatory, we need to make explicit the connection between the formal procedures of deliberation and our most basic substantive moral ideas of freedom, equality and solidarity. In order to unpack this claim, I construct what I call an expressive-elaboration model of the relation between substance and procedure in public deliberation. According to this model, we should see the two dimensions as working in tandem, in such a way that deliberative procedures are understood as the medium of expression and elaboration of our basic substantive ideas of solidarity, equality and freedom. The three ideas are expressed in the fact and form of deliberation, and elaborated in their changing and specific interpretations as topics and consequences of deliberative practices. To develop this model, I start with a consideration of certain insights of Kant's moral theory, and proceed to bridge the gap between Habermas's more formalistic and Rawls's more substantive neo-Kantian accounts of practical reason. The result is a straightforwardly substantive articulation and defense of the dialogic procedures of DEP based on the recognition of the fact of widespread moral disagreement and a fundamental project of justice demanding that we deal with that condition of disagreement by constructing social arrangements in which we include each other, solidaristically, as free and equal members. This morally substantive defense of DEP referring to the fact of widespread moral disagreement and the fundamental project of justice is different from, and more compelling than, other common, formalistic and prudential defenses of DEP. (shrink)

Interval Temporal Logic is a finite-time linear temporal logic with applications in hardware verification, temporal logic programming and specification of multimedia documents. Due to the logic's non-elementary complexity, efficient ITL-based verification tools have been difficult to develop, even for propositional subsets. MONA is an efficient implementation of an automata-based decision procedure for the logic WS1S. Despite the non-elementary complexity of WS1S, MONA has been successfully applied in problems such as hardware synthesis, protocol verification and theorem proving. Here we consider a (...) rich propositional subset of ITL, PITL, whose expressive power is equivalent to that of WS1S, and in turn to that of regular languages. PITL not only includes operators such as chop, star and projection, but also past operators such as previous, chop in the past and since. We provide an interpretation of PITL formulas in WS1S, which led us to a direct translation from PITL formulas to MONA specifications. We present the tool PITL2MONA as an implementation of such translation. With PITL2MONA acting as a front-end, MONA is used as a decision procedure for PITL. To our knowledge, this is one of the few implementations of a decision procedure for PITL, the first one based on automata, and the only one which handles both projection and past operators. We have tested our implementation on a number of examples; we show in this paper the application of PITL and its MONA-based decision procedure in solutions to the dining-philosophers and a multimedia synchronisation problem, together with some experimental results on these and some other examples. (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)

The automation of many repetitive or dangerous human activities yields numerous advantages. In order to automate a physical task that requires a finite series of sequential steps, the translation of those steps in terms of a computational procedure is often required. Even apparently menial tasks like following a cooking recipe may involve complex operations that can’t be perfectly described in formal terms. Recently, several studies have explored the possibility to model cooking recipes as a computational procedure based on a set (...) of instructions. This vision is the foundation for the construction of robotics kitchen, as Moley. These kitchen robots have shown promising results. Moley, for instance, is the very first example of a new generation of bioinspired robotics, based on the reproduction of particular movement, cooking, through artificial arms and hands. It is entirely different from the current appliances present in our domestic domain because Moley is able to manipulate ingredients and interact with kitchen equipment in order to prepare a dish autonomously. Nonetheless, they have also shown several limitations. In particular, Moley is an entirely autonomous robot in a structured environment in which it knows precisely the object position and manipulates the ingredients based on a list of instructions and a training phase made by Machine Learning. In this contribution we contend that these limitations arise from an essential mismatch between computational procedures, as originally described by Turing in his seminal 1936 paper, and recipes. Computational procedures have been originally created to observe and modify formal symbols with formal operators. Thus, they are independent from time and they are ideally executed in a closed environment, in which the computer directly produces all the relevant changes required to produce the intended result. Recipes, instead, are followed in an open environment, in which, while time goes by, changes happen independently from the cook’s intervention: the cook puts the butter on the pan, starts the fire and then waits until the butter is melted. To operate effectively in the open environment a kitchen robot must couple computational procedures with sensors, e.g a sensor which provides a time signal. These sensors are de facto oracles for the procedures and yet are required to bridge the gap from the formal to the physical world. (shrink)

Grammar logics were introduced by Fariñas del Cerro and Penttonen in 1988 and have been widely studied. In this paper we consider regular grammar logics with converse ( REG c logics) and present sound and complete tableau calculi for the general satisfiability problem of REG c logics and the problem of checking consistency of an ABox w.r.t. a TBox in a REG c logic. Using our calculi we develop ExpTime (optimal) tableau decision procedures for the mentioned problems, to which (...) various optimization techniques can be applied. We also prove a new result that the data complexity of the instance checking problem in REG c logics is coNP-complete. (shrink)

Withdrawal is an act by which a member state of an international organization willingly terminates its membership. The right to withdraw from international organizations is explicitly mentioned in the constitutions of most of them and the circumstances regarding to the right of withdrawal vary depending on the organization. The purpose of this paper is to explain the right and procedures of withdrawal, and the reasons that result with the will of states to withdraw from international organizations. For the realization (...) of this research are used qualitative methods, based on the bibliography that is related to international organizations, with special emphasis with the right and procedures of the withdrawal of states from international organizations. Furthermore, some informations are also collected from the credible internet sources, which have valuable data about the withdrawals of states from international organizations and the reasons that result with such decisions. The results of the research have shown that since the appearance of international organizations until today, there were and there are decisions of states to withdraw from international organizations, coming from the reluctance of states to hand over to international organizations parts of their sovereignty. The conclusions of this paper aim to increase knowledge about the real meaning of the processes of withdrawals of states from international organizations. (shrink)

This paper introduces Basic Intuitionistic Set Theory BIST, and investigates it as a first-order set theory extending the internal logic of elementary toposes. Given an elementary topos, together with the extra structure of a directed structural system of inclusions on the topos, a forcing-style interpretation of the language of first-order set theory in the topos is given, which conservatively extends the internal logic of the topos. This forcing interpretation applies to an arbitrary elementary topos, since any such is equivalent to (...) one carrying a dssi. We prove that the set theory BIST+Coll is sound and complete relative to forcing interpretations in toposes with natural numbers object . Furthermore, in the case that the structural system of inclusions is superdirected, the full Separation schema is modelled. We show that all cocomplete and realizability toposes can be endowed with such superdirected systems of inclusions.A large part of the paper is devoted to an alternative notion of category-theoretic model for BIST, which, following the general approach of Joyal and Moerdijkʼs Algebraic Set Theory, axiomatizes the structure possessed by categories of classes compatible with BIST. We prove soundness and completeness results for BIST relative to the class-category semantics. Furthermore, BIST+Coll is complete relative to the restricted collection of categories of classes given by categories of ideals over elementary toposes with nno and dssi. It is via this result that the completeness of the original forcing interpretation is obtained, since the internal logic of categories of ideals coincides with the forcing interpretation. (shrink)