[Saudade]

Jest takie zdanie "Istnieje c, takie że zdanie :'x jest satelitą Ziemi' jest prawdziwe wtedy i tylko wtedy, gdy x jest c"

O co tu chodzi, i co niby stoi w tym zdaniu na przeszkodzie by Rumun z IBM był satelitą ziemi?
#logika #kiciochpyta #filozofia #jestemdebilem

[Kampala]

@Saudade: Chodzi o to, że o ile istnieje satelita Ziemi, tzn. kiedy zdanie w środku jest prawdziwe to istnieje tylko jeden satelita Ziemi i jest nim c. Wszystkie cechy potencjalnego satelity Ziemi ukrywają się pod 'c'

[Saudade]

@Kampala: Dobrze, chyba już rozumiem. Zdanie "x jest satelitą Ziemi" w tym wypadku zapobiega by to c mogłoby być czymś innym niż satelitą ziemi tak?

[Kampala]

@Saudade: tak; półformalnie: istnieje c oraz Xs <=> Xc - a stąd wniosek, że istnieje x takie, że x jest c