Beiträge von: intermission

Liebes Logik-Team, Hier sind unsere Fragen zu Russells „On Denoting“ (Gruppenname: Mindestpunktzahl) (Zu S. 480) Würde «C(a man)» eine propositionale Konstante bezeichnen? (Zu S. 484f.) Bei Frege wäre die Bedeutung (oder in Russels Terminologie: die Denotation) von Sätzen wie «Der König von Frankreich ist kahl» der Wahrheitswert des Satzes und nicht, wie Russell behauptet, der

Liebes Logik-Team, ich verstehe nicht, warum der Satz: “ Eine PL-Formel ist genau dann logisch wahr, wenn sie unter jeder Booleschen Bewertung wahr ist“ stimmt. Müsste nicht anstatt von Booleschen von prädikatenlogischen Bewertungen die Rede sein? Liebe Grüsse, Christoph