Haspelmath: from Linguipedia

2007-10-17T06:57:47Z

from Linguipedia

New page

In der [[Aussagenlogik]] bezeichnet die '''Logische Form''' (LF) eines Satzes die wahrheitsfunktionalen Eigenschaften dieses Satzes.

=== Kommentare ===
Demgegenüber bezeichnet die LF in der [[GG]] eine syntaktisch orientierte Repräsentationsebene, die seit der [[REST]] und der [[Rektions-Bindungs-Theorie]] kontrovers diskutiert wird (vgl. Berman & Hestvik (1991)).

Die LF soll die syntaktisch-logischen Informationen bereitstellen, welche für die semantische Interpretation ([[Interpretative Semantik]]) erforderlich sind.

Die Ableitung der LF aus der als ''S-Struktur'' bezeichneten [[Oberflächenstruktur]] geschieht, ebenso wie die Ableitung der S-Struktur aus einer dieser zugrunde liegenden, als ''D-Struktur'' bezeichneten [[Tiefenstruktur]], durch die Operation [[Move α]].

Während allerdings bei Anwendung von [[Move α]] auf die D-Struktur die phonologische Abfolge von Konstituenten betroffen ist, gilt dies für die Anwendung von [[Move α]] auf die S-Struktur nicht.

In den betreffenden Modellen ([[REST]], [[Rektions-Bindungs-Theorie]], [[Barrieren-Theorie]]) wird dies dadurch gewährleistet, dass die phonologische Interpretation auf eine S-Struktur genannte [[Oberflächenstruktur]] angewendet wird, die semantische Interpretation hingegen auf die ''LF-Struktur'', vgl. Abb. 1:

Abb. 1:

Dies ermöglicht, im Unterschied zum [[Minimalismus]], in dessen Rahmen die Unterscheidung zwischen D- und S-Struktur und zwischen S-Struktur und LF aufgegeben wird, eine mittels [[Ableitungsebene]]n repräsentierte Differenzierung von syntaktisch-semantischen Beziehungen.

Insbesondere handelt es sich hierbei um solche syntaktisch-semantischen Beziehungen, welche abhängig sind von syntaktisch-strukturellen Faktoren und solche, welche abhängig sind von der lexikalischen Bedeutung syntaktischer Grundeinheiten wie vor allem [[Quantor]]en und ''w''-Wörter ([[Fragewörter]] wie ''wer'', ''was'' usw.).

Mit Hilfe der Ableitungsebenen S-Struktur und LF können somit beispielsweise Skopus-Ambiguitäten von syntaktisch-strukturellen Ambiguitäten differenziert werden ([[Ambiguität]]), und zwar auf der Basis von Prinzipien (insbesondere [[Beschränkung]]en), die in anderen Bereichen der [[Syntax]] unabhängig motiviert werden können.

Eine wesentliche Regel, die der Ableitung der LF aus der S-Struktur zugeschrieben wird, ist die ''Quantoren-Anhebung'' (Quantifier-Raising), die eine Struktur [a ... Q ...] in die Struktur [Qi [a ... ti...]] transformiert, wobei ti die [[Spur]] des Quantors Q ist und Q von seiner basisgenerierten Position in eine adjungierte Position ([[Adjunktion]]) gehoben wird; je nach Basis-Position des Quantors spricht man hierbei von Subjekt- oder Objekt-Anhebung. Quantoren-Anhebung erfasst den [[Skopus]] von Quantoren mit dem unabhängig postulierten Prinzip des [[C-Kommando]]s (das gleichermaßen für alle Strukturebenen gilt):
´
Ein Quantor hat dann und nur dann Skopus über eine Konstituente X, wenn er X in LF c-kommandiert.

Schreibt man z. B. dem Satz ''Eine Frau verlässt jeden Mann.'' vereinfacht die S-Struktur

[S [DP eine Frau] [VP [V verlässt [DP jeden Mann]]]]

zu, so können mittels unterschiedlicher Abfolgen von Quantoren-Anhebungen (zunächst Subjekt-Anhebung von ''eine Frau'', dann Objekt-Anhebung von ''jeden Mann'', bzw. umgekehrt) zwei verschiedene LF-Repräsentationen erzeugt werden, welche die Basis zweier möglicher semantischer Interpretationen repräsentieren (1. Interpretation: Es gibt eine Frau, die jeden Mann verlässt.; 2. Interpretation: Für jeden Mann gilt, dass ihn eine Frau verlässt.), in vereinfachter Notation:

1. LF: [S [DP eine Frau]1 [S[DP jeden Mann]2[S[DP t]1[VP [V verlässt [DP t]2]]]]];

2. LF: [S [DP jeden Mann]2 [S[DP eine Frau]1[S[DP t]1[VP [V verlässt [DP t]2]]]]].

===Link===
[http://www2.rz.hu-berlin.de/linguistik/institut/syntax/onlinelexikon/L/logische_form.htm Logische Form] in Norbert Fries, Online Lexikon Linguistik

===Literatur===
*J. Bayer, Directionality and Logical Form: on the Scope of Focusing Particles and Wh-in-situ. Dordrecht 1996.
*F. Beghelli & T. Stowell, Distributivity and Negation: The Syntax of each and every. In: A. Szabolcsi (Hg.), Ways of Taking Scope. Dordrecht 1997, 71-98.
*S. Berman, On the Semantics and Logical Form of WH-Clauses. Diss. MIT Cambridge , Mass. 1991.
*– Ders. & A. Hestvik, LF: A Critical Survey. Arbeitspapiere des SFB 340, Ber. Nr. 14. Stuttgart 1991.
*J. S. DeCarrico, On Quantifier-Raising. LIn 1983/14, 343–346.
*D. Fox, Economy and Scope. Natural Language Semantics 1995/3, 283–341.
*J. Higginbotham, Logical Form, Binding, and Nominals. LIn 1983/14, 395–420.
*– Ders. & R. May, Questions, Quantifiers, and Crossing. LIn 1981/11, 47–79.
*N. Hornstein, Logic as Grammar. Cambridge, Mass. 1984.
*– Ders., Logical Form: From GB to Minimalism. Oxford 1995.
*C.-T. Huang & R. May (Hg.), Logical Structure and Linguistic Structure: Cross-Linguistic Perspectives. Dordrecht 1991.
*S. Lappin, Concepts of Logical Form in LP. In: A. Kasher (Hg.), The Chomskyan Turn. Blackwell 1991.
*R. May, The Grammar of Quantification. Cambridge, Mass. 1977.
*– Ders., Logical Form: Its Structure and Derivation. Cambridge, Mass. 1985.
*S. Neale, Grammatical Form, Logical Form, and Incomplete Symbols. In: A. Irvine & G. Wedeking (Hg.), Russell and Analytic Philosophy. Toron to 1993.
*J. Pafel, Quantifier Scope in German. Amsterdam 2006.
*T. Reinhart, Quantifier Scope: How Labor is Divided between QR and Choice Functions. LP, 1997/20, 399–467.
*I. Sag, Deletion and Logical Form. Diss. MIT Cambridge, Mass. 1976.
*M. Schiehlen, Semantikkonstruktion (Semantic Construction). Diss. Univ. Stuttgart 1999.
*S. Trissler, Syntaktische Bedingungen für w-Merkmale: Zur Bildung interrogativer w-Phrasen im Deutschen. Arbeitspapiere des SFB 340, Ber. Nr. 151. Stuttgart 2000.
*E. Williams, Is LF distinct from S-Structure? LIn 1988/19, 135–146.

===Andere Sprachen===
Englisch [[Logical Form]]

{{wb}}
[[Category:Syntax]]
[[Category:Semantics]]
[[Category:Generative grammar]]

Logische Form - Revision history

Haspelmath: from Linguipedia