Available online
Description
There are always two questions we can ask about a proof based upon premises: (i) are the premises true? and (ii) is the proof valid? In the first part of the programme (i) is discussed: if we did a...lways ask it, we would have to go on asking it for ever - if there were not some truths we simply accepted as true, without proof, then proof would be impossible. In the second part of the programme Lewis Carroll's story about Achillesl and the Tortoise,(ii) above is raised: if there were not some moves which we accepted as valid i.e. as proofs, then proof would be impossible.
There are always two questions we can ask about a proof based upon premises: (i) are the premises true? and (ii) is the proof valid? In the first part of the programme (i) is discussed: if we did a...lways ask it, we would have to go on asking it for ever - if there were not some truths we simply accepted as true, without proof, then proof would be impossible. In the second part of the programme Lewis Carroll's story about Achillesl and the Tortoise,(ii) above is raised: if there were not some moves which we accepted as valid i.e. as proofs, then proof would be impossible.
| Module code and title: | A101, An arts foundation course |
|---|---|
| Item code: | A101; 14 |
| Recording date: | 1977-03-14: 1977-03-17 |
| First transmission date: | 23-05-1978 |
| Published: | 1978 |
| Rights Statement: | Rights owned or controlled by The Open University |
| Restrictions on use: | This material can be used in accordance with The Open University conditions of use. A link to the conditions can be found at the bottom of all OUDA web pages. |
| Duration: | 00:18:23 |
| + Show more... | |
| Producer: | Prudence Smith |
| Contributors: | John Baker; Rosalind Hursthouse |
| Publisher: | BBC Open University |
| Keyword(s): | Hypothetical; Logic; Premises; Proof; Symbols; Validity |
| Master spool number: | BLN11950H013 |
| Production number: | BLN11950H013 |
| Available to public: | no |
