“Whenever we write an axiom, a critic can say that the axiom is true only in a certain context. With a little ingenuity the critic can usually devise a more general context in which the precise form of the axiom doesn't hold. […] There simply isn't a most general context.”

— John McCarthy

" Generality in Artificial Intelligence http://www-formal.stanford.edu/jmc/generality.html" (1971–1987), ACM Turing Award Lectures: The First Twenty Years, ACM Press, 1987, ISBN 0201077949
1980s

Adopted from Wikiquote. Last update June 3, 2021. History

Help us to complete the source, original and additional information

Do you have more details about the quote "Whenever we write an axiom, a critic can say that the axiom is true only in a certain context. With a little ingenuity …" by John McCarthy?

John McCarthy 12

American computer scientist and cognitive scientist 1927–2011

Related quotes

“The other derives axioms from the senses and particulars, rising by a gradual and unbroken ascent, so that it arrives at the most general axioms last of all. This is the true way, but as yet untried.”

Francis Bacon book Novum Organum

Aphorism 19
Novum Organum (1620), Book I
Context: There are and can be only two ways of searching into and discovering truth. The one flies from the senses and particulars to the most general axioms, and from these principles, the truth of which it takes for settled and immovable, proceeds to judgment and to the discovery of middle axioms. And this way is now in fashion. The other derives axioms from the senses and particulars, rising by a gradual and unbroken ascent, so that it arrives at the most general axioms last of all. This is the true way, but as yet untried.

“Soon it will be achieved. The lie of television has been that there are contexts to which television will grant an access. Since lies last, usually, no more than one generation, television will re-form around the idea that television itself is a context to which television will grant an access.”

George W. S. Trow (1943–2006) American writer

Within the Context of No Context (1980)

“It is an axiom in my mind, that our liberty can never be safe but in the hands of the people themselves, and that too of the people with a certain degree of instruction. This it is the business of the State to effect, and on a general plan.”

Thomas Jefferson (1743–1826) 3rd President of the United States of America

Letter to http://www.familytales.org/dbDisplay.php?id=ltr_thj1489 George Washington (4 January 1786)
1780s
Source: Letters of Thomas Jefferson

“The first charge against 'measurement', in the fundamental axioms of quantum mechanics, is that it anchors there the shifty split of the world into 'system' and 'apparatus'. A second charge is that the word comes loaded with meaning from everyday life, meaning which is entirely inappropriate in the quantum context.”

John S. Bell (1928–1990) Northern Irish physicist

Against 'measurement' (1990)

“If one keeps these axioms in mind one can generally see the relevant facts in international affairs through the smoke-screen with which the newspapers surround them.”

George Orwell (1903–1950) English author and journalist

"As I Please," Tribune (13 December 1946)
"As I Please" (1943–1947)
Context: While the game of deadlocks and bottle-necks goes on, another more serious game is also being played. It is governed by two axioms. One is that there can be no peace without a general surrender of sovereignty: the other is that no country capable of defending its sovereignty ever surrenders it. If one keeps these axioms in mind one can generally see the relevant facts in international affairs through the smoke-screen with which the newspapers surround them.

“It is remarkable that this generalization of plane geometry to surface geometry is identical with that generalization of geometry which originated from the analysis of the axiom of parallels. …the construction of non-Euclidean geometries could have been equally well based upon the elimination of other axioms. It was perhaps due to an intuitive feeling for theoretical fruitfulness that the criticism always centered around the axiom of parallels. For in this way the axiomatic basis was created for that extension of geometry in which the metric appears as an independent variable. Once the significance of the metric as the characteristic feature of the plane has been recognized from the viewpoint of Gauss' plane theory, it is easy to point out, conversely, its connection with the axiom of parallels. The property of the straight line as being the shortest connection between two points can be transferred to curved surfaces, and leads to the concept of straightest line; on the surface of the sphere the great circles play the role of the shortest line of connection… analogous to that of the straight line on the plane. Yet while the great circles as "straight lines" share the most important property with those of the plane, they are distinct from the latter with respect to the axiom of the parallels: all great circles of the sphere intersect and therefore there are no parallels among these "straight lines". …If this idea is carried through, and all axioms are formulated on the understanding that by "straight lines" are meant the great circles of the sphere and by "plane" is meant the surface of the sphere, it turns out that this system of elements satisfies the system of axioms within two dimensions which is nearly identical in all of it statements with the axiomatic system of Euclidean geometry; the only exception is the formulation of the axiom of the parallels.”

Hans Reichenbach (1891–1953) American philosopher

The geometry of the spherical surface can be viewed as the realization of a two-dimensional non-Euclidean geometry: the denial of the axiom of the parallels singles out that generalization of geometry which occurs in the transition from the plane to the curve surface.
The Philosophy of Space and Time (1928, tr. 1957)