Graduate Thesis Or Dissertation

 

Indirect proofs Public Deposited

Downloadable Content

Download PDF
https://ir.library.oregonstate.edu/concern/graduate_thesis_or_dissertations/7m01bp63r

Descriptions

Attribute NameValues
Creator
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.
Resource Type
Date Available
Date Copyright
Date Issued
Degree Level
Degree Name
Degree Field
Degree Grantor
Commencement Year
Advisor
Academic Affiliation
Non-Academic Affiliation
Subject
Rights Statement
Peer Reviewed
Language
Digitization Specifications
  • File scanned at 300 ppi using Capture Perfect 3.0 on a Canon DR-9050C in PDF format. CVista PdfCompressor 5.0 was used for pdf compression and textual OCR.
Replaces
Additional Information
  • description.provenance : Submitted by Alex McFerrin (amscannerosu@gmail.com) on 2014-04-09T22:14:22Z No. of bitstreams: 1 ToribioAndresP1967_Redacted.pdf: 721509 bytes, checksum: 94c427268ca089bff553cef5df59b119 (MD5)
  • description.provenance : Approved for entry into archive by Patricia Black(patricia.black@oregonstate.edu) on 2014-04-14T15:29:59Z (GMT) No. of bitstreams: 1 ToribioAndresP1967_Redacted.pdf: 721509 bytes, checksum: 94c427268ca089bff553cef5df59b119 (MD5)
  • description.provenance : Rejected by Patricia Black(patricia.black@oregonstate.edu), reason: replace on 2014-04-11T17:29:52Z (GMT)
  • description.provenance : Approved for entry into archive by Patricia Black(patricia.black@oregonstate.edu) on 2014-04-11T17:59:45Z (GMT) No. of bitstreams: 1 ToribioAndresP1967_Redacted.pdf: 721509 bytes, checksum: 94c427268ca089bff553cef5df59b119 (MD5)
  • description.provenance : Made available in DSpace on 2014-04-14T15:29:59Z (GMT). No. of bitstreams: 1 ToribioAndresP1967_Redacted.pdf: 721509 bytes, checksum: 94c427268ca089bff553cef5df59b119 (MD5) Previous issue date: 1966-07-20
  • description.provenance : Approved for entry into archive by Patricia Black(patricia.black@oregonstate.edu) on 2014-04-10T13:27:21Z (GMT) No. of bitstreams: 1 ToribioAndresP1967_Redacted.pdf: 721509 bytes, checksum: 94c427268ca089bff553cef5df59b119 (MD5)
  • description.provenance : Submitted by Alex McFerrin (amscannerosu@gmail.com) on 2014-04-11T17:53:11Z No. of bitstreams: 1 ToribioAndresP1967_Redacted.pdf: 721509 bytes, checksum: 94c427268ca089bff553cef5df59b119 (MD5)

Relationships

Parents:

This work has no parents.

In Collection:

Items