Abstract
It has been maintained that there is an important asymmetry between the verification and the refutation of a theory in empirical science. Refutation has been said to be conclusive or decisive while verification was claimed to be irremediably inconclusive in the following sense: If a theory T 1 entails observational consequences O, then the truth of T 1 does not, of course, follow deductively from the truth of the conjunction $$ ({{T}_{1}} \to O) \cdot O $$ On the other hand, the falsity of T 1 is indeed deductively inferable by modus tollens from the truth of the conjunction $$ ({{T}_{1}} \to O) \cdot \sim O. $$.KeywordsEuclidean GeometryCongruence ClassCollateral TheoryAuxiliary AssumptionPhysical GeometryThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
