Skip to content

Logica: proposizioni descrittive

LOGICA: PROPOSIZIONI DESCRITTIVE


Proposizioni descrittive (p;q), per es “ho i capelli neri” è descrittiva anche se non è vero.
P e Q possono essere veri o falsi (tavola di verità):

p   q  | p & q |    p V q |    p ⊃ q
v   v  |       v        |    v    | v
v   f  | f         |        v    |      f
f   v  | f         |        v    |     v
f   f   | f         |        f    |      v

Vel → almeno una delle due proposizioni deve essere vera, ma anche entrambe lo possono essere.
Implicazione (⊃): il modello logico non corrisponde al solito utilizzo di “se.. allora”.

Ci sono 4 tipi di proposizioni descrittive: 
1. A (universali affermative “tutti gli uomini sono mortali”), 
2. E (universali negative “nessun uomo è mortale”), 
3. I (particolari positive “alcuni uomini sono mortali”),
4. O (particolari negative “alcuni uomini non sono mortali”).

Quadrato di opposizione:
A  ———— E
|     \         /     |
|      \      /       |
|        \   /        |
I ————- O

• Dalla verità di un enunciato derivo la falsità dell’altro, ma dalla falsità dell’altro non posso derivare né la verità né la falsità del primo → contrarietà. A – E 

A | E
v | F
F | ?

• Quando una è vera, l’altra è falsa e viceversa → contraddittorietà. A – O, E- I

A | O
V | F
F | V

Tratto da FILOSOFIA DEL DIRITTO di Francesca Morandi
Valuta questi appunti:

Continua a leggere:

Dettagli appunto:

Altri appunti correlati:

Per approfondire questo argomento, consulta le Tesi:

Puoi scaricare gratuitamente questo appunto in versione integrale.

Forse potrebbe interessarti:

George Boole e l'Algebra Booleana - Logica e Comunicazione

Il mio lavoro è nato con lo scopo di esplicitare nel più semplice e nel miglior modo possibile quello che fu il pensiero del logico e matematico George Boole, e quelle che furono le conseguenze del suo lavoro per le applicazioni successive. Ho analizzato prima il periodo storico nel quale si mette in moto il genio di Boole ponendo attenzione ai cambiamenti che esso apportò nel campo logico e...