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.
| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:label
| - Hypostatic abstraction (en)
- Abstração hipostática (pt)
|
| 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:seeAlso
| |
| foaf:depiction
| |
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| Link from a Wikipage to an external page
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| thumbnail
| |
| has 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)
|
| gold:hypernym
| |
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
| is Wikipage redirect
of | |
| is Wikipage disambiguates
of | |
| is foaf:primaryTopic
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)
