Lógica, ordem e sistemas implicativos = Logic, order and implicative systems = Lógica, ordem y sistemas implicativos
Neste artigo, tratamos de três tópicos básicos para o entendimento de uma noção de razão, a saber, relação de consequência, relação de ordem e sistema formal. A partir de uma caracterização de sistema formal, definimos as duas relações mencionadas. Destacamos uma inter-relação entre consequência e o...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | deu |
| Published: |
Editora da Pontifícia Universidade Católica do Rio Grande do Sul (EDIPUCRS)
2019-01-01
|
| Series: | Veritas |
| Subjects: | |
| Online Access: | https://revistaseletronicas.pucrs.br/ojs/index.php/veritas/article/view/32214/19191 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1850175061998174208 |
|---|---|
| author | Lázaro, Cristiane Alexandra |
| author_facet | Lázaro, Cristiane Alexandra |
| author_sort | Lázaro, Cristiane Alexandra |
| collection | DOAJ |
| description | Neste artigo, tratamos de três tópicos básicos para o entendimento de uma noção de razão, a saber, relação de consequência, relação de ordem e sistema formal. A partir de uma caracterização de sistema formal, definimos as duas relações mencionadas. Destacamos uma inter-relação entre consequência e ordem. Então, apresentamos outros sistemas formais que consideram especificamente um conceito de implicação, dado pelas álgebras implicativas e pela lógica implicativa. Esta lógica implicativa, que tem como modelo as álgebras implicativas, apresenta apenas um operador, o de implicação; e este conceito de implicação, mais uma vez, remete para as noções de consequência e ordem. Por fim, a partir da caracterização de consequência que está no texto, introduzimos um modelo algébrico para esta lógica implicativa |
| format | Article |
| id | doaj-art-86d062f9bcd44faf98b861f9089001cf |
| institution | OA Journals |
| issn | 0042-3955 1984-6746 |
| language | deu |
| publishDate | 2019-01-01 |
| publisher | Editora da Pontifícia Universidade Católica do Rio Grande do Sul (EDIPUCRS) |
| record_format | Article |
| series | Veritas |
| spelling | doaj-art-86d062f9bcd44faf98b861f9089001cf2025-08-20T02:19:33ZdeuEditora da Pontifícia Universidade Católica do Rio Grande do Sul (EDIPUCRS)Veritas0042-39551984-67462019-01-01643ID32214000497650Lógica, ordem e sistemas implicativos = Logic, order and implicative systems = Lógica, ordem y sistemas implicativosLázaro, Cristiane AlexandraNeste artigo, tratamos de três tópicos básicos para o entendimento de uma noção de razão, a saber, relação de consequência, relação de ordem e sistema formal. A partir de uma caracterização de sistema formal, definimos as duas relações mencionadas. Destacamos uma inter-relação entre consequência e ordem. Então, apresentamos outros sistemas formais que consideram especificamente um conceito de implicação, dado pelas álgebras implicativas e pela lógica implicativa. Esta lógica implicativa, que tem como modelo as álgebras implicativas, apresenta apenas um operador, o de implicação; e este conceito de implicação, mais uma vez, remete para as noções de consequência e ordem. Por fim, a partir da caracterização de consequência que está no texto, introduzimos um modelo algébrico para esta lógica implicativahttps://revistaseletronicas.pucrs.br/ojs/index.php/veritas/article/view/32214/19191lógica |
| spellingShingle | Lázaro, Cristiane Alexandra Lógica, ordem e sistemas implicativos = Logic, order and implicative systems = Lógica, ordem y sistemas implicativos Veritas lógica |
| title | Lógica, ordem e sistemas implicativos = Logic, order and implicative systems = Lógica, ordem y sistemas implicativos |
| title_full | Lógica, ordem e sistemas implicativos = Logic, order and implicative systems = Lógica, ordem y sistemas implicativos |
| title_fullStr | Lógica, ordem e sistemas implicativos = Logic, order and implicative systems = Lógica, ordem y sistemas implicativos |
| title_full_unstemmed | Lógica, ordem e sistemas implicativos = Logic, order and implicative systems = Lógica, ordem y sistemas implicativos |
| title_short | Lógica, ordem e sistemas implicativos = Logic, order and implicative systems = Lógica, ordem y sistemas implicativos |
| title_sort | logica ordem e sistemas implicativos logic order and implicative systems logica ordem y sistemas implicativos |
| topic | lógica |
| url | https://revistaseletronicas.pucrs.br/ojs/index.php/veritas/article/view/32214/19191 |
| work_keys_str_mv | AT lazarocristianealexandra logicaordemesistemasimplicativoslogicorderandimplicativesystemslogicaordemysistemasimplicativos |