Logisch-philosophische Abhandlung: Difference between revisions

Logisch-philosophische Abhandlung (view source)

Revision as of 22:40, 12 January 2022

20 bytes removed , 2 years ago

no edit summary

MLavazza

Bureaucrats, Editors, Interface administrators, Administrators

5,222

edits

@@ Line 1,612: / Line 1,612: @@
 Damit Sätze, auf bestimmte Art und Weise verknüpft, eine Tautologie ergeben, dazu müssen sie bestimmte Eigenschaften der Struktur haben. Dass sie {{spaced text|so}} verbunden eine Tautologie ergeben, zeigt also, dass sie diese Eigenschaften der Struktur besitzen.
-<span name="_bookmark961"></span>6.1201 Dass z. B. die Sätze „''p''“ und „∼''p''“ in der Verbindung „∼(''p.''∼''p'')“ eine Tautologie ergeben, zeigt, dass sie einander widersprechen. Dass die Sätze „''p'' ⊃ ''q''“, „''p''“ und „''q''“ in der Form „(''p'' ⊃ ''q'')''.''(''p'') : ⊃ : (''q'')“ miteinander verbunden eine Tautologie ergeben, zeigt, dass ''q'' aus ''p'' und ''p'' ⊃ ''q'' folgt. Dass „(''x'') ''. fx'' : ⊃ : ''fa''“ eine Tautologie ist, dass ''fa'' aus (''x'') ''. fx'' folgt. etc. etc.
+{{ParTLPde|6.1201}} Dass z. B. die Sätze „''p''“ und „∼''p''“ in der Verbindung „∼(''p.''∼''p'')“ eine Tautologie ergeben, zeigt, dass sie einander widersprechen. Dass die Sätze „''p'' ⊃ ''q''“, „''p''“ und „''q''“ in der Form „(''p'' ⊃ ''q'')''.''(''p'') : ⊃ : (''q'')“ miteinander verbunden eine Tautologie ergeben, zeigt, dass ''q'' aus ''p'' und ''p'' ⊃ ''q'' folgt. Dass „(''x'') ''. fx'' : ⊃ : ''fa''“ eine Tautologie ist, dass ''fa'' aus (''x'') ''. fx'' folgt. etc. etc.
 {{ParTLPde|6.1202}} Es ist klar, dass man zu demselben Zweck statt der Tautologien auch die Kontradiktionen verwenden könnte.