Diferència entre revisions de la pàgina «Exemple l'actual rei de França (Descripció definida)»
De Wikisofia
m (bot: - Descripció_definida|Veure descripció + Descripció_definida|Vegeu descripció) |
|||
| Línia 14: | Línia 14: | ||
«Hi ha un ''x'' tal que ''x'' és l'actual rei de França i, per tot ''y'', si ''y'' és l'actual rei de França, llavors ''y'' és idèntic a ''x'', i ''x'' és calb». | «Hi ha un ''x'' tal que ''x'' és l'actual rei de França i, per tot ''y'', si ''y'' és l'actual rei de França, llavors ''y'' és idèntic a ''x'', i ''x'' és calb». | ||
| − | [[Descripció_definida| | + | [[Descripció_definida|Vegeu descripció definida]] |
{{InfoWiki}} | {{InfoWiki}} | ||
Revisió de 22:54, 17 maig 2018
La frase «l'actual rei de França és calb» no és de cap manera comparable a la de, per exemple, «Sòcrates és calb», perquè «Sòcrates» és en veritat un nom propi i un terme singular, que pot analitzar-se simplement com a «S és P», o bé «Ca» (on C és la propietat de «ser calb» i a el subjecte, Sòcrates, que posseeix aquesta propietat) mentre que el primer exemple té en realitat la següent forma lògica:
[math]\displaystyle{ \exists{x}(Rx) \wedge \forall{y} (Ry \rightarrow{y=x} \wedge Cx) }[/math]
«Hi ha un x tal que x és l'actual rei de França i, per tot y, si y és l'actual rei de França, llavors y és idèntic a x, i x és calb».