In dieser Frage habe ich vorgeschlagen, dass Logik in der Philosophie fast immer nur als Mittel zur Präsentation eines Arguments verwendet wird. Implizit meinte ich, dass jedes formelle Argument informell vorgebracht werden kann und dass die beiden normalerweise nebeneinander untersucht / präsentiert werden.
Stimmt es, dass die symbolische Logik, wie sie in der Philosophie vorkommt, immer eine Möglichkeit ist, etwas unter anderen auszudrücken?
Und wie oft taucht eine formale Sprache in der Literatur ohne diese Erklärung auf?
Ich behaupte nicht, dass Formalisierung keinen Nutzen hat, sie kann dem Leser tatsächlich helfen, der Argumentation zu folgen. Aber ist in der zeitgenössischen Philosophie selbst irgendetwas als direktes Ergebnis der symbolischen Logik aufgetreten, sogar mit dieser Sprache als notwendige Bedingung?
Vielen Dank.
Logik soll die Mehrdeutigkeit der natürlichen Grammatik und die Unfassbarkeit der Argumentation (ausgelassene Schritte) beseitigen. Es ist ein Mittel, um Fehler zu vermeiden, aber es ist schwer zu lesen. Natürliche Sprachen sind bequemer, um Ideen zu vermitteln, und in der Philosophie unverzichtbar, wenn es darum geht, Konzepte zu klären, anstatt formale Argumente zu liefern. (Als Mathematiker sollten Sie damit vertraut sein: Natürliche Sprache kann verwendet werden, um den "Geist" oder die Strategie in einer Demonstration informell zu vermitteln).
Hegel hat eine Ontologie, die er benutzt, um seine mythische Geschichte der Philosophie zu entwickeln; dh Nicht-Sein & Sein (Parmenides) ergibt Werden (Heraklit).
Wie Quentin betont, funktioniert formale Logik als formale Grammatik des Denkens, eine Perspektive, die in der Entwicklungslinie von Frege-Russell-Wittgenstein wichtig wurde; Sprache wird zur Logik. Eine andere Perspektive ist die von Derrida, wo die Welt zu einem Text wird (es ist eine Umkehrung von Wittgensteins Perspektive); in der christlichen Theologie hat man das Wort und den Logos .
Es lohnt sich, daran zu denken, dass Mehrdeutigkeit nützlich sein kann ; Zum Beispiel inspirierte das kretische Lügner-Paradoxon Gödel zu seinen Vollständigkeitsbeweisen, und es gibt eine andere Lösung dafür, die parakonsistente Logik verwendet - da die Geschichte davon nicht geschrieben wurde, ist es schwer zu erkennen, inwieweit dies, wenn überhaupt, dies inspiriert hat Entwicklung.
Chris Sunami unterstützt Monica