Parliamo di termodinamica. Mi fa pensare il fatto che il secondo principio si dimostra essere uguale nella formulazione di Clausius o di Kelvin dimostrando che negare uno equivale a negare l'altro. Ma abbiamo effettivamente dimostrato il secondo principio?
A livello logico, non vorrei sbagliarmi, si potrebbe dire così
$ \neg C \Longleftrightarrow \neg K ~ $
e da qui sarebbe lecito concludere che $ C \Longleftrightarrow K ~ $
e quindi $ K = C~ $
ma da qui è lecito o no dire che effettivamente l'enunciato KC è vero? Il problema è ben sottile, perché a quanto mi risulta io posso dimostrare senza problemi che due enunciati sono in realtà un unico detto con parole diverse... ma da lì a dire che quell'enunciato è vero...
(resti tra noi, dovrei pensare a questioni un po' più pratiche, visto che su questi argomenti ho un esame tra due giorni... ma inevitabilmente i miei appunti prendono una piega filosofica...)
