Philosophy ETDs
Publication Date
5-31-1961
Abstract
This thesis has as its central purpose the positing of a novel procedure for finding the totality of valid conclusions to a given set of statements in the Propositional Calculus. it is divided into five main parts. Part I is largely a criticism of existing decision procedures for the Propositional Calculus. Part II posits a formal structure which is given an interpretation in Part III. It is the interpretation of that structure which provides the new procedure for analyzing arguments. Part IV is a detailed criticism of a particular method which is supposed to supply all of the valid conclusions to a set of statements. Finally, in Part V, the nature of deduction will be considered. It will be shown how the procedure in Part II and Part III is related to deduction.
Degree Name
Philosophy
Level of Degree
Masters
Department Name
Philosophy
First Committee Member (Chair)
Melbourne Griffith Evans
Second Committee Member
Hubert Griggs Alexander
Third Committee Member
Archie J. Bahm
Language
English
Document Type
Thesis
Recommended Citation
Tarwater, J Dalton. "An Investigation of Decision Procedures for the Propositional Calculus." (1961). https://digitalrepository.unm.edu/phil_etds/28