Adäquate englische Übersetzung gesucht

(09.02.2023, 18:52:00)Yaouoay schrieb: „Was für kein P gilt, gilt für jedes P nicht.“

Ausgangspunkt:  "Whatever is true of no P is not true of any P."

Meine Intuition sieht in dem englischen Satz noch eine andere Aussage. Es hängt nicht an der Negation.

Siehe auch:
"Whatever is true of every P is true of any P." (Beispiele aus "Logical Form" von Paul Pietroski in Stanford Encyclopedia of Philosophy)

Das besagt ja nicht nur:

Was für jedes P gilt, gilt für jedes P.


Vielleicht Paraphrase:

Was für alle P gilt, gilt für irgendein beliebiges P.


Prädikatenlogisch können wir von

Alle x: Wenn Px, dann Sx

auf

Wenn Pa, dann Sa

schließen.

Zum Beispiel:

Alle Hunde stinken.

Wenn Fido ein Hund ist, stinkt Fido.


Das "any P" erinnert mich an diesen Bezug auf ein Beispiel.

Wie wäre es denn damit: „Was für kein P gilt, gilt nicht für ein beliebiges P.“

(10.02.2023, 00:41:51)Yaouoay schrieb: Wie wäre es denn damit: „Was für kein P gilt, gilt nicht für ein beliebiges P.“

Wohl eher.  Danke.  Nun werde ich erst mal weiter herumsuchen; das wird doch irgendwo Thema gewesen sein. "any" ist schon speziell.

Und so viel weiß ich schon mal: dass sowohl Geach (in "Reference and Generality") als auch Sommers "any" spezielle Abschnitte widmen.

So, ich antworte mir mal eben selbst, dann soll's gut sein. Aber für Semantiker ja von Interesse:

So viel kann ich zu „any“ vs. „every“ schon mal sagen: Geach führt Disjunktionen von Eigennamen im Unterschied zu Disjunktionen von Propositionen ein. Beispiel, erst mal deutsch:
Bernd wartet darauf, dass eine Maus aus dem Loch kommt.
Es gibt drei Mäuse, m1, m2 und m3.
Nicht: Bernd wartet auf m1, oder Bernd wartet auf m2, oder Bernd wartet auf m3.
Eher: Bernd wartet auf auf m1-oder-m2-oder-m3.
Was „m1-oder-m2-oder-m3“ heißen mag? Tja, ich weiß es noch nicht so recht.


Nun „any“ i.U.z. „every“:
„any“ eher: „Bernd wartet auf m1, und Bernd wartet auf m2, und Bernd wartet auf m3“.
„every“ eher: „Bernd wartet auf m1-und-m2-und m3“.
(Wieder die Frage, wofür eine Konjunktion solcher Individuenterme steht.)