Proposizione (logica)

Questa voce o sezione sugli argomenti semiotica e logica non cita le fonti necessarie o quelle presenti sono insufficienti.

---

Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti.

In filosofia e logica moderna, una proposizione è una frase, ossia un'espressione linguistica dotata di significato, a cui è sempre collegato uno dei due valori di verità: vero (V) o falso (F). Le proposizioni sono i costituenti principali degli argomenti di cui si occupa la logica, in particolare nella logica proposizionale.

È possibile che proposizioni linguistiche diverse abbiano lo stesso significato, per esempio, the snow is white (in inglese) e la neve è bianca (in italiano), ma entrambe dicono la stessa cosa, e cioè che la neve è bianca. Esse esprimono quindi la stessa proposizione logica. Ciò può accadere anche a due diverse proposizioni linguistiche 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. In tal senso, si distingue la proposizione dall'enunciato, nel senso che diversi enunciati possono esprimere la stessa proposizione.

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.

Non tutti gli enunciati possono essere associati ad una tavola di verità. Si dicono enunciati dichiarativi quelli per i quali si può decidere se siano veri oppure falsi. L'Organon di Aristotele, nella parte sugli Analitici primi, esemplifica alcuni tipi di enunciati non dichiarativi: le domande, gli ordini, le poesie, le preghiere. Il linguista Chomsky aggiunse ai casi di indecisione anche tutti gli enunciati privi di senso compiuto, quali: "Verdi idee incolori dormono furiosamente" (Colorless green ideas sleep furiously).^[1]

• Irving M. Copi e Carl Cohen, Introduzione alla logica, Bologna, Il Mulino, 1999.

• Problema di Gettier

• Wikiquote contiene citazioni sulla proposizione
• Wikizionario contiene il lemma di dizionario «proposizione»

• proposizione, in Dizionario di filosofia, Istituto dell'Enciclopedia Italiana, 2009.
• (EN) proposition, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
• (EN) Eric W. Weisstein, Proposizione, su MathWorld, Wolfram Research.

V · D · M Connettivi logici
Tautologia ( ${\displaystyle \top }$ )
Non-congiunzione ( ${\displaystyle \uparrow }$ ) · Implicazione inversa ( ${\displaystyle \leftarrow }$ ) · Implicazione ( ${\displaystyle \rightarrow }$ ) · Disgiunzione inclusiva ( ${\displaystyle \lor }$ )
Negazione ( ${\displaystyle \neg }$ ) · Disgiunzione esclusiva ( ${\displaystyle {\dot {\lor }}}$ ) · Doppia implicazione ( ${\displaystyle \leftrightarrow }$ ) · Proposizione
Non-disgiunzione inclusiva ( ${\displaystyle \downarrow }$ ) · Non-implicazione ( ${\displaystyle \nrightarrow }$ ) · Non-implicazione inversa ( ${\displaystyle \nleftarrow }$ ) · Congiunzione ( ${\displaystyle \land }$ )
Contraddizione ( ${\displaystyle \bot }$ )

Portale Filosofia

Portale Matematica