Condicional indicativa - Indicative conditional
Nas línguas naturais , uma condicional indicativa é uma sentença condicional como "Se Leona está em casa, ela não está em Paris", cuja forma gramatical se restringe a discutir o que poderia ser verdade. Os indicativos são tipicamente definidos em oposição às condicionais contrafactuais , que possuem marcação gramatical extra que lhes permite discutir eventualidades que não são mais possíveis.
Indicativos são um importante tópico de pesquisa em filosofia da linguagem , lógica filosófica e linguística . As questões abertas incluem quais indicativos de operação lógica denotam, como tais denotações podem ser compostas de sua forma gramatical e as implicações dessas denotações para áreas como metafísica , psicologia do raciocínio e filosofia da matemática .
Análises formais
As primeiras análises identificaram condicionais indicativos com a operação lógica conhecida como condicional material . De acordo com a análise condicional material, um indicativo "Se A, então B" é verdadeiro, a menos que A seja verdadeiro e B não. Embora esta análise cubra muitos casos observados, ela perde algumas propriedades cruciais da fala e do raciocínio condicional reais.
Um problema para a análise condicional material é que ela permite que os indicativos sejam verdadeiros mesmo quando seus antecedentes e consequentes não estão relacionados. Por exemplo, o indicativo "Se Paris está na França, então a truta é um peixe" é intuitivamente estranho, uma vez que a localização de Paris não tem nada a ver com a classificação da truta. No entanto, uma vez que seu antecedente e o consequente são ambos verdadeiros, a análise condicional material o trata como uma afirmação verdadeira. Da mesma forma, a análise condicional material trata as condicionais com antecedentes falsos como vacuamente verdadeiras . Por exemplo, como Paris não está na Austrália, a condicional "Se Paris está na Austrália, então a truta é um peixe" seria tratada como verdadeira em uma análise condicional material. Esses argumentos foram tomados para mostrar que nenhum operador funcional de verdade será suficiente como uma semântica para condicionais indicativas. Em meados do século 20, trabalhos de HP Grice , Frank Cameron Jackson e outros tentaram manter a condicional material como uma análise da denotação semântica literal dos indicativos, enquanto apelavam à pragmática para explicar as aparentes discrepâncias.
O trabalho contemporâneo em lógica filosófica e semântica formal geralmente propõe denotações alternativas para condicionais indicativas. As alternativas propostas incluem análises baseadas na lógica da relevância , lógica modal , teoria da probabilidade , semântica modal Kratzeriana e semântica dinâmica .
Psicologia
A maioria dos experimentos comportamentais com condicionais na psicologia do raciocínio foi realizada com condicionais indicativos, condicionais causais e condicionais contrafactuais . As pessoas prontamente fazem a inferência do modus ponens , isto é, dado se A então B , e dado A , eles concluem B , mas apenas cerca de metade dos participantes em experimentos fazem a inferência do modus tollens , isto é, dado se A então B , e dado não-B , apenas cerca de metade dos participantes conclui não-A , o restante diz que nada se segue (Evans et al. , 1993). Quando os participantes recebem condicionais contrafactuais, eles fazem inferências tanto do modus ponens quanto do modus tollens (Byrne, 2005).
Veja também
Referências
Leitura adicional
- Byrne, RMJ (2005). A imaginação racional: como as pessoas criam alternativas contrafactuais para a realidade. Cambridge, MA: MIT Press.
- Edgington, Dorothy. (2006). "Condicionais". The Stanford Encyclopedia of Philosophy , Edward Zalta (ed.). http://plato.stanford.edu/entries/conditionals/ .
- Evans, J. St. BT, Newstead, S. e Byrne, RMJ (1993). Raciocínio Humano: A Psicologia da Dedução. Hove, Psychology Press.