Bernard Bolzano: diferència entre les revisions

El concepte de "variacions" juga un paper important en la teoria lògica de Bolzano. Diverses relacions lògiques es defineixen en termes dels canvis en el [[valor de veritat]] que les proposicions incorrinincorren quan les seves parts no lògicslògiques són reemplaçatsreemplaçades per uns d'altres. LògicamentLes proposicions analítiques lògiques, per exemple, són aquellsaquelles en què totes les parts no lògicslògiques poden ser reemplaçatssubstituïdes sense canvi de valor de veritat. Dues proposicions són "compatibles" (''verträglich'') respecte a un dels seus components x si hi ha almenys un terme que pot ser inserit que fariai que les duesfaria ambdues veritables. Una proposició Q és "deduïble" '(''ableitbar'') a partir d'una proposició P, pel que farespecte a certsalguna de les seves parts no lògiques, si la substitució de les parts que fafan P certcerta també fafan Q certcerta. Si una proposició és deduïble delsd'una altresaltra respecte a totes les seves parts no lògicslògiques, queBolzano es diu que ésl'anomena "lògicament deduïble '". A més de la relació de deduïbilitat, Bolzano també té una relació més estricta de 'consecuencialidad'"conseqüència" (''Abfolge''). Això és una relació asimètrica que obté entre proposicions veritables, quan una de les proposicions no només és deduïble a partir de l'altra, peròsinó que també s'explica per l'altra.