Search

La prima introduzione sistematica alla metafisica analitica contemporanea in Italia.

The entailment connective is introduced by Priest (2006b). It aims to capture, in a dialetheically acceptable way, the informal notion of logical consequence. This connective does not “fall foul” of Curry’s Paradox by invalidating an inference rule called “Absorption” (or “Contraction”) and the classical logical theorem called “Assertion”. In this paper we show that the semantics of entailment, given by Priest in terms of possible worlds, is inadequate. In particular, we will argue that Priest’s counterexamples to Absorption and Assertion use in the metalanguage a dialetheically unacceptable principle. Furthermore, we show that the rejection of Assertion undermines Priest’s claim that the entailment connective expresses the notion of logical consequence.

Il saggio presenta il cosiddetto argomento di conservatività: poiché la classica teoria tarskiana della verità non è conservativa rispetto la sua base aritmetica, il predicato di verità e i suoi assiomi devono in qualche modo trasmettere un certo contenuto contrariamente a quanto sostenuto, solitamente, dai deflazionisti., This work provides an overview of the so called "argument of conservativeness": classical tarskian truth theory is not conservative over its arithmetical basis and, for that reason, truth predicate must add some information, pace deflationist interpretations.

Il saggio presenta il cosiddetto argomento di conservatività: poiché la classica teoria tarskiana della verità non è conservativa rispetto la sua base aritmetica, il predicato di verità e i suoi assiomi devono in qualche modo trasmettere un certo contenuto contrariamente a quanto sostenuto, solitamente, dai deflazionisti., This work provides an overview of the so called "argument of conservativeness": classical tarskian truth theory is not conservative over its arithmetical basis and, for that reason, truth predicate must add some information, pace deflationist interpretations.