Sunt logicile de ordin superior justificate abductiv?

Marian Călborean investigates if higher-order logics (HOL), specifically second-order logic (SOL), are justified through abductive reasoning—the inference to the best explanation. Drawing on Mircea Dumitru’s work, the text explores two main arguments: one from applied mathematics and another from propositional modal logics. While SOL gains significant abductive support due to its elegance and success in philosophical research, Călborean concludes that other HOLs lack similarly clear justifications, remaining a subject of ongoing debate. THIS ABSTRACT IS GENERATED WITH ARTIFICIAL INTELLIGENCE.