Show simple item record

dc.contributor.authorSchoenbaum, Lucius Traylor
dc.date.accessioned2014-03-04T16:19:27Z
dc.date.available2014-03-04T16:19:27Z
dc.date.issued2008-08
dc.identifier.otherschoenbaum_lucius_t_200808_ma
dc.identifier.urihttp://purl.galileo.usg.edu/uga_etd/schoenbaum_lucius_t_200808_ma
dc.identifier.urihttp://hdl.handle.net/10724/25047
dc.description.abstractOur purpose shall be to introduce revisions into the foundational systematic introduced by Brouwer and Hilbert in the early part of the last century. We will apply these revisions to develop a symbolic calculus for the study of extralogical intuition (in formalism, logic at the metalevel), which we shall show to be not weaker than intuitionistic propositional calculus, and rich enough to encode all of nitary set theory. Our calculus will be e cient in its principles and based on a small, compact set of axioms, and its consistency will be shown. In the main it will be based on two departures from traditional developments: (1) the interpretation of logical conjunction as a mathematical operation of set formation, and (2) the interpretation of logical implication as the exchange (in time) of actual or intuited objects. Its rule structure, in addition, will possess two novel features: (1) generalized substitution, or what we call herein deposition, and (2) a formal method of assumption.
dc.languageeng
dc.publisheruga
dc.rightspublic
dc.subjectFoundations of Mathematics
dc.subjectProof Theory
dc.subjectFormalism
dc.subjectIntuitionism
dc.subjectIntuitionistic Logic
dc.titleMathematics, philosophy, and proof theory
dc.typeThesis
dc.description.degreeMA
dc.description.departmentPhilosophy
dc.description.majorPhilosophy
dc.description.advisorO. Bradley Bassler
dc.description.committeeO. Bradley Bassler
dc.description.committeeEdward C. Halper
dc.description.committeeDavid A. Edwards


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record