Ja, wenn man bedenkt, dass einem Argument die Überzeugungsintension inhärent ist. „p also p“ ist ein Schluss, jedoch erst dann ein Argument, wenn es verwendet wird jemanden zu irgend etwasem zu überzeugen.

Ganz herzlichen Dank für Deine Antworten! Dazu noch eine Nachfrage:

7) Hier wollte ich nur implizieren, dass es Götter gibt und dass es höchstens zwei gibt. Es wäre also durchaus denkbar, dass x gleich y ist und es dementsprechend nur einen Gott gibt. So gesehen braucht es aus meiner Sicht die Aussage nicht, dass x ungleich y ist.

Viele Grüsse
Urs

1) Der Satz auf der Folie drückt die Formalisierung schön aus. Ein sehr naher Satz wäre wohl nicht mehr natürlich (nur ein Versuch): Es gibt keinen, für den gilt, dass für alle gilt, dass er sie (alle) nicht verachtet.

2) Im Beispiel reicht es völlig aus, „kleines Kind“ einstellig zu formalisieren. Es bringt dir hier keinen Mehrwert, es zweistellig zu formalisieren, nur mehr Arbeit.
Wenn du ein Beispiel hast, in dem sowohl kleine als auch grosse Kinder vorkommen, dann würdest du es zweistellig formalisieren – oder natürlich in anderen Beispielen, in welchen es von Bedeutung ist, dass das Kind klein ist.

3) Was du machen kannst, ist die Quantoren der Formalisierung auf der Folie zu tauschen. Aus ¬∃x∃y((Px∧Qxy)∧Ry) wird ¬∃x(Px∧∃y(Ry∧Qxy)), indem du einen Quantor reinnimmst. Dann kannst du ihn tauschen und erhältst: ¬∃x(Px∧¬∀(Ry→¬Qxy))
PS: Ich glaube, du hast Q und R verwechselt, aber ich nehme an, du hast es richtig gemeint

4) In der Sprache PL haben wir die Identität nicht so definiert. Das Identitätszeichen ist erst Teil der Sprache PLI. (Beachte das kleine I)

5) ja

6) ∀x∀y((Px∧Py)∧¬x=y→∀z(Pz→z=x∨z=y)) 

7) Hier müssen wir ein Konditional in die Formel einfügen: ∃x∃y((Px∧Py)∧(¬x=y→∀z(Pz→z=x∨z=y))) Es gibt 2 Professoren und WENN die nicht identisch sind, DANN muss ein Dritter mit ihnen identisch sein.

8) Mit dieser Formalisierung betonst du eher, dass es genau einen gibt, der Platons Schüler und Lehrer von Alexander dem Grossen ist. Wir wollen aber weniger Aristoteles‘ Eigenschaften aufzählen, sondern sagen, dass beide Beschreibungen dieselbe Person bezeichnen. Wenn zum Beispiel eine Person Aristoteles nur als Schüler von Platon kennt und eine andere Person ihn nur als Lehrer von Alexander dem Grossen, ist die Formalisierung auf der Folie informativ, indem sie zeigt, dass beide dieselbe Person meinen.

9) Die erste und zweite Zeilen sind äquivalent, haben aber einen Widerspruch in sich. Qx (x existiert) ist zwar enthalten, gleichzeitig wird es aber mit der Negation am Anfang verneint.
Bei der dritten Zeile ist das ∃z(z=x) überflüssig. Das wird dann in Zeile 4 weggelassen und die gewünschte Formel steht.

10) Wenn man die Sätze d & e de re liest, kann man von d auf e schliessen. Wir Leser wissen, dass der Mann mit dem braunen Hut = Ortcut ist. Also gilt was vom einen ausgesagt wird auch für den anderen. Wenn Karl jedoch nicht weiss, dass beide identisch sind, kann er nicht von d auf e schliessen. De re gelesen muss Karl es also nicht wissen, um von d auf e zu schliessen.

11) Zeile 5 bezieht sich noch immer auf das Axiom 2, eine Art zweite Substitution. Was du nicht darfst, ist in einer Prämisse substituieren.

12) Ich selbst bin auch deiner Meinung. Konkrete Fälle sind manchmal umstritten. Wenn du deine Meinung gut begründest, reicht das in der Regel.

13) Ich sehe nicht, wie du auf diese Unterscheidung kommst…?

14) Was wir zu Beginn der Vorlesung logisch (formal) gültig nannten, würden wir mit dem jetzigen Wissen deduktiv logisch gültig nennen. Von dem her ist „logisch gültig“ nicht das gleiche wie „deduktiv gültig“, weil es auch Schlüsse gibt, die induktiv gültig sind. Die Verwirrung kommt wahrscheinlich daher, dass wir am Anfang nur von logisch (formal) gültigen Schlüssen sprachen, weil wir nur die deduktiven kannten. Ab jetzt ist es aber wichtig, zwischen deduktiv und induktiv zu unterscheiden.

Liebe Grüsse
Samantha