The Wonder of Colors and the Principle of Ariadne

In How Colours Matter to Philosophy. New . York: Springer. pp. 309-317 (2017)

Walter Carnielli
University of Campinas
The Principle of Ariadne, formulated in 1988 ago by Walter Carnielli and Carlos Di Prisco and later published in 1993, is an infinitary principle that is independent of the Axiom of Choice in ZF, although it can be consistently added to the remaining ZF axioms. The present paper surveys, and motivates, the foundational importance of the Principle of Ariadne and proposes the Ariadne Game, showing that the Principle of Ariadne, corresponds precisely to a winning strategy for the Ariadne Game. Some relations to other alternative. set-theoretical principles are also briefly discussed.
Keywords Principle Ariadne  Axiom of . Choice
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Culture and Value.Ludwig Wittgenstein, G. H. Von Wright, Heikki Nymam & Peter Winch - 1982 - Philosophy and Rhetoric 15 (1):70-73.
Natural Kinds.Willard V. Quine - 1969 - In Jaegwon Kim & Ernest Sosa (eds.), Ontological Relativity and Other Essays. Columbia University Press. pp. 114-38.
Happy Families.A. R. D. Mathias - 1977 - Annals of Pure and Applied Logic 12 (1):59.
A Mathematical Incompleteness in Peano Arithmetic.Jeff Paris & Leo Harrington - 1977 - In Jon Barwise & H. Jerome Keisler (eds.), Handbook of Mathematical Logic. North-Holland Pub. Co.. pp. 90--1133.

View all 9 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Ariadne – eine Frau zwischen Heros und Gott.Magnus Frisch - 2013 - der Altsprachliche Unterricht 56 (4-5):26-37.
Ariadne Revisited.John Dilworth - 2003 - Contemporary Aesthetics 1.
Ariadne's Fears From Sea and Sky.Ariane Hewig - 1991 - Classical Quarterly 41 (2):554-556.
REVIEWS-Computability.R. Epstein, W. Carnielli & Carlos Augusto Di Prisco - 2002 - Bulletin of Symbolic Logic 8 (1):101-103.
The Axiom of Choice.John L. Bell - 2008 - Stanford Encyclopedia of Philosophy.


Added to PP index

Total views
312 ( #20,970 of 2,292,073 )

Recent downloads (6 months)
116 ( #4,902 of 2,292,073 )

How can I increase my downloads?


My notes

Sign in to use this feature