| dbo:abstract
|
- En lógica matemática, cuantificación plural es la teoría que establece que una variable individual x puede representar tanto valores plurales, como singulares. En ella no solo es posible reemplazar el valor de x por objetos individuales como Alicia, el número 1, el edificio más alto de Buenos Aires etc., sino que también es reemplazar juntos Alicia y Pedro, o todos los números del 0 al 10, o todos los edificios de Buenos Aires con más de 40 metros de altura. La teoría se centra en otorgarle a la lógica de primer orden el poder que posee la teoría de conjuntos, aunque sin ningún "" con objetos tales como conjuntos. (es)
- In mathematics and logic, plural quantification is the theory that an individual variable x may take on plural, as well as singular, values. As well as substituting individual objects such as Alice, the number 1, the tallest building in London etc. for x, we may substitute both Alice and Bob, or all the numbers between 0 and 10, or all the buildings in London over 20 stories. The point of the theory is to give first-order logic the power of set theory, but without any "existential commitment" to such objects as sets. The classic expositions are Boolos 1984 and Lewis 1991. (en)
- Na matemática e na lógica, a quantificação plural é a teoria na qual uma variável individual x pode representar múltiplos objetos (plural), assim como objetos individuais (singular). Assim, da mesma forma que podemos substituir objetos como Alice, o número 1, ou a maior construção em Londres, por x, nós também podemos representar por x várias pessoas (ex: Alice e Bob), todos os números de 0 até 10, ou todas as construções em Londres com 20 andares ou mais. O objetivo desta teoria é fornecer à Lógica de primeira ordem característcas da teoria dos conjuntos, sem entretanto transformar os objetos em conjuntos. As exposições clássicas dessa teoria se devem a Boolos (1984) e a Lewis (1991). (pt)
|
| rdfs:comment
|
- In mathematics and logic, plural quantification is the theory that an individual variable x may take on plural, as well as singular, values. As well as substituting individual objects such as Alice, the number 1, the tallest building in London etc. for x, we may substitute both Alice and Bob, or all the numbers between 0 and 10, or all the buildings in London over 20 stories. The point of the theory is to give first-order logic the power of set theory, but without any "existential commitment" to such objects as sets. The classic expositions are Boolos 1984 and Lewis 1991. (en)
- En lógica matemática, cuantificación plural es la teoría que establece que una variable individual x puede representar tanto valores plurales, como singulares. En ella no solo es posible reemplazar el valor de x por objetos individuales como Alicia, el número 1, el edificio más alto de Buenos Aires etc., sino que también es reemplazar juntos Alicia y Pedro, o todos los números del 0 al 10, o todos los edificios de Buenos Aires con más de 40 metros de altura. (es)
- Na matemática e na lógica, a quantificação plural é a teoria na qual uma variável individual x pode representar múltiplos objetos (plural), assim como objetos individuais (singular). Assim, da mesma forma que podemos substituir objetos como Alice, o número 1, ou a maior construção em Londres, por x, nós também podemos representar por x várias pessoas (ex: Alice e Bob), todos os números de 0 até 10, ou todas as construções em Londres com 20 andares ou mais. (pt)
|
