Turnstile Figures of Opposition / 6 relações possíveis entre uma proposição e uma teoria

[jean-yves beziau]

Vem aqui o meu artigo

"Turnstile Figures of Opposition":

https://www.jyb-logic.org/TURNSTYLE-HEXAGON

capitulo do livro 

The Exoteric Square of Opposition

Neste artigo eu explico como o hexágono das oposições de Blanché permite descrever as 6 relações possíveis entre uma proposição e uma teoria do ponto de vista de uma relação de consequência e as oposições entre elas.

Esta relação de consequência pode ser considerada do ponto de vista da teoria da prova ou da teoria dos modelos, ou a nível abstrato, além destes dois casos particulares, no espírito da lógica universal. Outro aspecto universal é que essas 6 relações e o hexágono correspondente são apresentados independentemente de um sistema de lógica particular. 

Eu faço vários comentários a respeito da simbolização e do uso da terminologia, tentando clarificar a situação.

Esta estrutura hexagonal teoria/proposição, de um lado reforça o valor do hexágono de Blanché, do outro lado destaca uma das conceitualizações mais importantes da lógica moderna, que tem um valor fundamental para as teorias matemáticas e para qualquer teoria científica. Auxília também a bem entender o significado  do teorema  de incompletude de Gödel.

JYB