Re: Why are rules of inference not laws of sentential calculus?



Jim Spriggs wrote:
>
> .... Gentzen's paper was translated in (two
> numbers of) the American Philosophical Quarterly. Precise reference
> somebody? It's also translated in
>
> Gentzen, G; ed Szabo, M E "Collected Papers" North-Holland

Elsewhere in the thread Frege supplied the precise reference:

Gentzen, G., [1934] "Untersuchungen über das logische Schliessen,"
Mathematische Zeitschrift 39, pp. 176-210 and 405-431; Eng.
tr. "Investigations into logical deduction," American Philosophical
Quarterly, Vol. I (1964), pp. 288-306 and, Vol. II (1965), pp. 204-218.

--
I don't know who you are Sir, or where you come from,
but you've done me a power of good.
.



Relevant Pages


Quantcast