Fatti
Il signor A., nato nel 1960, era assicurato presso la Fondazione B. (di seguito: fondazione previdenziale) per la previdenza professionale sovraobbligatoria. Quando il settore in cui lavorava è stato scorporato il 30 giugno 2010 in una nuova società, A. è rimasto assicurato presso la fondazione previdenziale fino alla sua uscita il 31 maggio 2013. Secondo l'estratto previdenziale del 4 aprile 2013, la prestazione di libero passaggio al 31 maggio 2013 ammontava complessivamente a Fr. 79'671.70. A. non era d'accordo con questo importo e ha presentato una denuncia.
Legge
Per il calcolo del valore attuale della prestazione di uscita presso le istituzioni di previdenza nel regime delle prestazioni definite, sono considerate solo le prestazioni previdenziali, ma non il (pre-)finanziamento di tali prestazioni come "prestazioni assicurate" ai sensi dell'art. 16 cpv. 2 e 3 LFLP. Le prestazioni regolamentari per il pensionamento anticipato, che servono sia al superamento della rendita AVS che di una rendita di vecchiaia della previdenza professionale, sono "rendite transitorie" ai sensi dell'art. 17 cpv. 2 lett. c LFLP. Per la questione di quale sistema finanzia le prestazioni di un'istituzione di previdenza, non è determinante solo l'aspetto temporale; è altrettanto decisivo se i relativi contributi portano a un accumulo pianificato di capitale di copertura.
La "rendita AVS" e la "rendita sostitutiva della previdenza…