מה המפתיע בטענה של גלילאו?

ע"פ הפילוסוף W. V. Quine אפשר לחלק את הפרדוקסים לכמה סוגים: Falsidical paradox - "הוכחות פגומות" לטענות מפתיעות, שהן בעצם שקריות. Veridical paradox - טענות שנראות שקריות, אבל בעצם אמתיות. Antinomy - טענות לוגיות שהן לא אמת ולא שקר, כי הן מובילות לסתירה פנימית. Dialetheia- טענות שהן גם אמת וגם שקר בו זמנית. (*לא הוגדר ע"י QUINE)

זה פרדוקס veridical, טענות שנראות שקריות, אבל בעצם אמיתיות.