Proposizione (logica)
Da Wikipedia, l'enciclopedia libera.
Nella filosofia, nella logica e nella linguistica moderne, si intende per proposizione il significato di una dichiarazione. La presente voce si interessa del senso tecnico del termine, quello per cui ogni dichiarazione, quando espressa, suggerisce che una certa affermazione è vera.
È quindi possibile che dichiarazioni diverse (ma dall’identico significato) esprimano la stessa proposizione. Per esempio, snow is white (in inglese) e la neve è bianca (in italiano) sono dichiarazioni diverse, ma entrambe dicono la stessa cosa, e cioè che la neve è bianca. Esse esprimono quindi la stessa proposizione. Ciò può accadere anche a due diverse dichiarazioni espresse nella stessa lingua, per esempio Una precipitazione di minuscoli cristalli di acqua ghiacciata è bianca è espressa in italiano, così come “la neve è bianca”, che intende la stessa cosa.
Solitamente, è possibile generare una certa proposizione a partire dalla corrispondente dichiarazione semplicemente premettendo a quest’ultima il prefisso che. Così, ad esempio, la dichiarazione la neve è bianca intenderà dire (proposizione) che la neve è bianca.
Altri due usi del termine “proposizione” da segnalare: nella logica aristotelica si intende per proposizione un tipo particolare di dichiarazione, che afferma o nega il predicato di un soggetto. Le proposizioni aristoteliche hanno una forma del tipo tutti gli uomini sono mortali e Socrate è un uomo. La logica delle proposizioni è così chiamata perché le proposizioni sono gli elementi con i quali ha a che fare. la dichiarazione A e B esprime sia la proposizione A sia la proposizione B. Entrambi questi usi intendono la “proposizione” come sinonimo di “dichiarazione”. Questa tendenza, sempre meno diffusa, non verrà assecondata nel seguito di questa voce.
Spesso le proposizioni vengono accostate alle cosiddette dichiarazioni chiuse, per distinguerle dalle dichiarazioni aperte, (o predicati). In questo senso, le proposizioni sono affermazioni che possono essere o vere o false. Questo concetto di proposizione è quello sostenuto dalla scuola filosofica del positivismo logico.
Ci si riferisce di solito alle proposizioni come al contenuto di una convinzione o di una credenza. Esse possono oltretutto essere oggetto di desiderio, preferenza, intenzione.
[modifica] La proposizione nella logica
Oltre a quanto già detto a proposito della logica aristotelica e della logica delle proposizioni, le proposizioni sono ciò che viene espresso dalla logica dei predicati. (x)Fx è un modo per esprimere una proposizione, laddove né F né x sono proposizioni. Uno dei principali obiettivi della logica dei predicati è quello di afferrare la struttura delle proposizioni indipendentemente dalle dichiarazioni che le esprimono.
Gli oggetti degli operatori della logica modale come possibilità o necessità sono delle proposizioni.
[modifica] Obiezioni al concetto di proposizione
Molti filosofi e linguisti sostengono che il concetto di proposizione è troppo vago, o addirittura inutile. Secondo loro, si tratta semplicemente di un concetto fuorviante, che andrebbe rimosso dalla filosofia come dalla semantica. W.V.O. Quine sostiene che l’impossibilità di ottenere una traduzione perfettamente corrispondente rende inutile qualsiasi discussione intorno alle proposizioni, e che bisognerebbe pertanto interessarsi soltanto delle dichiarazioni.
