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.
| Translated title of the contribution | [Autom. eng. transl.] Logical consequence |
|---|---|
| Original language | Italian |
| Pages (from-to) | 41-82 |
| Number of pages | 42 |
| Journal | APHEX |
| Publication status | Published - 2014 |
Keywords
- Conseguenza Logica
- Logical Pluralism
- Logical consequence
- Model theory
- Pluralismo logico
- Proof Theory
- Tarski
- Teoria dei modelli
- Teoria della dimostrazione
- Truth
- Verità