• Extended Moral Responsibility for Kantian Agents
    Philosophy Study 3 (8). 2013.
    When two Kantian agents engage in inter-dependent transactions with one another, each agent has the responsibility to assure the morality of the other’s maxim of action and means to implement the maxim. This proposition is proven to be a logical consequence of Kant’s moral system and stated formally as the K-Completeness theorem. Transactions that satisfy the theorem are called “K-Complete.” The theorem is generalized to cover transactions with many agents. The paper then models multi-agent K-Co…Read more
  •  149
    This brief paper provides documentation to a computer program for analysis of Spinoza's Ethics. The program explodes an entity in the Ethics either (1) forward to the tree of all propositions that depend upon the entity or (2) backwards to the tree terminating at the axioms, definitions, lemmas or propositions on which the proof of the entity depend. The paper gives instructions to download and implement the program in Windows.
  •  156
    Spinoza’s geometrical approach to his masterwork, the Ethics, can be represented by a digraph, a mathematical object whose properties have been extensively studied. The paper describes a project that developed a series of computer programs to analyze the Ethics as a digraph. The paper presents a statistical analysis of the distribution of the elements of the Ethics. It applies a network statistic, betweenness, to analyze the relative importance to Spinoza’s argument of the individual propositio…Read more