proposizionale

Proposizionale è un aggettivo derivato da proposizione e si usa in diversi campi per riferirsi a tutto ciò che riguarda le proposizioni, cioè affermazioni che hanno valore di verità. Nella logica e nella filosofia del linguaggio, il termine si usa per discutere contenuti, strutture e rapporti tra proposizioni.

In logica proposizionale, gli elementi fondamentali sono le proposizioni o variabili proposizionali (come p, q, r) e i connettivi logici (non, e, o, implica, equivalenza). Un modello di logica proposizionale valuta la verità delle proposizioni in base a una funzione di verità; il sistema studia connessioni fra proposizioni, deducibilità, tautologie e satisfiability, spesso senza considerare oggetti o predicati individuali.

Nella semantica e nella filosofia del linguaggio, il contenuto proposizionale di una frase è il contenuto informativo che permette di attribuire condizioni di verità alla frase stessa. Ad esempio, la frase “Il gatto è sul tappeto” esprime una proposizione che può essere vera o falsa a seconda dello Stato del mondo. I concetti proposizionali sono centrali nello studio degli atteggiamenti proposizionali, cioè stati mentali come credenze, desideri o intenzioni riferiti al contenuto di una proposizione.

Nell’uso italiano, proposizionale può riferirsi sia al contenuto proposizionale di una frase sia al dominio della logica che studia come le proposizioni si combinano tra loro. È comune distinguere la logica proposizionale dalla logica del primo ordine, che introduce quantificatori e relazioni tra oggetti.