|
===Asendatavuse printsiip===
[[Asendatavuse printsiip]] ütleb, et kui ''a'' ja ''b'' tähistavad sama entiteeti (st ''a''=''b''), siis ''a'' ja ''b'' on iga [[väitlause]] sees asendatavad ''[[salva veritate]]'', st nõnda, et [[tõesus|tõene]] väitlause jääb tõeseks ja [[väärus|väär]] vääraks. Üldjuhul see printsiip ei kehti. Näiteks, kui asendada lauses "On
on paratamatu, et 8 on suurem kui 7" "8" "[[Päikesesüsteem]]i [[planeet]]ide arvuga", saame tõese lause asemel väära lause. Vastuseks seda laadi vastunäidetele kitsendatakse asendatavuse printsiibi kehtivust nn [[läbipaistev kontekst|läbipaistvatele kontekstidele]]. [[Läbipaistmatu kontekst|Läbipaistmatu konteksti]] puhul on asendus riskantne. Praegusel juhul on konteksti läbipaistmatus tingitud sellest, et asendus toimub [[modaalne operaator|modaalse operaator]]i ([[paratamatuse operaator]]i) mõjuväljas ([[skoop|skoobis]]). [[Gottlob Frege]] seletab seda nii, et selles kontekstis muutuvad [[tähistaja]]te (Fregel "pärisnimede" [[osutus]]ed: "Päikesesüsteemi planeetide arv" [[osutamine|osutab]] siin oma [[tähendus (Frege)|tähendus]]ele, mitte tavalisele [[osutus]]ele.<ref>[[Tähendusest ja osutusest]].</ref> Sarnase mõjuga on näiteks [[episteemiline operaator|episteemilised operaatorid]] (näiteks "''S'' [[teadmine|teab]], et", "''S'' [[uskumine|usub]], et"). Näiteks Elvi teab, et Koidutähte võib hommikul näha, kuid Elvi ei tea, et Ehatähte võib hommikul näha; ometi Koidutäht on Ehatähega identne. Samuti teab Juhan, et Koidutäht on Koidutähega identne, kuid ei tea, et Koidutäht on Ehatähega identne.<ref>Seoses sellega tõstatab [[Gottlob Frege]] artiklis "[[Tähendusest ja osutusest]]" küsimuse, miks "Koidutäht on Ehatäht" on informatiivne, "Koidutäht on Koidutäht" aga mitte. Vastuseks võiks olla see, et lausetes "On informatiivne öelda, et Ehatäht on Koidutäht" ja "On informatiivne öelda, et Koidutäht on Koidutäht" on "Ehatäht" ja "Koidutäht" läbipaistmatus kontekstis, mille loob [[kaudne kõne]].</ref> Sama lugu on [[jutumärgid|jutumärkidega]]: "[[Ehatäht]]" on seitsmetäheline, "[[Koidutäht]]" ei ole seitsmetäheline, kuid Ehatäht on Koidutähega identne.
Ent Leibnizi [[identsete eristamatus]]e printsiibist ei järeldu asendatavuse printsiip.
===Geachi I-predikaadid ja suhteline identsus===
|
