Local Action Availability theorem (Allen-2023)

This is an answer to the question Mechanism of Local Epistemic Action Availability that states "A local epistemic action becomes available to an agent only when its permissibility/desirability is derivable from a non-empty subset of other elements of the agent’s mosaic."

Local Action Availability theorem was formulated by Joshua Allen in 2023.1 It is also known as local epistemic action availability theorem.

Scientonomic History

Acceptance Record

This theory has never been accepted.

Suggestions To Accept

Here are all the modifications where the acceptance of this theory has been suggested:

Modification	Community	Date Suggested	Summary	Verdict	Verdict Rationale	Date Assessed
Sciento-2023-0007	Scientonomy	31 December 2023	Accept that the a local action A is said to be available to an epistemic agent iff that agent employs the norm “A is permissible/desirable”. Also accept the theorem of local action availability as a deductive consequence of this definition and the law of norm employment: a local epistemic action becomes available to an agent only when its permissibility/desirability is derivable from a non-empty subset of other elements of the agent’s mosaic.	Open	The modification can only become accepted once modification Sciento-2023-0006 becomes accepted.

Question Answered

Local Action Availability theorem (Allen-2023) is an attempt to answer the following question: How does a local epistemic action become available to an epistemic agent? What should happen for a local epistemic action to become part of the repertoire of an epistemic agent?

See Mechanism of Local Epistemic Action Availability for more details.

Description

Allen's theorem is based on the definition of local action availability that states that "the availability of local epistemic action A to an agent amounts to the employment of the norm that says “Epistemic action A is permissible/obligatory/desirable/etc.”".1p. 79 Thus, from the law of norm employment, one can argue that:1p. 81

For an action A to become available to an agent, the agent must employ at least one norm and accept one theory from which the norm “Action A is permissible/desirable” deductively follows.

Thus, it follows from the law of norm employment that a local epistemic action becomes available to an agent only when its permissibility/desirability is derivable from a non-empty subset of other elements of the agent’s mosaic.

Reasons

Reason: Deduction of Local Action Availability theorem (Allen-2023)

Allen shows that the theorem is a deductive consequence of the law of norm employment and the definition of local action availability.

This reason for Local Action Availability theorem (Allen-2023) was formulated by Joshua Allen in 2023.1

Edit Delete

If a reason supporting this theory is missing, please add it here.

Questions About This Theory

There are no higher-order questions concerning this theory.

If a question about this theory is missing, please add it here.