Folgebeziehung,logische
Eine l. F. ist gegeben, wenn aus mehreren vorangehenden Aussagen, den Prämissen, durch einen logischen Schluss eine weitere Aussage, die Konklusion, gewonnen wird. Die l. F. hat zwei formale Merkmale: (1) Der Gehalt der Konklusion führt nicht über den Gehalt der Prämissen hinaus, d.h. solche logischen Schlüsse sind nicht gehalt-erweiternd. (2) Die Wahrheit überträgt sich von den Prämissen, sofern diese wahr sind, auf die Konklusion, d.h. eine solche Folgebeziehung ist wahrheitskonservierend.
PP