Logical Rules and the Meanings of the Connectives

Author: David Charles McCarty

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


No comments have been added yet.