Abstract
The concept of logical consequence is crucial for logic and for its philosophical construal. The aim of this work is to provide a technically accessible introduction to this concept showing the grounding intuitions and two most important formal characterizations: the tarskian approach and the approach based on the concept of proof. Then, I’ll take into account some problems connected with the logical pluralism and its possible philosophical justification.
| Titolo tradotto del contributo | [Autom. eng. transl.] Logical consequence |
|---|---|
| Lingua originale | Italian |
| pagine (da-a) | 41-82 |
| Numero di pagine | 42 |
| Rivista | APHEX |
| Stato di pubblicazione | Pubblicato - 2014 |
Keywords
- Conseguenza Logica
- Logical Pluralism
- Logical consequence
- Model theory
- Pluralismo logico
- Proof Theory
- Tarski
- Teoria dei modelli
- Teoria della dimostrazione
- Truth
- Verità