Einer der zentralen Begriffe sowohl der Logik als auch der Argumentationstheorie: Ein Schluss ist eine Menge von Satzäußerungen bzw. Satzinschriften, die eine Person macht. Für eine der Äußerungen beansprucht die Person, dass sie aus den anderen logisch folgt, oder anders ausgedrückt, dass sie sich aus den anderen mit Notwendigkeit ergibt. So gesehen ist ein Schluss eine Handlung, die eine Person an einem bestimmten Ort und zu einer bestimmten Zeit ausführt. Zumeist interessiert uns aber gerade nicht, was an einem Schluss ort-, zeit- oder personenspezifisch ist, sondern die vom Einzelfall des Hervorbringens unabhängige Struktur. In einem abstrakten, verallgemeinerten Sinne ist ein Schluss eine Menge von Sätzen einer Sprache, der eine Menge von Satzäußerungen entspricht, in welcher für einen Satz der Anspruch erhoben wird, er ergebe sich aus den anderen Sätzen mit Notwendigkeit. Wenn dieser Anspruch zu Recht besteht, dann sagt man, der Schluss sei gültig. Ein Schluss dagegen, in dem keine notwendige Folgerung vorliegt, heißt ungültig. Den Satz eines Schlusses, für den beansprucht wird, er folge aus den anderen, nennen wir die Konklusion des Schlusses, die übrigen Sätze die Prämissen.

A. Bühler, Einführung in die Logik. Argumentation und Folgerung , 3. Aufl. Freiburg / München 2000