|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 3 van 9 gevonden artikelen
| Titel: |
Russell's completeness proof |
| Auteur: |
Milne, Peter |
| Verschenen in: |
History and philosophy of logic |
| Paginering: | Jaargang 29 (2008) nr. 1 pagina's 31-62 |
| Jaar: |
2008-02 |
| Inhoud: |
Bertrand Russell's 1906 article 'The Theory of Implication' contains an algebraic weak completeness proof for classical propositional logic. Russell did not present it as such. We give an exposition of the proof and investigate Russell's view of what he was about, whether he could have appreciated the proof for what it is, and why there is no parallel of the proof in Principia Mathematica. |
| Uitgever: |
Taylor & Francis |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 3 van 9 gevonden artikelen
| << vorige | volgende >> |