Beh, effettivamente per fisica forse non servirà tantissimo come ambito in sè, ma guarda che il calcolo dei predicati adeguatamente contestualizzato lo trovi in tante parti dell'informatica e NON solo teorica.
Non è assolutamente terreno unico di scontro fra matematici e di chi studia filosofia (non dico filosofi perchè come sai sono cose diverse

).
Un esempio "banale" (proprio terra terra, senza andare a scomodare ingegneria della conoscenza, l'AI ed il CLIPS) è il datalog per i database.
Peccato fare quasi solo SQL ad ingegneria ed accennare - e basta - datalog. Un vero peccato.....del resto bisognerebbe avere un'implementazione del datalog che possa stare dietro a quelle di SQL in efficienza per renderla appetibile al mercato dei DBMS relazionali.
Non penso esista
