| dbo:abstract
|
- Hypostatic abstraction in mathematical logic, also known as hypostasis or subjectal abstraction, is a formal operation that transforms a predicate into a relation; for example "Honey is sweet" is transformed into "Honey has sweetness". The relation is created between the original subject and a new term that represents the property expressed by the original predicate. (en)
- A abstração hipostática em lógica matemática, também conhecida como hipóstase ou abstração subjetiva, é um operação formal que transforma um predicado em uma relação; por exemplo, "mel é doce" é transformado em "Mel tem doçura". A relação é criada entre o assunto original e um novo termo que representa a propriedade expressa pelo predicado original. A hipóstase muda uma fórmula proposicional da forma (X é Y) para outra da forma (X tem a propriedade de ser Y) ou (X tem Y-ismo). O funcionamento lógico do segundo objeto Y consiste apenas nos valores de verdade das proposições que têm a propriedade abstrata correspondente Y como predicado. O objeto do pensamento introduzido dessa maneira pode ser chamado de objeto hipostático e, em alguns sentidos, um objeto abstrato e um objeto formal. . A definição acima é adaptada da que foi dada por Charles Sanders Peirce (CP 4.235, "A Matemática Mais Simples" (1902), em Collected Papers, CP 4.227-323). Como Peirce descreve, o ponto principal sobre a operação formal da abstração hipostática, na medida em que opera em expressões linguísticas formais, é que ela converte um adjetivo ou predicado em um sujeito extra, aumentando assim em um o número de intervalos "subjetivos" - chamado de aridade ou adicity - do predicado principal. A transformação de "o mel é doce" em "mel possui doçura" pode ser vista de várias maneiras: O traço gramatical dessa transformação hipostática é um processo que extrai o adjetivo "doce" do predicado "é doce", substituindo-o por um novo predicado de "arvoridade aumentada", e como um subproduto da reação, como foi, precipitando a substantiva "doçura" como segundo sujeito do novo predicado. A abstração da hipóstase toma o sentido físico concreto de "gosto" encontrado em "mel é doce" e lhe dá características metafísicas formais em "mel tem doçura". (pt)
|
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 4376 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- Hypostatic abstraction in mathematical logic, also known as hypostasis or subjectal abstraction, is a formal operation that transforms a predicate into a relation; for example "Honey is sweet" is transformed into "Honey has sweetness". The relation is created between the original subject and a new term that represents the property expressed by the original predicate. (en)
- A abstração hipostática em lógica matemática, também conhecida como hipóstase ou abstração subjetiva, é um operação formal que transforma um predicado em uma relação; por exemplo, "mel é doce" é transformado em "Mel tem doçura". A relação é criada entre o assunto original e um novo termo que representa a propriedade expressa pelo predicado original. A transformação de "o mel é doce" em "mel possui doçura" pode ser vista de várias maneiras: (pt)
|
| rdfs:label
|
- Hypostatic abstraction (en)
- Abstração hipostática (pt)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
