@MetaBias
Graph: top theorems by engagement12 / 12
axiom logic_is_actual : warhrjns.logic_is_actual
axiom bfo : warhrjns.bfo
axiom everyone_makes_mistakes : wwqc19pp.everyone_makes_mistakes
axiom i_am_a_person : aqhg57sy.i_am_a_person
axiom i_should_work_toward_correcting_my_mistakes : ydh9veyw.i_should_work_toward_correcting_my_mistakes
axiom i_lack_knowledge_and_understanding : ydh9veyw.i_lack_knowledge_and_understanding
axiom humanpower_is_a_network_capabili_a804v31w : t4tcmavf.humanpower_is_a_network_capability
theorem persons_are_actually_agents : ∀ (x : Type), A (Person.Is x) → A (Agent.Is x)
theorem consistency : warhrjns.logic_is_actual
theorem actual_intro : warhrjns.logic_is_actual
theorem actuality_not_contradictory : ∀ (q : Prop), ¬(A q ∧ A ¬q)
theorem actual_and : ∀ {p q : Prop}, A p → A q → A (p ∧ q)
theorem reform_warranted : ∀ {policy kind : Type},
A FairnessPrinciple → A (SystemFavorsTheInformed kind) → A (policy protects-in kind) → A (StrongReasonToAdopt policy)
theorem reform_warranted : ∀ {policy kind : Type},
A FairnessPrinciple → A (SystemFavorsTheInformed kind) → A (policy protects-in kind) → A (StrongReasonToAdopt policy)
theorem actual_some_not_immoral_is_saying_not_every : A (SomeRichPersonIsNotImmoral ↔ NotEveryRichPersonIsImmoral)
theorem idempotency : warhrjns.logic_is_actual
theorem mp : warhrjns.logic_is_actual
theorem humanpower_axiom_yields_humanpower : t4tcmavf.humanpower_is_a_network_capability
theorem i_am_therefore_an_agent : A (Agent.Is MetaBias)