Buy:
cover price
€ 23,00
book € 21,85
available in 10-15 days
- Prefazione
- Introduzione
- I. Argomentare, inferire, dimostrare
- 1. Dare e chiedere ragioni
- 2. Verità, validità, forza
- 3. Errori ingannevoli: le fallacie
- 4. Argomenti complessi: verso la logica formale
- II. La logica enunciativa: «calculemus»
- 1. Forma logica: le funzioni di verità
- 2. Il linguaggio della logica enunciative LLE: sintassi e semantica
- 3. Proprietà di ffbf e relazioni tra ffbf
- 4. Sostituzione e rimpiazzamento
- 5. Il controllo della validità degli schemi vero-funzionali: tavole di verità e alberi di refutazione
- III. Il sillogismo e l'algebra delle classi
- 1. Proposizioni categoriche
- 2. Il sillogismo: metodi di validazione
- 3. L'algebra delle classi e la validazione degli schemi sillogistici
- IV. La logica predicativa: i limiti del calcolo
- 1. Forma logica: la quantificazione
- 2. Il linguaggio della logica predicaiva LLP: sintassi e semantica
- 3. Identità e descrizioni definite
- 4. Il controllo della validità degli schemi quantificazionali: alberi di refutazione
- 5. I limiti del calcolo
- Riferimenti bibliografici
- Chiave degli esercizi
- Indice analitico