# William S. Hatcher

William S. Hatcher (1935–2005) was a mathematician, philosopher, educator and a member of the Bahá'í Faith.[1] He held a doctorate in mathematics from the University of Neuchatel, Switzerland, and bachelor’s and master’s degrees from Vanderbilt University in Nashville, Tennessee. A specialist in the philosophical alloying of science and religion, for over thirty years he held university positions in North America, Europe, and Russia.

## Biography

He was born in Charlotte, North Carolina, United States on 20 September 1935, and died on 27 November 2005.

## Philosophy

Although he made significant contributions to the fields of mathematics and philosophy, he is perhaps best known for developing a new proof of God's existence based on first-order logic and for his work towards a transcultural system of ethics.

In his books Love, Power, and Justice, and Minimalism, Hatcher attempts to prove God's existence while addressing many of the criticisms raised against previous theistic philosophers. While Hatcher admits that his argument does not establish the existence of any particular religion's God, he asserts that it does support the existence of a God that he defines as a unique, universal, and uncaused cause.

Written in first order logic, Hatcher's proof of God is based on three axioms that he calls "empirically grounded" and an apriori assumption that "something exists."

The axioms are that:

P1; the principle of sufficient reason: All phenomena are either self-caused (i.e. A${\displaystyle \rightarrow }$A) or other-caused (B${\displaystyle \rightarrow }$A; B is not equal to A) but not both. Put another way, this principle says that the question "why?" is always meaningful. Everything happens for a reason.

P2; the potency principle: If A ${\displaystyle \rightarrow }$ B then for all C ${\displaystyle \in }$ B, A ${\displaystyle \rightarrow }$ C. In other words if A is the cause of B then A is the cause of every part of B. There are several notions of causality in philosophy. Hatcher's notion of causality is total causality; i.e. it is not the straw that breaks the camel's back but the 1000 straws before it, the camel, gravity, and so forth, that give rise to the camel breaking its back.

P3; the principle of limitation: For all A, where A is an element of B, B ${\displaystyle \rightarrow }$ A does not hold. This says a system (which Hatcher represents as a set) cannot be the cause of its own components. Hatcher justifies this by explaining any system has (1) form (the parts) and (2) function (the relationship between the parts). A car (the system) cannot be the cause of its own steering wheel (a part), because the car does not even logically exist until the steering wheel exists, thus the car's existence cannot precede the steering wheel's existence.

Hatcher shows that the logical outcome of these 3 axioms together with the above noted assumption are the existence of a "unique, universal, uncaused cause."[2]

Throughout this work, Hatcher strives to make his assumptions (his axioms) and modus operandi (first order logic) explicit. Unlike many proofs of God (beginning with the proof advanced by Aristotle) Hatcher's proof does not appeal to the absurdity of an infinite regression of causes. Hatcher argues that because his proof is formulated in first order logic one must invalidate one or more of his three empirically grounded axioms to refute it. At the same time he shows that doing so is difficult as it commits oneself to beliefs not commonly accepted in the scientific community such as the existence of non-causal systems (something not observed to date).

In Love, Power and Justice, Hatcher outlines a system of ethics based on the principle that there is a universal human nature; as evidence, he outlines how all new born children will respond positively to love, and negatively to cruelty and hate.

Hatcher also speaks of intrinsic and extrinsic value. Extrinsic value is not a property of the object itself but is a socially conferred value; for example, the value given by society to money. Intrinsic value on the other hand stands inseparable from the object itself. Whereas extrinsic value can be determined by observation, intrinsic value is discovered upon reflection. Hatcher believes that human beings have intrinsic value, similar to the Kantian notion of our humanity, he says that unless we discover our own intrinsic value, we will seek it elsewhere through means such as competition.

## Work and achievements

Hatcher is one of eight Platonist philosophers listed for the second half of the twentieth century in the Encyclopedie Philosophique Universelle.

Hatcher was the author of over fifty monographs, books, and articles in the mathematical sciences, logic and philosophy. Among the publications of which he is author or coauthor are:

## Relationship to the Bahá'í Faith

Dr. Hatcher discovered the Bahá'í Faith while a student, he enrolled in the Bahá'í Faith in 1957 following which he wrote a letter to the Yale faculty explaining to the Yale Divinity School, his reasons for declining to enroll at the school where he had been recently admitted. He spent the decades that followed in dedicated service to the Baha'i community and its administrative development, at the local and national level, in the United States, Switzerland, Russia, and Canada.

He served on National Spiritual Assembly of the Baha'is of Canada (1983–91) as well as on the inaugural National Spiritual Assemblies of Switzerland (1962–65) and the Russian Federation (1996), he lived in Russia from 1993 to 1998. He was also a founding member of the Association for Bahá'í Studies.

In a message of condolence, the Universal House of Justice (the international governing body of the Bahá'í Faith) said that "The Baha'i world has lost one of its brightest minds, one of its most prolific pens ..."

## Notes

1. ^ Reprint of open letter to fellow students on conversion – Pamphlet copyright 1965, National Spiritual Assembly of the Baha'is of the United States of America, Baha'i Publishing Trust, Wilmette, Illinois
3. ^ Reviews of The Foundations of Mathematics:
• Nelson, D., Mathematical Reviews, MR 0237320CS1 maint: Untitled periodical (link)
• Engeler, Erwin (January 1970), The American Mathematical Monthly, 77 (1): 90, doi:10.2307/2316880CS1 maint: Untitled periodical (link)
• Corcoran, John (March 1972), Philosophy of Science, 39 (1): 88–90, JSTOR 186599CS1 maint: Untitled periodical (link)
• Barr, J. (March 1974), The American Mathematical Monthly, 81 (3): 299–301, doi:10.2307/2319549CS1 maint: Untitled periodical (link)
4. ^ Review of Absolute Algebra:
• Ježek, Jaroslav (1980), Mathematical Reviews, MR 0509332CS1 maint: Untitled periodical (link)
5. ^ Reviews of The Logical Foundations of Mathematics:
• Dawson, John W. Jr (1984), Mathematical Reviews, MR 0690243CS1 maint: Untitled periodical (link)
• Corcoran, John (May–June 1984), American Scientist, 72 (3): 305, JSTOR 27852714CS1 maint: Untitled periodical (link)
• Kroon, Frederick W. (June 1986), The Journal of Symbolic Logic, 51 (2): 467–470, doi:10.2307/2274073CS1 maint: Untitled periodical (link)
6. ^ Review of Logic and Logos: