Academia.eduAcademia.edu

Rational Requirements

description10 papers
group18 followers
lightbulbAbout this topic
Rational Requirements refer to the criteria and conditions that must be met for a decision or action to be considered rational, emphasizing logical consistency, coherence, and alignment with an individual's goals and beliefs in decision-making processes.
lightbulbAbout this topic
Rational Requirements refer to the criteria and conditions that must be met for a decision or action to be considered rational, emphasizing logical consistency, coherence, and alignment with an individual's goals and beliefs in decision-making processes.

Key research themes

1. How can rational requirements ensure sustainable and trustworthy software systems through effective requirements engineering?

This research area focuses on integrating rationality principles into requirements engineering to address long-term sustainability and trustworthiness in software systems. It considers how the elicitation, modeling, and validation of requirements grounded in rational frameworks contribute to software systems that endure technically, socially, environmentally, and economically while maintaining security and stakeholder trust.

Key finding: This work demonstrates that trustworthy software systems must have security requirements that fully reflect stakeholder needs, including confidentiality, integrity, availability, and accountability. The paper emphasizes the... Read more
Key finding: The authors propose a novel, rational approach using Common Criteria methodologies combined with use cases and actor profiling to elicit security requirements early in the software development lifecycle. This method... Read more
Key finding: This paper systematically categorizes and evaluates validation techniques in requirements engineering, highlighting that rigorous, iterative, and multidisciplinary validation is crucial to ensure requirements are complete,... Read more
Key finding: By introducing grounded theory analysis into requirements elicitation alongside traditional methods, this paper shows that theories can uncover latent socio-technical requirements that arise from user adoption dynamics and... Read more

2. What logical and formal criteria determine the implementability and verification of rationally specified system requirements in safety-critical and multi-agent systems?

This theme examines formal models and complexity results for assessing whether system requirements can be implemented and verified rationally, particularly focusing on safety-critical environments and multi-agent systems. It explores formal frameworks like the four-variable model, explores demonic acceptability, and examines complexity reductions in rational verification by restricting logical properties to specific temporal logics, thereby informing the theoretical foundation for rational requirements engineering.

Key finding: The paper establishes a necessary and sufficient mathematical implementability condition for system requirements in safety-critical software via the four-variable model. By strengthening the acceptability condition with... Read more
Key finding: This work advances the theory of rational verification by demonstrating that restricting agent goals to GR(1) temporal logic fragments or mean-payoff utilities significantly lowers the complexity of verifying rational... Read more
Key finding: The paper develops a family of rational basing permissions that specify when it is rationally permissible to believe a proposition on the basis of believing other propositions, using the concept of grounding to formalize... Read more
Key finding: This article formulates rational requirements that integrate the relevance of premises and inference complexity using weak relative closure and a scale of inference difficulty. It offers refined logical rationality conditions... Read more
Key finding: Beyond socio-technical insights, the grounded theory method presented contributes formal conceptualizations of adoption constraints, producing theoretical requirements that guide implementability and systemic coherence, thus... Read more

3. How do philosophical theories of rationality contribute to understanding and refining the normativity, judgment, and diachronic coherence of rational requirements in decision-making and teaching?

This area investigates foundational philosophical perspectives on rationality’s normative status, the interplay of rules with judgment in rational justification, and diachronic requirements such as persistence of intentions over time. It also explores practical rationality as a middle-range theory connecting research and practice in domains like mathematics teaching, elucidating how rationality theories inform and constrain rational requirements in agent decision-making and instructional situations.

Key finding: This paper critiques the classical model of rationality, affirming that an adequate account of rationality must encompass both explicit rules and the exercise of judgment. It shows that judgment-only models fail to... Read more
Key finding: The authors conceptualize practical rationality in mathematics teaching as a middle-range theory developed from empirical research that links rational requirements to specific instructional norms and teacher beliefs. This... Read more
Key finding: This work explores internalist evidentialism and confirms rationality supervenes on mental states and evidence, emphasizing that rational requirements align with the agent’s perspective and evidential support rather than... Read more
Key finding: The paper challenges reasons perspectivism’s claim that normative reasons are only potent if epistemically accessible to the agent, arguing that constraining normativity in this way fails to reconcile normative reason and... Read more
Key finding: Broome’s analysis of diachronic rational requirements, particularly persistence of intention, is critically examined, highlighting that forgetting does not violate such persistence. The study differentiates between cancelling... Read more

All papers in Rational Requirements

I offer a critique of the dominant representationalist understanding of the moral 'must' and argue for an alternative understanding that is second-personal and performative. The representationalist understanding, I argue, faces serious... more
In this paper, J. Gibbons attempts to articulate his version of subjectivism. The central hypothesis is the conception of belief as commitment, in contrast to the view of rationality as a means promoted by objectivism. He further... more
The paper responds to two recent versions of the argument against ex contradictione quodlibet (the principle that says that a contradiction entails any proposition, also known as “explosion”) based on the normative role of logic for... more
This critical appraisal of Juan Comesaña’s Being Rational and Being Right is divided into three sections: Section I describes the fundamental features of “Experientialism,” the theory of basic rationality developed and defended in the... more
The rationality of a belief often depends on whether it is rightly connected to other beliefs, or more generally to other mental states-the states capable of providing a reason to holding the belief in question. For instance, some... more
The relation between logic and rationality has recently re-emerged as an important topic of discussion. Following the ideas of Broome [1999] and MacFarlane [2004], the debate focused on providing rational requirements, which work as... more
In this paper, I discuss the relation between logic and rationality. I develop (formally and conceptually) a rational requirement which can respond to the classic objections by Harman (1986). On the one hand, the requirement pays... more
Arguments against epistemic akrasia have been met with counterexamples from the higher-order evidence literature. Here, I present two counterarguments to address these challenges. Firstly, the attitude reclassification argument... more
While the epistemic significance of disagreement has been a popular topic in epistemology for at least a decade, little attention has been paid to logical disagreement. This monograph is meant as a remedy. The text starts with an extensive... more
In this new kind of entrée to contemporary epistemology, Kevin McCain presents fifty of the field's most important puzzles, paradoxes, and thought experiments. Assuming no familiarity with epistemology from the reader, McCain titles each... more
Are there practical reasons for belief? The answer to this question has become a site of contention in analytic philosophy. On one side, there are the so-called “evidentialists” who hold that there are no practical reasons for belief. On... more
Tomás wants a candy, and so grabs the candy-looking thing Lucas is offering him and puts it in his mouth. Tomás has no reason to think that there is anything amiss with Lucas's offer, he thinks that Lucas is genuinely being generous and... more
Sometimes I not only judge that P, but I also have some further “higher¬-order” evidence about my reliability when it comes to this sort of judgment. Perhaps I make an arithmetical judgment, but at the same time I have evidence that I am... more
With the current paper we will intend i) to elaborate a critical examination of the alleged use of transparency as independent of any epistemological view in favor of evidentialism, ii) to remark the inadequacies of the Absjorn... more
In this new kind of entrée to contemporary epistemology, Kevin McCain presents fifty of the field's most important puzzles, paradoxes, and thought experiments. Assuming no familiarity with epistemology from the reader, McCain titles each... more
A common assumption in contemporary debates about normative reasons is that 'subjective' and 'possessed' are two names for the same sort of reason. This paper challenges that assumption. Given our cognitive limitations, it is unsurprising... more
In some cases there is a reason for one to do or believe something, but because one has no inkling of this reason, it doesn't matter to the rationality of one's actions or beliefs. 1 If you are sitting in a building which has just caught... more
The rationality of a belief often depends on whether it is rightly connected to other beliefs, or more generally to other mental states-the states capable of providing a reason to holding the belief in question. For instance, some... more
This paper will argue that the assessment of an agent’s rationality is primarily concerned with processes rather than states. To understand this view and the question it tries to answer, it will be helpful to consider it in relation to a... more
The rationality of a belief often depends on whether it is rightly connected to other beliefs, or more generally to other mental states —the states capable of providing a reason to holding the belief in question. For instance, some... more
In this paper, we present a new semantic challenge to the moral error theory. Its first component calls upon moral error theorists to deliver a deontic semantics that is consistent with the error-theoretic denial of moral truths by... more
According to normative judgment internalism (NJI), normative judgmentsthat is, mental states of the sort that are typically expressed by normative statements (statements of the form 'A ought to ' and the like)-are ''essentially... more
I argue for the unexceptionality of evidence about what rationality requires. Specifically, I argue that, as for other topics, one’s total evidence can sometimes support false beliefs about this. Despite being prima facie innocuous, a... more
Can we make mistakes about what rationality requires? A natural answer is that we can, since it is a platitude that rational belief does not require truth; it is possible for a belief to be rational and mistaken, and this holds for any... more
There are two well-known formulations of the diachronic rational requirement of intention persistence, due to Michael Bratman and John Broome. I argue in this paper that both formulations face serious difficulties. Bratman's formulation... more
My aim will be to identify an evaluative lacuna, and to discuss different approaches for filling it. To identify the lacuna, let me begin with well-known type of case, Miners. It has often been used in discussions of the semantics of... more
It seems like experience plays a positive—even essential—role in generating some knowledge. The problem is, it’s not clear what that role is. To see this, suppose that when my visual system takes in information about the world it skips... more
Outlaw emotions are emotions that stand in tension with one's wider belief system, often allowing epistemic insight one may have otherwise lacked. Outlaw emotions are thought to play crucial epistemic roles under conditions of oppression.... more
Abstract Potential perspectivism is the view that what an agent ought to do (believe, like, fear…) depends primarily on facts that are potentially available to her. I consider a challenge to this view. The problem stems from the fact that... more
Broome takes the debate on rationality to be concerned with the ordinary use of 'rational'. I argue that this is at best misleading. For the object of current theories of rationality is determined by a specific use of 'rational' that is... more
Value theorists routinely distinguish structural rationality-a matter of attitudinal coherence-from substantive rationality-a matter of reasons-responsiveness. Epistemologists do not likewise distinguish structural epistemic rationality... more
A common assumption in contemporary debates about normative reasons is that ‘subjective’ and ‘possessed’ are two names for the same sort of reason. This paper challenges that assumption. Given our cognitive limitations, it is unsurprising... more
It is plausible that there are epistemic reasons bearing on a distinctively epistemic standard of correctness for belief. It is also plausible that there are a range of practical reasons bearing on what to believe. These theses are often... more
According to a popular view in contemporary epistemology, a belief is justified if, and only if, it amounts to knowledge. Upholders of this view also hold that knowledge is the fundamental norm governing belief and that conforming to this... more
This paper explores what happens if we construe evidentialism as a thesis about the metaphysical grounds of justification. According to grounding evidentialism, facts about what a subject is justified in believing are grounded in facts... more
This paper focuses on the relation between epistemic reasons and the subject's epistemic perspective. It tackles the questions of whether epistemic reasons are dependent on the perspective of the subject they are reasons for, and if so,... more
Ascriptions of rationality are related to our practices of praising and criticizing. This seems to provide motivation for normative accounts of rationality, more specifically for the view that rationality is a matter of responding to... more
An increasingly popular view in contemporary epistemology holds that the most fundamental norm governing belief is knowledge. According to this norm one shouldn’t believe what one doesn’t know. A prominent argument for the knowledge norm... more
Some prominent evidentialists argue that practical considerations cannot be normative reasons for belief because they can't be motivating reasons for belief. Existing pragmatist responses turn out to depend on the assumption that it's... more
What are reasons made of? And, whatever reasons are made of, how is reason-stuff carved up into various different kinds? Those are my questions here. I want to know about the ontology of reasons: what kinds of things, or properties, or... more
Suppose that you intend to go to the theater. Are you therein intending the unconditional proposition that you go to the theater? That would seem to be deeply irrational; after all, you surely do not intend to go if, for instance, in the... more
According to a view I'll call Epistemic Normativism (EN), knowledge is normative in the same sense in which paradigmatically normative properties like justification are normative. This paper argues against EN in two stages and defends a... more
The main problems for a Davidsonian conception of epistemic norms
Talk given at the GAP.9, Osnabrück (17.09.2015); shortened version of „Is Irrationality a Matter of Internal Conflict?“ at 5th Humboldt-Princeton Graduate Conference in Philosophy, Berlin
Download research papers for free!