Re: An argument against modus ponens

John Jones schrieb:
[ .. bla bla .. ]

Please note, there are logical systems which do
not require modus ponens. Take for example:

Ebbinghaus, Flum & Thomas: Mathematical Logic,
Second Edition, Springer, 1994

Their system contains other logical rules. And
modus ponens is admissible.

Don't think modus ponens is the only possible
rule, which is logically productive.

Bye

.

Relevant Pages

  • Re: An argument against modus ponens
    ... Second Edition, Springer, 1994 ... Their system contains other logical rules. ... modus ponens is admissible. ...
    (sci.logic)
  • Re: An argument against modus ponens
    ... Their system contains other logical rules. ... modus ponens is admissible. ... try to find another biotope. ... The problem with your current work strategy: ...
    (sci.logic)