CQC DE 1ª ORDEM APLICADO AO QUADRADO LÓGICO E SILOGISMO: HAVERIA ALGUMA FORMALIZAÇÃO ADEQUADA PARA O VERBO “SER”?
Para melhor compreensão do Quadrado Lógico (QL) e Silogismos (SL), comumente são apresentadas fórmulas do Cálculo Quantificacional Clássico de 1ª Ordem (CQC). Tradicionalmente, formalizam-se as proposições categóricas do seguinte modo: A = Ɐx (Sx → Px); E = Ɐx (Sx → ¬Px); I = Ǝx (Sx ˄ Px); O = Ǝx (...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | Portuguese |
| Published: |
Universidade Estadual Paulista (UNESP)
2023-07-01
|
| Series: | Kínesis |
| Subjects: | |
| Online Access: | https://revistas.marilia.unesp.br/index.php/kinesis/article/view/14918 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1850101744683450368 |
|---|---|
| author | David Guarniery |
| author_facet | David Guarniery |
| author_sort | David Guarniery |
| collection | DOAJ |
| description |
Para melhor compreensão do Quadrado Lógico (QL) e Silogismos (SL), comumente são apresentadas fórmulas do Cálculo Quantificacional Clássico de 1ª Ordem (CQC). Tradicionalmente, formalizam-se as proposições categóricas do seguinte modo: A = Ɐx (Sx → Px); E = Ɐx (Sx → ¬Px); I = Ǝx (Sx ˄ Px); O = Ǝx (Sx ˄ ¬Px)). Contudo, a formalização tradicional não nos permite a correta demonstração de todos os valores conhecidos ao QL (ex: A(v) → I(v)); também não para a exata demonstração do status semântico de alguns SL (ex: F4-EAO). O objetivo deste artigo é expor e avaliar, pelo CQC, via Tableaux Sémantiques, os casos problemáticos resultantes da aplicação de tais fórmulas tanto ao QL quanto ao SL. Assim, por procedimento exaustivo, foram testadas novas fórmulas com e sem quantificadores; somente com “˄” (70,83%); somente com “˅” (43,75%); somente com “→” (72,91%), somente com “↔” (100%), além de misto “→, ˄” (72,91%) com e sem negação “¬”, concluindo que: [1] a princípio, é impossível expressar adequadamente (de modo completo e consistente) a Lógica Aristotélica (LA) por meio do CQC e vice-versa; [2] a LA nos permite demonstrar apenas algumas de todas as condições lógicas possíveis de uso do verbo “ser” (ex: “x” e “y”); [2] a Lógica Clássica (LC) nos permite demonstrar apenas algumas de todas as condições lógicas possíveis de uso do verbo “ser” (ex: “y” e “z”); [3] núcleo comum entre LA-LC: “y” = {(QL = 40/48); (SL = 15/24)}.
|
| format | Article |
| id | doaj-art-c6ba3f8a375a4b41ad9fdeacf7717c2f |
| institution | DOAJ |
| issn | 1984-8900 |
| language | Portuguese |
| publishDate | 2023-07-01 |
| publisher | Universidade Estadual Paulista (UNESP) |
| record_format | Article |
| series | Kínesis |
| spelling | doaj-art-c6ba3f8a375a4b41ad9fdeacf7717c2f2025-08-20T02:39:55ZporUniversidade Estadual Paulista (UNESP)Kínesis1984-89002023-07-01153810.36311/1984-8900.2023.v15n38.p96-127CQC DE 1ª ORDEM APLICADO AO QUADRADO LÓGICO E SILOGISMO: HAVERIA ALGUMA FORMALIZAÇÃO ADEQUADA PARA O VERBO “SER”?David Guarniery0Mestrando em Filosofia na Universidade Estadual Paulista (Unesp), Campus de Marília Para melhor compreensão do Quadrado Lógico (QL) e Silogismos (SL), comumente são apresentadas fórmulas do Cálculo Quantificacional Clássico de 1ª Ordem (CQC). Tradicionalmente, formalizam-se as proposições categóricas do seguinte modo: A = Ɐx (Sx → Px); E = Ɐx (Sx → ¬Px); I = Ǝx (Sx ˄ Px); O = Ǝx (Sx ˄ ¬Px)). Contudo, a formalização tradicional não nos permite a correta demonstração de todos os valores conhecidos ao QL (ex: A(v) → I(v)); também não para a exata demonstração do status semântico de alguns SL (ex: F4-EAO). O objetivo deste artigo é expor e avaliar, pelo CQC, via Tableaux Sémantiques, os casos problemáticos resultantes da aplicação de tais fórmulas tanto ao QL quanto ao SL. Assim, por procedimento exaustivo, foram testadas novas fórmulas com e sem quantificadores; somente com “˄” (70,83%); somente com “˅” (43,75%); somente com “→” (72,91%), somente com “↔” (100%), além de misto “→, ˄” (72,91%) com e sem negação “¬”, concluindo que: [1] a princípio, é impossível expressar adequadamente (de modo completo e consistente) a Lógica Aristotélica (LA) por meio do CQC e vice-versa; [2] a LA nos permite demonstrar apenas algumas de todas as condições lógicas possíveis de uso do verbo “ser” (ex: “x” e “y”); [2] a Lógica Clássica (LC) nos permite demonstrar apenas algumas de todas as condições lógicas possíveis de uso do verbo “ser” (ex: “y” e “z”); [3] núcleo comum entre LA-LC: “y” = {(QL = 40/48); (SL = 15/24)}. https://revistas.marilia.unesp.br/index.php/kinesis/article/view/14918Quadrado LógicoSilogismoCQCFormalização |
| spellingShingle | David Guarniery CQC DE 1ª ORDEM APLICADO AO QUADRADO LÓGICO E SILOGISMO: HAVERIA ALGUMA FORMALIZAÇÃO ADEQUADA PARA O VERBO “SER”? Kínesis Quadrado Lógico Silogismo CQC Formalização |
| title | CQC DE 1ª ORDEM APLICADO AO QUADRADO LÓGICO E SILOGISMO: HAVERIA ALGUMA FORMALIZAÇÃO ADEQUADA PARA O VERBO “SER”? |
| title_full | CQC DE 1ª ORDEM APLICADO AO QUADRADO LÓGICO E SILOGISMO: HAVERIA ALGUMA FORMALIZAÇÃO ADEQUADA PARA O VERBO “SER”? |
| title_fullStr | CQC DE 1ª ORDEM APLICADO AO QUADRADO LÓGICO E SILOGISMO: HAVERIA ALGUMA FORMALIZAÇÃO ADEQUADA PARA O VERBO “SER”? |
| title_full_unstemmed | CQC DE 1ª ORDEM APLICADO AO QUADRADO LÓGICO E SILOGISMO: HAVERIA ALGUMA FORMALIZAÇÃO ADEQUADA PARA O VERBO “SER”? |
| title_short | CQC DE 1ª ORDEM APLICADO AO QUADRADO LÓGICO E SILOGISMO: HAVERIA ALGUMA FORMALIZAÇÃO ADEQUADA PARA O VERBO “SER”? |
| title_sort | cqc de 1ª ordem aplicado ao quadrado logico e silogismo haveria alguma formalizacao adequada para o verbo ser |
| topic | Quadrado Lógico Silogismo CQC Formalização |
| url | https://revistas.marilia.unesp.br/index.php/kinesis/article/view/14918 |
| work_keys_str_mv | AT davidguarniery cqcde1aordemaplicadoaoquadradologicoesilogismohaveriaalgumaformalizacaoadequadaparaoverboser |