Exkurs:Arten von Propositionen: Unterschied zwischen den Versionen

Aus Glossar der Bildphilosophie
Zur Navigation springen Zur Suche springen
Zum nächsten Versionsunterschied →
Joerg R.J. Schirra (Diskussion | Beiträge)
Autor, Beobachter, Draftleser, Glossarianer, Netzwerker, Bürokraten, Oberflächenadministratoren, Administratoren, Benutzer
13.416 Bearbeitungen
Die Seite wurde neu angelegt: „<!-- "This is comment" --> <!--Vorlage für Unterpunkte--> <!--Den folgenden Header, bitte nicht verändern--> {{GlosHeader}} Kategorie:Exkurs <!--Ende hea…“
 
Joerg R.J. Schirra (Diskussion | Beiträge)
Autor, Beobachter, Draftleser, Glossarianer, Netzwerker, Bürokraten, Oberflächenadministratoren, Administratoren, Benutzer
13.416 Bearbeitungen
Keine Bearbeitungszusammenfassung
Zeile 1: Zeile 1:
<!--  "This is comment"  -->
<!--  "This is comment"  -->
<!--Vorlage für Unterpunkte-->
<!--Vorlage für Unterpunkte-->
<!--Den folgenden Header, bitte nicht verändern-->
<!--Den folgenden Header, bitte nicht verändern-->
{{GlosHeader}}
{{GlosHeader}}
[[Kategorie:Exkurs]]
[[Kategorie:Exkurs]]
<!--Ende header-->
<!--In der folgenden Zeile bitte die (Glossar)Kategorie eintragen, wo jetzt XXX steht-->
Exkurs zu: [[Proposition]]
Exkurs zu: [[Proposition]]
<!--beides sollte in der Regel der gleiche Text sein-->
<!--Den folgenden Abschnitt bitte nicht ändern-->
{{GlosTab1}}
{{GlosTab1}}
{{GlossarBoxMain}}
{{GlossarBoxMain}}
<!--Ende header-->
<!--Ab hier: eigentlicher Inhalt; Überschriften gegebenenfalls anpassen-->
<!--Ab hier: eigentlicher Inhalt; Überschriften gegebenenfalls anpassen-->
Besonders relevant sind die folgenden drei Aspekte:
Besonders relevant sind die folgenden drei Aspekte:




=====Einfache und komplexe Propositionen=====
==Einfache und komplexe Propositionen==


Eine ''komplexe'' Proposition setzt sich aus mehreren Propositionen zusammen. Operatoren, die mehrere Propositionen zu einer komplexen Proposition zusammenbinden, sind insbesondere die in der Aussagenlogik untersuchten Junktoren "und" und "oder", sowie die aussagenlogische (externe) Negation.<ref>siehe auch [http:... Wikipedia: Aussagenlogik].</ref>
Eine ''komplexe'' Proposition setzt sich aus mehreren Propositionen zusammen. Operatoren, die mehrere Propositionen zu einer komplexen Proposition zusammenbinden, sind insbesondere die in der Aussagenlogik untersuchten Junktoren "und" und "oder", sowie die aussagenlogische (externe) Negation.<ref>siehe auch [http:... Wikipedia: Aussagenlogik].</ref>
 
:
Eine ''einfache'' Proposition läßt sich hingegen nicht – auf offensichtliche Weise – in Teilpropositionen zerlegen.<ref>Das Problem echter einfacher Propositionen, sogenannter Elementarpropositionen, soll hier ausgeklammert bleiben. vgl. etwa die Diskussion um Wittgensteins Begriff der Elementarsätze: Lit.</ref>
Eine ''einfache'' Proposition läßt sich hingegen nicht – auf offensichtliche Weise – in Teilpropositionen zerlegen.<ref>Das Problem echter einfacher Propositionen, sogenannter Elementarpropositionen, soll hier ausgeklammert bleiben. vgl. etwa die Diskussion um Wittgensteins Begriff der Elementarsätze: Lit.</ref>




=====Singuläre und generelle Propositionen=====
==Singuläre und generelle Propositionen==


Von einer ''singulären'' Proposition spricht man, wenn sich alle den Sachbezug charakterisierenden Nominationen auf einzelne Gegenstände beziehen: "dass Paul hinkt" oder "dass dieser dicke Mann der ausgesprochen intelligente Cousin dritten Grades von der Schwester Deines Freundes ist". Dabei muß jeweils der [[Kontext]], auf den sich die Nominationen beziehen – und damit die gemeinten Gegenstände – den Gesprächspartnern klar sein, da sonst keine bestimmte Proposition, sondern nur ein propositionales Schema gebildet würde.<ref>In einem propositionalen Schema ist mindestens eine Komponente der Proposition durch eine Variable ersetzt. Das Schema ist daher mit einer Vielzahl verschiedener Propositionen kompatibel. Ein propositionales Schema kann entsprechend auch keinen Wahrheitswert besitzen.</ref>
Von einer ''singulären'' Proposition spricht man, wenn sich alle den Sachbezug charakterisierenden Nominationen auf einzelne Gegenstände beziehen: "dass Paul hinkt" oder "dass dieser dicke Mann der ausgesprochen intelligente Cousin dritten Grades von der Schwester Deines Freundes ist". Dabei muß jeweils der [[Kontext]], auf den sich die Nominationen beziehen – und damit die gemeinten Gegenstände – den Gesprächspartnern klar sein, da sonst keine bestimmte Proposition, sondern nur ein propositionales Schema gebildet würde.<ref>In einem propositionalen Schema ist mindestens eine Komponente der Proposition durch eine Variable ersetzt. Das Schema ist daher mit einer Vielzahl verschiedener Propositionen kompatibel. Ein propositionales Schema kann entsprechend auch keinen Wahrheitswert besitzen.</ref>
 
:
Von einer ''generellen'' Proposition ist die Rede, wenn mindestens eine der die Proposition konstituierenden Nominationen durch eine Quantifikation mit einem All- oder Existenzquantor an eine Menge von Gegenständen gebunden wird: "dass an diesem Baum einige der Äpfel einen Monillabefall aufweisen" oder "dass – hier und heute – einige der blonden Besucher alle Gebetsmühlen im Tempel gedreht haben". Deutlich  zu erkennen ist der notwendige Kontextbezug der Quantifikation, durch den die Menge der quantifizierten Gegenstände festgelegt ist und ohne den es sich auch im Falle der generellen Propositionen nur um propositionale Schemata handeln würde.<ref>Jeder Quantor bindet eine Variable eines propositionalen Schemas an einen Wertebereich, der entweder durch einen Kontext mit endlich vielen Gegenständen gegeben ist oder sich auf alle Kontexte und damit potentiell unendlich viele Gegenstände bezieht. </ref>   
Von einer ''generellen'' Proposition ist die Rede, wenn mindestens eine der die Proposition konstituierenden Nominationen durch eine Quantifikation mit einem All- oder Existenzquantor an eine Menge von Gegenständen gebunden wird: "dass an diesem Baum einige der Äpfel einen Monillabefall aufweisen" oder "dass – hier und heute – einige der blonden Besucher alle Gebetsmühlen im Tempel gedreht haben". Deutlich  zu erkennen ist der notwendige Kontextbezug der Quantifikation, durch den die Menge der quantifizierten Gegenstände festgelegt ist und ohne den es sich auch im Falle der generellen Propositionen nur um propositionale Schemata handeln würde.<ref>Jeder Quantor bindet eine Variable eines propositionalen Schemas an einen Wertebereich, der entweder durch einen Kontext mit endlich vielen Gegenständen gegeben ist oder sich auf alle Kontexte und damit potentiell unendlich viele Gegenstände bezieht. </ref>   




=====Konkrete und abstrakte Propositionen=====
==Konkrete und abstrakte Propositionen==
Eine Proposition ist ''konkret'', wenn alle beteiligten Nominationen auf konkrete – raumzeitlich verortete – Gegenstände verweisen und alle vorkommenden Quantifikationen ihre Gegenstandsvariablen an endliche Mengen konkreter Gegenstände binden: alle weiter oben genannten Beispiele gehören dazu.  
Eine Proposition ist ''konkret'', wenn alle beteiligten Nominationen auf konkrete – raumzeitlich verortete – Gegenstände verweisen und alle vorkommenden Quantifikationen ihre Gegenstandsvariablen an endliche Mengen konkreter Gegenstände binden: alle weiter oben genannten Beispiele gehören dazu.  
 
:
Eine Proposition ist ''abstrakt'', wenn mindestens eine ihrer Nominationen auf einen abstrakten Gegenstand verweist, oder mindestens einer ihrer Quantoren nicht an einen endlichen Gegenstandsbereich gebunden ist. Im Gegensatz zu den konkreten Gegenständen sind abstrakte Gegenstände nicht raumzeitlich verortet, denn sie können sich in prinzipiell unendlich vielen verschiedenen konkreten Gegenständen realisieren. Der Unterschied spielt vor allem eine Rolle für das verwendete Verfahren zur Überprüfung der Geltung der betrachteten Proposition (⊳ [[Exkurs:Verifikationsverfahren]]).
Eine Proposition ist ''abstrakt'', wenn mindestens eine ihrer Nominationen auf einen abstrakten Gegenstand verweist, oder mindestens einer ihrer Quantoren nicht an einen endlichen Gegenstandsbereich gebunden ist. Im Gegensatz zu den konkreten Gegenständen sind abstrakte Gegenstände nicht raumzeitlich verortet, denn sie können sich in prinzipiell unendlich vielen verschiedenen konkreten Gegenständen realisieren. Der Unterschied spielt vor allem eine Rolle für das verwendete Verfahren zur Überprüfung der Geltung der betrachteten Proposition (⊳ [[Exkurs:Verifikationsverfahren]]).
 
:
Abstrakte Gegenstände werden in der Regel mithilfe spezieller sprachlicher Operatoren, den Abstraktoren, aus konkreten Gegenständen abgeleitet. Dabei lassen sich drei Fälle unterscheiden, die zu entsprechenden Arten von Propositionen führen:  
Abstrakte Gegenstände werden in der Regel mithilfe spezieller sprachlicher Operatoren, den Abstraktoren, aus konkreten Gegenständen abgeleitet. Dabei lassen sich drei Fälle unterscheiden, die zu entsprechenden Arten von Propositionen führen:  
 
:
In ''extensionalen'' Propositionen werden Abstraktoren verwendet, durch die endliche Gruppen oder Klassen konkreter Gegenstände angesprochen werden: "''alle'' Bäume ''in diesem Park''", "''die Gruppe'' der Sechs- bis Achtjährigen ''in unserer Studie''", usw. Ihre Geltung kann überprüft werden, indem jedes einzelne konkrete Element der Abstraktionsklasse betrachtet wird: "Dieser Baum, und dieser Baum, und dieser Baum" bzw. "diese Sechsjährige, und dieser Achtjährige, und diese Siebenjährige" ... . Offensichtlich sind generelle Propositionen (in der Regel) extensionale abstrakte Propositionen.<ref>Extensionale Abstraktoren werden auf endliche Mengen beschränkt, da unendlichen Mengen eine andere Art von Verifikationsverfahren verlangen – nämlich genau diejenige der intensionalen Propositionen. </ref>
In ''extensionalen'' Propositionen werden Abstraktoren verwendet, durch die endliche Gruppen oder Klassen konkreter Gegenstände angesprochen werden: "''alle'' Bäume ''in diesem Park''", "''die Gruppe'' der Sechs- bis Achtjährigen ''in unserer Studie''", usw. Ihre Geltung kann überprüft werden, indem jedes einzelne konkrete Element der Abstraktionsklasse betrachtet wird: "Dieser Baum, und dieser Baum, und dieser Baum" bzw. "diese Sechsjährige, und dieser Achtjährige, und diese Siebenjährige" ... . Offensichtlich sind generelle Propositionen (in der Regel) extensionale abstrakte Propositionen.<ref>Extensionale Abstraktoren werden auf endliche Mengen beschränkt, da unendlichen Mengen eine andere Art von Verifikationsverfahren verlangen – nämlich genau diejenige der intensionalen Propositionen. </ref>
 
:
Bei ''intensionale''n Propositionen ist der Abstraktor eine prinzipiell auf unendlich viele konkrete Gegenstände anwendbare Regel: "alle Bäume überhaupt" im Sinne von "Wenn etwas ein Baum ist, dann ..."; "sechs- bis achtjährige Kinder an sich" im Sinne von "wenn etwas ein Kind und sechs- bis acht Jahre alt ist, dann ...". Diese Regeln sollen, sofern nicht ausdrücklich etwas anderes gesagt wird, in jedem beliebigen Kontext gelten (siehe auch [[Modalität]]). Entsprechend kann die Überprüfung der Geltung solcher Äußerungen auch nicht durch Verifikation der Einzelfälle erfolgen. Vielmehr wäre zu zeigen, daß die Regel auf korrekte Weise gebildet wurde.
Bei ''intensionale''n Propositionen ist der Abstraktor eine prinzipiell auf unendlich viele konkrete Gegenstände anwendbare Regel: "alle Bäume überhaupt" im Sinne von "Wenn etwas ein Baum ist, dann ..."; "sechs- bis achtjährige Kinder an sich" im Sinne von "wenn etwas ein Kind und sechs- bis acht Jahre alt ist, dann ...". Diese Regeln sollen, sofern nicht ausdrücklich etwas anderes gesagt wird, in jedem beliebigen Kontext gelten (siehe auch [[Modalität]]). Entsprechend kann die Überprüfung der Geltung solcher Äußerungen auch nicht durch Verifikation der Einzelfälle erfolgen. Vielmehr wäre zu zeigen, daß die Regel auf korrekte Weise gebildet wurde.
 
:
''Begriffliche'' Propositionen sind ein Sonderfall der intensionalen Propositionen: Die Abstraktion bezieht sich hierbei nicht direkt auf Aspekte der Gegenstände, sondern auf die Kriterien der Zeichenhandelnden selbst, Gegenstände dieser bestimmten Art zu unterscheiden: "der Begriff des Baums", "der Begriff des sechs- bis achtjährigen Kindes".<ref>Die Regeln haben hier also die Form: "Wenn etwas ein Kriterium zum Unterscheiden zwischen Baum und Nicht-Baum ist, dann ...". Insofern diese Kriterien sich in unseren Erläuterungen zum Gebrauch entsprechender Prädikatoren (siehe [[Prädikation]]) artikulieren, sind die konkreten Gegenstände, von denen hierbei abstrahiert wird, die Erläuterungssituationen jener Prädikatoren. Auf sie müssen sich, mit anderen Worten, die Verifikationsbedingungen richten; vgl. Wittgenstein. <br/>Siehe auch [[Exkurs:Beispiele begrifflicher Aussagen]].</ref> Zugleich wird dabei mit den Prädikationen ein tentativ normativer Anspruch erhoben.<ref>Es geht in begrifflichen Propositionen nicht nur um die Begriffe, wie sie faktisch in einer bestimmten Gesellschaft verwendet werden, sondern um Vorschläge, wie die Zeichenhandelnden selbst im Weiteren ihre entsprechenden Unterscheidungspraxen sinnvollerweise aufeinander abstimmen möchten.</ref>
''Begriffliche'' Propositionen sind ein Sonderfall der intensionalen Propositionen: Die Abstraktion bezieht sich hierbei nicht direkt auf Aspekte der Gegenstände, sondern auf die Kriterien der Zeichenhandelnden selbst, Gegenstände dieser bestimmten Art zu unterscheiden: "der Begriff des Baums", "der Begriff des sechs- bis achtjährigen Kindes".<ref>Die Regeln haben hier also die Form: "Wenn etwas ein Kriterium zum Unterscheiden zwischen Baum und Nicht-Baum ist, dann ...". Insofern diese Kriterien sich in unseren Erläuterungen zum Gebrauch entsprechender Prädikatoren (siehe [[Prädikation]]) artikulieren, sind die konkreten Gegenstände, von denen hierbei abstrahiert wird, die Erläuterungssituationen jener Prädikatoren. Auf sie müssen sich, mit anderen Worten, die Verifikationsbedingungen richten; vgl. Wittgenstein. <br/>Siehe auch [[Exkurs:Beispiele begrifflicher Aussagen]].</ref> Zugleich wird dabei mit den Prädikationen ein tentativ normativer Anspruch erhoben.<ref>Es geht in begrifflichen Propositionen nicht nur um die Begriffe, wie sie faktisch in einer bestimmten Gesellschaft verwendet werden, sondern um Vorschläge, wie die Zeichenhandelnden selbst im Weiteren ihre entsprechenden Unterscheidungspraxen sinnvollerweise aufeinander abstimmen möchten.</ref>


Zeile 53: Zeile 47:
''Verantwortlich:''  
''Verantwortlich:''  


<!--in der folgenden Zeile XXX durch Benutzernamen ersetzen-->
* [[Benutzer:Joerg R.J. Schirra|Schirra, Jörg R.J.]]
[[Benutzer:Joerg R.J. Schirra|Schirra, Jörg R.J.]]
<!--den Schluß nicht verändern-->
<!--den Schluß nicht verändern-->
{{GlosEnd}}
{{GlosEnd}}
<!--Das war's-->
<!--Das war's-->

Version vom 25. Februar 2013, 22:33 Uhr

Exkurs zu: Proposition

Besonders relevant sind die folgenden drei Aspekte:


Einfache und komplexe Propositionen

Eine komplexe Proposition setzt sich aus mehreren Propositionen zusammen. Operatoren, die mehrere Propositionen zu einer komplexen Proposition zusammenbinden, sind insbesondere die in der Aussagenlogik untersuchten Junktoren "und" und "oder", sowie die aussagenlogische (externe) Negation.[1]

Eine einfache Proposition läßt sich hingegen nicht – auf offensichtliche Weise – in Teilpropositionen zerlegen.[2]


Singuläre und generelle Propositionen

Von einer singulären Proposition spricht man, wenn sich alle den Sachbezug charakterisierenden Nominationen auf einzelne Gegenstände beziehen: "dass Paul hinkt" oder "dass dieser dicke Mann der ausgesprochen intelligente Cousin dritten Grades von der Schwester Deines Freundes ist". Dabei muß jeweils der Kontext, auf den sich die Nominationen beziehen – und damit die gemeinten Gegenstände – den Gesprächspartnern klar sein, da sonst keine bestimmte Proposition, sondern nur ein propositionales Schema gebildet würde.[3]

Von einer generellen Proposition ist die Rede, wenn mindestens eine der die Proposition konstituierenden Nominationen durch eine Quantifikation mit einem All- oder Existenzquantor an eine Menge von Gegenständen gebunden wird: "dass an diesem Baum einige der Äpfel einen Monillabefall aufweisen" oder "dass – hier und heute – einige der blonden Besucher alle Gebetsmühlen im Tempel gedreht haben". Deutlich zu erkennen ist der notwendige Kontextbezug der Quantifikation, durch den die Menge der quantifizierten Gegenstände festgelegt ist und ohne den es sich auch im Falle der generellen Propositionen nur um propositionale Schemata handeln würde.[4]


Konkrete und abstrakte Propositionen

Eine Proposition ist konkret, wenn alle beteiligten Nominationen auf konkrete – raumzeitlich verortete – Gegenstände verweisen und alle vorkommenden Quantifikationen ihre Gegenstandsvariablen an endliche Mengen konkreter Gegenstände binden: alle weiter oben genannten Beispiele gehören dazu.

Eine Proposition ist abstrakt, wenn mindestens eine ihrer Nominationen auf einen abstrakten Gegenstand verweist, oder mindestens einer ihrer Quantoren nicht an einen endlichen Gegenstandsbereich gebunden ist. Im Gegensatz zu den konkreten Gegenständen sind abstrakte Gegenstände nicht raumzeitlich verortet, denn sie können sich in prinzipiell unendlich vielen verschiedenen konkreten Gegenständen realisieren. Der Unterschied spielt vor allem eine Rolle für das verwendete Verfahren zur Überprüfung der Geltung der betrachteten Proposition (⊳ Exkurs:Verifikationsverfahren).

Abstrakte Gegenstände werden in der Regel mithilfe spezieller sprachlicher Operatoren, den Abstraktoren, aus konkreten Gegenständen abgeleitet. Dabei lassen sich drei Fälle unterscheiden, die zu entsprechenden Arten von Propositionen führen:

In extensionalen Propositionen werden Abstraktoren verwendet, durch die endliche Gruppen oder Klassen konkreter Gegenstände angesprochen werden: "alle Bäume in diesem Park", "die Gruppe der Sechs- bis Achtjährigen in unserer Studie", usw. Ihre Geltung kann überprüft werden, indem jedes einzelne konkrete Element der Abstraktionsklasse betrachtet wird: "Dieser Baum, und dieser Baum, und dieser Baum" bzw. "diese Sechsjährige, und dieser Achtjährige, und diese Siebenjährige" ... . Offensichtlich sind generelle Propositionen (in der Regel) extensionale abstrakte Propositionen.[5]

Bei intensionalen Propositionen ist der Abstraktor eine prinzipiell auf unendlich viele konkrete Gegenstände anwendbare Regel: "alle Bäume überhaupt" im Sinne von "Wenn etwas ein Baum ist, dann ..."; "sechs- bis achtjährige Kinder an sich" im Sinne von "wenn etwas ein Kind und sechs- bis acht Jahre alt ist, dann ...". Diese Regeln sollen, sofern nicht ausdrücklich etwas anderes gesagt wird, in jedem beliebigen Kontext gelten (siehe auch Modalität). Entsprechend kann die Überprüfung der Geltung solcher Äußerungen auch nicht durch Verifikation der Einzelfälle erfolgen. Vielmehr wäre zu zeigen, daß die Regel auf korrekte Weise gebildet wurde.

Begriffliche Propositionen sind ein Sonderfall der intensionalen Propositionen: Die Abstraktion bezieht sich hierbei nicht direkt auf Aspekte der Gegenstände, sondern auf die Kriterien der Zeichenhandelnden selbst, Gegenstände dieser bestimmten Art zu unterscheiden: "der Begriff des Baums", "der Begriff des sechs- bis achtjährigen Kindes".[6] Zugleich wird dabei mit den Prädikationen ein tentativ normativer Anspruch erhoben.[7]

Anmerkungen
  1. ↑ siehe auch [http:... Wikipedia: Aussagenlogik].
  2. ↑ Das Problem echter einfacher Propositionen, sogenannter Elementarpropositionen, soll hier ausgeklammert bleiben. vgl. etwa die Diskussion um Wittgensteins Begriff der Elementarsätze: Lit.
  3. ↑ In einem propositionalen Schema ist mindestens eine Komponente der Proposition durch eine Variable ersetzt. Das Schema ist daher mit einer Vielzahl verschiedener Propositionen kompatibel. Ein propositionales Schema kann entsprechend auch keinen Wahrheitswert besitzen.
  4. ↑ Jeder Quantor bindet eine Variable eines propositionalen Schemas an einen Wertebereich, der entweder durch einen Kontext mit endlich vielen Gegenständen gegeben ist oder sich auf alle Kontexte und damit potentiell unendlich viele Gegenstände bezieht.
  5. ↑ Extensionale Abstraktoren werden auf endliche Mengen beschränkt, da unendlichen Mengen eine andere Art von Verifikationsverfahren verlangen – nämlich genau diejenige der intensionalen Propositionen.
  6. ↑ Die Regeln haben hier also die Form: "Wenn etwas ein Kriterium zum Unterscheiden zwischen Baum und Nicht-Baum ist, dann ...". Insofern diese Kriterien sich in unseren Erläuterungen zum Gebrauch entsprechender Prädikatoren (siehe Prädikation) artikulieren, sind die konkreten Gegenstände, von denen hierbei abstrahiert wird, die Erläuterungssituationen jener Prädikatoren. Auf sie müssen sich, mit anderen Worten, die Verifikationsbedingungen richten; vgl. Wittgenstein.
    Siehe auch Exkurs:Beispiele begrifflicher Aussagen.
  7. ↑ Es geht in begrifflichen Propositionen nicht nur um die Begriffe, wie sie faktisch in einer bestimmten Gesellschaft verwendet werden, sondern um Vorschläge, wie die Zeichenhandelnden selbst im Weiteren ihre entsprechenden Unterscheidungspraxen sinnvollerweise aufeinander abstimmen möchten.
Literatur
[Wittgenstein 1922a]Wittgenstein, Ludwig (1922): Tractatus Logico-Philosophicus. Kegan Paul, London.[Wittgenstein 1971a]Wittgenstein, Ludwig (1971): Philosophische Untersuchungen. Suhrkamp, Frankfurt/M.

Verantwortlich:

Seitenbearbeitungen durch: Joerg R.J. Schirra, Klaus Sachs-Hombach und Marcel Lemmes — (Hinweis)

Abgerufen von „https://bildglossar.org/index.php?title=Exkurs:Arten_von_Propositionen&oldid=11807“