Diferència entre revisions de la pàgina «Exemple l'actual rei de França (Descripció definida)»
De Wikisofia
(Es crea la pàgina amb «{{RecursWiki |Tipus=Exemple }} {{RecursoEnlace |Enllaç= }} {{Multimèdia |Upload Type= |File= |Embed= }} {{RecursBase |Nom=Exemple l'actual rei de Fran...».) |
|||
| Línia 1: | Línia 1: | ||
{{RecursWiki | {{RecursWiki | ||
|Tipus=Exemple | |Tipus=Exemple | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
{{RecursBase | {{RecursBase | ||
| Línia 23: | Línia 15: | ||
[[Descripció_definida|Veure descripció definida]] | [[Descripció_definida|Veure descripció definida]] | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
{{InfoWiki}} | {{InfoWiki}} | ||
Revisió del 13:52, 5 set 2015
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».