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!
|
| Summary: | 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 |
|---|---|
| ISSN: | 0042-3955 1984-6746 |