Clinical psychology is characterized by persistent disagreement about fundamental aspects of the discipline ranging from what mental disorders are to what constitutes effective treatment. Attempts to address the problem of epistemic disagreement have been frequently based on establishing the correct answer by fiat without identifying and addressing the sources of the disagreement. We argue that this strategy has not worked very well and the result is frequently ongoing and intractable disagreement, with each side in an argument convinced they are correct. (...) In this paper, we outline an epistemic disagreement procedural model intended to assist researchers and clinicians in the field of clinical psychology to identify, explore, and develop inquiry strategies that capitalize on situations where competing knowledge claims are made. The result is a flexible conceptual framework committed to a defensible epistemic pluralism, fallibilism, and contextualism, across the various research tasks constituting the field of clinical psychology. (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)

This paper addresses the field of economic measurements of the value of assets, carried out by the methods of independent expert evaluation. The mathematical principles of application, within a comparative methodical approach, of additive and multiplicative models for correcting the cost of single indicator of compared objects have been considered. The differences of mathematical basis of the compared models were analyzed. It has been shown that the ambiguity in the methodology of correction procedure requires studying the advantages and (...) disadvantages of known models, as well as the justification and elaboration of recommendations for their application. Possible forms of correction representation using several alternative units of measurement have been defined; formulas for their interconnection have been built. Analytic expressions have been derived that mathematically describe the algorithms for performing the evaluation correction procedure using various forms of correction representation. The influence of the correction execution model on the characteristics of uncertainty in the independent evaluation result has been analyzed. The scope of two possible types of correction introduction models has been determined. A specific numerical example was used to demonstrate the methodological advantages of using a multiplicative model when summarizing percentage corrections. The independence of the correction result on the sequence of correction introduction has been confirmed. It is proposed to use the selected measure of partial corrections as a criterion for the adequacy of the correction introduction model. It is proved that the result of the independent expert evaluation depends on the chosen model and does not depend on the sequence of correction introduction. The reported study results are important in terms of theory and practice since they make it possible to improve the accuracy and reliability of the result of independent expert evaluation. (shrink)

This paper takes up the challenge which Carnap poses in his Aufbau: to make of it a basis for continued epistemological research. I try to close some gaps in Carnap’s original presentation and to make at least the first few steps of his constructional outline more accessible to the modern reader. Particularly emphasized is Carnap’s implicit recognition that, to be effective, “structural” models of epistemology (using logical symbols) must be complemented with “procedural” models (his “fictitious operations”). The (...) paper shows how a procedural model, a computer program,can “bypass” Nelson Goodman’s counter example to Carnap’s logical construction of “similarity circles”. (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)

This article discusses Sven Ove Hansson’s corpus model for the influence of values (in particular, non-epistemic ones) in the hypothesis acceptance/rejection phase of scientific inquiry. This corpus model is based on Hansson’s concepts of scientific corpus and science ‘in the large sense’. I first present Hansson’s corpus model of value influence with some introductory comments about its origins, a detailed presentation of the model with a new terminology, an analysis of its limits, and an appreciation of its handling of controversial (...) non-epistemic values. I conclude that it is a very good candidate for managing value influence, because contrary to other models in the literature it is fairly simple, it provides a universal and systematic procedure for dealing with values, and it syste- matically preserves the epistemic integrity of science. I then study some difficulties associated with the model’s central feature of taking the maximum level of evidence required by the applications of a claim in order for the latter to enter the scientific corpus: the difficulty to identify this maximum requirement; the non-optimality of this requirement with respect to other less demanding requirements; the potentially detrimental consequences of the preference for false negatives over false positives on which it relies; and the issue of whether there can nevertheless be requirements higher than this maximum. I show that these issues may potentially challenge the corpus model. Finally, I call for empirical work (in particular, an investigation of scientists’ and engineers’ own normative views) in order to better assess these issues. (shrink)

I examine two explanatory models of choking: the representationalist model and the anti-representationalist model. The representationalist model is based largely on Anderson's ACT model of procedural knowledge and is developed by Masters, Beilock and Carr. The antirepresentationalist model is based on dynamical models of cognition and embodied action and is developed by Dreyfus who employs an antirepresentational view of know-how. I identify the models' similarities and differences. I then suggest that Dreyfus is wrong to believe representational (...) activity requires reflection and attention. I also argue that the representationalist model of choking is preferable, since some embodied actions require appeals to representations, something not available to Dreyfus's anti-representational model. (shrink)

We discuss potential biorisks from large language models (LLMs). AI assistants based on LLMs such as ChatGPT have been shown to significantly reduce barriers to entry for actors wishing to synthesize dangerous, potentially novel pathogens and chemical weapons. The harms from deploying such bioagents could be further magnified by AI-assisted misinformation. We endorse several policy responses to these dangers, including prerelease evaluations of biomedical AIs by subject-matter experts, enhanced surveillance and lab screening procedures, restrictions on AI training data, and (...) access controls on biomedical AI. We conclude with a suggestion about future research directions in bioethics. (shrink)

In this paper, we outline a comprehensive approach to composed analogies based on the theory of conceptual spaces. Our algorithmic model understands analogy as a search procedure and builds upon the idea that analogical similarity depends on a conceptual phenomena called ‘dimensional salience.’ We distinguish between category-based, property-based, event-based, and part-whole analogies, and propose computationally-oriented methods for explicating them in terms of conceptual spaces.

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 2010s were a golden age of information privacy research, but its policy accomplishments tell a mixed story. Despite significant progress on the development of privacy theory and compelling demonstrations of the need for privacy in practice, real achievements in privacy law and policy have been, at best, uneven. In this chapter, I outline three broad shifts in the way scholars (and, to some degree, advocates and policy makers) are approaching privacy and social media. First, a change in emphasis from (...) individual to structural approaches. Second, increasing attention to the political economy of privacy—especially the business models of information companies, such as social media platforms. And third, a deeper understanding of privacy’s role in a healthy digital public sphere. (shrink)

This dissertation examines aspects of the interplay between computing and scientific practice. The appropriate foundational framework for such an endeavour is rather real computability than the classical computability theory. This is so because physical sciences, engineering, and applied mathematics mostly employ functions defined in continuous domains. But, contrary to the case of computation over natural numbers, there is no universally accepted framework for real computation; rather, there are two incompatible approaches --computable analysis and BSS model--, both claiming to formalise algorithmic (...) computation and to offer foundations for scientific computing. -/- The dissertation consists of three parts. In the first part, we examine what notion of 'algorithmic computation' underlies each approach and how it is respectively formalised. It is argued that the very existence of the two rival frameworks indicates that 'algorithm' is not one unique concept in mathematics, but it is used in more than one way. We test this hypothesis for consistency with mathematical practice as well as with key foundational works that aim to define the term. As a result, new connections between certain subfields of mathematics and computer science are drawn, and a distinction between 'algorithms' and 'effective procedures' is proposed. -/- In the second part, we focus on the second goal of the two rival approaches to real computation; namely, to provide foundations for scientific computing. We examine both frameworks in detail, what idealisations they employ, and how they relate to floating-point arithmetic systems used in real computers. We explore limitations and advantages of both frameworks, and answer questions about which one is preferable for computational modelling and which one for addressing general computability issues. -/- In the third part, analog computing and its relation to analogue (physical) modelling in science are investigated. Based on some paradigmatic cases of the former, a certain view about the nature of computation is defended, and the indispensable role of representation in it is emphasized and accounted for. We also propose a novel account of the distinction between analog and digital computation and, based on it, we compare analog computational modelling to physical modelling. It is concluded that the two practices, despite their apparent similarities, are orthogonal. (shrink)

This paper updates (2017) a previously-presented* model of models, which can be used to clarify discussion and analysis in a variety of disputes and debates, since many such discussions hinge on displaying or implying models about how things are related. Knowing about models does not itself supply any new information about our world, but it might help us to recognize when and how information is being conveyed on these matters, or where possibly it is being obscured. If (...) a claim P is expressed in the context of a certain model, a disagreement about P may actually not be about whether the underlying model is accurate; it could reflect misunderstandings about the model’s assumptions or conventions. Also, in practice, constructed models are rarely fully elaborated for every detail, so misunderstandings can arise from apparent “gaps” in the model. In that case, developing and considering complementary versions of models can sometimes clarify ambiguities. Following the main analysis are several extended Case examples to illustrate the wide applicability of the models approach, for clarifying, if not necessarily “resolving”, numerous debates and issues. For example, a famous “counter example” by Nelson Goodman to a logical model proposed by Carnap is shown to be not as deal-breaking as presumed historically, if only plausible complementary models had been explored. And models sometimes presented as competing in Artificial Intelligence research— “Declarative” versus “Procedural”—can instead be viewed as good examples of “complementary” models. Also reconsidered in this light are some well-known, competing positions, by Russell, Strawson, and Kripke, in the literature regarding names, pointing, definite descriptions and “using” sentences, and so on. All these concepts are locatable within the presently proposed models analysis. Questions such as where “truth” resides (whether in sentences or in uses of sentences) are not settled in this paper; yet, practical questions about how testable claims about the world can be expressed by models are clarified. _* Original version presented at a University of Waterloo Philosophy Colloquium 1984. (shrink)

In the last decade, the UK Government has attempted to implement improved processes and procedures in modelling and analysis in response to the Laidlaw report of 2012 and the Macpherson review of 2013. The Laidlaw report was commissioned after failings during the Intercity West Coast Rail (ICWC) Franchise procurement exercise by the Department for Transport (DfT) that led to a legal challenge of the analytical models used within the exercise. The Macpherson review looked into the quality assurance of Government (...) analytical models in the context of the experience with the Intercity West Coast franchise competition. This paper examines what progress has been made in the 8 years since the Laidlaw report in model building and best practise in government and proposes several recommendations for ways forward. This paper also discusses the Lords Science and Technology Committees of June 2020 that analysed the failings in the modelling of COVID. Despite going on to influence policy, many of the same issues raised within the Laidlaw and Macpherson Reports were also present in the Lords Science and Technology Committee enquiry. We examine the technical and organisational challenges to progress in this area and make recommendations for a way forward. (shrink)

We call for a new philosophical conception of models in physics. Some standard conceptions take models to be useful approximations to theorems, that are the chief means to test theories. Hence the heuristics of model building is dictated by the requirements and practice of theory-testing. In this paper we argue that a theory-driven view of models can not account for common procedures used by scientists to model phenomena. We illustrate this thesis with a case study: the construction (...) of one of the first comprehensive model of superconductivity by London brothers in 1934. Instead of theory-driven view of models, we suggest a phenomenologically-driven one. (shrink)

What can contemporary machine learning (ML) models do? Given the proliferation of ML models in society, answering this question matters to a variety of stakeholders, both public and private. The evaluation of models' capabilities is rapidly emerging as a key subfield of modern ML, buoyed by regulatory attention and government grants. Despite this, the notion of an ML model possessing a capability has not been interrogated: what are we saying when we say that a model is able (...) to do something? And what sorts of evidence bear upon this question? -/- In this paper, we aim to answer these questions, using the capabilities of large language models (LLMs) as a running example. Drawing on the large philosophical literature on abilities, we develop an account of ML models' capabilities which can be usefully applied to the nascent science of model evaluation. Our core proposal is a conditional analysis of model abilities (CAMA): crudely, a machine learning model has a capability to X just when it would reliably succeed at doing X if it 'tried'. The main contribution of the paper is making this proposal precise in the context of ML, resulting in an operationalisation of CAMA applicable to LLMs. We then put CAMA to work, showing that it can help make sense of various features of ML model evaluation practice, as well as suggest procedures for performing fair inter-model comparisons. (shrink)

A semantics is presented for Storrs McCall's separate axiomatizations of Aristotle's accepted and rejected polysyllogisms. The polysyllogisms under discussion are made up of either assertoric or apodeictic propositions. The semantics is given by associating a property with a pair of sets: one set consists of things having the property essentially and the other of things having it accidentally. A completeness proof and a semantic decision procedure are given.

In recent decades, the intertwining ideas of self-determination and well-being have received tremendous support in bioethics. Discussions regarding self-determination, or autonomy, often focus on two dimensions—the capacity of the patient and the freedom from external coercion. The practice of obtaining informed consent, for example, has become a standard procedure in therapeutic and research medicine. On the surface, it appears that patients now have more opportunities to exercise their self-determination than ever. Nonetheless, discussions of patient autonomy in the bioethics literature, which (...) focus on individual patients making particular decisions, neglect the social structure within which health-care decisions are made. Looking through the lens of disability and informed by the feminist conception of relational autonomy, this essay argues that the issue of autonomy is much more complex than the individualist model suggests. The social system and the ableist ideology impose various forms of pressure or oppressive power that can affect people’s ability to choose according to their value system. Even if such powers are not directly coercive, they influence potential parents’ decisions indirectly—they structure their alternatives in such a way that certain options are never considered as viable and other decisions must be made. This paper argues that, instead of only focusing on the individual act of decision-making, we need to pay attention to the social structure that frames people’s decision. (shrink)

After presenting Kripke’s criticism to Frege’s ideas on context dependence of thoughts, I present two recent attempts of considering cognitive aspects of context dependent expressions inside a truth conditional pragmatics or semantics: Recanati’s non-descriptive modes of presentation (MOPs) and Kaplan’s ways of having in mind (WHIMs). After analysing the two attempts and verifying which answers they should give to the problem discussed by Kripke, I suggest a possible interpretation of these attempts: to insert a procedural or algorithmic level in (...) semantic representations of indexicals. That a function may be computed by different procedures might suggest new possibilities of integrating contextual cognitive aspects in model theoretic semantic. (shrink)

I argue that dimensional analysis provides an answer to a skeptical challenge to the theory of model mediated measurement. The problem arises when considering the task of calibrating a novel measurement procedure, with greater range, to the results of a prior measurement procedure. The skeptical worry is that the agreement of the novel and prior measurement procedures in their shared range may only be apparent due to the emergence of systematic error in the exclusive range of the novel measurement procedure. (...) Alternatively: what if the two measurement procedures are not in fact measuring the same quantity? The theory of model mediated measurement can only say that we _assume_ that there is a common quantity. In contrast, I show that the satisfaction of dimensional homogeneity across the metrological extension is independent evidence for the so-called assumption. This is illustrated by the use of dimensional analysis in high pressure experiments. This results in an extension of the theory of model mediated measurement, in which a common quantity in metrological extension is no longer assumed, but hypothesized. (shrink)

By pure calculus of names we mean a quantifier-free theory, based on the classical propositional calculus, which defines predicates known from Aristotle’s syllogistic and Leśniewski’s Ontology. For a large fragment of the theory decision procedures, defined by a combination of simple syntactic operations and models in two-membered domains, can be used. We compare the system which employs `ε’ as the only specific term with the system enriched with functors of Syllogistic. In the former, we do not need an empty (...) name in the model, so we are able to construct a 3-valued matrix, while for the latter, for which an empty name is necessary, the respective matrices are 4-valued. (shrink)

Assuming that votes are independent, the epistemically optimal procedure in a binary collective choice problem is known to be a weighted supermajority rule with weights given by personal log-likelihood-ratios. It is shown here that an analogous result holds in a much more general model. Firstly, the result follows from a more basic principle than expected-utility maximisation, namely from an axiom (Epistemic Monotonicity) which requires neither utilities nor prior probabilities of the ‘correctness’ of alternatives. Secondly, a person’s input need not be (...) a vote for an alternative, it may be any type of input, for instance a subjective degree of belief or probability of the correctness of one of the alternatives. The case of a profile of subjective degrees of belief is particularly appealing, since here no parameters such as competence parameters need to be known. (shrink)

A growing body of recent work in informal logic investigates the process of argumentation. Among other things, this work focuses on the ways in which individuals attempt to understand written or verbalised arguments in light of the fact that these are often presented in forms that are incomplete and unmarked. One of its aims is to develop general procedures for natural language argument recognition and reconstruction. Our aim here is to draw on this growing body of knowledge in informal logic (...) in order to take preliminary steps towards developing an architecture for computer systems that are able to recognise and reconstruct natural language arguments. This architecture aims to structure research of an applied and computational nature that strives to implement linguistic systems of various sorts, and to analyse problems in a way that both yields manageable and relatively independent components and also highlights how implementations can interact with existing resources from natural language processing. (shrink)

The practice of thought experimentation plays a central role in contemporary philosophical methodology. Many philosophers rely on thought experimentation as their primary and even sole procedure for testing theories about the natures of properties and relations. This test procedure involves entertaining hypothetical cases in imaginative thought and then undergoing intuitions about the distribution of properties and relations in them. A theory’s comporting with an intuition is treated as evidence in favour of it; but a clash is treated as evidence against (...) the theory and may even be regarded as falsifying it. -/- The epistemic power of thought experimentation is mysterious. How can experiments carried out within the mind enable us to discover truths about the natures of properties and relations like knowledge, causation, personal identity, reference, meaning, consciousness, beauty, justice, morality, and free will? This epistemological challenge is urgent, but a model of philosophical thought experimentation would seem to be a necessary propaedeutic to any serious discussion of it. An adequate model would make the relevant test procedure explicit, thereby assisting in the identification of points of potential epistemic vulnerability. -/- In this monograph I advance the propaedeutical model-building work already done by Timothy Williamson, Anna-Sara Malmgren, and Jonathan Ichikawa and Benjamin Jarvis. Following the lead of these philosophers, I focus on a single Gettier-style thought experiment and the problem of identifying the real content of the Gettier intuition. My first contribution is to establish the inadequacy of all of the existing models. Each of them, I argue, fails to solve the content problem. It emerges from my discussion, however, that Ichikawa and Jarvis’s truth in fiction approach holds out the prospect of a solution. -/- My second contribution is to develop and defend a new way of implementing the general idea behind the truth in fiction approach. The model I put forward does a better overall job of modelling Gettier-style thought experiments than any of the existing models. It has none of the defects which render those models inadequate and Iam unable to find any major defects peculiar to it. This should make us feel confident that my model is adequate. Moreover, since the Gettier-style thought experiment I focus on is paradigmatic, we should also feel confident that my model will generalise naturally to other philosophical thought experiments. (shrink)

Could the employment of large language models (LLMs) in place of human advisors improve the problem-solving ability of democratic assemblies? LLMs represent the most significant recent incarnation of artificial intelligence and could change the future of democratic governance. This paper assesses their potential to serve as expert advisors to democratic representatives. While LLMs promise enhanced expertise availability and accessibility, they also present specific challenges. These include hallucinations, misalignment and value imposition. After weighing LLMs’ benefits and drawbacks against human advisors, (...) I argue that time-tested democratic procedures, such as deliberation and aggregation by voting, provide safeguards that are effective against human and machine advisor shortcomings alike. Additional protective measures may include custom training for advisor LLMs or boosting representatives’ competencies in query formulation. Implementation of adversarial proceedings in which LLM advisors would debate each other and provide dissenting opinions is likely to yield further epistemic benefits. Overall, promising interventions that would mitigate the LLM risks appear feasible. Machine advisors could thus empower human decision-makers to make more autonomous, higher-quality decisions. On this basis, I defend the hypothesis that LLMs’ careful integration into policymaking could augment democracy’s ability to address today’s complex social problems. (shrink)

This is a defense of Rawls against recent criticism, ironically my own, though it is also a critique insofar as it addresses a problem that Rawls never does. As a defense, it is not a retraction of the original charges. As a critique, it is not more of the same op-position. In either capacity, it is not an afterthought. The charges were conceived from the outset with a specific solution in mind, which would have been too distracting to pursue in (...) the same article. This is that solution. It also highlights the problem. The original charges were that Rawls’s decision procedure for ethics does not justify his own moral principles, namely his principles of justice, and that the underlying problem may well keep the decision procedure from justifying any moral principles whatsoever, or at least any normatively useful ones. The underlying problem was, and still is, the model’s inherent universalism, which is built into the decision procedure through design specifications precluding relativism, yet only at the cost of limiting the relevant moral principles to generalities that are already widely accepted, thereby render-ing the procedure at best redundant and very likely vacuous as an ethical justification model. These difficulties are manifested in the work of Rawls as the dogmatism of champi-oning a distinctive conception of justice, a liberal one as he himself calls it, through a justification model that is too universalistic to permit such a bias and possibly also too universalistic to permit any substantive conclusions at all. The solution contemplated here is to position the decision procedure as a dynamic justification model responsive to moral progress, as opposed to a static one indifferent to such progress and equally open to all moral input, thus removing the inconsistency between the universalistic design and any distinctive or controversial principles, including the ones Rawls himself recommends, so long as they are consistent with moral progress. (shrink)

John Rawls is famous for two things: his attempt to ground morality in rationality and his conception of justice as fairness. He has developed and polished both in conjunction over the course of half a century. Yet the moral principles he advocates have always been more doctrinaire than the corresponding justification model should have ever allowed with design details explicitly promising objectivity. This article goes to the beginning, or to a reasonable proxy for it, in the “Outline of a Decision (...) Procedure for Ethics,” with the aim of exposing and examining the discrepancy where it originates. The goal is not to prey on the earliest version of an initiative later undergoing revision but to identify and investigate the inception of a systematic bias that is retained rather than revised in subsequent iterations. (shrink)

In this article I give a critical evaluation of the use and limitations of null-model-based hypothesis testing as a research strategy in the biological sciences. According to this strategy, the null model based on a randomization procedure provides an appropriate null hypothesis stating that the existence of a pattern is the result of random processes or can be expected by chance alone, and proponents of other hypotheses should first try to reject this null hypothesis in order to demonstrate their own (...) hypotheses. Using as an example the controversy over the use of null hypotheses and null models in species co-occurrence studies, I argue that null-model-based hypothesis testing fails to work as a proper analog to traditional statistical null-hypothesis testing as used in well-controlled experimental research, and that the random process hypothesis should not be privileged as a null hypothesis. Instead, the possible use of the null model resides in its role of providing a way to challenge scientists’ commonsense judgments about how a seemingly unusual pattern could have come to be. Despite this possible use, null-model-based hypothesis testing still carries certain limitations, and it should not be regarded as an obligation for biologists who are interested in explaining patterns in nature to first conduct such a test before pursuing their own hypotheses. (shrink)

Decision theory has had a long-standing history in the behavioural and social sciences as a tool for constructing good approximations of human behaviour. Yet as artificially intelligent systems (AIs) grow in intellectual capacity and eventually outpace humans, decision theory becomes evermore important as a model of AI behaviour. What sort of decision procedure might an AI employ? In this work, I propose that policy-based causal decision theory (PCDT), which places a primacy on the decision-relevance of predictors and simulations of agent (...) behaviour, may be such a procedure. I compare this account to the recently-developed functional decision theory (FDT), which is motivated by similar concerns. I also address potentially counterintuitive features of PCDT, such as its refusal to condition on observations made at certain times. (shrink)

This study was a Persian-English comparative translation investigation on the selected poems of Forough- Farrokhzad, an influential contemporary Iranian poet. Two English translations were analyzed: one by a native Persian speaker, Sholeh Wolpé, an Iranian poet and translator, and the other by a non-native Persian speaker, Jascha Kessler, an American poet, writer and translator. The translations were reviewed according to Vinay and Darbelnet’s(1995) model which identifies two general translation strategies: direct and oblique, resembling literal versus free classifications, respectively, along with (...) their supplementary proce- dures in order to investigate the frequency of the application of each procedure by the two translators. After situating every line of the poems in the related categories, the number of times each procedure was em- ployed was examined. The findings indicated that both translators used the oblique strategy more than the direct one. The non-native translator, however, used the oblique strategy considerably more frequently com- pared to the native translator. Finally, new procedures called complementary procedures were proposed by the researchers to be added to Vinay and Darbelnet’s (1995) model in order to fill the gaps in the application of strategies and procedures to the poems of Forough Farrokhzad and probably other poems. (shrink)

One of the main motivations for having a compositional semantics is the account of the productivity of natural languages. Formal languages are often part of the account of productivity, i.e., of how beings with finite capaci- ties are able to produce and understand a potentially infinite number of sen- tences, by offering a model of this process. This account of productivity con- sists in the generation of proofs in a formal system, that is taken to represent the way speakers grasp (...) the meaning of an indefinite number of sentences. The informational basis is restricted to what is represented in the lexicon. This constraint is considered as a requirement for the account of productivity, or at least of an important feature of productivity, namely, that we can grasp auto- matically the meaning of a huge number of complex expressions, far beyond what can be memorized. However, empirical results in psycholinguistics, and especially particular patterns of ERP, show that the brain integrates informa- tion of different sources very fast, without any felt effort on the part of the speaker. This shows that formal procedures do not explain productivity. How- ever, formal models are still useful in the account of how we get at the seman- tic value of a complex expression, once we have the meanings of its parts, even if there is no formal explanation of how we get at those meanings. A practice-oriented view of modeling gives an adequate interpretation of this re- sult: formal compositional semantics may be a useful model for some ex- planatory purposes concerning natural languages, without being a good model for dealing with other explananda. (shrink)

In discussion on consciousness and the hard problem, there is an unquestioned background assumption, namely, our experience is stored in the brain. Yet Bergson (1896) argued that this very question, “Is experience stored in the brain?” is the critical issue in the problem of consciousness. His examination of then-current memory research led him, save for motor or procedural memory, to a “no” answer. Others, for example Sheldrake (2012), have continued this negative assessment of the research findings. So, has this (...) assumption actually been proven since Bergson? Do we know how experience is stored? Or that it is stored? Here, a recent review and model of memory is examined to see where this assumption actually stands. Again, the assessment will be that nothing has changed. The core of the problem, it will be argued, lies in two things: Firstly, the search for how/where experience is stored is motivated – rephrasing Bergson – in the classic metaphysic, a framework on space and time whose logic cannot be coherently, logically adhered to in attempting to explain how experience is stored. Secondly, the search generally assumes an inadequate theory of perception that is implicitly based in this classic metaphysic. If framed within Bergson’s model of perception and his temporal metaphysic, conjoined with J. J. Gibson’s model, the storage-search appears misguided from the start. (shrink)

According to our understanding of the everyday physical world, observable phenomena are underpinned by persistent objects that can be reidentified across time by observation of their distinctive properties. This understanding is reflected in classical mechanics, which posits that matter consists of persistent, reidentifiable particles. However, the mathematical symmetrization procedures used to describe identical particles within the quantum formalism have led to the widespread belief that identical quantum particles lack either persistence or reidentifiability. However, it has proved difficult to reconcile these (...) assertions with the fact that identical particles are routinely assumed to be reidentifiable in particular circumstances. For example, when two electrons move through a bubble chamber, each is said to generate a sequence of bubbles that is caused by one and the same particle. Moreover, neither of these assertions accounts for the mathematical form of the symmetrization procedures used to describe identical particles within the quantum framework, leaving open theoretical possibilities other than bosonic and fermionic behavior, such as paraparticles, which do not appear to be realized in nature. Here we propose the novel idea that both persistence and nonpersistence models must be employed in order to fully account for the behaviour of identical particles. Thus, identical particles are neither persistent nor nonpersistent. We prove the viability of this viewpoint by showing how Feynman's and Dirac's symmetrization procedures arise through a synthesis of a quantum treatment of these models, and by showing how reidentifiability emerges in a context-dependent manner. We further show that the persistence and nonpersistence models satisfy the key characteristics of Bohr's concept of complementarity, and thereby propose that the behavior of identical particles is a manifestation of a persistence-nonpersistence complementarity, analogous to Bohr's wave-particle complementarity for individual particles. Finally, we construct a precise parallel between these two complementarities, and detail their conceptual similarities and dissimilarities. (shrink)

We describe a method, based on Jennifer Nado’s proposal for classification procedures as targets of conceptual engineering, that implements such procedures by prompting a large language model. We apply this method, using data from the Wikidata knowledge graph, to evaluate stipulative definitions related to two paradigmatic conceptual engineering projects: the International Astronomical Union’s redefinition of PLANET and Haslanger’s ameliorative analysis of WOMAN. Our results show that classification procedures built using our approach can exhibit good classification performance and, through the generation (...) of rationales for their classifications, can contribute to the identification of issues in either the definitions or the data against which they are being evaluated. We consider objections to this method, and discuss implications of this work for three aspects of theory and practice of conceptual engineering: the definition of its targets, empirical methods for their investigation, and their practical roles. The data and code used for our experiments, together with the experimental results, are available in a Github repository. . (shrink)

In discussion on consciousness and the hard problem, there is an unquestioned background assumption, namely, our experience is stored in the brain. Yet Bergson argued that this very question, “Is experience stored in the brain?” is the critical issue in the problem of consciousness. His examination of then-current memory research led him, save for motor or procedural memory, to a “no” answer. Others, for example Sheldrake, have continued this negative assessment of the research findings. So, has this assumption actually (...) been proven since Bergson? Do we know how experience is stored? Or that it is stored? Here, a recent review and model of memory is examined to see where this assumption actually stands. Again, the assessment will be that nothing has changed. The core of the problem, it will be argued, lies in two things: Firstly, the search for how/where experience is stored is motivated—rephrasing Bergson—in the classic metaphysic, a framework on space and time whose logic cannot be coherently, logically adhered to in attempting to explain how experience is stored. Secondly, the search generally assumes an inadequate theory of perception that is implicitly based in this classic metaphysic. If framed within Bergson’s model of perception and his temporal metaphysic, conjoined with J. J. Gibson’s model, the storage-search appears misguided from the start. (shrink)

Currently available systems of action deontic logic are not designed to model procedures to assess the conduct of an agent which take into account the intentions of the agent and the circumstances in which she is acting. Yet, procedures of this kind are essential to determine what counts as culpable not doing. In light of this, we design an action logic, AL, in which it is possible to distinguish actions that are objectively possible for an agent, viz. there are no (...) objective impediments for the agent to do them, and actions that, besides being objectively possible, are compatible with the setting or intentions of the agent. (shrink)

An important part of the Unified Medical Language System (UMLS) is its Semantic Network, consisting of 134 Semantic Types connected to each other by edges formed by one or more of 54 distinct Relation Types. This Network is however for many purposes overcomplex, and various groups have thus made attempts at simplification. Here we take this work further by simplifying the relations which involve the three Semantic Types – Diagnostic Procedure, Laboratory Procedure and Therapeutic or Preventive Procedure. We define operators (...) which can be used to generate terms instantiating types from this selected set when applied to terms designating certain other Semantic Types, including almost all the terms specifying clinical tasks. Usage of such operators thus provides a useful and economical way of specifying clinical tasks. The operators allow us to define a mapping between those types within the UMLS which do not represent clinical tasks and those which do. This mapping then provides a basis for an ontology of clinical tasks that can be used in the formulation of computer-interpretable clinical guideline models. (shrink)

The conceptual model of United Nations reform - "UN 3.0" includes the General Program of Action on UN Reform, consisting of two stages. The first stage for 2020-2025 envisages the transformation of the main organs of the UN - the General Assembly and the Security Council with measures to improve the effectiveness of the management system, address the "veto problem", problem of financing, improve staff work and administrative and financial control, strengthen UN media, improvement of work with the global civil (...) society. The General Assembly is converted into the General All-Parliamentary Assembly of the UN. In the structure of the Assembly, the Council for Law is being established, which coordinates the activities of UN structures in the field of law. To coordinate the activities of the UN in the field of human rights and civil society, ethical issues, the General all-parliamentary Assembly creates the Council on ethics, human rights and civil society and transforms the Committee on information into the Council on public information and communication with civil society. The structure of the Council includes all UN media. The reform of the UN Security Council is carried out in three sub-stages. At the 1st sub-stage (2020-2021) the Security Council is transformed into the Council of Existential Security (CES). The membership of the CES is increased to 25 member countries, of which five countries have the right of the unconditional (absolute, eternal) veto: Great Britain, France, China, Russian Federation, USA. The General All-Parliamentary Assembly elects 15 new permanent members of the Council of Existential Security with the right of the conditional (limited) veto: Argentina, Australia, Brazil, Canada, Egypt, Germany, India, Indonesia, Italy, Mexico, South Africa, Nigeria, Pakistan , Turkey, Japan (if they fulfill the mandatory restrictive conditions). At this sub-stage, the CES elects also five non-permanent members with the right of a conditional (limited) veto when they meet the mandatory restrictive conditions, with a rotation period of 2 years from geographical regions (or regional unions): Africa, Latin America and the Caribbean, Asia and the Pacific Ocean (2 places), Eastern Europe. On the second sub-stage (2022-2023), subject to the effective activity of the CES of the enlarged composition and compliance with mandatory restrictive conditions, new permanent members of the "Existential Security Council" are elected with the right of a conditional (limited) veto: Iran, Spain, Poland, Saudi Arabia. Members of the CES may be regional unions, whose member countries are not represented in the CES, but still have one vote with the right of a conditional (limited) veto. -/- Two essential levels of the veto: 1. Unconditional (absolute, eternal) veto is the historical right of veto of the five permanent members of the Council of Existential Security - Great Britain, China, Russia, USA, France; 2. Сonditional (limited) veto is the veto of other permanent and non-permanent members of the Council of Existential Security. The right of veto is a unique international school for the achievement of consensus, a school of high democracy for Humanity, a reliable guarantee of the viability of the UN structure. The Council for Existential Security centralises the management of the UN subsidiary bodies with the expansion of their security functions: the Military Staff Committee, the Counter-Terrorism Committee, the Committee for the Prevention of the Spread of Nuclear, Chemical and Biological Weapons, the Sanctions Committees and other committees. On the basis of the decision of the Council of Existential Security, the General All-Parliamentary Assembly creates permanent contingents of UN peacekeeping and counter-terrorism forces. In addition, two Centers are being created in the structure of the Council for Existential Security: the World Center for the Elimination of the Effects of Technogenic and Natural Disasters with branches on all continents and the World Center for the Analysis of Existential Risks and the Overall Security Strategy. The Center is developing the Programs of research and monitoring of global existential threats and risks. In order to increase the level of legitimacy and authority of the Secretary General of the United Nations, the Rules of procedure for elections to this post are changing. Each member country of the Council for Existential Security represents one of the most authoritative candidates for election to the post of Secretary General at the session of the General All-Parliamentary Assembly, with the possibility of nominating candidates from other countries, including those not members of the Council for Existential Security. Elections are held in two rounds during one day of the session of the Assembly. The Legal Committee of the UN General Assembly is developing a Program for the Reform of the Judicial System of the United Nations, which takes into account the proposals of the previous international discussion and determines the scope and terms of the reform of the courts. In accordance with the Program of Action on UN Reform for 2020-2025, reforms are under way in the structure of the Economic and Social Council. The central task of the reform is to strengthen the coordinating role of ECOSOC in the entire system of UN-related specialized agencies, funds and programs related to the Council. The key task of the UN reform is the solution of the financing problem. A unified "UN Open Budget "Solidarity XXI" is being created, including the financing of peacekeeping operations and other expenses. Each country, a member of the United Nations, lists in an established period, once a year, an Existential contribution - the Earth Tax. The Earth Tax for each UN member state is established on the basis of four scales of calculation: Scale I - for 5 permanent members of the Council of Existential Security, who have the right of absolute (absolute) veto; Scale II - for the permanent members of the SEB, who have the right to a conditional (limited) veto; Scale III - for non-permanent members of the SEB, who have the right to a conditional (limited) veto; Scale IV - for all other UN member countries. The program of action on UN reform includes a set of measures to ensure transparent work of the International Civil Service Commission with the involvement of the UN media. To strengthen control functions in the sphere of personnel policy, administrative and financial management, the General All-Parliamentary Assembly of the United Nations establishes the Permanent Commission on Ethics and Administrative and Financial Control. All members of the Commission, members of the Committees and auditors are independent in their activities from the leadership of the United Nations, its funds and programs. The General All-Parliamentary Assembly completes the first stage of the Program of Action on UN Reform in 2025 and, following an open discussion, introduces a single language of international communication - Esperanto and approves it as the official language of the United Nations. With a view to more effective work of the central UN governing bodies in the face of increasing existential threats and risks, reducing the current expenses for the maintenance of the central bodies of the UN, the Council for Existential Security and the General All-Parliamentary Assembly decide on the relocation of the UN headquarters to Iceland. The UN building complex in New York is transferred to preferential use of non-governmental organizations, which contribute to the implementation of the goals of the United Nations. At the second stage of the UN reform in the period 2026-2028, additional necessary transformations are being made in the UN system. At the end of the first stage of the reform, taking into account the reforms carried out by the main organs of the United Nations and the internal improvement of the work of all its structures, the United Nations Program of Action for the years 2026-2028 is being developed. (shrink)

Critics of Institutional Review Board (IRB) practices often base their charges on the claim that IRB review began with and is premised upon a "medical model" of research, and hence a "medical model" of risk. Based on this claim, they charge that IRB review, especially in the institutional Reviw boardsocial and behavioral sciences, has experienced "mission creep". This paper argues that this line of critique is fundamentally misguided. While it remains unclear what critics mean by "medical model", the point of (...) contemporary human research subjects regulation remains the same across all domains of research. That point is to protect the autonomy of human subjects, primarily through the use of informed consent. In fields as different as biomedical self-experimentation and ethnography there is the danger of losing sight of subjects' autonomy. Critiques of the so-called medical model are sometimes libertarian and sometimes utilitarian in spirit. Either way, such critiques have not yet demonstrated that these philosophical schools of thought have the resources to guard against the potential risk of harm that lexically prioritizing the autonomy of human subjects does. Precisely because IRB review recognizes that human subjects research occurs in different fields using different research methods, IRB review requires researchers to explain their particular methods, the particular risks of harm created by these methods, and the implementation of procedures by which subjects may autonomously consent to precisely those risks. (shrink)

This article presents a new methodology for pricing and hedging commodity derivatives. A generic model calibration is provided. The calibration procedure consists of an offline step where the mean reversion rates, the ratio of the long and short factor volatilities and the correlation between the long and short factors are determined via historical analysis. This offline step is performed relatively infrequently. There’s also an online step of the calibration which happens every time the model is used to price an option (...) or to simulate price paths. Empirical study shows that the model is quite accurate. (shrink)

Written in broad strokes, this paper attempts to draw form Krishnamurti’s life and teachings, a hermeneutics of the human soul’s quest-journey towards transcendent wholeness. It begins with an attempt to frame K’s “process” (the name given to the painful ordeals in his youth that many believe were the catalyst responsible for his metamorphosis) through a variety of disciplines and cultural perspectives, some of which underscore the impasse of scientific objectivity and the limits of phenomenalist categories in general. It then explores (...) the procedures and conceits of present technologies of self-transformation via pseudomeditative body work and suggests that this subject can only be confirmed by an experience so intimately and subversively (to its own object) subjective that it risks undermining its own legitimacy in the face of our body-phobic Cartesian cultural ethos that holds sacrosanct the mind-body split. -/- It then explores the deeper origins and history of this problem from the pre-Socratics to the misconceptions of modern mathematics about the proper place of metaphor and paradox and underscores how present day false consciousness fails to discriminate between a “noumenal” world and its conditioned “phenomenal” counterfeit copy. It ends with a brief meditation on K’s process. (shrink)

The aim of this paper is to offer some philosophical remarks concerning the concept of moral application in applied ethics. In doing so, I argue in favour of a philosophical approach towards applied ethics as a unitary form of moral experience. In fact every form of applied ethics, no matter how specific, moves from a problem of application and tries to fill a gap between moral theory and practice. This essential unity of applied ethics as a moral phenomenon is of (...) great philosophical interest, since it belongs to the core problem from which moral thinking itself originates. For this reason, what applied ethics may reveal to a philosophical inquiry could provide valuable insight into the nature of moral experience itself. This is why it is important to reflect on what applied ethics is and whether the way in which application is usually framed be ts the properties of moral experience or not. In the first section I submit some preliminary remarks concerning the theoretical requirements to any philosophical approach to applied ethics. In the second section I present how application is commonly understood in the applied ethics debate by discussing the deductive and the procedural models of application. Both models, however, draw upon a technological conception of application which fails to t the structure of moral experience. Finally, I brie y sketch out the main features and the future tasks of what seems to me to be the most promising approach to the issue, i.e., the hermeneutic concept of application. (shrink)

This paper assesses the aesthetic components of the experience of forgiveness to develop a procedural model of the phenomenological process that negotiates cognitive judgments and understanding with emotional affective states. By bringing the Greek concepts of kalokagathia and eudaimonia into conversation with Ricoeur’s “solicitude,” I suggest that the impetus for engaging in the process of forgiveness is best understood narratively as the pursuit of a life well lived (in terms of beauty). Consequently, forgiveness is revealed as a technique for (...) developing both an optimal personal and public character (in both moral and aesthetic terms). (shrink)

What is the potential for improvements in the functioning of consciousness? The paper addresses this issue using global workspace theory. According to this model, the prime function of consciousness is to develop novel adaptive responses. Consciousness does this by putting together new combinations of knowledge, skills and other disparate resources that are recruited from throughout the brain. The paper's search for potential improvements in consciousness is aided by studies of a developmental transition that enhances functioning in whichever domain it occurs. (...) This transition involves a shift from the use of procedural (implicit) knowledge to declarative (explicit) knowledge. However, the potential of the transition to enhance functioning has not yet been realised to any extent in relation to consciousness itself. The paper assesses the potential for consciousness to use declarative knowledge to improve its own functioning and to thereby enhance human adaptability. A number of sources (including the practices of religious and contemplative traditions) are drawn on to investigate how this potential might be realised. (shrink)

In this paper we propose an informal exposition of the structure approach in the philosophy of science. Scientific knowledge is here considered as a collection of scientific theories. Each scientific theory has logico-linguistic, model-representing, pragmatic-procedural, and problem-heuristical subsystems and a subsystem of ties. The pivotal methodological concept for the exact description of these subsystems is the named set. We also outline the possibility of applying the structure-nominative approach to certain problems in the philosophy of science.

In the real world there are people who enter the homes and steal everything they find valuable. In the virtual world there are individuals who penetrate computer systems and "steal" all your valuable data. Just as in the real world, there are uninvited guests and people feel happy when they steal or destroy someone else's property, the computer world could not be deprived of this unfortunate phenomenon. It is truly detestable the perfidy of these attacks. For if it can be (...) observed immediately the apparent lack of box jewelry, penetration of an accounting server can be detected after a few months when all clients have given up the company services because of the stolen data came to competition and have helped it to make best deals. Cybercrime is a phenomenon of our time, often reflected in the media. Forensic investigation of computer systems has a number of features that differentiate it fundamentally from other types of investigations. The computer itself is the main source of information for the investigator. CONTENTS: Computing systems and storage media - Computing devices - - Peripheral devices - - External drives for media storage - Typology of data stored on specific supports – File systems - - Program that allows working with ” inactive” space - Information that can be obtained from the computing system environment Computer networks - Copper wire in computer networks - Optical fibers - Wireless LAN - Internet and Intranet Software and services - Client/server architecture - Protocols and Standards - Internet Services - - e-Mail - - - Spam - - HTTP - - Web address - URL - - Web browsers - - - Browser cookies - - Working with web pages - - - Choosing your favorite web pages - - - Keeping track of visited web pages - - - Saving web pages - - Proxy servers - - Privacy on the Internet - FTP - Instant Messaging - Peer-to-peer networks Vulnerabilities - The first attacks on the Internet - Cybercrime - - Typologies of cyber attackers - - - Classification of cyber attackers according to their skills and objectives - Classification of risks and incidents in cyberworld - - Classification as a list of terms - - List of categories - - Categories of results - - Empirical lists - Events, attacks and incidents - Online security events, actions, and targets - - Actions - - Targets - Attacks - - Tools - - Vulnerabilities - - Unauthorized results Cybercrime laws - The concept of "cybercrime" Investigations - Computer forensic investigations - Digital evidence - Digital sampling during investigations - The suspect - Witnesses in cybercrime - Transporting of samples in laboratory - Analysis of samples - Preparing team members - Computer tools Convention on Cybercrime - Preamble - Chapter I – Use of terms - Chapter II – Measures to be taken at the national level - - Section 1 – Substantive criminal law - - - Title 1 – Offences against the confidentiality, integrity and availability of computer data and systems - - - Title 2 – Computer-related offences - - - Title 3 – Content-related offences - - - Title 4 – Offences related to infringements of copyright and related rights - - - Title 5 – Ancillary liability and sanctions - - Section 2 – Procedural law - - - Title 1 – Common provisions - - - Title 2 – Expedited preservation of stored computer data - - - Title 3 – Production order - - - Title 4 – Search and seizure of stored computer data - - - Title 5 – Real-time collection of computer data - - Section 3 – Jurisdiction - Chapter III – International co-operation - - Section 1 – General principles - - - Title 1 – General principles relating to international co-operation - - - Title 2 – Principles relating to extradition - - - Title 3 – General principles relating to mutual assistance - - - Title 4 – Procedures pertaining to mutual assistance requests in the absence of applicable international agreements - - Section 2 – Specific provisions - - - Title 1 – Mutual assistance regarding provisional measures - - - Title 2 – Mutual assistance regarding investigative powers - - - Title 3 – 24/7 Network - Chapter IV – Final provisions Recommendation No. R (95) 13 - Appendix to Recommendation No. R (95) 13 - - I. Search and seizure - - II. Technical surveillance - - III. Obligations to co-operate with the investigating authorities - - IV. Electronic evidence - - V. Use of encryption - - VI. Research, statistics and training - - VII. International co-operation Rules for obtaining digital evidence by police officers Standards in the field of digital forensics Principles in digital evidence Procedures model for the forensic examination - Hard disk examination Code of Ethics Sources and references About - Nicolae Sfetcu - - By the same author - - Contact Publishing House - MultiMedia Publishing . (shrink)

It is becoming more common that the decision-makers in private and public institutions are predictive algorithmic systems, not humans. This article argues that relying on algorithmic systems is procedurally unjust in contexts involving background conditions of structural injustice. Under such nonideal conditions, algorithmic systems, if left to their own devices, cannot meet a necessary condition of procedural justice, because they fail to provide a sufficiently nuanced model of which cases count as relevantly similar. Resolving this problem requires deliberative capacities (...) uniquely available to human agents. After exploring the limitations of existing formal algorithmic fairness strategies, the article argues that procedural justice requires that human agents relying wholly or in part on algorithmic systems proceed with caution: by avoiding doxastic negligence about algorithmic outputs, by exercising deliberative capacities when making similarity judgments, and by suspending belief and gathering additional information in light of higher-order uncertainty. (shrink)

In artificial intelligence (AI), responses generated by machine-learning models (most often large language models) may be unfactual information presented as a fact. For example, a chatbot might state that the Mona Lisa was painted in 1815. Such phenomenon is called AI hallucinations, seeking inspiration from human psychology, with a great difference of AI ones being connected to unjustified beliefs (that is, AI “beliefs”) rather than perceptual failures). -/- AI hallucinations may have their source in the data itself, that (...) is, the source content, or in the training procedure, i.e. the way the knowledge was encoded in the model’s parameters, so that errors in encoding and decoding textual and non-textual representations can cause hallucinations. In this paper, we will observe how such errors come to life and how they might be mitigated. For this purpose, we will analyze the usability of justification logics, to behave as a proof checker for validating the correctness of large language models’ (LLM) responses. Justification logic was developed by S. Artemov, and later on mostly by Artemov and M. Fitting, deriving its main idea from the logic of proofs (LP): knowledge and belief modalities are seen as justification terms, i.e. t:X stands for t is a (proper) justification for X. Justification logic originated from attempts to create semantics for intuitionistic logic where proofs were the most proper justifications, but in further development, justification logic could be applied to different kinds of justifications). With the recent attempts to mitigate incorrect LLM responses, we will analyze various guardrails that are currently used for LLM responses, and see how the logic of justification may provide its benefits as an AI safety layer against false data. (shrink)

Psychiatric research is in crisis because of repeated failures to discover new drugs for mental disorders. Lack of measurement validity could partly account for these failures. If researchers do not actually measure the effects of drugs on the disorders they aim to investigate, one should expect suboptimal treatment outcomes. I argue that this is the case, focusing on depression, and fear & anxiety disorders. In doing so, I show how psychiatric research illustrates a more general phenomenon that I call “validity (...) drift.” A validity drift occurs when, in the course of developing new measurement procedures, researchers end up studying something different from what they originally aimed to study. I analyze the different ways in which scientists attempt to validate procedures for measuring mental disorders for the purpose of testing drugs in animal models. I show how those validation efforts might fail, thereby leading to validity drifts. Overall, this analysis highlights the complex interplay between the development of new measurement procedures, their calibration, and scientific theories of the target phenomena. (shrink)

The paper surveys the currently available axiomatizations of common belief (CB) and common knowledge (CK) by means of modal propositional logics. (Throughout, knowledge- whether individual or common- is defined as true belief.) Section 1 introduces the formal method of axiomatization followed by epistemic logicians, especially the syntax-semantics distinction, and the notion of a soundness and completeness theorem. Section 2 explains the syntactical concepts, while briefly discussing their motivations. Two standard semantic constructions, Kripke structures and neighbourhood structures, are introduced in Sections (...) 3 and 4, respectively. It is recalled that Aumann's partitional model of CK is a particular case of a definition in terms of Kripke structures. The paper also restates the well-known fact that Kripke structures can be regarded as particular cases of neighbourhood structures. Section 3 reviews the soundness and completeness theorems proved w.r.t. the former structures by Fagin, Halpern, Moses and Vardi, as well as related results by Lismont. Section 4 reviews the corresponding theorems derived w.r.t. the latter structures by Lismont and Mongin. A general conclusion of the paper is that the axiomatization of CB does not require as strong systems of individual belief as was originally thought- only monotonicity has thusfar proved indispensable. Section 5 explains another consequence of general relevance: despite the "infinitary" nature of CB, the axiom systems of this paper admit of effective decision procedures, i.e., they are decidable in the logician's sense. (shrink)