Immanuel Kant foresaw all this. In his seminal work "Critique of pure reason" he argues that our pure reason, as opposed to the pure mind, always tries to look for the absolute, the absolute of all conditionals. This leads our reason to look beyond empirically observable objects. Those objects that have their origin only in pure reason is what he calls "ideas". Those ideas can be separated into three categories, name…
Ideas can be proven true or false, but only in the context of other ideas which are assumed. That is what all of mathematics is based on. Of course, there is no objective truth or falsehood - the world doesn't even exist in a single objective state - and inductive inference is merely sufficient to provide estimates of probability.
In that case the statement "if $assumptions, then $conclusion" is objectively true.