Livro: "Conectivos De Frases Em Lógica Formal"

Palavras de ligação de sentenças em linguagem natural (como “e”, “ou”) tradicionalmente têm aspectos de seu uso simulados pelos conectivos correspondentes em vários sistemas de lógica formal. (De fato, usamos a palavra “conectivo” de maneira mais generosa, para que não haja duas ou mais frases vinculadas, permitindo-nos considerar os análogos de palavras como “não” e “necessariamente” como conectivos também.) as perguntas que esta empresa levantou são as seguintes. (1) Quais desses conectivos de sentenças de ocorrência natural exigem um tratamento desse tipo? (Quais deles devem ser contados como ‘constantes lógicas’?) (2) Os aspectos de seu uso simulados nesse processo esgotam o que podemos pensar como seus significados, ou normalmente há alguma incompatibilidade aqui? É claro que essa segunda pergunta depende do tratamento formal específico dado, pois diferentes lógicas podem discordar dos princípios formais concedidos aos seus representantes – por exemplo, no caso de “se”, mas de acordo com uma famosa linha de pensamento (desenvolvida por HP Grice ) quando nos concentramos especificamente em seu tratamento na lógica proposicional clássica , essas discrepâncias aparentes podem ser explicadas pelo apelo a princípios pragmáticos que regulam a conversa cooperativa comum e não refletem diferenças de significado (diferenças semânticas).