Aristotle's propositional logic
β
B. H. Slater
π
Article
π
1979
π
Springer Netherlands
π
English
β 593 KB
I want, in this paper, to expound 'the implication fragment' of a new propositional logic -a logic akin to the currently accepted one, but, unlike it in certain fundamental respects. There are certain questionable theses in current propositional logic -for instance 'P . F D Q' and 'P D (P D Q)' -and