Logical Rules and the Meanings of the Connectives

Author: David Charles McCarty

 150 views
A lecture given in the summer of 2017 and published by Copernicus Center for Interdisciplinary Studies. David Charles McCarty addresses three important questions concerning logical relations between intuitionistic and classical logic and mathematics, and their respective negations. The first question is, "What is a truth-value, anyway?" Second, "Can every model of classical set theory be extended to a model of a reasonable, strictly intuitionistic theory?" And third, "Can the syntactic rules of…more

Comments

No comments have been added yet.