hintikka has argued (e.g. in the book ) that if and extended if logic should be used as a basis for the foundations of mathematics; this proposal has been met in some cases with skepticism (see e.g.).