Questa è una necessità per stabilire il significato di una sintassi definiti. 5.1 Verità e Realtà La verità ha solamente senso quando lo si relaziona con un mondo sensibile, ossia il mondo che si può percepire con i nostri sensi. 5.1.1 Verità parametrica e assoluta Se un esperimento è ripetibile all’interno del mondo sensibili allora questa è considerata come una verità parametrica, ossia dipende da uno stato del mondo sensibile. ...
Logica del primo ordine Questa è la logica più utilizzata dai matematici Limitatezza della logica proposizionale La logica proposizionale classica non è in grado di ragionare sull’infinito Fino ad ora abbiamo utilizzato una metalogica per giustificare il per ogni e l’esiste nelle dimostrazioni fin’ora. Dobbiamo quindi dare una definizione più formale dei quantificatori. Obiettivo della logica del primo ordine Si può quindi identificare come l’obiettivo della logica di primo ordine l’introduzione dei quantificatori dell’universale e dell’esiste ...