Bernard Bolzano: diferència entre les revisions

El concepte de "variacions" jugaté 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 incorren quan les seves parts no lògiques són reemplaçades per d'altres. Les proposicions analítiques lògiques, per exemple, són aquelles en què totes les parts no lògiques poden ser substituïdes sense canvi de valor de veritat. Dues proposicions són "compatibles" (''verträglich'') respecte a un dels seus components si hi ha almenys un terme que pot ser inserit i que les faria ambdues veritables. Una proposició Q és "deduïble" (''ableitbar'') a partir d'una proposició P, respecte a alguna de les seves parts no lògiques, si la substitució de les parts que fan P certa també fan Q certa. Si una proposició és deduïble d'una altra respecte a totes les seves parts no lògiques, Bolzano l'anomena "lògicament deduïble". A més de la relació de deduïbilitat, Bolzano també té una relació més estricta de "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, sinó que també s'explica per l'altra.