In the Kantian tradition, there are analytic and synthetic truths (propositions).... I would say that a fact is a true statement, but I don't know if this is its formal definition in philosophical logic.
Analytic truths are true by definition, the predicate concept is contained in the subject concept, so they are independent of real-world matters of fact. They include mathematical & logical truths and statements like 'an unmarried man is a batchelor'; they are, in a sense, tautological.
Synthetic truths are not analytic, they depend on real-world matters of fact, they are products of experience. The predicate concept is related to but not contained in the subject concept. So a statement like, 'Jim is a batchelor' will be a synthetic truth (if and only if Jim is unmarried).
So a real-world 'fact' is a synthetic truth in that tradition - as long as it really is a fact; i.e. as long as the statement corresponds to reality. Lots of things are claimed to be factual when they are mistaken or just matters of opinion.
Having said that, there's a lot more to truth in philosophy than the Kantian tradition alone...
Upvote
0