Logistik, (af gr. logistike (techne) 'regnekunst'), anvendt af G.W. Leibniz om et formaliseret symbolsprog, i hvilket ethvert ræsonnement tager form af en udredning af samme art som simple aritmetiske talbestemmelser. I 1900-t. bruges logistik som en synonym betegnelse for symbolsk logik (formel logik), dvs. studiet af argumenters former ved analyse foretaget i et formaliseret sprog. Undertiden anvendes logistik også om den retning inden for udforskningen af matematikkens grundlag, repræsenteret af Gottlob Frege og Bertrand Russell, der hævder, at matematikken kan udvikles ud fra aksiomer for udsagnslogikken og prædikatslogikken.
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.