• Home
  • Consistency statements in semi-euclidean systems

Consistency statements in semi-euclidean systems

Sourcetitle: 
Workshop on Intensionality in Mathematics, Lund, May 11-12
Year of publication: 
2013
PublicationType: 
Conference paper - non peer reviewed

In logical systems where the axioms and rules of inference are allowed to change over time - like in Jeroslow's Experimental Logics - a reasonable definition of theoremhood makes it possible for the statement of the system's consistency to be among its theorems. The talk discusses examples of this, the intension of such statements and knowability of consistency.

To the top

Page updated: 2013-05-12 16:25

Send as email
Print page
Show as pdf

X
Loading