Universo de discurso: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m Wikipédia não é fonte confiável; ajuste(s) utilizando AWB |
|||
Linha 16:
Nas ciências formais, o domínio do discurso, também chamado de universo de discurso (ou simplesmente universo), é o conjunto de entidades sobre as quais algumas variáveis de interesse em algum tratamento formal podem variar. O domínio de discurso é geralmente identificado nas preliminares, de modo que não há necessidade de tratamento posterior para especificar que a gama de variáveis a discussão se refere. Muitos lógicos costumam distinguir, por vezes apenas tacitamente, entre o domínio da ciência e o universo de discurso de uma formalização da ciência. Giuseppe Peano formalizou a teoria dos números (aritmética de inteiros positivos), tendo como seu domínio os números inteiros positivos e o universo de discurso todos os indivíduos e não apenas números inteiros.
Por exemplo, em uma interpretação da lógica de primeira ordem, o domínio do discurso é o conjunto de indivíduos que os quantificadores vão acabar. Em uma interpretação, o domínio do discurso poderia ser o conjunto dos números reais; em outra interpretação, que poderia ser o conjunto dos números naturais. Se nenhum domínio de discurso foi identificado, como uma proposição ∀x (x² ≠ 2) é ambígua. Se o domínio do discurso é o conjunto dos números reais, a proposição é falsa, com x = √2 como
O universo prazo de discurso geralmente se refere à coleção de objetos que estão sendo discutidas em um discurso específico. Na semântica do modelo teórico, um universo de discurso é o conjunto de entidades que um modelo se baseia. O conceito de universo de discurso é geralmente atribuído a Augustus De Morgan (1846), mas o nome foi usado pela primeira vez na história de George Boole (1854), na página 42 de suas leis do pensamento em uma passagem longa e incisiva. A definição de Boole é citado abaixo. O conceito, provavelmente descoberto independentemente por Boole em 1847, desempenhou um papel crucial em sua filosofia da lógica, especialmente em seu princípio impressionante de referência holística.
Linha 24:
==Definição de Boole (1856)==
Em cada discurso, seja da mente conversando com seus próprios pensamentos, ou do indivíduo na sua relação com os outros, há um limite presumido ou expresso dentro do qual os sujeitos de sua operação estão confinados. O discurso mais irrestrito é aquela em que as palavras que usamos são entendidas na aplicação mais ampla possível, e para elas os limites do discurso são
==Ver também==
|