In der Logik und Philosophie bezieht sich der Begriff Vorschlag entweder auf (a) der "Inhalt" oder auf "Bedeutung" eines bedeutungsvollen Aussagesatzes oder (b) das Muster von Symbolen, Zeichen oder Tönen, die einen bedeutungsvollen Aussagesatz zusammensetzen. Die Bedeutung eines Vorschlags schließt ein die Qualität oder das Eigentum zu haben, entweder wahr oder falsch zu sein, und weil, wie man fordert, solche Vorschläge truthbearers sind.

Die Existenz von Vorschlägen im Sinn (a) oben, sowie die Existenz von "Bedeutungen", wird von einigen Philosophen diskutiert. Wo das Konzept einer "Bedeutung" zugelassen wird, ist seine Natur umstritten. In früheren Texten haben Schriftsteller genug nicht immer verständlich gemacht, ob sie den Begriff Vorschlag im Sinn der Wörter oder der durch die Wörter ausgedrückten "Bedeutung" gebrauchen. Um die Meinungsverschiedenheiten und ontologischen Implikationen zu vermeiden, wird der Begriff Satz häufig jetzt statt des Vorschlags gebraucht, um sich auf gerade jene Reihen von Symbolen zu beziehen, die truthbearers sind, entweder wahr oder falsch unter einer Interpretation seiend. Strawson hat den Gebrauch des Begriffes "Behauptung" verteidigt, und einige Mathematiker haben diesen Gebrauch angenommen.

Historischer Gebrauch

Gebrauch durch Aristoteles

Aristotelische Logik identifiziert einen Vorschlag als ein Satz, der versichert oder ein Prädikat eines Themas bestreitet. Ein Aristotelischer Vorschlag kann die Form "Alle Männer annehmen sind sterblich", oder "Sokrates ist ein Mann." Im ersten Beispiel ist das Thema "Alle Männer", und das Prädikat "sind sterblich." Im zweiten Beispiel ist das Thema "Sokrates", und das Prädikat ist "ist ein Mann."

Gebrauch durch den logischen positivists

Häufig sind Vorschläge mit geschlossenen Sätzen verbunden, um sie davon zu unterscheiden, was durch einen offenen Satz ausgedrückt wird. In diesem Sinn sind Vorschläge "Behauptungen", die Wahrheitsträger sind. Diese Vorstellung eines Vorschlags wurde von der philosophischen Schule des logischen Positivismus unterstützt.

Einige Philosophen behaupten, dass einige (oder alle) Arten der Rede oder Handlungen außer den Aussage-auch Satzinhalt haben. Zum Beispiel präsentieren Alternativfragen Vorschläge, Untersuchungen in den Wahrheitswert von ihnen seiend. Andererseits können einige Referenzen Aussagebehauptungen von Vorschlägen sein, ohne einen Satz zu bilden noch sogar linguistisch zu sein, z.B befördern Verkehrszeichen bestimmte Bedeutung, die entweder wahr oder falsch ist.

Vorschläge werden auch als der Inhalt des Glaubens und der ähnlichen absichtlichen Einstellungen wie Wünsche, Einstellungen und Hoffnungen gesprochen. Zum Beispiel "Wünsche ich, dass ich ein neues Auto habe," oder "Ich frage mich, ob es schneien wird" (oder, ob es der Fall ist, den "es" schneien wird). Wunsch, Glaube wird so und so weiter Satzeinstellungen genannt, wenn sie diese Sorte des Inhalts nehmen.

Gebrauch durch Russell

Bertrand Russell hat gemeint, dass Vorschläge strukturierte Entitäten mit Gegenständen und Eigenschaften als Bestandteile waren. Wittgenstein hat gemeint, dass ein Vorschlag der Satz von möglichen Welten/Lage der Dinge ist, in denen es wahr ist. Ein wichtiger Unterschied zwischen diesen Ansichten ist, dass auf der Rechnung von Russellian zwei Vorschläge, die im allem gleichen Lage der Dinge wahr sind, noch unterschieden werden können. Zum Beispiel ist der Vorschlag, der zwei plus zwei vier gleich ist, auf einer Rechnung von Russellian von drei plus drei verschieden ist sechs gleich. Wenn Vorschläge Sätze von möglichen Welten jedoch sind, dann sind alle mathematischen Wahrheiten derselbe Satz (der Satz aller möglichen Welten).

Beziehung zur Meinung

In Bezug auf die Meinung werden Vorschläge in erster Linie besprochen, weil sie Satzeinstellungen einbauen. Satzeinstellungen sind einfach Einstellungseigenschaft der Volkspsychologie (Glaube, Wunsch, usw.), den man zu einem Vorschlag nehmen kann (z.B, 'regnet es,' 'ist Schnee,' usw. weiß). In Englisch folgen Vorschläge gewöhnlich Leuten psychologische Einstellungen durch "dass Klausel" (z.B" Jane glaubt, dass es" regnet). In der Philosophie der Meinung und Psychologie werden geistige Staaten häufig genommen, um in erster Linie in Satzeinstellungen zu bestehen. Wie man gewöhnlich sagt, sind die Vorschläge der "geistige Inhalt" der Einstellung. Zum Beispiel, wenn Jane einen geistigen Staat des Glaubens hat, dass es regnet, ist ihr geistiger Inhalt der Vorschlag 'es regnet.' Außerdem, da solche geistigen Staaten über etwas sind (nämlich Vorschläge), wie man sagt, sind sie absichtliche geistige Staaten. Umgebungsvorschläge der philosophischen Debatten, weil sie sich auf Satzeinstellungen beziehen, haben auch kürzlich darauf im Mittelpunkt gestanden, ob sie inner oder zum Agenten äußerlich sind, oder ob sie von der Meinung abhängige oder mit der Meinung unabhängige Entitäten sind (sieh den Zugang auf internalism und externalism in der Philosophie der Meinung).

Behandlung in der Logik

Wie bemerkt, oben in der Aristotelischen Logik ist ein Vorschlag eine besondere Art des Satzes, derjenige, der versichert oder ein Prädikat eines Themas bestreitet. Aristotelische Vorschläge nehmen Formen wie "Alle Männer an sind sterblich", und "Sokrates ist ein Mann."

Vorschläge tauchen in der formalen Logik als Gegenstände einer formellen Sprache auf. Eine formelle Sprache beginnt mit verschiedenen Typen von Symbolen. Diese Typen können Variablen, Maschinenbediener, Funktionssymbole, Prädikat (oder Beziehung) Symbole, quantifiers, und Satzkonstanten einschließen. (Sich gruppierende Symbole werden häufig für die Bequemlichkeit im Verwenden der Sprache hinzugefügt, aber spielen keine logische Rolle.) Werden Symbole zusammen gemäß rekursiven Regeln verkettet, um Schnuren zu bauen, denen Wahrheitswerte zugeteilt werden. Die Regeln geben an, wie die Maschinenbediener, Funktion und Prädikat-Symbole und quantifiers mit anderen Schnuren verkettet werden sollen. Ein Vorschlag ist dann eine Schnur mit einer spezifischen Form. Die Form, die ein Vorschlag annimmt, hängt vom Typ der Logik ab.

Der Typ der Logik hat Satz-, sentential genannt, oder Behauptungslogik schließt nur Maschinenbediener und Satzkonstanten als Symbole auf seiner Sprache ein. Die Vorschläge auf dieser Sprache sind Satzkonstanten, die als Atomvorschläge und zerlegbare Vorschläge betrachtet werden, die durch die rekursive Verwendung von Maschinenbedienern auf Vorschläge zusammengesetzt werden. Anwendung hier ist einfach eine kurze Weise zu sagen, dass die entsprechende Verkettungsregel angewandt worden ist. Zum Beispiel, wenn φ und ψ Satzkonstanten sind und  ein binärer Maschinenbediener ist, dann φ  (φ ψ), ist ein Vorschlag, der auch als  oder in einer anderen Ordnung geschrieben werden könnte.

Die Typen der Logik haben Prädikat, quantificational genannt, oder N-Ordnungslogik schließt Variablen, Maschinenbediener, Prädikat und Funktionssymbole und quantifiers als Symbole auf ihren Sprachen ein. Die Vorschläge in dieser Logik sind komplizierter. Erstens müssen Begriffe definiert werden. Ein Begriff ist (i) eine Variable oder (ii) ein Funktionssymbol, das auf die Zahl von durch den Funktionssymbol-arity erforderlichen Begriffen angewandt ist. Zum Beispiel, wenn + ein binäres Funktionssymbol und x, y ist, und z Variablen sind, dann ist x + (y+z) ein Begriff, der mit den Symbolen in verschiedenen Ordnungen geschrieben werden könnte. Ein Vorschlag ist (i) ein Prädikat-Symbol, das auf die Zahl von Begriffen angewandt ist, die durch seinen arity, (ii) ein Maschinenbediener erforderlich sind, der auf die Zahl von Vorschlägen angewandt ist, die durch seinen arity, oder (iii) ein auf einen Vorschlag angewandter quantifier erforderlich sind. Zum Beispiel, wenn = ein binäres Prädikat-Symbol ist und  ein quantifier ist, dann ist x, y, z [(x = y)  (x+z = y+z)] ein Vorschlag. Diese kompliziertere Struktur von Vorschlägen erlaubt dieser Logik, feinere Unterscheidungen zwischen Schlussfolgerungen zu machen, d. h., größere ausdrucksvolle Macht zu haben.

In diesem Zusammenhang werden Vorschläge auch Sätze, Behauptungen, Behauptungsformen, Formeln und gut gebildete Formeln genannt, obwohl diese Begriffe gewöhnlich innerhalb eines einzelnen Textes nicht synonymisch sind. Diese Definition behandelt Vorschläge als syntaktische Gegenstände im Vergleich mit semantischen oder geistigen Gegenständen. D. h. Vorschläge in diesem Sinn sind sinnlose, formelle, abstrakte Gegenstände. Sie werden zugeteilt bedeutend und Wahrheitswerte durch mappings genannt Interpretationen und Schätzungen beziehungsweise.

Einwände gegen Vorschläge

Versuche, eine bearbeitungsfähige Definition des Vorschlags zur Verfügung zu stellen, schließen ein

Zwei bedeutungsvolle Aussagesätze drücken denselben Vorschlag aus, wenn, und nur wenn sie dasselbe Ding vorhaben.

so Vorschlag in Bezug auf synonymity definierend. Zum Beispiel "Ist Schnee weiß" (in Englisch) und "Schnee ist weiß" (in Deutsch) verschiedene Sätze sind, aber sie sagen dasselbe Ding, so drücken sie denselben Vorschlag aus.

Zwei bedeutungsvolle Aussagesatz-Jetons drücken denselben Vorschlag aus, wenn, und nur wenn sie dasselbe Ding vorhaben.

Leider hat die obengenannte Definition das Ergebnis, dass zwei sentences/sentence-tokens, die dieselbe Bedeutung haben und so denselben Vorschlag ausdrücken, verschiedene Wahrheitswerte z.B haben konnten, "Bin ich Spartacus" gesagt von Spartacus und hat durch John Smith gesagt; und z.B "Ist es Mittwoch" hat an einem Mittwoch und an einem Donnerstag gesagt.

Mehrere Philosophen und Linguisten behaupten, dass alle Definitionen eines Vorschlags zu vage sind, um nützlich zu sein. Für sie ist es gerade ein irreführendes Konzept, das von der Philosophie und Semantik entfernt werden sollte. W.V. Quine hat behauptet, dass die Unbegrenztheit der Übersetzung jede bedeutungsvolle Diskussion von Vorschlägen verhindert hat, und dass sie für Sätze verworfen werden sollten. Strawson hat den Gebrauch des Begriffes "Behauptung" verteidigt.

Zusammenhängende Konzepte

Tatsachen sind nachprüfbare Information. Einfache Tatsachen werden häufig als Vorschläge festgesetzt: "Äpfel sind ein Typ der Frucht." Die entgegengesetzte Behauptung — "Äpfel ist nicht ein Typ der Frucht" — ist noch ein richtig formulierter Vorschlag, wenn auch es (nicht eine Tatsache) falsch ist. Die meisten Behauptungen der Tatsache sind zusammengesetzte Tatsachen: Z.B, dass Äpfel bestehen, besteht diese Frucht, dass es vielfache Typen der Frucht usw. gibt.

Eine Proposition ist ein Vorschlag, der als das Fundament verwendet wird, um Schlüsse zu ziehen. Zum Beispiel:

• Proposition: "Äpfel sind ein Typ der Frucht."
• Proposition: "Alle Typen der Frucht sind Essen."
• Beschluss: "Deshalb sind Äpfel Essen."

Wenn der Beschluss dann entweder ein oder mehr von den Propositionen falsch ist, ist falsch, oder der Prozess, die Propositionen zu verbinden, ist logisch ungültig. Wenn die Propositionen wahr sind und der Prozess logisch gültig ist, dann muss der Beschluss wahr sein.

Siehe auch

• Hauptstreit
• Vorschlag-Gebrauch in modernen mathematischen Zeitungen.

Links

• Enzyklopädie von Stanford von Artikeln Philosophy über:
• Vorschläge, durch Matthew McGrath
• Einzigartige Vorschläge, durch Greg Fitch
• Strukturierte Vorschläge, durch Jeffrey C. König