In the line of a syntactic treatment of modalities, many proposals have been presented consisting in an extension of a logic calculus with ameta-language for expressing facts about terms and sentences, and with an axiomatization of provability. These proposals differ in the use of the inference rules used to link the object level and meta-level theories; the formulation of these reflection rules is crucial since it affects the consistency of the extended calculus. We argue that reflection rules resulting in a conservative extension are too weak. On the other hand, well known results show that nonconservative extensions often run into paradoxes. We propose a non conservative extension where useful theorems can be proved while consistency is retained.

Reflections about reflection

ATTARDI, GIUSEPPE;SIMI, MARIA
1991

Abstract

In the line of a syntactic treatment of modalities, many proposals have been presented consisting in an extension of a logic calculus with ameta-language for expressing facts about terms and sentences, and with an axiomatization of provability. These proposals differ in the use of the inference rules used to link the object level and meta-level theories; the formulation of these reflection rules is crucial since it affects the consistency of the extended calculus. We argue that reflection rules resulting in a conservative extension are too weak. On the other hand, well known results show that nonconservative extensions often run into paradoxes. We propose a non conservative extension where useful theorems can be proved while consistency is retained.
Attardi, Giuseppe; Simi, Maria
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11568/17334
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? 3
social impact