A logical inference is not a logical necessity, Padriac.
"It is customary in philosophy to distinguish between statements (judgments; propositions) which are factually true and those which are "necessarily" true (or, what comes to the same, between statements that could conceivably be false, and those which could not conceivably be false). An example of the former would be the statement "All of my classmates are unmarried," while an example of the latter would be the statement "All bachelors are unmarried.""
Since the proposition "All bachelors are unmarried" is not a scientific conclusion (being apriori) by your standards you would be forced to believe it is only probably true, where as in reality it is necessarily true, given the definitions of bachelors and marriage.
The first statement "All my classmates are bachelors" has to be established aposteriori but may be true all the same.
"It is customary in philosophy to distinguish between statements (judgments; propositions) which are factually true and those which are "necessarily" true (or, what comes to the same, between statements that could conceivably be false, and those which could not conceivably be false). An example of the former would be the statement "All of my classmates are unmarried," while an example of the latter would be the statement "All bachelors are unmarried.""
Since the proposition "All bachelors are unmarried" is not a scientific conclusion (being apriori) by your standards you would be forced to believe it is only probably true, where as in reality it is necessarily true, given the definitions of bachelors and marriage.
The first statement "All my classmates are bachelors" has to be established aposteriori but may be true all the same.
.
