Reed argues that the architectures of knowledge representation in Object -Oriented Programming and in Ayn Rand's Objectivist epistemology are exactly isomorphic, and were first proposed at about the same time. These similarities did not result from mutual influence, but from the need to represent knowledge, in both systems, in accordance with the same facts of reality. Thanks to the isomorphism of knowledge representation in the two systems, logical techniques developed in the context of OOP, such as scope-tracking and inheritance, are (...) directly usable and useful in objective logic based on Objectivist epistemology. (shrink)

The doctrine of the arbitrary assertion is a key part of Objectivist epistemology as elaborated by Leonard Peikoff. For Peikoff, assertions unsupported by evidence are neither true nor false; they have no context or place in the hierarchy of conceptual knowledge; they are meaningless and paralyze rational cognition; their production is proof of irrationality. A thorough examination of the doctrine reveals worrisomely unclear standards of evidence and a jumble of contradictory claims about which assertions are arbitrary, when they are arbitrary, (...) and what ought to be done about them when they are. A wholesale rejection of the doctrine is recommended. (shrink)