Fondamenti di Logica Formale e Proposizionale: Concetti Chiave

1. Introduzione al Linguaggio Formale

Lo scopo del linguaggio formale è evitare le ambiguità e i problemi tipici del linguaggio naturale.

Caratteristiche principali

• Utilizza simboli specifici (non parole) collegati tra loro secondo norme precise.
• Garantisce il funzionamento corretto del sistema.
• Prescinde dal significato semantico.

2. Logica e Ragionamento

Cos'è la logica?

È la scienza del ragionamento corretto che ordina i nostri pensieri e le nostre parole.

Definizione di ragione

Consiste nel trarre conclusioni da premesse basate su dati certi.

3. Elementi di un Argomento

• Premesse: Dati iniziali che costituiscono il punto di partenza del ragionamento; la loro verità o falsità non è in discussione.
• Deduzione: Atto della ragione mediante il quale, partendo da premesse, si ottiene un risultato.
• Conclusione: Il risultato e lo scopo finale del ragionamento.

Un argomento può essere considerato corretto se la sua struttura e la coerenza interna sono valide.

4. Verità e Validità

• Verità materiale: Si riferisce ai fatti e alle esperienze reali.
• Verità formale: Si riferisce alla validità di un argomento in sé stesso e al rispetto delle leggi del ragionamento.

La logica richiede la verità formale. Il suo fine ultimo è dimostrare la validità di un ragionamento basandosi sulla coerenza interna tra i termini.

5. Logica Proposizionale

La logica proposizionale studia la struttura del ragionamento per verificarne la correttezza. Una dichiarazione (o proposizione) è un'espressione di senso completo che può essere etichettata come vera o falsa.

Tipologie di dichiarazioni

• Dichiarazione atomica: Composta da una singola proposizione che non può essere scomposta senza perdere il suo significato (es: "La filosofia è utile").
• Dichiarazione molecolare: Composta da due o più frasi atomiche collegate (es: "La filosofia è molto utile e rende più comprensibile la situazione").

6. Componenti del Linguaggio Logico

• Variabili: Utilizzate per sostituire qualsiasi frase atomica.
• Connettivi: Link che uniscono i pensieri semplici.
• Parentesi: Indicano il raggruppamento dei componenti, il connettore principale ed evitano ambiguità.

Tabella dei Connettivi Logici