Record Details
Indirect proofs
ScholarsArchive at Oregon State University
| Field | Value |
|---|---|
| Title | Indirect proofs |
| Names |
Toribio, Andres Pada
(creator) Arnold, B. H. (advisor) |
| Date Issued | 1966-07-20 (iso8601) |
| Note | Graduation date: 1967 |
| Abstract | This thesis describes and develops from an axiomatic basis three principles of logic and some forms of indirect proof. The three principles are: (1) the law of the excluded middle, (2) the law of contradiction, and (3) the law of the double negative. Of several forms of indirect proof, this thesis exemplifies the use of six (6) of them and discusses the interrelation which exists among these principles and indirect proofs. A discussion with respect to the intuitionists' objections to these rules is given and a few examples of intuitionistic reasoning are illustrated. |
| Genre | Thesis/Dissertation |
| Topic | Mathematics -- Philosophy |
| Identifier | http://hdl.handle.net/1957/47249 |
