Metalogik, (1. led meta-), inden for moderne logik det filosofiske og matematiske studium af logiske systemers egenskaber. Et typisk metalogisk resultat er påvisningen af, at et logisk system er (eller ikke er) konsistent, fuldstændigt og afgørbart.
Metalogik, (1. led meta-), inden for moderne logik det filosofiske og matematiske studium af logiske systemers egenskaber. Et typisk metalogisk resultat er påvisningen af, at et logisk system er (eller ikke er) konsistent, fuldstændigt og afgørbart.
Kommentarer
Kommentarer til artiklen bliver synlige for alle. Undlad at skrive følsomme oplysninger, for eksempel sundhedsoplysninger. Fagansvarlig eller redaktør svarer, når de kan.
Du skal være logget ind for at kommentere.