Logik und Sprachwissenschaft: Online-Ressourcen

Logik (im hier verwendeten Sinne) ist die Lehre von der Gültigkeit von Schlüssen aufgrund der Bedeutung der logischen Partikel allein. Als eine solche Lehre ist die Logik ein schematisches Operieren mit selbstkonstituierten Zeichen, und damit ist ihr Geltungsstatus analytisch a priori. Innerhalb der Philosophie wird die Logik einerseits als Hilfswissenschaft gebraucht, um natürlich-sprachliche Argumente zu evaluieren. Andererseits ist die Logik selbst Gegenstand der philosophischen Reflexion. Liegt dem vorgebrachten Argument ein gültiger Schluss zugrunde, oder kann man die Zustimmung bereits aufgrund formaler Mängel verweigern? Nach welchen Kriterien entscheidet man, ob die klassische oder die intuitionistische Logik die bessere ist? Diese Fragen sollen exemplarisch für den Umgang mit der Logik innerhalb der Philosophie stehen. Aber auch die empirisch verfahrende Linguistik bzw. Sprachwissenschaft bedient sich der formalen Verfahren der Logik. Am augenscheinlichsten ist dies sicherlich in der Generativen Grammatik und in der Computerlinguistik zu beobachten. Logische Mittel werden verwendet, um die Entwicklungsregeln von Sprachen zu formalisieren. Auf dieser Grundlage lassen sich dann Strukturfragen bezüglich verschiedener natürlicher Sprachen stellen, oder es lässt sich beispielsweise die Texterkennung von Textverarbeitungsprogrammen verbessern. Entgegen der Vermutung, die Vorliebe von Logikern und Mathematikern, am liebsten mit Kreide und Tafel zu arbeiten, führe dazu, dass es im Internet keine Angebote zu diesen Themengebieten gebe, gibt es gleichwohl eine große Fülle an Angeboten. Es finden sich zahllose Skripte und Angebote zur Logik von Mathematikern, Informatikern, Philosophen und Linguisten. Aufgrund des begrenzten Rahmens dieses Überblicks kann nur eine Auswahl der zahlreichen Angebote präsentiert werden. Es werden Seiten vorgestellt, mit deren Hilfe man (1) sich