With the Galileo case, at that time, the core error by the theologians “lay in faulty exegesis: in supposing that the Bible does in fact assert a particular physical proposition (geocentrism) which it does not really assert.” (Fr Brian Harrison , O.S., Living Tradition, p3). There was no dogma, nor defined doctrine declared by a Pope or Ecumenical Council.
The four senses of Scripture may be explored at:
rtforum.org/study/lesson2.html in the Roman Theological Forum.
It’s not rocket science:
The Pope’s ‘ex cathedra’ or infallible definitions may be either of revealed dogma, to be believed with divine faith, or of other truths necessary for guarding and expounding revealed truth. Vatican Council II and the post-conciliar Magisterium have explicitly affirmed that both ecclesial and papal infallibility extend to the secondary doctrinal truths necessary for guarding and expounding revelation. Thus, for instance, *Humanae Vitae *(Encyclical) against contraception, and *Ordinatio Sacerdotalis *(Apostolic Epistle) on male-only priests, contain infallible doctrinal definitions, to remove all doubt.
Vatican II (
Lumen Gentium, 25) reaffirms this teaching: “The Roman Pontiff, head of the college of bishops, enjoys this infallibility in virtue of his office, when, as supreme pastor and teacher of all the faithful – who confirms his brethren in the faith (cf. Lk 22:32) – he proclaims in an absolute decision a doctrine pertaining to faith or morals.”
For infallibility to be operative in the case of the Popes. A papal definitive doctrine, to the whole Church by the Supreme Pastor on faith or morals has to be declared. Neither dogmas nor doctrines are “theological”, “scientific” or any other such descriptive assumptions.