Cálculo de Predicados de 1ª Ordem: Observações e Exercícios

CÁLCULO DE PREDICADOS DE 1ª ORDEM CLÁSSICO CQC ALGUMAS OBSERVAÇÕES CÁLCULO DE PREDICADOS DE 1ª ORDEM CLÁSSICO CQC Às p 112 e 113 o livrotexto nos chama a atenção para a representação simbólica de certos tipos de sentenças que antes de imediatamente procedermos àquilo que aparentemente se trata de sua representação correta precisamos antes interpretar adequadamente o sentido da sentença em português O exemplo oferecido é o seguinte Gatos e cachorros são animais domésticos Universal Afirmativa A xGx Cx Ax Façamos agora alguns dos itens do exercício 73 à p 113 Em primeiro lugar chama a atenção a ausência de elementos sincategoremáticos ou linguísticos Todos ou Alguns Logo temos de realizar uma primeira interpretação que é a seguinte É quase certo que a sentença se refira a todos os sujeitos sejam eles gatos ou cachorros Em segundo lugar que a expressão em língua portuguesa gatos e cachorros certamente não significa sujeitos que ao mesmo tempo sejam gatos e cachorros mas todos os que são ou uma coisa ou outra Portanto interpretando o que se quer dizer é Qualquer coisa se ela for um gato ou um cachorro então ela é um animal doméstico Sendo G x é um gato C x é um cachorro A x é um animal doméstico CÁLCULO DE PREDICADOS DE 1ª ORDEM CLÁSSICO CQC d xMx Sx e xAx Tx xAx Tx f xAx Ix xAx Ix g xPx Rx h xPx Rx xPx Rx p xCx Gx m xPx Rx j xPx yRy n xPx Rx Lx o xPx Tx Lx q xCx Gx r xCx Tx Gx i xPx Rx CÁLCULO DE PREDICADOS DE 1ª ORDEM CLÁSSICO CQC s xCx Tx Gx Kx t xAxp Axj u xSx Dxb xSx Dxb v xSx Dxn w xDxn Dxb x xSx Dxn Dxb CÁLCULO DE PREDICADOS DE 1ª ORDEM CLÁSSICO CQC Suponha que temos a relação binária x gosta de y representada por L As sentenças Cléo gosta de todos c Cléo e Alguém gosta de Cléo seriam expressas na linguagem do CQC como já vimos da seguinte maneira A sentença Alguém gosta de Cléo xLxc A sentença Cléo gosta de todos xLcx D QUANTIFICAÇÃO MÚLTIPLA No entanto convém observar que as sentenças Todos gostam de alguém ou Alguém gosta de alguém ou Alguém gosta de todos etc envolvem mais de uma variável e portanto mais de uma quantificador utilizado na mesma sentença Como ficaria então a sentença Todos gostam de alguém xyLxy E a sentença Alguém gosta de alguém xyLxy Frequentemente as proposições estão encadeadas em argumentos Ora podemos proceder à análise desses argumentos em dois níveis 1 Considerando o que se poderia chamar de 1ª ordem do discurso intrasentencial dada por uma teoria da predicação a saber analisar a atribuição de predicados a sujeitos nas sentenças tal como é feita pela teoria silogística para investigar quando a partir da verdade das premissas tomadas individualmente se poderia concluir a verdade da conclusão obedecidas as formas lógicas apropriadas das figuras do silogismo ou de outras regras de prova de argumentos CÁLCULO DE PREDICADOS QUANTICACIONAL CLÁSSICO CÁLCULO PROPOSICIONAL CLÁSSICO 2 Considerando o que se poderia chamar de 0ª ordem do discurso intersentencial dada por uma teoria da estrutura do discurso a saber analisar a articulação entre as premissas por meio de operações lógicas para investigar quando a partir da verdade das premissas tomadas individualmente se poderia concluir a verdade da conclusão obedecidas as regras de cálculo lógico dada por tabelasverdade CÁLCULO PROPOSICIONAL SENTENCIAL CLÁSSICO CÁLCULO PROPOSICIONAL CLÁSSICO CÁLCULO PROPOSICIONAL CLÁSSICO De todo modo em ambos os casos ou mesmo em qualquer caso os argumentos e sua estrutura estão postos no âmbito de uma linguagem Podese definir linguagem como um sistema de sinais que serve como meio de comunicação com o qual representamos expressamos apelamos segundo o linguista alemão Karl Büller filósofo e linguista contemporâneo do reconhecido linguista suíço Ferdinand de Saussure Usualmente fazse equivaler sinal a símbolo porém se pode fazer a seguinte analogia mediante a qual se observa que símbolo e sinal são coisas distintas SÍMBOLO ESPÉCIE SINAL GÊNERO Logo todo símbolo é um sinal mas nem todo sinal é símbolo CÁLCULO PROPOSICIONAL CLÁSSICO Por outro lado se pode entender a linguagem como um conjunto finito ou infinito de sentenças cada uma delas com comprimento tamanho finito e formada a partir de um conjunto finito de sinais símbolos Ao domínio do conhecimento que analisa as relações dáse o nome de Semiótica do grego semeion sinal Dimensões da linguagem às quais podemos associar as funções propostas por Karl Büller SINTÁTICA dimensão puramente formal SINAL SINAL SIGNIFICADOSENTIDO REFERENTE TRÍADE SEMIÓTICA SEMÂNTICA dimensão significativa intraextralinguística os sinais a expressam SIGNIFICADO OU SENTIDO campo conceitual b denotam ou representam REFERENTE campo da realidade PRAGMÁTICA c apelam SIGNIFICADO OU SENTIDO campo da ação