On 2013-06-02, Julio Di Egidio <email@example.com> wrote: > "Herman Rubin" <firstname.lastname@example.org> wrote in message > news:email@example.com...
>> Mathematical logic is not all of logic, but it is logic, not >> mathematics.
> To which I have repeatedly asked for a justification. Conversely, I said > and sparsely justified that logic uses mathematical logic, which is an > applied mathematics: why not?
Other types of logic certainly use mathematical logic, and may often use more of mathematics. For example, my paper on rational decision making in _Statistics and Decisions_ 1987 uses probability and arguments about functionals. Rational decision making is part of logic, inductive logic.
-- This address is for information only. I do not claim that these views are those of the Statistics Department or of Purdue University. Herman Rubin, Department of Statistics, Purdue University firstname.lastname@example.org Phone: (765)494-6054 FAX: (765)494-0558